Zaczynamy od rysunku pomocniczego:

Zapiszemy pole podstawy:

Skoro trójkąt  jest prostokątny, to z funkcji cosinus:

Skoro trójkąt  jest prostokątny, to z twierdzenia