Heron Triangles and Perfect Cuboids
The Affiliated high school of South China Normal University, Guangdong, China
Student: Ze’en Huo,
Tutor: Weiming Li, Baoguo Hao
Abstract: In this paper, we first derive a new result which improves Normann-Erd o&&s Theorem, then we investigate the structures of Heron triangle with rational angle bisectors. The result goes as follows: There are infinitely many Heron triangles whose angle bisectors are rational numbers; For any Heron triangle (a,b,c), there exists a Heron triangle (m,n,k) whose angle bisectors are rational numbers, where
⎪⎩
⎪⎨
⎧
=
=
=
) , , (
) , , (
) , , (
c b a h k
c b a g n
c b a f m
(0.1)
We also prove that: For any Heron triangle (m',n',k') whose angle bisectors are rational numbers, there exists a Heron triangle (a,b,c) such that the Heron triangle (m',n',k')is similar to the Heron triangle
) , ,
(m n k given by formula (0.1). Moreover, by the representation of (0.1), we obtain its relation with the Perfect Square Triangular Problem (PSTP i.e., Is there a triangle whose sides are perfect squares and whose angle bisectors are integers? ).
Mexico mathematician Luca proved that PSTP is equivalent to the Perfect Cuboid Problem ( PCP i.e., Is there a rectangular box with all edges, face diagonals, and the main diagonal integers? ). We obtain four Diophantine systems which are equivalent to PCP. Therefore we wish we could provide some useful results for solving PCP.
Keywords: Heron triangles,PCP,PSTP,angle bisectors,triangular
excircle, square numbers.
Heron
三角形与完全长方体摘要:本文从研究诺尔曼—埃尔德什定理入手,得到了新的结论。
尔后探求角平分线是有理数的Heron三角形的构造。得出的结论是:
角平分线为有理数的Heron三角形有无数多个;对任意一组Heron数 组(a,b,c)都对应一组角平分线为有理数的Heron数组(m,n,k),其中
⎪⎩
⎪⎨
⎧
=
=
=
) , , (
) , , (
) , , (
c b a h k
c b a g n
c b a f m
(0.1)
我们还证明了:对任意一组角平分线为有理数的 Heron 数组
) ' , ' , '
(m n k ,必存在 Heron 数组(a,b,c),使得三角形(m',n',k')相似于 由(0.1)给出的三角形(m,n,k)。而且,我们由(0.1)的表示,发现
其与著名的完全平方三角形问题(PSTP)的联系。然而,墨西哥数
学家Luca证明了 PSTP问题与完全长方体问题(PCP)的存在性是等
价的。由此我们得到了与 PCP 问题等价的几个不定方程组。希望为
解决PCP 问题提供些有用的结论。
关键词:Heron三角形,PCP,PSTP,角平分线,三角形外接圆,
平方数,海伦数。
1. Introduction
A Heron triangle is a triangle having the property that the lengths of its sides as well as its area are positive integers. If the great common divisor of three sides of a Heron triangle is 1, then the Heron triangle is called a primitive Heron triangle.
There are several open questions concerning the existence of Heron
triangles with certain properties. For example (see [1, Problem D21]), it is not known whether there exist Heron triangles having the property that the lengths of all of their medians are positive integers. A different unsolved problem which asks for the existence of a perfect cuboid, i.e., rectangular box having the lengths of all the sides, face diagonals, and main diagonal integers has been related(see [5]) to the existence of a Heron triangle having the lengths of its sides perfect squares and the lengths of its angle bisectors positive integers.
In this paper, we focus our attention on the Heron triangles with rational angle bisectors. First, by using some idea of [3], we prove the following Theorem, which improves the results of [2] and [3].
Theorem 1.1:
For any given integer n(n ≥3), there existsnpoints on a circle such that any triangles whose vertices are three points among the n(n ≥3)points is a Heron triangle with three integer angle bisectors.
We will prove Theorem 1.1 in Section 3. Next, we will investigate the characterization of Heron triangle with rational angle bisectors. By using some known results on triangles and some constructions, we will prove in Section 4 the following three
Theorems.
Theorem 1.2
Let (a,b,c) be a primitive Heron block such that the related triangle is a acute triangle. Then (m,n,k)given by the following formula
⎪⎩
⎪⎨
⎧
− +
=
− +
=
− +
=
) (
) (
) (
2 2 2 2
2 2 2 2
2 2 2 2
c b a c k
b c a b n
a c b a m
(1.1)
is a Heron tuple such that the related Heron triangle is a triangle with three rational angle bisectors.
Theorem 1.3
Let (a,b,c) be a primitive Heron block such that the related triangle is a obtuse triangle with c2 > a2 +b2. Then) , ,
(m n k given by the following formula
⎪⎩
⎪⎨
⎧
−
−
=
− +
=
− +
=
) (
) (
) (
2 2 2 2
2 2 2 2
2 2 2 2
b a c c k
b c a b n
a c b a m
(1.2)
is a Heron tuple such that the related Heron triangle is a triangle with three rational angle bisectors.
Theorem 1.4
Let (a,b,c) be a primitive Heron tuple such that the related triangle is a right triangle withc2 = a2 +b2(a>b).Then (m,n,k)given by the following formula
⎪⎩
⎪⎨
⎧
=
=
−
=
2 2
2
2 )
( 2
c k
c n
b a m
(1.3)
is a Heron tuple such that the related Heron triangle is a triangle with three rational angle bisectors.
By Theorems 1.2, 1.3 and 1.4, we have constructed three kinds of Heron triangles with rational angle bisectors. It is natural to ask: Can any Heron triangle with rational angle bisectors be constructed in this way? Theorem 4.1 answers the above question.
Theorem 4.1: If the tuple
(m,n,k)is a Heron tuple such that the corresponding Heron triangle ΔMNK has three rational angle bisectors, then the tuple(m,n,k)can be represented as
⎪⎩
⎪⎨
⎧
− +
=
− +
=
− +
=
) (
) (
) (
2 2 2 2
2 2 2 2
2 2 2 2
c b a c k
b c a b n
a c b a m
λ λ λ
, (1.4)
whereλ∈Q, and (a,b,c)is a primitive Heron tuple of a acute triangle.
Or
⎪⎩
⎪⎨
⎧
−
−
=
− +
=
− +
=
) (
) (
) (
2 2 2 2
2 2 2 2
2 2 2 2
b a c c k
b c a b n
a c b a m
λ λ λ
, (1.5)
whereλ∈Q, and (a,b,c) is a primitive Heron tuple of a obtuse triangle andc2 >a2 +b2. Or
⎪⎩
⎪⎨
⎧
=
=
−
=
2 2
2
2 )
( 2
c k
c n
b a m
λ λ λ
(1.6)
whereλ∈Q , and (a,b,c) is a primitive Heron tuple of a right triangle with hypotenuse c, and a>b. The third case occurs only when n=k.
In Section 5, we will connect the above results with the famous Perfect Cuboid Problem. We will prove
Theorem 5.3:
(1) PCP has a solution if and only if there are positive integers x,y,z
⎪⎩
⎪⎨
⎧
=
−
=
−
= +
2 2 2
2 2 2
2 2 2
a z y
b z x
c y x
andx2y2 −y2z2 −z2x2is a square.
(2)PCP has a solution if and only if there are positive integers z
y x, ,
⎪⎩
⎪⎨
⎧
= +
= +
= +
2 2 2
2 2 2
2 2 2
a z y
b z x
c y x
and x2y2 + y2z2 +z2x2is a square.
2. Some Lemmas
In this section, we will prove some lemmas that will be used in the subsequent sections.
To begin with,the following results is well-known for a Heron triangle, so we cite them directly without proof.
Known Facts: the values of sine, cosine, tangent and tangent of half-angle of any angle of a Heron triangle are rational numbers; the values of radii of incircle and circumcircle are rational numbers; the lengths of three sides of a Heron triangle must be two odd integers and one even integer.
Lemma 2.1 If k (k 2 π π
θ ≠ + is an integer),then
∈Q θ θ,cos2 2
sin if and only if tanθ ∈Q。 Proof: If k (k
2 π π
θ ≠ + is an integer),then tan
θ
makes sense.(1)Sufficiency: If tanθ∈Q,we have
θ
θ θ2
tan 1
tan 2 2
sin = + ,
∈Q +
= −
θ θ 22θ
tan 1
tan 2 1
cos .
(2)Necessity: If sin2θ,cos2θ ∈Q,since
θ θ θ
2 sin
2 cos
tan =1− , we have tanθ ∈Q。This proves the lemma.
Lemma 2.2 If xi,yi ∈Q(i =1,2,3),then the area of the triangle with three non-collinear vertices
) , ( ), , ( ), ,
(x1 y1 x2 y2 x3 y3 is rational。
Proof: By the knowledge of analytic geometry, we obtain that the area with three vertices (x1,y1),(x2,y2),(x3,y3) is given by the absolute value of
1 1 1 2
1
3 3
2 2
1 1
y x
y x
y x
=
Δ .
Therefore Δ∈Q。The lemma is proved.
The following lemma is very important in the argument of this paper.
Lemma2.3 LetABC be a Heron triangle, the angle bisector l is a
rational if and only if
cos 2 2,
sin A A
are rational numbers。 Proof: By the sine Theorem, we have
) 2 / sin(
sin B A
c B
la
= + 。 (2.1) Suppose
cos 2 2,
sin A Aare rational numbers,since the triangleABC is a Heron triangle , then sinB,cosB∈Q , and so
Q l Q A
B+ /2)∈ , a ∈
sin( 。
Conversely, if the angle bisector la is rational, since the triangle ABC is a Heron triangle, so sinB,cosB,tanA/2∈Q. By
(2.1)we obtain sin(B+ A/2)∈Q。Therefore ,
2) tan cos 2(sin
cos A Q
B A B
∈ +
consequently
cos 2 2,
sin A A
are rational numbers。This completes the proof.
3、Proof of Theorem 1.1
Proof of Theorem 1.1 To begin with, we choose n distinct angles θ1,K,θn in [0,π/4) such that tanθi ∈Q(i =1,K,n)。 Hence 8θi ∈[0,2π),and thus we can find the corresponding points Mi(cos8θi,sin8θi)(i =1,K,n) which are on the unit circle 。
Since tanθi ∈Q(i=1,K,n),by Lemma 2.1 we have
) , , 1 ( 8
cos , 8 sin , 4 cos , 4 sin , 2 cos , 2
sin θi θi θi θi θi θi ∈Q i = K n 。 It
follows that the coordinates of these n points are rational numbers. Now, by Lemma 2.2, the area of any triangle whose vertices are three distinct points among the n points is a rational number.
Now we will prove that the distance between any two points is a rational number. By the distance formula of two points, we have
2 2 2
(cos 8 cos 8 ) (sin 8 sin 8 ) 4 sin 4( ) 2 | sin 4( ) | 2 | sin 4 cos 4 cos 4 sin 4 | .
k l k l k l k l
k l k l k l
M M
Q
θ θ θ θ θ θ
θ θ θ θ θ θ
= − + − = −
= − = − ∈
Next, joint MkMland any other pointMm, we obtain a triangle
m l
kM M
ΔM ,and θ = ∠MkMmMl = 4|θk −θl | or π −4|θk −θl |。 Therefore
, ) 2 sin 2 cos 2
cos 2 (sin )
( 2 2 sin
sinθ =± θk −θl =± θk θl − θk θl ∈Q
or cos2( ) (sin2 sin2 cos2 cos2 ) , sinθ2 =± θk −θl =± θk θl − θk θl ∈Q and cos2( ) (sin2 sin2 cos2 cos2 ) ,
cosθ2 =± θk −θl =± θk θl − θk θl ∈Q or sin2( ) (sin2 cos2 cos2 sin2 ) .
cosθ2 =± θk −θl =± θk θl − θk θl ∈Q
By Lemma 2.3, the angle bisector of ∠MkMmMl is a rational number。
In this way we have proved that there exist n distinct points on the unit circle such that the distance between any
two points is a rational number, the area of any triangle whose vertices are three distinct points among the n points is a rational number and any angle bisector of any angle with three distinct point is a rational. Now by suitable similar amplification, all rational numbers can be turned into integers. That is, there exists such a circle and n distinct points on the circle such that the distance between any two points is an integer, the area of any triangle whose vertices are three distinct points among the n points is an integer and any angle bisector of any angle with three distinct point is an integer.Recall that a Heron triangle is a triangle with integral sides and area, which completes the proof.
Therefore, we have proved that there are infinitely many Heron triangle with rational angle bisectors.
4 、 The construction of Heron triangles with rational angle bisectors.
In this section, we will give the proofs of Theorems 1.2-1.4, which characterize the construction of Heron triangle with rational angle
bisectors.
Proof of Theorem 1.2:
Let ΔABCbe a primitive Heron triangles whose lengths of three sides are a Heron tuple (a,b,c),by the assumptions, we have that ΔABCis a acute triangle, so the center O of the circumscribed circle of ΔABClies in the interior of ΔABC。 Do the circumscribed circle
Oof ΔABC;make three tangential lines of the circle through A,B,C , we obtain the intersection triangle ΔMNKof the three tangential lines
(as see the figure (1))
Notice that ∠BOC =2∠BAC,tan A=tan∠BAC∈Q,
And letr =OA=OB=OCbe the radius of the circle,then r∈Q,
O B
M
C
K A
N
Figure (1)
And so MC =rtanA∈Q。Similarly, NC∈Q,
So MN = MC+CN ∈Q。Similarly MK∈Q,NK ∈Q, It follows that all sides of triangle MNK are rational numbers.
Since NMK BAC) 2A (2
2 −∠ = −
=
∠ π π
,
then sin∠NMK =sin2A=2sinAcosA∈Q。Similarly, ,
2 ,
2C MNK B
MKN = − ∠ = −
∠ π π sin∠MKN,sin∠MNK ∈Q。
Now in ΔMNK , we have ,
Q A A
A
NMK = − = − ∈
∠ cos2 sin2 cos2
cos ,
Similarly, cosK,cosN ∈Q 。 Therefore
Q NMK MK
MN
SΔMNK = × ×sin∠ ∈ 2
1 。
For the angle bisector dMof the angle∠NMK in ΔMNK, we have ), cos(
)) 2 / ( sin(
) 2 / sin(
sin K A
MN A
K MN M
K MN N
dM
= −
−
= +
= +
π
Since cos(K − A) =cosKcosA+sinKsinA∈Q ,thus the angle bisector dMof the angle∠NMKis a rational number.
Similarly, the two other angle bisectors of ΔMNK are rational numbers.
Summing up, the three sides, area and three angle bisectors of
ΔMNKare rational numbers.
Scaling ΔMNK we can obtain a primitive Heron triangle whose lengths of three sides are a primitive Heron tuple with integer area and rational angle bisectors.
Now we prove that the formula (1.1) holds. Since ,
tan ,
tanA NC r B
r
MC = =
r B b r A a
sin 2 2 ,
sin = = ,so
ac b c B a
bc a c A b
cos 2 2 ,
cos
2 2 2 2
2
2 + −
− =
= + 。Hence
). )(
( ) 2
tan
(tan 2 2 2 2 2 2
3 2
2 2 2 2
2 b c a a c b
abc b
c a
abc a
c b B abc A
r
MN = + − + −
− + +
−
= + +
=
Similarly,
), )(
( ) 2
tan
(tan 2 2 2 2 2 2 2 2 2 2 2 2
c b a a c b
c ab c
b a
abc a
c b C abc A
r
MK = + − + −
− + +
−
= + +
=
). )(
( ) 2
tan
(tan 2 2 2 2 2 2
3 2
2 2 2 2
2 a b c a c b
bc a b
c a
abc c
b a B abc C
r
KN = + − + −
− + +
−
= + +
=
By dividing out a common rational divisor of MN, MK, KN,we obtain
⎪⎩
⎪⎨
⎧
− +
=
− +
=
− +
=
) (
) (
) (
2 2 2 2
2 2 2 2
2 2 2 2
c b a c k
b c a b n
a c b a m
This proves Theorem 1.1。
Example 4.1:
For a given Heron tuple(13,14,15),find the corresponding primitive Heron tuple such that the lengths of three angle bisectors of the corresponding Heron triangle are rational numbers.
Solving: It is easy to see that the triangle with primitive Heron (13,14,15) is a acute triangle, by Theorem 1.1, substituting
15 , 14 ,
13 = =
= b c
a into formula (1.1) to obtain
⎪⎩
⎪⎨
⎧
×
×
×
=
− +
=
×
×
×
=
− +
=
×
×
×
=
− +
=
7 5 3 2 ) 15 14 13 ( 15
13 7 3 2 ) 14 15 13 ( 14
11 7 3 2 ) 13 15 14 ( 13
3 2 2 2 2 2 2
2 2
2 2 2 2 2
2 2 3 2 2 2 2
k n m
,
Therefore we obtain the corresponding primitive Heron tuple )
125 , 169 , 154
( 。It is easy to check that the semi-perimeterp=224,the area 11
5 3 2 99 55 70
224× × × = 3× × ×
=
S 。
By the formula of angle bisector, the lengths of three angle bisectors are
21 5 2600 13
70 125 224
169 ) 2
2 ( 2 3
=
×
× + ×
=
− + ×
= p p m nk
k
dm n ,
279 30800 5
154 55 125 224
154 ) 2
2 ( 3
=
×
× + ×
=
− + ×
= p p n mk
k
dn m ,
323 48048 154
13 99 154 224
169 ) 2
2 ( × × 2× =
= +
− + ×
= p p k mn
m
dk n 。
Therefore the lengths of three angle bisectors of primitive Heron triangle with Heron tuple(154,169,125) are rational numbers.
Proof of Theorem 1.3
:Let ΔABCbe the primitive Heron triangle with Heron tuple(a,b,c), by the assumptions, we obtain thatΔABCis a obtuse triangle, hence the center O of the circumcircle of ΔABClies in the exterior of
O
A N
C
H
B
ΔABC. Do the circumscribed circle Oof ΔABC ;make three tangential lines of the circle through A,B,C,we obtain the intersection triangle ΔMNKof the three tangential lines (as see the figure(2))
Notice that ∠BOC=2∠BAC,tanA=tan∠BAC∈Q , and let
OC OB OA
r= = = be the radius of the circle O , then r∈Q , thusMC =rtanA∈Q。Similarly, NC∈Q,and henceMN =MC+CN∈Q。
Since∠AOB=2π −2C,tanC∈Q, so BK =rtan(π −C)=−rtanC∈Q。 Hence
Q B r C r NC KB NK Q A r C r MB KB
MK = − =− tan − tan ∈ , = − =− tan − tan ∈ 。 So the lengths of three sides of the triangle MNK are rational numbers.
Now∠NMK =2∠BAC=2A,so sin∠NMK =sin2A=2sinAcosA∈Q。 Similarly,∠MKN =2C−π,∠MNK =2B,sin∠MKN,sin∠MNK∈Q。 In ΔMNK, we have cos∠NMK =cos2A=cos2 A−sin2 A∈Q, Similarly,cosK,cosN ∈Q。
Therefore the area of ΔMNKisSΔMNK = MN×MK×sin∠NMK∈Q 2
1 。
For the angle bisector MHof∠NMK, we have
), cos(
)) 2 / ( sin(
sin
sin K A
MN A
K MN MHN
MN N
MH
= −
−
= +
= ∠
π
since cos(K−A)=cosKcosA+sinKsinA∈Q , thus the angle bisector MH of∠NMK is rational. Similarly, the two other angle bisectors of
ΔMNKare rational numbers.
Summing up, the three sides, area and three angle bisectors of
ΔMNKare rational numbers.
Scaling ΔMNK we can obtain a primitive Heron triangle whose lengths of three sides are a primitive Heron tuple with integer area and rational angle bisectors.
Now we prove that the formula (1.2) holds. Since ,
tan ,
tanA NC r B r
MC = =
r B b r A a
sin 2 2 ,
sin = = ,
ac b c B a
bc a c A b
cos 2 2 ,
cos
2 2 2 2
2
2 + − = + −
= . Hence
). )(
( ) 2
tan
(tan 2 2 2 2 2 2
3 2
2 2 2 2
2 b c a a c b
abc b
c a
abc a
c b B abc A
r
MN = + − + −
− + +
−
= + +
=
Similarly,
), )(
( ) 2
tan
(tan 2 2 2 2 2 2
3 2
2 2 2 2
2 b c a c a b
c ab c
b a
abc a
c b C abc A
r
MK = + − − −
−
− +
−
− +
= +
−
=
). )(
( ) 2
tan
(tan 2 2 2 2 2 2
3 2
2 2 2 2
2 c a b a c b
bc a b
c a
abc c
b a B abc C
r
KN = − − + −
−
− +
−
− +
= +
−
=
By dividing out a common rational divisor of MN, MK, KN,we obtain
⎪⎩
⎪⎨
⎧
−
−
=
− +
=
− +
=
) (
) (
) (
2 2 2 2
2 2 2 2
2 2 2 2
b a c c k
b c a b n
a c b a m
which completes the proof.
Example 4.2:
For a given primitive Heron tuple(5,5,8), find the corresponding
primitive Heron tuple such that the lengths of three angle bisectors of the corresponding Heron triangle are rational numbers.
Solving: It is easy to see the triangle with primitive Heron tuple (5,5,8) is an obtuse triangle, by Theorem 1.2, substitutinga=5,b=5,c=8 into the formula (1.2), we obtain
⎪⎩
⎪⎨
⎧
×
=
−
−
=
×
=
− +
=
×
=
− +
=
7 2 ) 5 5 8 ( 8
5 2 ) 5 8 5 ( 5
5 2 ) 5 8 5 ( 5
7 2 2 2 2
2 6 2 2 2 2
2 6 2 2 2 2
k n m
,
Therefore we obtain the corresponding primitive Heron tuple )
14 , 25 , 25
( 。It is easy to check that the semi-perimeter p=32 ,the earaS = 32×8×7×7 =16×7。
By the formula of angle bisector, the lengths of three angle bisectors are
39 25 800 8 14 32
25 ) 2
2 ( × × 2 =
= +
− + ×
= p p m nk
k
dm n ,
39 25 800 8 14 32
25 ) 2
2 ( 2
=
× + ×
=
− + ×
= p p n mk
k
dn m ,
5 25 56 14 7 25 32
25 ) 2
2 (
=
×
× + ×
=
− + ×
= p p k mn
m
dk n 。
Therefore the lengths of three angle bisectors of primitive Heron triangle with Heron tuple(25,25,14) are rational numbers.
Proof of Theorem 1.4:
Let ΔABCbe the primitive Heron triangle with Heron tuple(a,b,c), by the assumptions, we obtain thatΔABCis a right triangle, hence the center
O of the circumcircle of ΔABC is on the hypotenuse. Do the circumscribed circle Oof ΔABC;make two tangential lines of the circle through B,C,the two line intersect in K。
Prolong BAwhich intersects M with the tangential line through C, make the tangential line of the circleO through M, which intersects N with the tangential line through B, in this way we obtain a isosceles triangleΔMNK(as see in figure(3)).
Notice that ∠BOC =2∠BAC,tanA=tan∠BAC∈Q , and let
OC OB OA
r= = = be the radius of the circleO, sor∈Q, thus Q
A r KC
KB= = tan ∈ . Similarly,MC∈Q, so MK =MC+CK∈Q. So the lengths of three sides of the triangleMNKare rational numbers.
Now∠NKM =2∠BAC =2A, sosin∠NKM =sin2A=2sinAcosA∈Q。 Similarly,sin∠MKN,sin∠MNK∈Q。
In ΔMNK,cos∠NKM =cos2A=cos2 A−sin2 A∈Q,in the same way we havecosM,cosN∈Q。
Figure (3) _ A O
B N
C
K
M
Therefore the area ofΔMNKisSΔMNK = MK×KN×sin∠NKM ∈Q 2
1 。
For the angle bisector MHof∠NMK, we have
), cos(
)) 2 / ( sin(
sin
sin K A
MN A
K MN MHN
MN N
MH
= −
−
= +
= ∠
π
since cos(K−A)=cosKcosA+sinKsinA∈Q , so the angle bisector MHof∠NMKis a rational number. Similarly, the two other angle bisectors of ΔMNKare rational numbers.
Summing up, the three sides, area and three angle bisectors of
ΔMNKare rational numbers.
Scaling ΔMNK we can obtain a primitive Heron triangle whose lengths of three sides are a primitive Heron tuple with integer area and rational angle bisectors.
Similarly, we can prove that the formula (1.3) holds. Since the computations are similar, we omit the details.
Therefore we have constructed a Heron triangle with three rational angle bisectors from any known Heron triangle, and we also give the expressions of the lengths of three sidesof the related Heron triangle..
Theorem 4.1: If the tuple
(m,n,k)is a Heron tuple such that the corresponding Heron triangle ΔMNK has three rational angle bisectors, then the tuple(m,n,k)can be represented as⎪⎩
⎪⎨
⎧
− +
=
− +
=
− +
=
) (
) (
) (
2 2 2 2
2 2 2 2
2 2 2 2
c b a c k
b c a b n
a c b a m
λ λ λ
, (4.1)
whereλ∈Q, and (a,b,c)is a primitive Heron tuple of a acute triangle.
Or
⎪⎩
⎪⎨
⎧
−
−
=
− +
=
− +
=
) (
) (
) (
2 2 2 2
2 2 2 2
2 2 2 2
b a c c k
b c a b n
a c b a m
λ λ λ
, (4.2)
whereλ∈Q, and (a,b,c) is a primitive Heron tuple of a obtuse triangle andc2 >a2 +b2. Or
⎪⎩
⎪⎨
⎧
=
=
−
=
2 2
2
2 )
( 2
c k
c n
b a m
λ λ λ
(4.3)
whereλ∈Q , and (a,b,c) is a primitive Heron tuple of a right triangle with hypotenuse c, and a>b.
Proof of Theorem 4.1:
Supposethe tuple
(m,n,k)is a Heron tuple such that the corresponding Heron triangle ΔMNKhas three rational angle bisectors, then ΔMNKhas a incircle O。Let the three tangential points of O with ΔMNK be A,B,C, then from the proof of Theorem 1.2, we haveA BAC
NMK ) 2
(2
2 −∠ = −
=
∠ π π ,
B MNK
C
MKN = −2 ,∠ = −2
∠ π π 。
Therefore the triangle ABC is acute. By the assumptions and Lemma 2.3, we have sinA,sinB,sinC∈Q,r∈Q,soBC,AC,AB∈Qand SΔABC ∈Q。 By scaling the triangle ABC,we can obtain a primitive Heron triangle,
denote the lengths of the three sides by a, b, c. By Theorem 1.2, the tuple(m,n,k) can be represented as
⎪⎩
⎪⎨
⎧
− +
=
− +
=
− +
=
) (
) (
) (
2 2 2 2
2 2 2 2
2 2 2 2
c b a c k
b c a b n
a c b a m
λ λ λ
,
whereλ∈Q, and (a,b,c)is a primitive Heron tuple of a acute triangle.
Assume that
the tuple
(m,n,k) is a Heron tuple such that the corresponding Heron triangle ΔMNK has three rational angle bisectors, by picture 2 we can construct a circle O and a triangle ABC。 Now from the proof of Theorem 1.3 we haveA BAC NMK =2∠ =2
∠ ,∠MKN =2C−π,∠MNK =2B,
it follows that C is an obtuse and the triangle ABC is an obtuse. By the argument of Theorem 1.3, we obtain the formula (4.2).
Finally, from picture 3 and the proof of Theorem 1.4, if ΔMNK is an isosceles triangle that three rational angle bisectors, then we obtain a rational Heron right triangle ABC. From the proof of Theorem 1.4, we obtain the formula (4.3). Theorem 4.1 is proved.
From Theorems 1.2-1.4, we can construct a Heron triangle with rational angle bisector from any Heron triangle (whether it is acute, obtuse or triangle). Moreover, Theorem 4.1 tells us that the lengths of three sides of any Heron triangle with rational angle bisectors can be represented as in the formulas (4.1) and (4.2), and also (4.3) when the