ISSN:
1420-8997
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
Abstract Leta, b, andc be the three sides of a triangleABC, a i ,b i ,c i anda e ,b e , ce be the lengths of the three internal and external bisectors of the three anglesA, B, andC respectively. It is easy to express the bisectors as formulae of the sides. In this paper, we solve a problem proposed by H. Zassenhaus: for any three different bisectors in {ai, bi, ci, ae, be, ce}, finding the relations between each side of the triangle and the three chosen bisectors. We also prove that given any general values for three different bisectors (internal or external) of a triangle, we can not draw the triangle using a ruler and a pair of compasses alone. The formulae mentioned above are derived automatically using a general method of mechanical formula derivation.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01224042
