La sottrazione del coseno
La formula della sottrazione del coseno è $$ \cos(\alpha - \beta) = \cos \alpha \cos \beta + \sin \alpha \sin \beta $$
Pertanto, non è mai corretto scrivere
$$ \cos (\alpha - \beta) = \cos \alpha - \cos \beta $$
Un esempio pratico
Il coseno di 90° (π/2) è 1 mentre il coseno di 60° (π/3) è 1/2
$$ \cos \frac{\pi}{2} = 1 $$
$$ \cos \frac{\pi}{3} = \frac{1}{2} $$
Devo calcolare il coseno della differenza tra gli angoli 90°-60°
$$ \cos ( \frac{\pi}{2} - \frac{\pi}{3} ) $$
Applico la formula della sottrazione del coseno con α=π/2 e β=π/3
$$ \cos ( \frac{\pi}{2} - \frac{\pi}{3} ) = \cos \frac{\pi}{2} \cos \frac{\pi}{3} + \sin \frac{\pi}{2} \sin \frac{\pi}{3} $$
$$ \cos ( \frac{\pi}{2} - \frac{\pi}{3} ) = 0 \cdot \frac{1}{2} + 1 \cdot\frac{\sqrt{3}}{2} $$
$$ \cos ( \frac{\pi}{2} - \frac{\pi}{3} ) = \frac{\sqrt{3}}{2} $$
Nota. Da notare che $$ \cos ( \frac{\pi}{2} - \frac{\pi}{3} ) \ne \cos ( \frac{\pi}{2} ) - \cos ( \frac{\pi}{3} ) = 1 - \frac{1}{2} $$
Verifica
$$ \cos ( \frac{\pi}{2} - \frac{\pi}{3} ) = \cos ( \frac{3\pi - 2 \pi}{6} ) = \cos ( \frac{\pi}{6}) = \frac{ \sqrt{3} }{2} $$
La dimostrazione
Disegno due angoli α e β in una circonferenza goniometrica con β>α.
La differenza tra α e β è l'angolo β-α
Ora considero lo stesso angolo β-α a partire dal lato di origine.
I triangoli OAB e OCD sono congruenti (uguali) perché hanno gli stessi angoli e la stessa lunghezza dei lati.
Pertanto i segmenti AB e CD hanno la stessa lunghezza.
$$ \overline{AB} = \overline{CD} $$
Questo vuol dire che la distanza tra i punti A e B è uguale alla distanza tra i punti C e D.
$$ \overline{AB}^2 = (x_A-x_B)^2 +(y_A-y_B)^2 $$
$$ \overline{CD}^2 = (x_C-x_D)^2 +(y_C-y_D)^2 $$
Essendo la stessa distanza
$$ \overline{AB}^2 = \overline{CD}^2 $$
$$ (x_A-x_B)^2 +(y_A-y_B)^2 = (x_C-x_D)^2 +(y_C-y_D)^2 $$
A questo punto devo trasformare le coordinate x e y dei punti con le rispettive funzioni trigonometriche.
Sapendo che xA=cos(β-α) e yA=sin(β-α)
$$ ( \cos(β-α) -x_B)^2 +(\sin(β-α)-y_B)^2 = (x_C-x_D)^2 +(y_C-y_D)^2 $$
Mentre xB=cos(0)=1 e yB=sin(0)=0.
$$ ( \cos(β-α) -1)^2 +(\sin(β-α)-0)^2 = (x_C-x_D)^2 +(y_C-y_D)^2 $$
Sapendo che xC=cos(α) e yC=sin(α)
$$ ( \cos(β-α) -1)^2 +(\sin(β-α)-0)^2 = (\cos(\alpha)-x_D)^2 +(\sin(\alpha)-y_D)^2 $$
Mentre xD=cos(β) e yD=sin(β)
$$ ( \cos(β-α) -1)^2 +(\sin(β-α)-0)^2 = (\cos(\alpha)-\cos(\beta))^2 +(\sin(\alpha)-\sin(\beta))^2 $$
A questo punto semplifico
$$ ( \cos(β-α) -1)^2 + \sin^2(β-α) = (\cos(\alpha)-\cos(\beta))^2 +(\sin(\alpha)-\sin(\beta))^2 $$
E svolgo i quadrati dei binomi
$$ \cos^2(β-α) - 2 \cos(β-α) +1 + \sin^2(β-α) = \cos^2 (\alpha) - 2 \cos(\alpha) \cos(\beta) + \cos^2(\beta) + \\ + \sin^2(\alpha) - 2 \sin(\alpha) \sin(\beta) + \sin^2(\beta) $$
Secondo la prima relazione fondamentale della trigonometria la somma dei quadrati del seno e del coseno di un angolo è uguale a 1.
$$ [ \cos^2(β-α) + \sin^2(β-α) ] - 2 \cos(β-α) +1 = [ \cos^2 (\alpha) + \sin^2(\alpha) ] - 2 \cos(\alpha) \cos(\beta) + \\ + [ \cos^2(\beta) + \sin^2(\beta) ] - 2 \sin(\alpha) \sin(\beta) $$
In questo modo ottengo
$$ [ 1 ] - 2 \cos(β-α) +1 = [ 1 ] - 2 \cos(\alpha) \cos(\beta) + [ 1 ] - 2 \sin(\alpha) \sin(\beta) $$
$$ 2 - 2 \cos(β-α) = 2 - 2 \cos(\alpha) \cos(\beta) - 2 \sin(\alpha) \sin(\beta) $$
Elimino 2 da entrambi i membri
$$ - 2 \cos(β-α) = - 2 \cos(\alpha) \cos(\beta) - 2 \sin(\alpha) \sin(\beta) $$
Poi moltiplico per -1 entrambi i membri per ottenere il segno positivo.
$$ (-1) \cdot (- 2 \cos(β-α)) = (-1) \cdot (- 2 \cos(\alpha) \cos(\beta) - 2 \sin(\alpha) \sin(\beta) ) $$
$$ 2 \cos(β-α) = 2 \cos(\alpha) \cos(\beta) + 2 \sin(\alpha) \sin(\beta) $$
Metto in evidenza cos(β-α)
$$ \cos(β-α) = \frac{ 2 \cos(\alpha) \cos(\beta) + 2 \sin(\alpha) \sin(\beta) }{2} $$
Semplifico il 2 al numeratore e denominatore nel secondo membro e ottengo la formula che volevo dimostrare
$$ \cos(β-α) = \cos(\alpha) \cos(\beta) + \sin(\alpha) \sin(\beta) $$
E così via.
