On the automatic derivation of a set of geometric formulae
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.
- How to compute a triangle with prescribed lengths of its internal angle bisectors
- The Existence of a Triangle with Prescribed Angle Bisector Lengths
- The triangle construction \(\{\alpha, b-c, t_A\}\)
- A set of formulae regarding centres of a triangle
- On the existence of triangles with given lengths of two angle bisectors and of the cevian from the third angle vertex
This page was built for publication: On the automatic derivation of a set of geometric formulae
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1895166)
