Identità trigonometrica

Un'identità trigonometrica è un'identità matematica che coinvolge le funzioni trigonometriche.

Le identità trigonometriche sono utilizzate per semplificare molte espressioni contenenti funzioni trigonometriche (come, ad esempio, nella risoluzione di equazioni trigonometriche) e per il calcolo di molti integrali; talvolta, anche integrali di funzioni non trigonometriche possono essere calcolati mediante opportuni cambiamenti di variabile che utilizzano una funzione trigonometrica per portare a decisive semplificazioni.

Notazioni: Per denotare la funzione inversa del seno talora si usa sin 1 ( x ) {\displaystyle \sin ^{-1}(x)} ; qui preferiamo usare arcsin ( x ) {\displaystyle \arcsin(x)} e scrivere csc ( x ) {\displaystyle \csc(x)} per denotare la inversa moltiplicativa della funzione seno.

Definizioni

Si definiscono le seguenti funzioni trigonometriche:

tan ( x ) := sin ( x ) cos ( x ) cot ( x ) := cos ( x ) sin ( x ) = 1 tan ( x ) {\displaystyle \tan(x):={\frac {\sin(x)}{\cos(x)}}\qquad \cot(x):={\frac {\cos(x)}{\sin(x)}}={\frac {1}{\tan(x)}}}
sec ( x ) := 1 cos ( x ) csc ( x ) := 1 sin ( x ) {\displaystyle \sec(x):={\frac {1}{\cos(x)}}\qquad \csc(x):={\frac {1}{\sin(x)}}}

Periodicità, simmetria e traslazioni

Queste formule si ricavano facilmente dalle definizioni sulla circonferenza trigonometrica.

sin ( x ) = sin ( x + 2 π ) sin ( x ) = cos ( π 2 + x ) {\displaystyle \sin(x)=\sin(x+2\pi )\qquad \sin(x)=-\cos \left({\frac {\pi }{2}}+x\right)}
cos ( x ) = cos ( x + 2 π ) cos ( x ) = sin ( π 2 + x ) {\displaystyle \cos(x)=\cos(x+2\pi )\qquad \cos(x)=\sin \left({\frac {\pi }{2}}+x\right)}
tan ( x ) = tan ( x + π ) tan ( x ) = cot ( π 2 + x ) {\displaystyle \tan(x)=\tan(x+\pi )\qquad \tan(x)=-\cot \left({\frac {\pi }{2}}+x\right)}
sin ( x ) = sin ( x ) cos ( x ) = cos ( x ) {\displaystyle \sin(-x)=-\sin(x)\qquad \cos(-x)=\cos(x)}
tan ( x ) = tan ( x ) cot ( x ) = cot ( x ) {\displaystyle \tan(-x)=-\tan(x)\qquad \cot(-x)=-\cot(x)}

Molti modelli fisici si basano sul fatto che qualsiasi combinazione lineare d'onde sinusoidali con lo stesso periodo ma di differenti fasi è ancora un'onda sinusoidale dello stesso periodo, ma con una nuova fase. Precisamente:

a sin x + b cos x = a 2 + b 2 sin ( x + φ ) , {\displaystyle a\sin x+b\cos x={\sqrt {a^{2}+b^{2}}}\cdot \sin(x+\varphi ),}

dove

