Zauważmy, że odcinek  to  wysokości trójkąta równobocznego z podstawy, więc możemy zapisać:

Z trójkąta prostokątnego  możemy zapisać:

Wiemy, że: