Z twierdzenia cosinusów dla trójkąta FHE oblicz długość boku:
Co należało wykazać.
Wykonaj rysunek pomocniczy:
Kąt przy wierzchołku H trójkąta FHE obliczysz z tego, że
oraz
skąd:
Zauważ, że trójkąt AGB to połowa trójkąta równobocznego:
Podobnie trójkąt IHD:
Ponieważ BHIG jest prostokątem:
Ostatecznie dla trójkąta BEH:
