Come si usano le formule a mezzo angolo per trovare il valore esatto per cos 15 senza usare una calcolatrice?

Considero #cos(30°)=sqrt(3)/2# come valore fondamentale quindi:

L'ultima espressione può essere calcolata a mano.