The second equality holds since the triangle ABC is isosceles, the third by reflection, and the fourth since D is an interior point of the segment BC. Now according to Euclid’s fifth postulate the rays k and h meet in a point E. By the properties of reflection it is obvious that this intersection point E must lie on the ray BC outside the segment BC. For Figure 2, ∠(h,AC)=∠CAD < ∠ACB = ∠BAC. The first equality holds by reflection, the inequality by the Exterior Angle Theorem, the second equality since the triangle ABC is isosceles. Thus, the ray h runs first within the triangle ABC and meets the side BC in an interior point E. Theorem 2. If ABC is an isosceles triangle and points D, E are given as in Lemma 1, then BC2 = BD·BE, i.e., BC is the geometric mean of BD and BE. Proof. Firstly, we assume the point D inside the segment BC. The triangles ABD and EBAshare the angle at vertex B. Now consider the angle sums of the triangles ABC and ABD.