Equilateral pentagon of δ can be seen from the figure: Simplifying, δ is obtained as function of α and β: The remaining angles of the pentagon can be found geometrically: The remaining angles of the orange and blue triangles are readily found by noting that two angles of an isosceles triangle are equal while all three angles sum to 180°. Then formula_7 and the two remaining angles of the green triangle can be found from four equations stating that the sum of the angles of the pentagon is 540°, the sum of the angles of the green triangle is 180°, the angle
Triangle inequality angles satisfy: Therefore, and so, in particular, That means side opposite angle is shorter than side opposite the larger angle . But . Hence: A similar construction shows , establishing the theorem. An alternative proof (also based upon the triangle postulate) proceeds by considering three positions for point : (i) as depicted (which is to be proven), or (ii) coincident with (which would mean the isosceles triangle had two right angles as base angles plus the vertex angle , which would violate the triangle postulate), or lastly, (iii) interior to the right triangle between points and (in which case angle