φ = { arctan ( b / a ) , se  a 0 ; π + arctan ( b / a ) , se  a < 0. {\displaystyle \varphi =\left\{{\begin{matrix}{\arctan }(b/a),&&{\text{se }}a\geq 0;\\\pi +{\arctan }(b/a),&&{\text{se }}a<0.\end{matrix}}\right.}

Conseguenze del teorema di Pitagora

sin 2 ( x ) + cos 2 ( x ) = 1 {\displaystyle \sin ^{2}(x)+\cos ^{2}(x)=1}
tan 2 ( x ) + 1 = sec 2 ( x ) {\displaystyle \tan ^{2}(x)+1=\sec ^{2}(x)}
cot 2 ( x ) + 1 = csc 2 ( x ) {\displaystyle \cot ^{2}(x)+1=\csc ^{2}(x)}

Formule di addizione e sottrazione

La scoperta delle prime due identità (dalle quali seguono anche le altre) risale a Tolomeo[1] ma per fornire una dimostrazione più veloce è possibile utilizzare le formule di Eulero attraverso la funzione c i s {\displaystyle {\rm {cis}}} . Una dimostrazione geometrica dell'identità per sin ( x + y ) {\displaystyle \sin(x+y)} è data alla fine di questa voce.

sin ( x ± y ) = sin ( x ) cos ( y ) ± cos ( x ) sin ( y ) {\displaystyle \sin(x\pm y)=\sin(x)\cos(y)\pm \cos(x)\sin(y)}
cos ( x ± y ) = cos ( x ) cos ( y ) sin ( x ) sin ( y ) {\displaystyle \cos(x\pm y)=\cos(x)\cos(y)\mp \sin(x)\sin(y)}
tan ( x ± y ) = tan ( x ) ± tan ( y ) 1 tan ( x ) tan ( y ) {\displaystyle \tan(x\pm y)={\frac {\tan(x)\pm \tan(y)}{1\mp \tan(x)\tan(y)}}}
cot ( x ± y ) = cot ( x ) cot ( y ) 1 cot ( y ) ± cot ( x ) {\displaystyle \cot(x\pm y)={\frac {\cot(x)\cot(y)\mp 1}{\cot(y)\pm \cot(x)}}}
c i s ( x + y ) = c i s ( x ) c i s ( y ) {\displaystyle {\rm {cis}}(x+y)={\rm {cis}}(x)\,{\rm {cis}}(y)}
c i s ( x y ) = c i s ( x ) c i s ( y ) {\displaystyle {\rm {cis}}(x-y)={{\rm {cis}}(x) \over {\rm {cis}}(y)}}

dove

c i s ( x ) := e i x = cos ( x ) + i sin ( x ) . {\displaystyle {\rm {cis}}(x):=e^{ix}=\cos(x)+i\sin(x).}

Formula di duplicazione

Lo stesso argomento in dettaglio: Formule di duplicazione.

Queste possono essere ottenute sostituendo x = y {\displaystyle x=y} nei teoremi di addizione, e utilizzando il teorema di Pitagora per le ultime due. Ancor meglio utilizzare la formula di De Moivre con n = 2 {\displaystyle n=2} .

sin ( 2 x ) = 2 sin ( x ) cos ( x ) {\displaystyle \sin(2x)=2\sin(x)\cos(x)}
cos ( 2 x ) = cos 2 ( x ) sin 2 ( x ) = 2 cos 2 ( x ) 1 = 1 2 sin 2 ( x ) {\displaystyle \cos(2x)=\cos ^{2}(x)-\sin ^{2}(x)=2\cos ^{2}(x)-1=1-2\sin ^{2}(x)}
tan ( 2 x ) = 2 tan ( x ) 1 tan 2 ( x ) , x π 4 + k π 2 , k Z {\displaystyle \tan(2x)={\frac {2\tan(x)}{1-\tan ^{2}(x)}},\quad x\neq {\frac {\pi }{4}}+k{\frac {\pi }{2}},\quad k\in \mathbb {Z} }
cot ( 2 x ) = cot 2 ( x ) 1 2 cot ( x ) {\displaystyle \cot(2x)={\frac {\cot ^{2}(x)-1}{2\cot(x)}}}

Formule per gli angoli multipli

Se denotiamo T n {\displaystyle T_{n}} l' n {\displaystyle n} -esimo polinomio di Chebyshev, allora

cos ( n x ) = T n ( cos ( x ) ) . {\displaystyle \cos(nx)=T_{n}(\cos(x)).}

Formula di De Moivre:

cos ( n x ) + i sin ( n x ) = ( cos ( x ) + i sin ( x ) ) n {\displaystyle \cos(nx)+i\sin(nx)=(\cos(x)+i\sin(x))^{n}}

Il nucleo di Dirichlet D n ( x ) {\displaystyle D_{n}(x)} è la funzione che si trova da entrambe le parti della seguente identità:

1 + 2 cos ( x ) + 2 cos ( 2 x ) + 2 cos ( 3 x ) + + 2 cos ( n x ) = sin ( ( n + 1 2 ) x ) sin ( x / 2 ) . {\displaystyle 1+2\cos(x)+2\cos(2x)+2\cos(3x)+\cdots +2\cos(nx)={\frac {\sin \left(\left(n+{\frac {1}{2}}\right)x\right)}{\sin(x/2)}}.}

La convoluzione di ogni funzione quadrato sommabile periodica di periodo 2 π {\displaystyle 2\pi } con il nucleo di Dirichlet coincide con la somma troncata di ordine n {\displaystyle n} della sua serie di Fourier.

Formule di riduzione della potenza

Dalla formula di duplicazione del coseno e dalla formula trigonometrica di Pitagora si ottiene

cos 2 ( x ) = 1 + cos ( 2 x ) 2 {\displaystyle \cos ^{2}(x)={1+\cos(2x) \over 2}}
sin 2 ( x ) = 1 cos ( 2 x ) 2 {\displaystyle \sin ^{2}(x)={1-\cos(2x) \over 2}}

Formule di bisezione

Sostituendo x 2 {\displaystyle x \over 2} al posto di x {\displaystyle x} nelle formule di riduzione della potenza, e calcolando cos x 2 {\displaystyle \cos {x \over 2}} e sin x 2 {\displaystyle \sin {x \over 2}} si ottiene.

| cos ( x 2 ) | = ( 1 + cos ( x ) 2 ) {\displaystyle \left|\cos \left({\frac {x}{2}}\right)\right|={\sqrt {\left({\frac {1+\cos(x)}{2}}\right)}}}
| sin ( x 2 ) | = ( 1 cos ( x ) 2 ) {\displaystyle \left|\sin \left({\frac {x}{2}}\right)\right|={\sqrt {\left({\frac {1-\cos(x)}{2}}\right)}}}

Da queste ultime due identità, dividendo membro a membro la seconda per la prima, si ottiene:

| tan ( x 2 ) | = 1 cos ( x ) 1 + cos ( x ) {\displaystyle \left|\tan \left({\frac {x}{2}}\right)\right|={\sqrt {\frac {1-\cos(x)}{1+\cos(x)}}}}

Tuttavia, è possibile giungere a due espressioni per tan ( x 2 ) {\displaystyle \tan \left({\frac {x}{2}}\right)} senza il valore assoluto, che sono le seguenti:

tan ( x 2 ) = sin ( x ) 1 + cos ( x ) = 1 cos ( x ) sin ( x ) . {\displaystyle \tan \left({\frac {x}{2}}\right)={\frac {\sin(x)}{1+\cos(x)}}={\frac {1-\cos(x)}{\sin(x)}}.}

Posto t := tan ( x 2 ) {\displaystyle t:=\tan \left({\frac {x}{2}}\right)} , seguono le cosiddette formule parametriche:

    sin ( x ) = 2 t 1 + t 2 {\displaystyle \sin(x)={\frac {2t}{1+t^{2}}}}  ,   cos ( x ) = 1 t 2 1 + t 2 {\displaystyle \cos(x)={\frac {1-t^{2}}{1+t^{2}}}}   e   e i x = 1 + i t 1 i t . {\displaystyle e^{ix}={\frac {1+it}{1-it}}.}

La sostituzione di t {\displaystyle t} per tan x 2 {\displaystyle \tan {x \over 2}} , con il conseguente cambiamento di sin x {\displaystyle \sin x} con 2 t 1 + t 2 {\displaystyle 2t \over {1+t^{2}}} e di cos x {\displaystyle \cos x} con 1 t 2 1 + t 2 {\displaystyle 1-t^{2} \over {1+t^{2}}} è spesso in grado di convertire funzioni razionali in sin x {\displaystyle \sin x} e cos x {\displaystyle \cos x} da integrare in funzioni di t {\displaystyle t} integrabili (si veda anche il successivo "punto di vista astratto").

Prodotti espressi mediante somme

Queste formule possono essere provate sviluppando la loro parte destra e semplificando con le formule di addizione. Sono anche dette formule di Werner.

cos ( x ) cos ( y ) = cos ( x + y ) + cos ( x y ) 2 {\displaystyle \cos(x)\cos(y)={\cos(x+y)+\cos(x-y) \over 2}}
sin ( x ) sin ( y ) = cos ( x y ) cos ( x + y ) 2 {\displaystyle \sin(x)\sin(y)={\cos(x-y)-\cos(x+y) \over 2}}
sin ( x ) cos ( y ) = sin ( x + y ) + sin ( x y ) 2 {\displaystyle \sin(x)\cos(y)={\sin(x+y)+\sin(x-y) \over 2}}

Somme espresse mediante prodotti

Basta rimpiazzare x {\displaystyle x} con x + y 2 {\displaystyle x+y \over 2} e y {\displaystyle y} con x y 2 {\displaystyle x-y \over 2} nelle espressioni dei prodotti mediante somme. Sono anche dette formule di prostaferesi.

sin ( x ) + sin ( y ) = 2 sin ( x + y 2 ) cos ( x y 2 ) {\displaystyle \sin(x)+\sin(y)=2\sin \left({\frac {x+y}{2}}\right)\cos \left({\frac {x-y}{2}}\right)}
sin ( x ) sin ( y ) = 2 cos ( x + y 2 ) sin ( x y 2 ) {\displaystyle \sin(x)-\sin(y)=2\cos \left({\frac {x+y}{2}}\right)\sin \left({\frac {x-y}{2}}\right)}
cos ( x ) + cos ( y ) = 2 cos ( x + y 2 ) cos ( x y 2 ) {\displaystyle \cos(x)+\cos(y)=2\cos \left({\frac {x+y}{2}}\right)\cos \left({\frac {x-y}{2}}\right)}
cos ( x ) cos ( y ) = 2 sin ( x + y 2 ) sin ( x y 2 ) {\displaystyle \cos(x)-\cos(y)=-2\sin \left({\frac {x+y}{2}}\right)\sin \left({\frac {x-y}{2}}\right)}

Funzioni trigonometriche inverse

arcsin ( x ) + arccos ( x ) = π / 2 {\displaystyle \arcsin(x)+\arccos(x)=\pi /2}
arctan ( x ) + arccot ( x ) = π / 2 {\displaystyle \arctan(x)+\operatorname {arccot}(x)=\pi /2}
arctan ( x ) + arctan ( 1 / x ) = { π / 2 , se  x > 0 π / 2 , se  x < 0 {\displaystyle \arctan(x)+\arctan(1/x)=\left\{{\begin{matrix}\pi /2,&{\text{se }}x>0\\-\pi /2,&{\text{se }}x<0\end{matrix}}\right.}
arctan ( x ) + arctan ( y ) = arctan ( x + y 1 x y ) ( x y < 1 ) {\displaystyle \arctan(x)+\arctan(y)=\arctan \left({\frac {x+y}{1-xy}}\right)(xy<1)}
sin 2 ( arccos ( x ) ) = 1 x 2 ,  per  1 x 1 {\displaystyle \sin ^{2}(\arccos(x))=1-x^{2},{\text{ per }}-1\leq x\leq 1}
cos 2 ( arcsin ( x ) ) = 1 x 2 ,  per  1 x 1 {\displaystyle \cos ^{2}(\arcsin(x))=1-x^{2},{\text{ per }}-1\leq x\leq 1}
sin 2 ( arctan ( x ) ) = x 2 1 + x 2 {\displaystyle \sin ^{2}(\arctan(x))={\frac {x^{2}}{1+x^{2}}}}
cos 2 ( arctan ( x ) ) = 1 1 + x 2 {\displaystyle \cos ^{2}(\arctan(x))={\frac {1}{1+x^{2}}}}

Funzione gudermanniana

La funzione gudermanniana è definita nel seguente modo:

g d ( x ) = 2 arctan e x π 2 . {\displaystyle {\rm {gd}}(x)=2\arctan e^{x}-{\pi \over 2}.}

Questa funzione stabilisce un collegamento tra le funzioni trigonometriche e le funzioni iperboliche senza ricorrere ai numeri complessi (si veda la voce relativa per i dettagli).

Identità per angoli costanti

La seguente curiosa identità è stata appresa da Richard Feynman quando era ragazzino:

cos 20 cos 40 cos 80 = 1 / 8. {\displaystyle \cos 20^{\circ }\cdot \cos 40^{\circ }\cdot \cos 80^{\circ }=1/8.}

Si tratta di un caso particolare della seguente identità in cui compare una variabile:

j = 0 k 1 cos ( 2 j x ) = sin ( 2 k x ) 2 k sin ( x ) . {\displaystyle \prod _{j=0}^{k-1}\cos(2^{j}x)={\frac {\sin(2^{k}x)}{2^{k}\sin(x)}}.}

Altre identità senza variabili:

cos 12 cos 24 cos 36 cos 48 cos 60 cos 72 cos 84 = 1 / 128. {\displaystyle \cos 12^{\circ }\cdot \cos 24^{\circ }\cdot \cos 36^{\circ }\cdot \cos 48^{\circ }\cdot \cos 60^{\circ }\cdot \cos 72^{\circ }\cdot \cos 84^{\circ }=1/128.}
cos 36 + cos 108 = 1 / 2. {\displaystyle \cos 36^{\circ }+\cos 108^{\circ }=1/2.}
cos 24 + cos 48 + cos 96 + cos 168 = 1 / 2. {\displaystyle \cos 24^{\circ }+\cos 48^{\circ }+\cos 96^{\circ }+\cos 168^{\circ }=1/2.}

La misura in gradi degli angoli risulta meno vantaggiosa di quella in radianti per una x {\displaystyle x} con 21 {\displaystyle 21} al denominatore:

cos ( 2 π 21 ) + cos ( 2 2 π 21 ) + cos ( 4 2 π 21 ) + cos ( 5 2 π 21 ) + cos ( 8 2 π 21 ) + cos ( 10 2 π 21 ) = 1 / 2. {\displaystyle \cos \left({\frac {2\pi }{21}}\right)+\cos \left(2\cdot {\frac {2\pi }{21}}\right)+\cos \left(4\cdot {\frac {2\pi }{21}}\right)+\cos \left(5\cdot {\frac {2\pi }{21}}\right)+\cos \left(8\cdot {\frac {2\pi }{21}}\right)+\cos \left(10\cdot {\frac {2\pi }{21}}\right)=1/2.}

I fattori 1 , 2 , 4 , 5 , 8 , 10 {\displaystyle 1,2,4,5,8,10} inducono a pensare agli interi inferiori a 21 2 {\displaystyle 21 \over 2} primi con 21 {\displaystyle 21} . Gli ultimi esempi sono le conseguenze di un risultato di base sui polinomi ciclotomici irribucibili: i coseni sono le parti reali delle radici di questi polinomi; la somma degli zeri dà il valore della funzione di Möbius valutata in 21 {\displaystyle 21} ; solo la metà delle radici sono presentate nella relazione precedente. Le due identità che precedono quest'ultima nascono nello stesso modo relativamente ai casi 10 {\displaystyle 10} e 15 {\displaystyle 15} , rispettivamente.

La seguente identità senza variabili può essere utilizzata per calcolare π {\displaystyle \pi } efficientemente:

π 4 = 4 arctan 1 5 arctan 1 239 , {\displaystyle {\frac {\pi }{4}}=4\arctan {\frac {1}{5}}-\arctan {\frac {1}{239}},}

oppure usando la formula di Eulero:

π = 20 arctan 1 7 + 8 arctan 3 79 . {\displaystyle {\pi }=20\arctan {\frac {1}{7}}+8\arctan {\frac {3}{79}}.}

Calcolo infinitesimale

Nel calcolo infinitesimale è essenziale che gli angoli argomenti di funzioni trigonometriche siano misurati in radianti; se sono misurati in gradi o in altre unità di misura, allora le relazioni riportate qui sotto risultano false. A partire dalle definizioni geometriche delle funzioni trigonometriche si ricavano le loro derivate dopo aver stabiliti i due limiti che seguono.

lim x 0 sin ( x ) x = 1 , {\displaystyle \lim _{x\to 0}{\frac {\sin(x)}{x}}=1,}

(si verifica osservando la circonferenza trigonometrica e il teorema del confronto). Osserviamo che se usassimo la regola di de L'Hôpital per stabilire questo limite creeremmo un circolo vizioso sul piano logico, in quanto da questo limite si ricavano le derivate di seno e coseno necessarie per applicare la suddetta regola.

lim x 0 1 cos ( x ) x = 0. {\displaystyle \lim _{x\to 0}{\frac {1-\cos(x)}{x}}=0.}

(Si verifica usando l'identità tan ( x / 2 ) = ( 1 cos x ) / sin x {\displaystyle \tan(x/2)=(1-\cos x)/\sin x} .)

Avendo stabilito questi due limiti, si stabilisce che sin = cos {\displaystyle \sin '=\cos } e cos = sin {\displaystyle \cos '=-\sin } . riconducendo la derivazione alla sua definizione come limite di rapporto incrementale.

Se le funzioni seno e coseno sono definite dalle loro serie di Taylor, le loro derivate possono essere ottenute derivando le serie di potenze termine a termine.

d d x sin ( x ) = cos ( x ) . {\displaystyle {d \over dx}\sin(x)=\cos(x).}

Le derivate delle altre funzioni trigonometriche sono ricavate dalle precedenti con le regole di derivazione. Abbiamo quindi:

d d x cos ( x ) = sin ( x ) {\displaystyle {d \over dx}\cos(x)=-\sin(x)}
d d x tan ( x ) = sec 2 ( x ) {\displaystyle {d \over dx}\tan(x)=\sec ^{2}(x)}
d d x cot ( x ) = csc 2 ( x ) {\displaystyle {d \over dx}\cot(x)=-\csc ^{2}(x)}
d d x sec ( x ) = sec ( x ) tan ( x ) {\displaystyle {d \over dx}\sec(x)=\sec(x)\tan(x)}
d d x csc ( x ) = csc ( x ) cot ( x ) {\displaystyle {d \over dx}\csc(x)=-\csc(x)\cot(x)}
d d x arcsin ( x ) = 1 1 x 2 {\displaystyle {d \over dx}\arcsin(x)={\frac {1}{\sqrt {1-x^{2}}}}}
d d x arccos ( x ) = 1 1 x 2 {\displaystyle {d \over dx}\arccos(x)=-{\frac {1}{\sqrt {1-x^{2}}}}}
d d x arctan ( x ) = 1 1 + x 2 {\displaystyle {d \over dx}\arctan(x)={\frac {1}{1+x^{2}}}}

Le identità integrali possono essere trovate nella tavole di integrali.

Dimostrazioni usando un'equazione differenziale

Si consideri l'equazione differenziale:

y + y = 0 {\displaystyle y''+y=0}

Utilizzando la formula di Eulero e il metodo di risoluzione delle equazioni differenziali lineari, insieme al teorema di unicità e al teorema di esistenza possiamo definire seno e coseno nei modi seguenti

cos ( x ) {\displaystyle \cos(x)} è l'unica soluzione della equazione

y + y = 0 {\displaystyle y''+y=0} soggetta alle condizioni iniziali y ( 0 ) = 1 {\displaystyle y(0)=1} e y ( 0 ) = 0 {\displaystyle y'(0)=0}

sin ( x ) {\displaystyle \sin(x)} è l'unica soluzione della equazione

y + y = 0 {\displaystyle y''+y=0} sotto le conditioni iniziali y ( 0 ) = 0 {\displaystyle y(0)=0} e y ( 0 ) = 1 {\displaystyle y'(0)=1}

Dimostriamo che

d d x sin ( x ) = cos ( x ) {\displaystyle {\frac {d}{dx}}\sin(x)=\cos(x)}

Introduciamo T ( x ) := sin ( x ) {\displaystyle T(x):=\sin '(x)} e troviamo le sue derivate prima e seconda:

T ( x ) = sin ( x ) {\displaystyle T'(x)=\sin ''(x)} allora sin ( x ) {\displaystyle \sin(x)} è una soluzione di y + y = 0 {\displaystyle y''+y=0} possiamo dire che sin ( x ) + sin ( x ) = 0 {\displaystyle \sin ''(x)+\sin(x)=0} ; perciò sin ( x ) = sin ( x ) {\displaystyle \sin ''(x)=-\sin(x)}

Quindi

T ( x ) = sin ( x ) {\displaystyle T'(x)=-\sin(x)}
T ( x ) = sin ( x ) = T ( x ) . {\displaystyle T''(x)=-\sin '(x)=-T(x).}

Dunque possiamo dire che

T ( x ) + T ( x ) = 0. {\displaystyle T''(x)+T(x)=0.}

Utilizziamo ancora le tecniche di risoluzione delle equazioni differenziali lineari e la formula di Eulero la soluzione di T ( x ) + T ( x ) = 0 {\displaystyle T''(x)+T(x)=0} deve essere una combinazione lineare di sin ( x ) {\displaystyle \sin(x)} e cos ( x ) {\displaystyle \cos(x)} , quindi

T ( x ) = A sin ( x ) + B cos ( x ) . {\displaystyle T(x)=A\sin(x)+B\cos(x).}

Si trova B {\displaystyle B} ponendo 0 {\displaystyle 0} al posto di x {\displaystyle x}

T ( 0 ) = 0 + B . {\displaystyle T(0)=0+B.}

Per le condizioni iniziali T ( 0 ) = sin ( 0 ) = 1 {\displaystyle T(0)=\sin '(0)=1} , quindi

B = 1. {\displaystyle B=1.}

Risolvendo per A {\displaystyle A} abbiamo la derivata di T ( x ) {\displaystyle T(x)} e ponendo 0 {\displaystyle 0} al posto di x {\displaystyle x}

T ( x ) = A sin ( x ) + B cos ( x ) {\displaystyle T'(x)=A\sin '(x)+B\cos '(x)}
T ( 0 ) = A sin ( 0 ) + B cos ( 0 ) {\displaystyle T'(0)=A\sin '(0)+B\cos '(0)}

Utilizzando le condizioni iniziali e dato che T ( x ) = sin ( x ) {\displaystyle T'(x)=-\sin(x)}

sin ( 0 ) = A 1 + B 0 , {\displaystyle -\sin(0)=A\cdot 1+B\cdot 0,}
A = 0. {\displaystyle A=0.}

Sostituendo A {\displaystyle A} e B {\displaystyle B} nell'equazione originale di T ( x ) {\displaystyle T(x)} abbiamo

T ( x ) = cos ( x ) , {\displaystyle T(x)=\cos(x),}

ma dato che T ( x ) {\displaystyle T(x)} è definita come sin ( x ) {\displaystyle \sin '(x)} abbiamo

sin ( x ) = cos ( x ) {\displaystyle \sin '(x)=\cos(x)}

o

d d x sin ( x ) = cos ( x ) . {\displaystyle {\frac {d}{dx}}\sin(x)=\cos(x).}

Usando queste definizioni di seno e coseno, si possono provare tutte le altre proprietà di seno e coseno utilizzando le stesse tecniche.

Dimostrazioni geometriche

Formula di addizione del seno

Come mostrato in figura si costruisce il segmento D G {\displaystyle DG} perpendicolare ad A B {\displaystyle AB} ed il segmento C E {\displaystyle CE} parallelo ad A B {\displaystyle AB} .
x {\displaystyle x} = Angolo B A C {\displaystyle BAC} = Angolo A C E {\displaystyle ACE} = Angolo C D E {\displaystyle CDE} .
E G {\displaystyle EG} = B C {\displaystyle BC} .

Allora

sin ( x + y ) = D G A D = E G + D E A D = B C + D E A D = B C A D + D E A D = B C A D A C A C + D E A D C D C D = B C A C A C A D + D E C D C D A D = B C A C A C A D + A B A C C D A D = sin ( x ) cos ( y ) + cos ( x ) sin ( y ) . {\displaystyle {\begin{aligned}\sin(x+y)&={\frac {DG}{AD}}={\frac {EG+DE}{AD}}={\frac {BC+DE}{AD}}={\frac {BC}{AD}}+{\frac {DE}{AD}}={\frac {BC}{AD}}\cdot {\frac {AC}{AC}}+{\frac {DE}{AD}}\cdot {\frac {CD}{CD}}\\&={\frac {BC}{AC}}\cdot {\frac {AC}{AD}}+{\frac {DE}{CD}}\cdot {\frac {CD}{AD}}={\frac {BC}{AC}}\cdot {\frac {AC}{AD}}+{\frac {AB}{AC}}\cdot {\frac {CD}{AD}}\\&=\sin(x)\cos(y)+\cos(x)\sin(y).\end{aligned}}}

Formula di addizione del coseno

Osservando la figura precedente:
cos ( x + y ) = A G A D = A B G B A D = A B E C A D = A B A D E C A D = A B A D A C A C E C A D C D C D = A B A C A C A D E C C D C D A D = cos ( x ) cos ( y ) sin ( x ) sin ( y ) . {\displaystyle {\begin{aligned}\cos(x+y)&={\frac {AG}{AD}}={\frac {AB-GB}{AD}}={\frac {AB-EC}{AD}}={\frac {AB}{AD}}-{\frac {EC}{AD}}\\&={\frac {AB}{AD}}\cdot {\frac {AC}{AC}}-{\frac {EC}{AD}}\cdot {\frac {CD}{CD}}={\frac {AB}{AC}}\cdot {\frac {AC}{AD}}-{\frac {EC}{CD}}\cdot {\frac {CD}{AD}}\\&=\cos(x)\cos(y)-\sin(x)\sin(y).\end{aligned}}}

Punti di vista astratti

Dato che la circonferenza è una curva algebrica di genere 0 {\displaystyle 0} , ci si aspetta che le funzioni circolari possano essere riducibili a funzioni razionali. In effetti è noto classicamente che usando sistematicamente le formule di bisezione per la tangente si possono esprimere le funzioni seno e coseno in termini di una nuova variabile t {\displaystyle t} .

Note

  1. ^ [1]

Voci correlate

Altri progetti

Altri progetti

  • Wikimedia Commons
  • Collabora a Wikimedia Commons Wikimedia Commons contiene immagini o altri file su identità trigonometriche
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica