Formule di bisezione

Le formule di bisezione sono formule trigonometriche che permettono di calcolare il seno, il coseno e la tangente di metà angolo, ossia α/2, mediante espressioni costituite da funzioni goniometriche valutate nell'angolo α, e più precisamente espresse in termini del coseno di α.

In questo formulario ci proponiamo di enunciare e come sempre dimostrare le cosiddette formule di bisezione di seno, coseno e tangente, le quali ci permettono di calcolare le principali funzioni goniometriche in un angolo espresso come metà di un altro angolo.

Come di consueto le dimostrazioni sono relegate alla seconda parte della lezione. Vi consigliamo di non sottovalutarne l'importanza. ;)

Le formule di bisezione di seno, coseno e tangente

Sia α un angolo.

Formula di bisezione del seno

(1) sin((α)/(2)) = ±√((1−cos(α))/(2))

Per un esempio di applicazione: seno di x/2.

Formula di bisezione del coseno

(2) cos((α)/(2)) = ±√((1+cos(α))/(2))

Per gli esempi: coseno di x/2.

Formula di bisezione della tangente

(3) tan((α)/(2)) = ±√((1−cos(α))/(1+cos(α))) con α ≠ 180°+k360°

Per gli esempi: tangente di x/2.

Attenzione: la formula di bisezione della tangente è valida a patto che sia soddisfatta la relativa condizione di esistenza, e inoltre si può esprimere in altri due modi equivalenti

