查看“︁海伦三角形”︁的源代码

'''海伦三角形'''是边长和[[面积]]都是[[有理数]]的[[三角形]]。

== 性质 ==
任何边长为[[勾股数组]]的三角形都是海伦三角形，因为边长都是[[整数]]，而它的面积是两个直角边的积的一半，所以是有理数。 

[[File:Heronian_trig.png|thumb|right|边长为''c''、''e''和''b''&nbsp;+&nbsp;''d''，高为''a''的三角形]]
一个不含直角的海伦三角形的例子，是边长为5、5和6的三角形，它的面积是12。这个三角形可由两个边长为3、4和5的直角三角形拼合而成。这种方法一般都是有效的。我们取两个边长分别为（''a''，''b''，''c''）和（''a''，''d''，''e''）的直角三角形，并把它们拼合起来，便得到一个边长为''c''、''e''和''b''&nbsp;+&nbsp;''d''的三角形，其面积为：

:<math>A=\frac{1}{2}(b+d)a</math>
  
那么是不是任何海伦三角形都可以由两个边长为整数的直角三角形拼合而成呢？答案是否定的。例如边长为0.5、0.5和0.6的海伦三角形，就不能分割成边长为整数的两个较小的三角形。边长为5、29、30的三角形（面积为72）也不行，因为它的任何一个高都不是整数。但是，任何海伦三角形都可以由两个边长为'''有理数'''的直角三角形拼合而成。

== 定理 ==
给定一个海伦三角形，总可以把它分割成两个边长为有理数的直角三角形。

'''证明'''

考虑右面的图。不妨设''b''&nbsp;+&nbsp;''d''是最长的边。为了证明（''a''，''b''，''c''）和（''a''，''d''，''e''）是勾股数组，我们必须证明''a''、''b''和''d''是有理数。

由于三角形的面积为
:<math>A=\frac{1}{2}(b+d)a,</math>
则
:<math>a=\frac{2A}{b+d}</math>
它是有理数。我们还须证明''b''和''d''也是有理数。 

利用[[勾股定理]]，可知 
:<math>a^2+b^2=c^2\,</math>
以及
:<math>a^2+d^2=e^2.\,</math>
两式相减，得
:<math>b^2-d^2=c^2-e^2\,</math>
或
:<math>(b-d)(b+d)=c^2-e^2\,</math>
或
:<math>b-d=\frac{c^2-e^2}{b+d}.\,</math>

等式的右面是有理数，因为根据假设，''c''、''e''和''b''&nbsp;+&nbsp;''d''都是有理数。那么，''b''&nbsp;−&nbsp;''d''也是有理数。于是，''b''和''d''都是有理数。证毕。

== 海伦三角形的公式 ==

利用以下的公式，可以得出所有的海伦三角形：

:<math>a=n\,(m^2+k^2)</math>
:<math>b=m\,(n^2+k^2)</math>
:<math>c=(m+n)\,(mn-k^2)</math>

其中<math>m, n,</math>和<math>k</math>是有理数。<ref>Carmichael, R. D. The Theory of Numbers and Diophantine Analysis. New York: Dover, 1952.</ref>

== 参考文献 ==
{{reflist}}

[[Category:离散几何]]
[[Category:丢番图方程]]
[[Category:三角形几何]]
[[Category:三角形]]