Formule di prostaferesi

Template:Avvisounicode In trigonometria, le formule di prostaferesi permettono di trasformare somme e differenze di funzioni trigonometriche di due angoli in un prodotto di funzioni trigonometriche.

La parola prostaferesi deriva dalla giustapposizione di due parole di origine greca, prosthesis (πρόσθεσις) e aphairesis (ἀφαίρεσις), che significano rispettivamente somma e sottrazione.

Le formule di prostaferesi furono definite, nella forma attualmente nota, da Johann Werner agli inizi del XVI secolo, tuttavia è probabile che fossero già, almeno parzialmente, note in precedenza.

Questa categoria di formule trigonometriche viene utilizzata poiché, in genere, conduce ad una semplificazione dell'espressione trigonometrica studiata.

Le formule inverse delle formule di prostaferesi si chiamano formule di Werner.

Prima formula di prostaferesi

$\mathrm {sen} \,\alpha +\mathrm {sen} \,\beta =2\,\mathrm {sen} {\frac {\alpha +\beta }{2}}\cos {\frac {\alpha -\beta }{2}}$

Dimostrazione

La formula di partenza può essere riscritta come:

$\mathrm {sen} \left({\frac {\alpha +\beta }{2}}+{\frac {\alpha -\beta }{2}}\right)+\mathrm {sen} \left({\frac {\beta +\alpha }{2}}+{\frac {\beta -\alpha }{2}}\right)$

Da cui, utilizzando la formula di addizione per il seno, si ottiene:

$\mathrm {sen} {\frac {\alpha +\beta }{2}}\cos {\frac {\alpha -\beta }{2}}+\cos {\frac {\alpha +\beta }{2}}\mathrm {sen} {\frac {\alpha -\beta }{2}}+\mathrm {sen} {\frac {\beta +\alpha }{2}}\cos {\frac {\beta -\alpha }{2}}+\cos {\frac {\beta +\alpha }{2}}\mathrm {sen} {\frac {\beta -\alpha }{2}}$

Da cui, utilizzando le relazioni che legano le funzioni trigonometriche di angoli opposti, si ottiene:

$\mathrm {sen} {\frac {\alpha +\beta }{2}}\cos {\frac {\alpha -\beta }{2}}+\cos {\frac {\alpha +\beta }{2}}\mathrm {sen} {\frac {\alpha -\beta }{2}}+\mathrm {sen} {\frac {\beta +\alpha }{2}}\cos {\frac {\alpha -\beta }{2}}-\cos {\frac {\beta +\alpha }{2}}\mathrm {sen} {\frac {\alpha -\beta }{2}}$

Da cui, semplificando e raccogliendo, si ottiene:

$2\mathrm {sen} {\frac {\alpha +\beta }{2}}\cos {\frac {\alpha -\beta }{2}}$

Seconda formula di prostaferesi

$\mathrm {sen} \,\alpha -\mathrm {sen} \,\beta =2\cos {\frac {\alpha +\beta }{2}}\,\mathrm {sen} {\frac {\alpha -\beta }{2}}$

Dimostrazione

La formula di partenza può essere riscritta come:

$\mathrm {sen} \left({\frac {\alpha +\beta }{2}}+{\frac {\alpha -\beta }{2}}\right)-\mathrm {sen} \left({\frac {\beta +\alpha }{2}}+{\frac {\beta -\alpha }{2}}\right)$

Da cui, utilizzando la formula di addizione per il seno, si ottiene:

$\mathrm {sen} {\frac {\alpha +\beta }{2}}\cos {\frac {\alpha -\beta }{2}}+\cos {\frac {\alpha +\beta }{2}}\mathrm {sen} {\frac {\alpha -\beta }{2}}-\mathrm {sen} {\frac {\beta +\alpha }{2}}\cos {\frac {\beta -\alpha }{2}}-\cos {\frac {\beta +\alpha }{2}}\mathrm {sen} {\frac {\beta -\alpha }{2}}$

Da cui, utilizzando le relazioni che legano le funzioni trigonometriche di angoli opposti, si ottiene:

$\mathrm {sen} {\frac {\alpha +\beta }{2}}\cos {\frac {\alpha -\beta }{2}}+\cos {\frac {\alpha +\beta }{2}}\mathrm {sen} {\frac {\alpha -\beta }{2}}-\mathrm {sen} {\frac {\beta +\alpha }{2}}\cos {\frac {\alpha -\beta }{2}}+\cos {\frac {\beta +\alpha }{2}}\mathrm {sen} {\frac {\alpha -\beta }{2}}$

Da cui, semplificando e raccogliendo, si ottiene:

$2\cos {\frac {\alpha +\beta }{2}}\mathrm {sen} {\frac {\alpha -\beta }{2}}$

Terza formula di prostaferesi

$\cos \alpha +\cos \beta =2\cos {\frac {\alpha +\beta }{2}}\cos {\frac {\alpha -\beta }{2}}$

Dimostrazione

La formula di partenza può essere riscritta come:

$\cos \left({\frac {\alpha +\beta }{2}}+{\frac {\alpha -\beta }{2}}\right)+\cos \left({\frac {\beta +\alpha }{2}}+{\frac {\beta -\alpha }{2}}\right)$

Da cui, utilizzando la formula di addizione per il coseno, si ottiene:

$\cos {\frac {\alpha +\beta }{2}}\cos {\frac {\alpha -\beta }{2}}-\mathrm {sen} {\frac {\alpha +\beta }{2}}\mathrm {sen} {\frac {\alpha -\beta }{2}}+\cos {\frac {\beta +\alpha }{2}}\cos {\frac {\beta -\alpha }{2}}-\mathrm {sen} {\frac {\beta +\alpha }{2}}\mathrm {sen} {\frac {\beta -\alpha }{2}}$

Da cui, utilizzando le relazioni che legano le funzioni trigonometriche di angoli opposti, si ottiene:

$\cos {\frac {\alpha +\beta }{2}}\cos {\frac {\alpha -\beta }{2}}-\mathrm {sen} {\frac {\alpha +\beta }{2}}\mathrm {sen} {\frac {\alpha -\beta }{2}}+\cos {\frac {\beta +\alpha }{2}}\cos {\frac {\alpha -\beta }{2}}+\mathrm {sen} {\frac {\beta +\alpha }{2}}\mathrm {sen} {\frac {\alpha -\beta }{2}}$

Da cui, semplificando e raccogliendo, si ottiene:

$2\cos {\frac {\alpha +\beta }{2}}\cos {\frac {\alpha -\beta }{2}}$

Quarta formula di prostaferesi

$\cos \alpha -\cos \beta =-2\,\mathrm {sen} {\frac {\alpha +\beta }{2}}\,\mathrm {sen} {\frac {\alpha -\beta }{2}}$

Dimostrazione

La formula di partenza può essere riscritta come:

$\cos \left({\frac {\alpha +\beta }{2}}+{\frac {\alpha -\beta }{2}}\right)-\cos \left({\frac {\beta +\alpha }{2}}+{\frac {\beta -\alpha }{2}}\right)$

Da cui, utilizzando la formula di addizione per il coseno, si ottiene:

$\cos {\frac {\alpha +\beta }{2}}\cos {\frac {\alpha -\beta }{2}}-\,\mathrm {sen} {\frac {\alpha +\beta }{2}}\mathrm {sen} {\frac {\alpha -\beta }{2}}-\cos {\frac {\beta +\alpha }{2}}\cos {\frac {\beta -\alpha }{2}}+\mathrm {sen} {\frac {\beta +\alpha }{2}}\mathrm {sen} {\frac {\beta -\alpha }{2}}$

Da cui, utilizzando le relazioni che legano le funzioni trigonometriche di angoli opposti, si ottiene:

$\cos {\frac {\alpha +\beta }{2}}\cos {\frac {\alpha -\beta }{2}}-\mathrm {sen} {\frac {\alpha +\beta }{2}}\mathrm {sen} {\frac {\alpha -\beta }{2}}-\cos {\frac {\beta +\alpha }{2}}\cos {\frac {\alpha -\beta }{2}}-\mathrm {sen} {\frac {\beta +\alpha }{2}}\mathrm {sen} {\frac {\alpha -\beta }{2}}$

Da cui, semplificando e raccogliendo, si ottiene:

$-2\mathrm {sen} {\frac {\alpha +\beta }{2}}\mathrm {sen} {\frac {\alpha -\beta }{2}}$

Formule di prostaferesi per la tangente

$\tan \alpha \pm \tan \beta ={\frac {\mathrm {sen} (\alpha \pm \beta )}{\cos \alpha \cos \beta }}\qquad \mathrm {con} \ \alpha ,\beta \neq (2k+1){\frac {\pi }{2}};k\in \mathbb {Z}$

Dimostrazione

La formula di partenza può essere riscritta, in virtù della definizione di tangente, come:

${\frac {\mathrm {sen} \,\alpha }{\cos \alpha }}\pm {\frac {\mathrm {sen} \,\beta }{\cos \beta }}$

Da cui, giacché la condizione sugli angoli garantisce che i coseni non siano nulli:

${\frac {\mathrm {sen} \,\alpha \cos \beta }{\cos \alpha \cos \beta }}\pm {\frac {\mathrm {sen} \,\beta \cos \alpha }{\cos \beta \cos \alpha }}$

Da cui, raccogliendo il denominatore:

${\frac {\mathrm {sen} \,\alpha \cos \beta \pm \mathrm {sen} \,\beta \cos \alpha }{\cos \alpha \cos \beta }}$

Da cui, giacché il numeratore è il risultato delle formule di addizione e sottrazione per il seno, si ottiene per sostituzione:

${\frac {\mathrm {sen} (\alpha \pm \beta )}{\cos \alpha \cos \beta }}$

Formule di prostaferesi per la cotangente

$\cot \alpha \pm \cot \beta ={\frac {\mathrm {sen} (\beta \pm \alpha )}{\mathrm {sen} \,\alpha \,\mathrm {sen} \,\beta }}\qquad \mathrm {con} \ \alpha ,\beta \neq k\pi ;k\in \mathbb {Z}$

Dimostrazione

La formula di partenza può essere riscritta, in virtù della definizione di cotangente, come:

${\frac {\cos \alpha }{\mathrm {sen} \,\alpha }}\pm {\frac {\cos \beta }{\mathrm {sen} \,\beta }}$

Da cui, giacché la condizione sugli angoli garantisce che i seni non siano nulli:

${\frac {\cos \alpha \,\mathrm {sen} \,\beta }{\mathrm {sen} \,\alpha \,\mathrm {sen} \,\beta }}\pm {\frac {\cos \beta \,\mathrm {sen} \,\alpha }{\mathrm {sen} \,\beta \,\mathrm {sen} \,\alpha }}$

Da cui, raccogliendo il denominatore:

${\frac {\cos \alpha \,\mathrm {sen} \,\beta \pm \cos \beta \,\mathrm {sen} \,\alpha }{\mathrm {sen} \,\alpha \,\mathrm {sen} \,\beta }}$

Da cui, giacché il numeratore è il risultato delle formule di addizione e sottrazione per il seno, si ottiene per sostituzione:

${\frac {\mathrm {sen} \left(\beta \pm \alpha \right)}{\mathrm {sen} \,\alpha \,\mathrm {sen} \,\beta }}$

Voci correlate

• Trigonometria
• Formule di Werner