(3') tan((α)/(2)) = (sin(α))/(1+cos(α)) con α ≠ 180°+k360° ; (3'') tan((α)/(2)) = (1−cos(α))/(sin(α)) con α ≠ k180°

Tali formulazioni hanno il vantaggio di non presentare al secondo membro la radice; di contro, hanno lo svantaggio di dipendere sia dal seno che dal coseno. Come sempre sarà l'esperienza e il continuo esercizio a farci intuire, di volta in volta, quale formula utilizzare.

Scelta del segno nelle formule di bisezione

Richiamiamo la vostra attenzione su una importante caratteristica che accomuna le formule di bisezione. Di certo avrete notato che in (1), (2) e in (3), prima della radice quadrata, c'è un segno più o meno (±).

Starà quindi a noi scegliere opportunamente il segno. La scelta dipenderà semplicemente dal quadrante in cui, facendo riferimento alla circonferenza goniometrica, cade il punto associato all'angolo (α)/(2).

Formule di bisezione per cotangente, secante e cosecante

Per quanto concerne le formule di bisezione per cotangente, secante e cosecante, non è necessario preoccuparsi di scriverle né di ricordarle. Oltre a rendersi necessarie in rarissimi casi, qualora ci capitasse di doverle usare, possiamo ridurre al minimo i nostri sforzi mnemonici ricordando solamente le formule di bisezione per seno e coseno.

Così facendo potremo eventualmente ricavare la formula di bisezione della tangente mediante la definizione

tan((α)/(2)) = (sin((α)/(2)))/(cos((α)/(2)))

e, in modo analogo, ricavare le formule di bisezione per cotangente, secante e cosecante direttamente dalle definizioni

cot((α)/(2)) = (cos((α)/(2)))/(sin((α)/(2))) = (1)/(tan((α)/(2))) ; sec((α)/(2)) = (1)/(cos((α)/(2))) ; csc((α)/(2)) = (1)/(sin((α)/(2)))

In ciascuno dei casi considerati dovremo imporre le condizioni di esistenza necessarie affinché le formule di bisezione siano valide.

Utilità delle formule di bisezione

Le formule di bisezione hanno parecchi riscontri pratici e possono essere utili per la verifica di alcune identità goniometriche, così come per la risoluzione di alcune equazioni goniometriche e disequazioni trigonometriche. Esse ci permettono inoltre di scrivere le formule parametriche, di cui ci occupiamo nel formulario successivo, le quali a loro volta vengono utilizzate in una moltitudine di applicazioni pratiche.

Ad ogni modo l'utilizzo più immediato riguarda il calcolo dei valori delle funzioni goniometriche in corrispondenza di angoli non notevoli.

Esempio di applicazione delle formule di bisezione

Calcolare il seno di 22°30'.

Svolgimento: esprimiamo 22°30' come metà dell'angolo di ampiezza pari a 45° e sfruttiamo la formula di bisezione del seno

sin(22° 30') = sin((45^o)/(2)) = ±√((1−cos(45°))/(2))

Per la scelta del segno basta osservare che 22°30' cade nel primo quadrante, sicché

sin(22° 30') = +√((1−(√(2))/(2))/(2)) = √((2−√(2))/(4)) = (√(2−√(2)))/(2)

dove il risultato può essere eventualmente riscritto mediante la regola per i radicali doppi.

Dimostrazione delle formule di bisezione

Dimostrazione della formula di bisezione del seno

(1) sin((α)/(2)) = ±√((1−cos(α))/(2))

Scriviamoci la formula di duplicazione del coseno:

cos(2α) = cos^2(α)−sin^2(α)

e ricordiamoci che la possiamo esprimere anche come

cos(2α) = 1−2sin^2(α)

Sostituiamo α → (α)/(2) e quindi 2α → α:

cos(α) = 1−2sin^2((α)/(2))

da cui

sin^2((α)/(2)) = (1−cos(α))/(2)

cioè

sin((α)/(2)) = ±√((1−cos(α))/(2))

che è proprio ciò che volevamo dimostrare.

Dimostrazione della formula di bisezione del coseno

(2) cos((α)/(2)) = ±√((1+cos(α))/(2))

La dimostrazione è analoga a quella appena vista, con l'unica differenza che ora considereremo la formula di duplicazione del coseno:

cos(2α) = 2cos^2(α)−1

Anche in questo caso sostituiamo α → (α)/(2) e 2α → α

cos(α) = 2cos^2((α)/(2))−1

cioè

cos^2((α)/(2)) = (1+cos(α))/(2)

da cui si ricava la tesi

cos((α)/(2)) = ±√((1+cos(α))/(2))

Dimostrazione della formula di bisezione della tangente (3)

Avendo dimostrato la validità delle formule di bisezione per seno e coseno possiamo usarle per dimostrare quella della tangente

(3) tan((α)/(2)) = ±√((1−cos(α))/(1+cos(α)))

Basta ricordare com'è definita la tangente di un angolo

tan((α)/(2)) = (sin((α)/(2)))/(cos((α)/(2)))

in cui dobbiamo tenere conto delle condizioni di esistenza

cos((α)/(2)) ≠ 0 → (α)/(2) ≠ 90°+k180° → α ≠ 180°+k360°

In breve:

tan((α)/(2)) = (sin((α)/(2)))/(cos((α)/(2))) = (*) (±√((1−cos(α))/(2)))/(±√((1+cos(α))/(2))) = ±√(((1−cos(α))/(2))/((1+cos(α))/(2))) = ±√((1−cos(α))/(2) (2)/(1+cos(α))) = ±√((1−cos(α))/(1+cos(α)))

dove il passaggio (*) si giustifica con le formule di bisezione di seno e coseno.

Dimostrazione delle formule equivalenti (3') e (3'')

Dulcis in fundo dimostriamo la formula (3')

(3') tan((α)/(2)) = (sin(α))/(1+cos(α)) con α ≠ 180°+k360°

Partiamo anche qui dalla definizione di tangente di un angolo

tan((α)/(2)) = (sin((α)/(2)))/(cos((α)/(2)))

dove imponiamo la condizione di esistenza

cos((α)/(2)) ≠ 0 → α ≠ 180°+k360°

Moltiplichiamo numeratore e denominatore per 2 cos((α)/(2)) che, nelle ipotesi relative ad α, è sicuramente diverso da zero

tan((α)/(2)) = (sin((α)/(2)) 2 cos((α)/(2)))/(cos((α)/(2)) 2 cos((α)/(2))) = (2 sin((α)/(2)) cos((α)/(2)))/(2cos^2((α)/(2))) = (*)(sin(α))/(2 (1+cos(α))/(2)) = (sin(α))/(1+cos(α))

Nel passaggio (*) abbiamo applicato:

- la formula di duplicazione del seno a numeratore

sin(2α) = 2 sin(α)cos(α), da cui sin(α) = 2cos((α)/(2)) sin((α)/(2)).

- la formula di bisezione del coseno a denominatore

cos^2((α)/(2)) = (1+cos(α))/(2)

Finito! Per quanto riguarda la formula (3'') si procede esattamente in modo analogo, partendo dalla definizione di tangente e dividendo per 2 sin((α)/(2)), a patto di imporre

sin((α)/(2)) ≠ 0 → (α)/(2) ≠ k180° → α ≠ k360°

Nel caso vogliate esercitarvi c'è una scheda di esercizi sulle formule di bisezione che vi sta aspettando. Per tutto il resto non esitate: qui su YM ci sono migliaia di esercizi risolti e spiegati nel dettaglio e potete reperire tutto quello che vi serve con la barra di ricerca interna. ;)

Buon proseguimento su YouMath,

Giuseppe Carichino (Galois)

Lezione precedente.....Esercizi correlati.....Lezione successiva

Tags: formule di bisezione con dimostrazione per seno, coseno e tangente.

Ultima modifica: