Rysunek pomocniczy:

Zapiszmy za pomocą równania informację - miara jednego z kątów trójkąta jest średnią arytmetyczną miar pozostałych kątów:
 
Zauważmy, że wyrażenie  możemy zastąpić wyrażeniem