1. If the points O, C be joined, the angle C is bisected. Hence “the bisectors of the angles of a triangle are concurrent” (compare I. xxvi., Ex. 7).
2. If the sides BC, CA, AB of the triangle ABC be denoted by a, b, c, and half their sum by s, the distances of the vertices A, B, C of the triangle from the points of contact of the inscribed circle are respectively s − a, s − b, s − c.
3. If the external angles of the triangle ABC be bisected as in the annexed diagram, the three angular points O′, O′′, O′′′, of the triangle formed by the three bisectors will be the centres of three circles, each touching one side externally, and the other two produced. These three circles are called the escribed circles of the triangle ABC.
4. The distances of the vertices A, B, C from the points of contact of the escribed circle which touches AB externally are s − b, s − a, s.
5. The centre of the inscribed circle, the centre of each escribed circle, and two of the angular points of the triangle, are concyclic. Also any two of the escribed centres are concyclic with the corresponding two of the angular points of the triangle.
6. Of the four points O, O′, O′′, O′′′, any one is the orthocentre of the triangle formed by the remaining three.
7. The three triangles BCO′, CAO′′, ABO′′′ are equiangular.
8. The rectangle CO.CO′′′ = ab; AO.AO′ = bc; BO.BO′′ = ca.
9. Since the whole triangle ABC is made up of the three triangles AOB, BOC, COA, we see that the rectangle contained by the sum of the three sides, and the radius of the inscribed circle, is equal to twice the area of the triangle. Hence, if r denote the radius of the inscribed circle, rs = area of the triangle.
10. If r′ denote the radius of the escribed circle which touches the side a externally, it may be shown in like manner that r′(s − a) = area of the triangle.