UN PO’ DI TRIGONOMETRIA

Leonardo Rubino
Settembre 2023

Abstract: Formule trigonometriche.

Indice:
Tavola riassuntiva 1-Formule di Sottrazione 2-Formule di Addizione
3-Formule di Duplicazione 4-Formule di Triplicazione 5-Formule di Bisezione
6-Formule di Prostaferesi 7-Formule di Werner 8-sinα e cosα in funzione di tan(α/2)
9-Teorema del coseno (di Carnot)

Tavola riassuntiva FORMULE DI ADDIZIONE

sin(   )  sin  cos   cos  sin 
FORMULE DI SOTTRAZIONE cos(   )  cos  cos   sin  sin 
sin(   )  sin  cos   cos  sin  tan   tan 
cos(   )  cos  cos   sin  sin  tan(   ) 
1  tan  tan 
tan   tan 
tan(   ) 
1  tan  tan  FORMULE DI TRIPLICAZIONE
sin 3  3 sin   4 sin 3 
cos 3  4 cos3   3 cos 
FORMULE DI DUPLICAZIONE
3 tan   tan 3 
sin(2 )  2 sin  cos  tan 3 
1  3 tan 2 
cos(2 )  cos 2   sin 2   1  2 sin 2   2 cos 2   1
2 tan 
tan(2 )  FORMULE DI PROSTAFERESI
1  tan 2  pq pq
sin p  sin q  2 sin( ) cos( )
2 2
FORMULE DI BISEZIONE pq pq
sin p  sin q  2 cos( ) sin( )
 1  cos  2 2
sin   pq pq
2 2 cos p  cos q  2 cos( ) cos( )
2 2
 1  cos 
cos  pq pq
2 2 cos p  cos q  2 sin( ) sin( )
2 2
 1  cos 
tan 
2 1  cos  sinα e cosα in funzione di tan(α/2)
 
2 tan 1  tan 2
sin   2 , cos   2
FORMULE DI WERNER 2 2
1  tan 1  tan
1 2 2
sin  sin   [cos(   )  cos(   )]
2
1 TEOREMA DEL COSENO (DI CARNOT)
cos  cos   [cos(   )  cos(   )]
2 a 2  b 2  c 2  2bc cos 
1
sin  cos   [sin(   )  sin(   )] b 2  a 2  c 2  2ac cos 
2
c 2  a 2  b 2  2ab cos 
Fig. 1: Cerchio trigonometrico (raggio=1). C è scelto in corrispondenza di (α-β).

Fig. 2: Triangoli identici A0C e B0D nel dettaglio.

1-Formule di Sottrazione
Si ha che AC  BD , ma: AC  ( AE ) 2  (CE ) 2  [1  cos(   )]2  sin 2 (   ) e
BD  ( BF ) 2  ( DF ) 2  ( BG  FG ) 2  ( DH  FH ) 2  (cos   cos  ) 2  (sin   sin  ) 2
(abbiamo ( cos  ) perché cos   0 )
da cui: [1  cos(   )]2  sin 2 (   )  (cos   cos  ) 2  (sin   sin  ) 2 , e dunque:
[1  cos(   )]2  sin 2 (   )  (cos   cos  ) 2  (sin   sin  ) 2 , così:
cos(   )  cos  cos   sin  sin  . (1)
 
Ricordiamo poi che sin(   )  cos[  (   )]  cos[(   )   ] e quindi, per la (1):
2 2
sin(   )  sin  cos   cos  sin  . (2)
sin(   ) sin  cos   cos  sin 
Per ultimo: tan(   )   ; dividendo ora numeratore e
cos(   ) cos  cos   sin  sin 
denominatore per cos  cos  , si ottiene:
 tan   tan 
tan(   )  (3)
1  tan  tan 
In definitiva:
FORMULE DI SOTTRAZIONE

sin(   )  sin  cos   cos  sin  (4)

cos(   )  cos  cos   sin  sin  (5)
tan   tan 
tan(   )  (6)
1  tan  tan 

2-Formule di Addizione
Considerando che (α+β)= [α-(-β)] e tenendo conto che seno e tangente sono funzioni dispari
(f(-x)=-f(x)), mentre il coseno è pari (f(-x)=f(x)), dalle (1), (2) e (3) si ha:

FORMULE DI ADDIZIONE

sin(   )  sin  cos   cos  sin  (7)

cos(   )  cos  cos   sin  sin  (8)
tan   tan 
tan(   )  (9)
1  tan  tan 

3-Formule di Duplicazione
Considerando (α+β) con α=β, si ha: (α+ α)=2α e per le (7), (8) e (9) si ha:
sin(   )  sin  cos   cos  sin   2 sin  cos 
cos(   )  cos 2   sin 2   1  2 sin 2   2 cos 2   1
tan   tan  2 tan 
tan(   )   , dunque:
1  tan  tan  1  tan 2 
FORMULE DI DUPLICAZIONE

sin(2 )  2 sin  cos  (10)

2 2 2 2
cos(2 )  cos   sin   1  2 sin   2 cos   1 (11)
2 tan 
tan(2 )  (12)
1  tan 2 

4-Formule di Triplicazione
Si ha che: 3α=(α+ 2α) e, sempre per le (7), (8) e (9), si ha:

sin(  2 )  sin 3  sin  cos 2  cos  sin 2

cos(  2 )  cos 3  cos  cos 2  sin  sin 2
tan   tan 2
tan(  2 )  tan 3 
1  tan  tan 2

ma per le (10), (11) e (12), queste ultime divengono:

sin 3  sin  (2 cos 2   1)  2 sin  cos 2   sin  (cos 2   sin 2  )  2 sin  cos 2  
 sin  cos 2   sin 3   2 sin  cos 2   3 sin  cos 2   sin 3   3 sin  (1  sin 2  )  sin 3  
 3 sin   3 sin 3   sin 3   3 sin   4 sin 3 
cos 3  cos  cos 2  sin  sin 2  cos  (1  2 sin 2  )  sin  (2 sin  cos  ) 
 cos   2 sin 2  cos   2 sin 2  cos   cos   4 sin 2  cos   cos  (1  4 sin 2  ) 
cos  (1  sin 2   3 sin 2  )  cos  (cos 2   3 sin 2  )  cos3   3 cos  sin 2  
 cos3   3 cos  (1  cos 2  )  cos3   3 cos   3 cos3   4 cos3   3 cos 
2 tan  2 tan  tan  (1  tan 2  )  2 tan 
tan   tan  
tan   tan 2 1  tan 2   1  tan 2   (1  tan 2  )
tan 3   
1  tan  tan 2 1  tan  2 tan  2 tan 2  (1  tan 2  )  2 tan 2 
1
1  tan 2  1  tan 2  (1  tan 2  )
3 tan   tan 3 
 , ossia:
1  3 tan 2 

FORMULE DI TRIPLICAZIONE

sin 3  3 sin   4 sin 3  (13)

cos 3  4 cos3   3 cos  (14)
3 tan   tan 3 
tan 3  (15)
1  3 tan 2 

5-Formule di Bisezione
' '
Ponendo nella (11) 2α=α’/2 , si ottiene: cos  '  1  2 sin 2  2 cos 2  1 . Ribattezzando ora α’
2 2
 
in α, si ottiene: cos   1  2 sin 2  2 cos 2
 1 , da cui:
2 2
 1  cos   1  cos   1  cos   1  cos 
sin 2  e cos 2  , da cui: sin   e cos   e
2 2 2 2 2 2 2 2
 1  cos 
dividendo m.a.m. queste ultime due, si ottiene: tan  e, per riassumere:
2 1  cos 
FORMULE DI BISEZIONE
 1  cos 
sin   (16)
2 2
 1  cos 
cos  (17)
2 2
 1  cos 
tan  (18)
2 1  cos 

6-Formule di Prostaferesi
Si ha:
sin(   )  sin(   )  2 sin  cos  (19.1)
sin(   )  sin(   )  2 cos  sin  (19.2)
cos(   )  cos(   )  2 cos  cos  (19.3)
cos(   )  cos(   )  2 sin  sin  (19.4)
pq pq
Ponendo ora (   )  p e (   )  q , ossia:   e  , si ha:
2 2
FORMULE DI PROSTAFERESI
pq pq
sin p  sin q  2 sin( ) cos( ) (20)
2 2
pq pq
sin p  sin q  2 cos( ) sin( ) (21)
2 2
pq pq
cos p  cos q  2 cos( ) cos( ) (22)
2 2
pq pq
cos p  cos q  2 sin( ) sin( ) (23)
2 2

7-Formule di Werner

Per le equazioni (19), si hanno le:

FORMULE DI WERNER
1
sin  sin   [cos(   )  cos(   )] (24)
2
1
cos  cos   [cos(   )  cos(   )] (25)
2
1
sin  cos   [sin(   )  sin(   )] (26)
2

8-sinα e cosα in funzione di tan(α/2)

Per le formule di duplicazione (10), (11) e (12), si ha:

     
sin   2 sin cos , cos   cos 2  sin 2 e ricordando che: cos 2  sin 2  1 , si ha:
2 2 2 2 2 2
   
2 sin cos cos 2  sin 2
sin   2 2 , cos   2 2 ; dividendo ora numeratori e denominatori per
2  2  2  2 
cos  sin cos  sin
2 2 2 2

cos 2 , si ottiene:
2
 
2 tan 1  tan 2
sin   2 , cos   2 (27)
2  2 
1  tan 1  tan
2 2

9-Teorema del coseno (di Carnot)


 b
C a
   (   ) 
b a

    
 
A c B
   c
Fig. 3: Triangolo Fig. 4: Composizione vettoriale b  ac
Con riferimento al triangolo scaleno generico di Fig. 3, il dettaglio di Fig. 4 ci dice che:
         
b  a  c , da cui: (b ) 2  b b  b  b  cos 0  b 2  (a  c ) 2  a 2  c 2  2ac 
 a 2  c 2  2ac cos(   )  a 2  c 2  2ac cos 
Procedendo in modo analogo sugli altri due angoli ed i relativi lati, si ottiene, in totale:

a 2  b 2  c 2  2bc cos  (28)

b 2  a 2  c 2  2ac cos  (29)
c 2  a 2  b 2  2ab cos  (30)
 SOME TRIGONOMETRY
Leonardo Rubino
September 2023

Abstract: Trigonometric formulas.

Contents:
Table of formulas 1-Subtraction Formulas 2-Addition Formulas
3-Double-Angle Formulas 4-Triple-Angle Formulas 5-Half-Angle Formulas
6-Prosthaphaeresis Formulas 7-Werner Formulas 8-sinα and cosα as a function of
tan(α/2) 9-Cosine Theorem (Carnot)
ADDITION FORMULAS
Table of formulas sin(   )  sin  cos   cos  sin 
cos(   )  cos  cos   sin  sin 
SUBTRACTION FORMULAS
sin(   )  sin  cos   cos  sin  tan   tan 
tan(   ) 
cos(   )  cos  cos   sin  sin  1  tan  tan 
tan   tan 
tan(   )  TRIPLE-ANGLE FORMULAS
1  tan  tan 
sin 3  3 sin   4 sin 3 
cos 3  4 cos3   3 cos 
DOUBLE-ANGLE FORMULAS 3 tan   tan 3 
tan 3 
sin(2 )  2 sin  cos  1  3 tan 2 
cos(2 )  cos 2   sin 2   1  2 sin 2   2 cos 2   1
2 tan  PROSTHAPHAERESIS FORMULAS
tan(2 ) 
1  tan 2  pq pq
sin p  sin q  2 sin( ) cos( )
2 2
pq pq
HALF-ANGLE FORMULAS sin p  sin q  2 cos( ) sin( )
2 2
 1  cos  pq pq
sin   cos p  cos q  2 cos( ) cos( )
2 2 2 2
 1  cos  pq pq
cos  cos p  cos q  2 sin( ) sin( )
2 2 2 2
 1  cos 
tan  sinα and cosα as a function of tan(α/2)
2 1  cos 
 
