FORMULE DI PROSTAFERESI E FORMULE DI WERNER

Formule di prostaferesi Formule di Werner

(J. Werner 1468-1528)
Dati due angoli p e q
pq pq Dati due angoli  e 
1. cos p  cos q  2 cos cos
2 2
pq pq 1. cos cos  
1
cos     cos   
2. cos p  cos q  2 sin sin 2
2 2
sin  sin    cos     cos   
1
pq pq 2.
3. sin p  sin q  2 sin cos 2
2 2
sin  cos   sin      sin    
1
pq pq 3.
4. sin p  sin q  2 sin cos 2
2 2

Dimostrazione delle formule

Entrambi i gruppi di formule si ricavano dalle formule di somma e sottrazione.
Infatti dati due angoli  e  si ha
cos      cos  cos   sin  sin  e cos      cos  cos   sin  sin 

sommo membro a membro queste relazioni
cos     cos cos   sin  sin 
cos     cos cos   sin  sin 
________________________________
cos     cos     2 cos cos 
sottraggo membro a membro queste relazioni
cos     cos cos   sin  sin 
 cos      cos cos   sin  sin 
________________________________
(1) cos     cos     2 sin  sin  (2)
Dalla relazione (1), invertendo i due membri e dividendo il Dalla relazione (2), invertendo i due membri e dividendo il
tutto per 2 ottengo la prima formula di Werner tutto per 2 ottengo la seconda formula di Werner
cos cos   cos     cos    sin  sin    cos     cos   
1 1
2 2
 pq
 
    p 2
Se pongo  e poi risolvo il sistema rispetto a p e q (metodo della riduzione) ottengo  q
    q
p
 
 2
Sostituendo il tutto nella relazione (1) Sostituendo il tutto nella relazione (2)
cos      cos      2  cos   cos  cos      cos      2  sin   sin 
↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓
pq pq pq pq
p q p q
2 2 2 2
ottengo la prima formula di prostaferesi ottengo la seconda formula di prostaferesi

Per le altre formule procedo in modo analogo, infatti dati due angoli  e  si ha
sin      sin  cos   cos  sin  e sin      sin  cos   cos  sin 

sommo membro a membro queste relazioni
sin      sin  cos   cos sin 
sin      sin  cos   cos sin 
________________________________
sin      sin      2 sin  cos 
sottraggo membro a membro queste relazioni
sin      sin  cos   cos sin 
 sin       sin  cos   cos sin 
________________________________
(3) sin      sin      2 cos sin 
Dalla relazione (3), invertendo i due membri e dividendo il tutto per 2 ottengo la terza formula di Werner

sin  cos  
1
sin      sin    
2
 pq
    p   2
Se pongo  e poi risolvo il sistema rispetto a p e q (metodo della riduzione) ottengo  pq
    q  
 2
Sostituendo il tutto nella relazione (3) Sostituendo il tutto nella relazione (4)
sin      sin      2  sin   cos  sin      sin      2  cos   sin 
↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓
pq pq pq pq
p q p q
2 2 2 2
ottengo la terza formula di prostaferesi ottengo la quarta formula di prostaferesi

Formule di prostaferesi per la tangente e la cotangente

Utilizzando in modo opportuno le formule di prostaferesi posso ricavare le seguenti formule
 sin  p  q  sin  p  q 
con p e q   k 1. tan p  tan q  2. tan p  tan q 
2 cos p cos q cos p cos q

sin q  p  sin q  p 
con p e q  k 3. cot p  cot q  4. cot p  cot q 
sin p sin q sin p sin q
Esempi di utilizzo delle formule di prostaferesi e di Werner

sin 3x  sin 2 x  sin x

[A] Verificare la seguente identità  tan 2 x
cos3x  cos 2 x  cos x
Applico le formule di prostaferesi al primo membro dell’identità:

I
sin 3x  sin 2 x  sin x

sin 3x  sin x   sin 2 x  2 sin 2 x cos x  sin 2 x  sin 2 x 2 cos x  1  sin 2 x  II
c.v.d
cos3x  cos 2 x  cos x cos3x  cos x   cos 2 x 2 cos 2 x cos x  cos 2 x cos 2 x 2 cos x  1 cos 2 x

[B] Risolvere la seguente equazione cos5x  cos3x  sin x  0

Applico la seconda formula di prostaferesi ai due termini con il coseno:

 2 sin 4 x sin x  sin x  0 → sin x2 sin 4 x  1  0

→ sin x  0 e 2 sin 4 x  1
↓ ↓
4 x    2k  x    k
x  k sin 4 x  1 6 24 2
→
2 4 x  5  2k  x  5  k
6 24 2

[C] Calcolare il valore della seguente espressione sin 17 cos13  sin 73 sin 13
Applico le formule di Werner:
sin 17 cos13  sin 73 sin 13 
1
sin 17  13  sin (17  13)  1 cos73  13  cos73  13 
2 2
 1
sin 30  sin (4)  1 cos86  cos60  1 sin 30  sin 4  cos86  cos60  1  1  1   1
2 2 2 2 2 2 2
dato che sin 4  sin 90  86  cos 86

[D] Risolvere la seguente equazione sin x  cos2 x  sin 3x

Applico la terza formula di Werner al primo membro
1
sin x  2 x   sin x  2 x   sin 3x → 1
sin 3x   sin  x   sin 3x → sin 3x  sin x  2sin 3x →
2 2
3x  x 3x  x
→ sin 3x  sin x  0 applico la terza formula di prostaferesi 2 sin cos 0 →
2 2
→ sin 2x cos x  0 → sin 2 x  0 e cos x  0
↓ ↓
x  k ← 2 x  k x    k
2 2