How to Compute a Triangle with Prescribed Lengths of Its Internal Angle Bisectors
G. Heindl
Abstract:In 1994 P. Mironescu and L. Panaitopol published a non-constructive proof that any three given positive real numbers are the lengths of the internal angle bisectors of a triangle which is unique up to isometries. In the present paper it will be shown that this result can be obtained also by a constructive proof which in addition leads to an efficient method for computing the lengths of the sides of the triangle in question. 1. Preliminaries Let 〈A,B,C〉 be a triangle, a = |−−→ BC|, b = |−→ CA|, c = |−−→ AB| the lengths of its sides, and α = ∠(CAB), β = ∠(ABC), γ = ∠(BCA) its angles. The lengths a, b, c are positive real numbers satisfying the triangle inequalities a < b+ c, b < c+ a, c < a+ b. (1) Conversely, if a, b, c are positive real numbers satisfying the inequalities (1), then there is a triangle 〈A,B,C〉 , unique up to isometries, such that |−−→ BC| = a, |−→ CA| = b, |−−→ AB| = c. The line through A bisecting α is given by { A+ λ( −→ AC b + −→ AB c ) : λ ∈ R } . It cuts the side 〈B,C〉 of the triangle at X = A+ λ′ (−→ AC b + −−→ AB c ) = B + τ ′ −−→ BC, (2) where λ′ = bc b+c and τ ′ = c b+c (see Figure 1). The segment 〈A,X〉 is the so called internal angle bisector (of 〈A,B,C〉) at A. For the length tA = |−−→ AX| of 〈A,X〉 the well-known formula tA = bc ( 1− a 2 (b+ c)2 ) (3) Publication Date: November 22, 2016. Communicating Editor: Paul Yiu.
Mathematics