2 tan 1  tan 2
sin   2 , cos   2
WERNER FORMULAS 2  2 
1 1  tan 1  tan
sin  sin   [cos(   )  cos(   )] 2 2
2
1 COSINE THEOREM (CARNOT)
cos  cos   [cos(   )  cos(   )]
2 a 2  b 2  c 2  2bc cos 
1
sin  cos   [sin(   )  sin(   )]
2 b 2  a 2  c 2  2ac cos 
c 2  a 2  b 2  2ab cos 
Fig. 1: Trigonometric circle (radius=1). C has been chosen to have an (α-β) angle.

Fig. 2: Identical triangles A0C and B0D in detail.

1-Subtraction Formulas
We have: AC  BD , but: AC  ( AE ) 2  (CE ) 2  [1  cos(   )]2  sin 2 (   ) and
BD  ( BF ) 2  ( DF ) 2  ( BG  FG ) 2  ( DH  FH ) 2  (cos   cos  ) 2  (sin   sin  ) 2
(we have ( cos  ) as cos   0 )
from which: [1  cos(   )]2  sin 2 (   )  (cos   cos  ) 2  (sin   sin  ) 2 , so:
[1  cos(   )]2  sin 2 (   )  (cos   cos  ) 2  (sin   sin  ) 2 ; therefore:
cos(   )  cos  cos   sin  sin  . (1)
 
We also know that sin(   )  cos[  (   )]  cos[(
  )   ] and so, according to the (1):
2 2
sin(   )  sin  cos   cos  sin  . (2)
sin(   ) sin  cos   cos  sin 
At last: tan(   )   ; now we divide numerator and
cos(   ) cos  cos   sin  sin 
denominator by cos  cos  and we get:
 tan   tan 
tan(   )  (3)
1  tan  tan 
Finally:
SUBTRACTION FORMULAS

sin(   )  sin  cos   cos  sin  (4)

cos(   )  cos  cos   sin  sin  (5)
tan   tan 
tan(   )  (6)
1  tan  tan 

2-Addition Formulas
As (α+β)= [α-(-β)] and also considering that sin and tan are odd functions (f(-x)=-f(x)), while cos
is even (f(-x)=f(x)), from (1), (2) and (3) we have:
ADDITION FORMULAS

sin(   )  sin  cos   cos  sin  (7)

cos(   )  cos  cos   sin  sin  (8)
tan   tan 
tan(   )  (9)
1  tan  tan 

3-Double-Angle Formulas
Considering that (α+β) with α=β, we have: (α+ α)=2α and according to the (7), (8) and (9), we
have:
sin(   )  sin  cos   cos  sin   2 sin  cos 
cos(   )  cos 2   sin 2   1  2 sin 2   2 cos 2   1
tan   tan  2 tan 
tan(   )   , so:
1  tan  tan  1  tan 2 
DOUBLE-ANGLE FORMULAS
sin(2 )  2 sin  cos  (10)
2 2 2 2
cos(2 )  cos   sin   1  2 sin   2 cos   1 (11)
2 tan 
tan(2 )  (12)
1  tan 2 

4-Triple-Angle Formulas
We have that: 3α=(α+ 2α) and still according to the (7), (8) and (9), we have:

sin(  2 )  sin 3  sin  cos 2  cos  sin 2

cos(  2 )  cos 3  cos  cos 2  sin  sin 2
tan   tan 2
tan(  2 )  tan 3 
1  tan  tan 2
but according to the (10), (11) and (12), the above ones become:

sin 3  sin  (2 cos 2   1)  2 sin  cos 2   sin  (cos 2   sin 2  )  2 sin  cos 2  
 sin  cos 2   sin 3   2 sin  cos 2   3 sin  cos 2   sin 3   3 sin  (1  sin 2  )  sin 3  
 3 sin   3 sin 3   sin 3   3 sin   4 sin 3 
cos 3  cos  cos 2  sin  sin 2  cos  (1  2 sin 2  )  sin  (2 sin  cos  ) 
 cos   2 sin 2  cos   2 sin 2  cos   cos   4 sin 2  cos   cos  (1  4 sin 2  ) 
