O identitate trigonometrică este o identitate matematică care implică funcții trigonometrice .
Identitățile trigonometrice sunt utilizate pentru a simplifica multe expresii care conțin funcții trigonometrice (cum ar fi, de exemplu, în rezolvarea ecuațiilor trigonometrice ) și pentru calculul multor integrale ; uneori, chiar și integralele funcțiilor non-trigonometrice pot fi calculate prin intermediul unor modificări variabile adecvate care utilizează o funcție trigonometrică pentru a duce la simplificări decisive.
Notări : Pentru a indica funcția inversă a sinusului este uneori folosită{\ displaystyle \ sin ^ {- 1} (x)} ; aici preferăm să folosim {\ displaystyle \ arcsin (x)} si scrie {\ displaystyle \ csc (x)} pentru a desemna inversul multiplicativ al funcției sinus.
Definiții
Sunt definite următoarele funcții trigonometrice:
- {\ displaystyle \ tan (x): = {\ frac {\ sin (x)} {\ cos (x)}} \ qquad \ cot (x): = {\ frac {\ cos (x)} {\ sin (x)}} = {\ frac {1} {\ tan (x)}}}
- {\ displaystyle \ sec (x): = {\ frac {1} {\ cos (x)}} \ qquad \ csc (x): = {\ frac {1} {\ sin (x)}}}
Periodicitate, simetrie și traduceri
Aceste formule sunt ușor derivate din definițiile de pe cercul trigonometric .
- {\ displaystyle \ sin (x) = \ sin (x + 2 \ pi) \ qquad \ sin (x) = - \ cos \ left ({\ frac {\ pi} {2}} + x \ right)}
- {\ displaystyle \ cos (x) = \ cos (x + 2 \ pi) \ qquad \ cos (x) = \ sin \ left ({\ frac {\ pi} {2}} + x \ right)}
- {\ displaystyle \ tan (x) = \ tan (x + \ pi) \ qquad \ tan (x) = - \ cot \ left ({\ frac {\ pi} {2}} + x \ right)}
- {\ displaystyle \ sin (-x) = - \ sin (x) \ qquad \ cos (-x) = \ cos (x)}
- {\ displaystyle \ tan (-x) = - \ tan (x) \ qquad \ cot (-x) = - \ cot (x)}
Multe modele fizice se bazează pe faptul că orice combinație liniară de unde sinusoidale cu aceeași perioadă, dar cu faze diferite, este încă o undă sinusoidală din aceeași perioadă, dar cu o nouă fază. Exact:
- {\ displaystyle a \ sin x + b \ cos x = {\ sqrt {a ^ {2} + b ^ {2}}} \ cdot \ sin (x + \ varphi),}
unde este
- {\ displaystyle \ varphi = \ left \ {{\ begin {matrix} {\ arctan} (b / a), && {\ text {se}} a \ geq 0; \\\ pi + {\ arctan} (b / a), && {\ text {se}} a <0. \ end {matrix}} \ right.}
- {\ displaystyle \ sin ^ {2} (x) + \ cos ^ {2} (x) = 1}
- {\ displaystyle \ tan ^ {2} (x) + 1 = \ sec ^ {2} (x)}
- {\ displaystyle \ cot ^ {2} (x) + 1 = \ csc ^ {2} (x)}
Formule de adunare și scădere
Descoperirea primelor două identități (din care urmează și celelalte) datează de la Ptolemeu [1] dar pentru a oferi o dovadă mai rapidă este posibil să se utilizeze formulele lui Euler prin intermediul funcției {\ displaystyle {\ rm {cis}}} . O dovadă geometrică de identitate pentru {\ displaystyle \ sin (x + y)} este dat la sfârșitul acestei intrări.
- {\ displaystyle \ sin (x \ pm y) = \ sin (x) \ cos (y) \ pm \ cos (x) \ sin (y)}
- {\ displaystyle \ cos (x \ pm y) = \ cos (x) \ cos (y) \ mp \ sin (x) \ sin (y)}
- {\ displaystyle \ tan (x \ pm y) = {\ frac {\ tan (x) \ pm \ tan (y)} {1 \ mp \ tan (x) \ tan (y)}}}
- {\ displaystyle \ cot (x \ pm y) = {\ frac {\ cot (x) \ cot (y) \ mp 1} {\ cot (y) \ pm \ cot (x)}}}
- {\ displaystyle {\ rm {cis}} (x + y) = {\ rm {cis}} (x) \, {\ rm {cis}} (y)}
- {\ displaystyle {\ rm {cis}} (xy) = {{\ rm {cis}} (x) \ over {\ rm {cis}} (y)}}
unde este
- {\ displaystyle {\ rm {cis}} (x): = e ^ {ix} = \ cos (x) + i \ sin (x).}
Formula de duplicare
Acestea pot fi obținute prin substituire {\ displaystyle x = y} în plus, teoreme și folosind teorema lui Pitagora pentru ultimele două. Chiar mai bine să folosiți formula lui De Moivre cu {\ displaystyle n = 2} .
- {\ displaystyle \ sin (2x) = 2 \ sin (x) \ cos (x)}
- {\ displaystyle \ cos (2x) = \ cos ^ {2} (x) - \ sin ^ {2} (x) = 2 \ cos ^ {2} (x) -1 = 1-2 \ sin ^ {2 } (X)}
- {\ 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}}
- {\ displaystyle \ cot (2x) = {\ frac {\ cot ^ {2} (x) -1} {2 \ cot (x)}}}
Formule pentru unghiuri multiple
Dacă denotăm {\ displaystyle T_ {n}} L ' {\ displaystyle n} -polinomul lui Chebyshev , atunci
- {\ displaystyle \ cos (nx) = T_ {n} (\ cos (x)).}
Formula De Moivre :
- {\ displaystyle \ cos (nx) + i \ sin (nx) = (\ cos (x) + i \ sin (x)) ^ {n}}
Nucleul Dirichlet {\ displaystyle D_ {n} (x)} este funcția găsită pe ambele părți ale următoarei identități:
- {\ 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)}}.}
Convoluția fiecărei funcții pătrate însumabile periodice a perioadei {\ displaystyle 2 \ pi} cu nucleul Dirichlet coincide cu suma trunchiată a ordinii {\ displaystyle n} din seria lui Fourier.
Formule de reducere a puterii
Din formula de duplicare a cosinusului și formula trigonometrică pitagorică se obține
- {\ displaystyle \ cos ^ {2} (x) = {1+ \ cos (2x) \ over 2}}
- {\ displaystyle \ sin ^ {2} (x) = {1- \ cos (2x) \ over 2}}
Formule de bisecție
Prin înlocuire {\ displaystyle x \ over 2} in loc de {\ displaystyle x} în formulele de reducere a puterii și de calcul {\ displaystyle \ cos {x \ over 2}} Și {\ displaystyle \ sin {x \ over 2}} primesti.
- {\ displaystyle \ left | \ cos \ left ({\ frac {x} {2}} \ right) \ right | = {\ sqrt {\ left ({\ frac {1+ \ cos (x)} {2} } \ dreapta)}}}
- {\ displaystyle \ left | \ sin \ left ({\ frac {x} {2}} \ right) \ right | = {\ sqrt {\ left ({\ frac {1- \ cos (x)} {2} } \ dreapta)}}}
Din aceste două ultime identități, împărțind al doilea membru la primul membru la membru, obținem:
- {\ displaystyle \ left | \ tan \ left ({\ frac {x} {2}} \ right) \ right | = {\ sqrt {\ frac {1- \ cos (x)} {1+ \ cos (x )}}}}
Cu toate acestea, este posibil să veniți cu două expresii pentru {\ displaystyle \ tan \ left ({\ frac {x} {2}} \ right)} fără valoarea absolută, care sunt următoarele:
- {\ displaystyle \ tan \ left ({\ frac {x} {2}} \ right) = {\ frac {\ sin (x)} {1+ \ cos (x)}} = {\ frac {1- \ cos (x)} {\ sin (x)}}.}
Loc {\ displaystyle t: = \ tan \ left ({\ frac {x} {2}} \ right)} , urmați așa-numitele formule parametrice :
| {\ displaystyle \ sin (x) = {\ frac {2t} {1 + t ^ {2}}}} | , | {\ displaystyle \ cos (x) = {\ frac {1-t ^ {2}} {1 + t ^ {2}}}} | Și | {\ displaystyle e ^ {ix} = {\ frac {1 + it} {1-it}}.} |
Înlocuirea {\ displaystyle t} pentru {\ displaystyle \ tan {x \ over 2}} , rezultând în schimbarea {\ displaystyle \ sin x} cu {\ displaystyle 2t \ over {1 + t ^ {2}}} și de {\ displaystyle \ cos x} cu {\ displaystyle 1-t ^ {2} \ peste {1 + t ^ {2}}} este adesea capabil să convertească funcțiile raționale în {\ displaystyle \ sin x} Și {\ displaystyle \ cos x} să fie integrat în funcțiile de {\ displaystyle t} integrabil (vezi și următorul „punct de vedere abstract”).
Produse exprimate în sume
Aceste formule pot fi dovedite dezvoltându-și partea dreaptă și simplificând cu formule de adăugare. Se mai numesc și formule Werner .
- {\ displaystyle \ cos (x) \ cos (y) = {\ cos (x + y) + \ cos (xy) \ over 2}}
- {\ displaystyle \ sin (x) \ sin (y) = {\ cos (xy) - \ cos (x + y) \ over 2}}
- {\ displaystyle \ sin (x) \ cos (y) = {\ sin (x + y) + \ sin (xy) \ over 2}}
Sume exprimate prin produse
Doar înlocuiți {\ displaystyle x} cu {\ displaystyle x + y \ peste 2} Și {\ displaystyle y} cu {\ displaystyle xy \ over 2} în expresiile produselor prin intermediul sumelor. Ele sunt, de asemenea, numite formule de prostoafereză .
- {\ displaystyle \ sin (x) + \ sin (y) = 2 \ sin \ left ({\ frac {x + y} {2}} \ right) \ cos \ left ({\ frac {xy} {2} } \ dreapta)}
- {\ displaystyle \ sin (x) - \ sin (y) = 2 \ cos \ left ({\ frac {x + y} {2}} \ right) \ sin \ left ({\ frac {xy} {2} } \ dreapta)}
- {\ displaystyle \ cos (x) + \ cos (y) = 2 \ cos \ left ({\ frac {x + y} {2}} \ right) \ cos \ left ({\ frac {xy} {2} } \ dreapta)}
- {\ displaystyle \ cos (x) - \ cos (y) = - 2 \ sin \ left ({\ frac {x + y} {2}} \ right) \ sin \ left ({\ frac {xy} {2 }} \ dreapta)}
Funcții trigonometrice inverse
- {\ displaystyle \ arcsin (x) + \ arccos (x) = \ pi / 2}
- {\ displaystyle \ arctan (x) + \ operatorname {arccot} (x) = \ pi / 2}
- {\ displaystyle \ arctan (x) + \ arctan (1 / x) = \ left \ {{\ begin {matrix} \ pi / 2, & {\ text {se}} x> 0 \\ - \ pi / 2 , & {\ text {se}} x <0 \ end {matrix}} \ right.}
- {\ displaystyle \ arctan (x) + \ arctan (y) = \ arctan \ left ({\ frac {x + y} {1-xy}} \ right) (xy <1)}
- {\ displaystyle \ sin ^ {2} (\ arccos (x)) = 1-x ^ {2}, {\ text {per}} - 1 \ leq x \ leq 1}
- {\ displaystyle \ cos ^ {2} (\ arcsin (x)) = 1-x ^ {2}, {\ text {per}} - 1 \ leq x \ leq 1}
- {\ displaystyle \ sin ^ {2} (\ arctan (x)) = {\ frac {x ^ {2}} {1 + x ^ {2}}}}
- {\ displaystyle \ cos ^ {2} (\ arctan (x)) = {\ frac {1} {1 + x ^ {2}}}}
Funcția Gudermanniană este definită după cum urmează:
- {\ displaystyle {\ rm {gd}} (x) = 2 \ arctan e ^ {x} - {\ pi \ over 2}.}
Această funcție stabilește o legătură între funcțiile trigonometrice și funcțiile hiperbolice fără a recurge la numere complexe (a se vedea intrarea aferentă pentru detalii).
Identitate pentru unghiuri constante
Următoarea identitate curioasă a fost aflată de Richard Feynman când era tânăr:
- {\ displaystyle \ cos 20 ^ {\ circ} \ cdot \ cos 40 ^ {\ circ} \ cdot \ cos 80 ^ {\ circ} = 1/8.}
Acesta este un caz special al următoarei identități în care apare o variabilă:
- {\ displaystyle \ prod _ {j = 0} ^ {k-1} \ cos (2 ^ {j} x) = {\ frac {\ sin (2 ^ {k} x)} {2 ^ {k} \ sin (x)}}.}
Alte identități fără variabile:
- {\ 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.}
- {\ displaystyle \ cos 36 ^ {\ circ} + \ cos 108 ^ {\ circ} = 1/2.}
- {\ displaystyle \ cos 24 ^ {\ circ} + \ cos 48 ^ {\ circ} + \ cos 96 ^ {\ circ} + \ cos 168 ^ {\ circ} = 1/2.}
Măsurarea unghiurilor în grade este mai puțin avantajoasă decât măsurarea în radiani pentru unul {\ displaystyle x} cu {\ displaystyle 21} în numitor:
- {\ 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.}
Factorii {\ displaystyle 1,2,4,5,8,10} duce la gândirea la numere întregi mai mici decât {\ displaystyle 21 \ peste 2} mai întâi cu {\ displaystyle 21} . Ultimele exemple sunt consecințele unui rezultat de bază asupra polinoamelor ciclotomice ireductibile: cosinusii sunt părțile reale ale rădăcinilor acestor polinoame; suma zerourilor dă valoarea funcției Möbius evaluată în {\ displaystyle 21} ; doar jumătate din rădăcini sunt prezentate în raportul anterior. Cele două identități care o preced pe acestea din urmă apar în același mod în raport cu cazurile {\ displaystyle 10} Și {\ displaystyle 15} , respectiv.
Următoarea identitate fără variabile poate fi utilizată pentru a calcula {\ displaystyle \ pi} eficient:
- {\ displaystyle {\ frac {\ pi} {4}} = 4 \ arctan {\ frac {1} {5}} - \ arctan {\ frac {1} {239}},}
sau folosind formula lui Euler:
- {\ displaystyle {\ pi} = 20 \ arctan {\ frac {1} {7}} + 8 \ arctan {\ frac {3} {79}}.}
Calcul infinitesimal
În calcul este esențial ca argumentele funcțiilor trigonometrice să fie măsurate în radiani ; dacă sunt măsurate în grade sau alte unități, atunci relațiile de mai jos sunt false. Plecând de la definițiile geometrice ale funcțiilor trigonometrice, derivatele lor se obțin după stabilirea următoarelor două limite.
- {\ displaystyle \ lim _ {x \ to 0} {\ frac {\ sin (x)} {x}} = 1,}
(apare prin observarea cercului trigonometric și a teoremei comparației ). Observăm că, dacă am folosi regula de L'Hôpital pentru a stabili această limită, am crea un cerc vicios la nivel logic, deoarece din această limită obținem derivatele de sinus și cosinus necesare pentru a aplica regula menționată mai sus.
- {\ displaystyle \ lim _ {x \ to 0} {\ frac {1- \ cos (x)} {x}} = 0.}
(Apare utilizând identitatea {\ displaystyle \ tan (x / 2) = (1- \ cos x) / \ sin x} .)
După stabilirea acestor două limite, se stabilește că {\ displaystyle \ sin '= \ cos} Și{\ displaystyle \ cos '= - \ sin} . urmărind derivarea la definiția sa ca limită a raportului incremental.
Dacă funcțiile sinus și cosinus sunt definite de seria lor Taylor , derivatele lor pot fi obținute prin derivarea seriei de putere de la un termen la altul.
- {\ displaystyle {d \ over dx} \ sin (x) = \ cos (x).}
Derivatele celorlalte funcții trigonometrice sunt derivate din cele anterioare cu regulile de derivare . Prin urmare, avem:
- {\ displaystyle {d \ over dx} \ cos (x) = - \ sin (x)}
- {\ displaystyle {d \ over dx} \ tan (x) = \ sec ^ {2} (x)}
- {\ displaystyle {d \ over dx} \ cot (x) = - \ csc ^ {2} (x)}
- {\ displaystyle {d \ over dx} \ sec (x) = \ sec (x) \ tan (x)}
- {\ displaystyle {d \ over dx} \ csc (x) = - \ csc (x) \ cot (x)}
- {\ displaystyle {d \ over dx} \ arcsin (x) = {\ frac {1} {\ sqrt {1-x ^ {2}}}}}
- {\ displaystyle {d \ over dx} \ arccos (x) = - {\ frac {1} {\ sqrt {1-x ^ {2}}}}}
- {\ displaystyle {d \ over dx} \ arctan (x) = {\ frac {1} {1 + x ^ {2}}}}
Identitățile integrale pot fi găsite în tabelele integrale .
Dovezi folosind o ecuație diferențială
Luați în considerare ecuația diferențială:
- {\ displaystyle y '' + y = 0}
Folosind formula lui Euler și metoda de rezolvare a ecuațiilor diferențiale liniare , împreună cu teorema unicității și teorema existenței putem defini sinusul și cosinusul în următoarele moduri
{\ displaystyle \ cos (x)} este singura soluție a ecuației
- {\ displaystyle y '' + y = 0} sub rezerva condițiilor inițiale {\ displaystyle y (0) = 1} Și {\ displaystyle y '(0) = 0}
{\ displaystyle \ sin (x)} este singura soluție a ecuației
- {\ displaystyle y '' + y = 0} în condițiile inițiale {\ displaystyle y (0) = 0} Și {\ displaystyle y '(0) = 1}
Dovedim asta
- {\ displaystyle {\ frac {d} {dx}} \ sin (x) = \ cos (x)}
Vă prezentăm {\ displaystyle T (x): = \ sin '(x)} și găsim derivatele sale prima și a doua:
- {\ displaystyle T '(x) = \ sin' '(x)} asa de {\ displaystyle \ sin (x)} este o soluție de {\ displaystyle y '' + y = 0} putem spune că {\ displaystyle \ sin '' (x) + \ sin (x) = 0} ; prin urmare {\ displaystyle \ sin '' (x) = - \ sin (x)}
Prin urmare
- {\ displaystyle T '(x) = - \ sin (x)}
- {\ displaystyle T '' (x) = - \ sin '(x) = - T (x).}
Deci putem spune asta
- {\ displaystyle T '' (x) + T (x) = 0.}
Încă folosim tehnicile de rezolvare a ecuațiilor diferențiale liniare și formula lui Euler soluția{\ displaystyle T '' (x) + T (x) = 0} trebuie să fie o combinație liniară de {\ displaystyle \ sin (x)} Și {\ displaystyle \ cos (x)} , asa de
- {\ displaystyle T (x) = A \ sin (x) + B \ cos (x).}
Este situat {\ displaystyle B} plasarea în locul {\ displaystyle x}
- {\ displaystyle T (0) = 0 + B.}
Pentru condițiile inițiale {\ displaystyle T (0) = \ sin '(0) = 1} , asa de
- {\ displaystyle B = 1.}
Rezolvarea pentru {\ displaystyle A} avem derivatul lui {\ displaystyle T (x)} și plasarea în locul {\ displaystyle x}
- {\ displaystyle T '(x) = A \ sin' (x) + B \ cos '(x)}
- {\ displaystyle T '(0) = A \ sin' (0) + B \ cos '(0)}
Folosind condițiile inițiale și având în vedere că {\ displaystyle T '(x) = - \ sin (x)}
- {\ displaystyle - \ sin (0) = A \ cdot 1 + B \ cdot 0,}
- {\ displaystyle A = 0.}
Prin înlocuire {\ displaystyle A} Și {\ displaystyle B} în ecuația inițială a {\ displaystyle T (x)} avem
- {\ displaystyle T (x) = \ cos (x),}
dar de atunci {\ displaystyle T (x)} este definit ca {\ displaystyle \ sin '(x)} avem
- {\ displaystyle \ sin '(x) = \ cos (x)}
sau
- {\ displaystyle {\ frac {d} {dx}} \ sin (x) = \ cos (x).}
Folosind aceste definiții ale sinusului și cosinusului, toate celelalte proprietăți ale sinusului și cosinusului pot fi testate folosind aceleași tehnici.
Dovezi geometrice
Formula de adăugare a sânilor
Așa cum se arată în figură, segmentul este construit {\ displaystyle DG} perpendicular pe {\ displaystyle AB} iar segmentul {\ displaystyle CE} paralel cu {\ displaystyle AB} .
{\ displaystyle x} = Unghi {\ displaystyle BAC} = Unghi {\ displaystyle ACE} = Unghi {\ displaystyle CDE} .
{\ displaystyle EG} = {\ displaystyle BC} .
Atunci
{\ displaystyle {\ begin {align} \ 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 {align}}}
Formula de adăugare a cosinusului
Privind figura anterioară:
{\ displaystyle {\ begin {align} \ 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 { aliniat}}}
Puncte de vedere abstracte
Deoarece circumferința este o curbă de gen algebrică , este de așteptat ca funcțiile circulare să poată fi reduse la funcții raționale . Într-adevăr, se știe în mod clasic că prin utilizarea sistematică a formulelor de bisecție pentru tangentă este posibil să se exprime funcțiile sinus și cosinus în termenii unei noi variabile {\ displaystyle t} .
Notă
Elemente conexe
Alte proiecte