Consider the sublime triangle (on right).

The sublime triangle is an isosceles triangle ABC with base angles at B and C and the angle opposite the base at A is . Let CD be the angle bisector of angle ACB.