cos  (1  sin 2   3 sin 2  )  cos  (cos 2   3 sin 2  )  cos3   3 cos  sin 2  
 cos3   3 cos  (1  cos 2  )  cos3   3 cos   3 cos3   4 cos3   3 cos 
2 tan  2 tan  tan  (1  tan 2  )  2 tan 
tan   tan  
tan   tan 2 1  tan 2   1  tan 2   (1  tan 2  )
tan 3   
1  tan  tan 2 1  tan  2 tan  2 tan 2  (1  tan 2  )  2 tan 2 
1
1  tan 2  1  tan 2  (1  tan 2  )
3 tan   tan 3 
 , so:
1  3 tan 2 

TRIPLE-ANGLE FORMULAS

sin 3  3 sin   4 sin 3  (13)

cos 3  4 cos3   3 cos  (14)
3 tan   tan 3 
tan 3  (15)
1  3 tan 2 

5-Half-Angle Formulas
' '
By puting into the (11): 2α=α’/2 , we get: cos  '  1  2 sin 2  2 cos 2  1 . After renaming now
2 2
 
α’ with α, we get: cos   1  2 sin 2  2 cos 2  1 , from which:
2 2
 1  cos   1  cos   1  cos 
sin 2  and cos 2  , from which: sin  and
2 2 2 2 2 2
 1  cos 
cos  and by dividing side by side the last two equations, we get:
2 2
 1  cos 
tan  ; finally:
2 1  cos 

HALF-ANGLE FORMULAS
 1  cos 
sin   (16)
2 2
 1  cos 
cos  (17)
2 2
 1  cos 
tan  (18)
2 1  cos 

6- Prosthaphaeresis Formulas
We have:
sin(   )  sin(   )  2 sin  cos  (19.1)
sin(   )  sin(   )  2 cos  sin  (19.2)
cos(   )  cos(   )  2 cos  cos  (19.3)
cos(   )  cos(   )  2 sin  sin  (19.4)
 pq pq
Now, if we name (   )  p and (   )  q , that is:   e  , we get:
2 2
PROSTHAPHAERESIS FORMULAS
pq pq
sin p  sin q  2 sin( ) cos( ) (20)
2 2
pq pq
sin p  sin q  2 cos( ) sin( ) (21)
2 2
pq pq
cos p  cos q  2 cos( ) cos( ) (22)
2 2
pq pq
cos p  cos q  2 sin( ) sin( ) (23)
2 2

7-Werner Formulas
According to the equations (19), we have the:
WERNER FORMULAS
1
sin  sin   [cos(   )  cos(   )] (24)
2
1
cos  cos   [cos(   )  cos(   )] (25)
2
1
sin  cos   [sin(   )  sin(   )] (26)
2

8- sinα and cosα as a function of tan(α/2)

According to the double-angle formulas (10), (11) and (12), we have:

     
sin   2 sin cos , cos  cos 2  sin 2 and considering that: cos 2  sin 2  1 , we have:
2 2 2 2 2 2
   
2 sin cos cos 2  sin 2
sin   2 2 , cos   2 2 ; now, after dividing numerators and
2 2 2 2
cos  sin cos  sin
2 2 2 2

denominators by cos 2 , we get:
2
 
2 tan 1  tan 2
sin   2 , cos   2 (27)
2  2 
1  tan 1  tan
2 2

9- Cosine Theorem (Carnot) 

 b
C a
   (   ) 
b a

    
 
A c B
   c
Fig. 3: Triangle Fig. 4: Vectorial composition b  ac
With reference to the generic scalene triangle in Fig. 3, the detail in Fig. 4 shows that:
         
b  a  c , from which: (b ) 2  b b  b  b  cos 0  b 2  (a  c ) 2  a 2  c 2  2ac 
 a 2  c 2  2ac cos(   )  a 2  c 2  2ac cos 
By proceeding in the same way on the remaining two angles and related sides, we get:

a 2  b 2  c 2  2bc cos  (28)

b 2  a 2  c 2  2ac cos  (29)
c 2  a 2  b 2  2ab cos  (30)