On the automatic derivation of a set of geometric formulae (Q1895166)

In the real Euclidean plane, let \(a,b\) and \(c\) be the sides of a triangle \(ABC\), \(a_i, b_i, c_i\) and \(a_e, b_e, c_e\) be the lengths of the three internal and the three external bisectors of the three angles \(A,B\) and \(C\) of the triangle, respectively. For any three different bisectors in \(\{a_i, b_i, c_i, a_e, b_e, c_e\}\) the authors find the relations between each side of the triangle and the three chosen bisectors. These formulae are derived automatically using a general method of mechanical formula derivation. For instance, the relation among \(a, a_i, b_i\) and \(c_i\) is described by a polynomial of degree 10 in \(a^2\) having 331 terms! The results obtained show besides that, given general value for any three bisectors (internal or external) of a triangle, one cannot draw the triangle using a ruler and a compass alone.