przekształcamy wyrażenie

i otrzymujemy:

Przekształcamy teraz prawą stronę równości, korzystając ze wzoru na cosinus kąta podwojonego.

To kończy dowód.