Since the sines and cosines of the angles can be expressed as functions of the
sides (via the cosine rule) the angle bisector r can be expressed in terms of the
sides of the triangle. By analogous reasoning on the other two pairs of triangles
one obtains the three dening equations for the angle bisectors