Entrigonometria, elteorema del cosinus és una identitat, referida a untriangle qualsevol, que relaciona les longituds dels seus costats amb elcosinus d'un dels seusangles. Emprant la notació referida a la Figura 1, el teorema del cosinus estableix que[1]
O, de forma equivalent:
Cal fixar-se quec és el costat oposat a l'angleγ, i quea ib són els dos costats que formen l'angleγ. Totes tres identitats diuen el mateix; només es presenten separadament perquè en resoldre triangles amb tres costats donats s'ha d'aplicar la identitat tres cops permutant el paper dels tres costats.
El teorema del cosinus generalitza elteorema de Pitàgores, el qual només es compleix pel cas detriangles rectangles: si l'angleγ és un angle recte (mesura 90° o radiants), llavors i, per tant, el teorema del cosinus es redueix a
que és el teorema de Pitàgores.
El teorema del cosinus és útil per a calcular el tercer costat d'un triangle quan es coneixen dos costats i l'angle inclòs, i per a calcular els angles d'un triangle quan es coneixen els tres costats.[2]
Fig. 2 – Triangle obtús ABC amb la perpendicular BH
Elselements d'Euclides, que són delsegle iii aC, contenen una versió del teorema del cosinus. El cas del triangle obtús i del triangle agut (que corresponen als casos en què el cosinus té valors negatius o positius respectivament) es tracten per separat, en les proposicions 12 i 13 del Llibre 2. Com que en l'època d'Euclides no s'havien desenvolupat les funcions trigonomètriques ni l'àlgebra (en particular els nombres negatius), l'afirmació té un caire més geomètric:
«
Proposició 12. En els triangles obtusangles, el quadrat del costat oposat a l'angle obtús és major que els quadrats dels costats que comprenen l'angle obtús en dues vegades el rectangle comprès per un costat dels de l'angle obtús sobre el que cau la perpendicular i la recta exterior tallada per la perpendicular fins a l'angle obtús.
Utilitzant la notació de la Figura Fig. 2, L'enunciat d'Euclides es pot representar per la fórmula
Aquesta fórmula es pot transformar en l'enunciat del teorema del cosinus observant queCH =a cos(π – γ) = −a cos(γ).
La Proposició 13 conté un enunciat completament anàleg per a triangles acutangles.
El teorema del cosinus no va evolucionar més enllà dels dos teoremes d'Euclides fins al desenvolupament de la moderna trigonometria a l'edat mitjana pels matemàtics musulmans. L'astrònom imatemàtical-Battani va generalitzar el resultat d'Euclides a lageometria esfèrica al principi del segle x, això li va permetre calcular la distància angular entre estrelles.[4] Durant elsegle xv,al-Kashi deSamarcanda va calcular taules trigonomètriques de gran exactitud i va presentar el teorema en una forma adequada per a latriangulació. Enfrancès, encara ara es coneix el teorema del cosinus com elteorema d'Al-Kashi.[5]
El teorema va ser popularitzat almón occidental perFrançois Viète, que aparentment el va descobrir de forma independent. A començaments delsegle xix la notació moderna va permetre que el teorema del cosinus s'escrivís en la seva forma actual.[6]
el tercer costat d'un triangle si es coneixen dos costats i l'angle entre ells:
els angles d'un triangle si es coneixen els tres costats:
el tercer costat d'un triangle si es coneixen dos costats i un angle oposat a un d'ells (també es pot emprar el teorema de Pitàgores per a resoldre aquest cas):
Si l'angle és molt agut (és a dir sic és petit en comparació amba ib o γ és petit comparat amb 1), aquestes fórmules produeixen un granerror d'arrodoniment si els càlculs es fan encoma flotant.
La primera equació s'obté de forma immediata aïllantc de l'expressió del teorema del cosinus i agafant el signe positiu de l'arrel quadrada perquèc és una distància.
La segona també s'obté de forma immediata aïllant el cosinus i trobant l'angle.
Aquesta equació pot tenir 2, 1, o 0 solucions positives, que corresponen al nombre de triangles possibles amb les dades donades. Tindrà dues solucions sib sin(C) <c <b, només en tindrà una sic >b oc =b sin(C), i no en tindrà cap sic <b sin(C).
Quana =b, és a dir, quan el triangle és untriangle isòsceles amb els dos costats iguals formant l'angle γ el teorema del cosinus se simplifica significativament. Com quea² + b² = 2a² = 2ab, el teorema del cosinus esdevé
S'agafa el triangle amb costats de longituda,b,c, on és la mesura de l'angle oposat al costat de longitudc. Aquest triangle es pot col·locar damunt d'un sistema decoordenades cartesianes a base de dibuixar Per la fórmula de la distància es té. Llavors només cal simplificar aquesta equació:
Un avantatge d'aquesta demostració és que no cal considerar per separat el cas del triangle acutangle i el triangle obtusangle.
(Això continua sent cert si α o β són obtusos, en aquest cas la perpendicular cau fora del triangle.) Multiplicant als dos cantons perc es té
Repetint el mateix amb les altres perpendiculars s'obté
Sumant les últimes dues dona
Reordenant s'obté
Substituint aquest resultat a la primera equació per obtenir dona el teorema del cosinus
Aquesta demostració fa servirtrigonometria de forma que tracta els cosinus de diversos angles com a quantitats per la seva pròpia naturalesa. Fa servir el fet que el cosinus d'un angle expressa la relació entre els dos costats que contenen l'angle enqualsevol triangle rectangle. Altres demostracions (de més avall) són més geomètriques en el sentit que tracten expressions tals com merament com una etiqueta per indicar la longitud d'un cert segment.
Moltes demostracions tracten el cas agut i obtús per separat.
Cas d'un angle obtús.Euclides demostra aquest teorema a base d'aplicar elteorema de Pitàgores a cada un dels dos triangles rectangles de la Fig. 5. Utilitzantd per indicar el segmentCH ih per l'alturaBH, el triangleAHB dona
i el triangleCHB dona
Desenvolupant la primera equació dona
Substituint aquí la segona equació s'obté
Aquesta és la proposició 12 del Llibre 2 delsElements d'Euclides. Per a transformar-ho an l'expressió moderna del teorema del cosinus, fixeu-vos que
Cas d'un angle agut. La demostració de la Proposició 13 d'Euclides segueix la mateixa línia que la demostració de la Proposició 12: aplica el teorema de Pitàgores als dos triangles rectangles que es formen traçant la perpendicular sobre un dels costats adjacents a l'angle i fa servir elbinomi de Newton per simplificar.
Fig. 6 – Una demostració curta fent servir trigonometria pel cas d'un angle agut
Una altra demostració pel cas agut. Fent servir una mica més de trigonometria, el teorema del cosinus es pot deduir aplicant el teorema de Pitàgores nomésun cop. De fet, emprant el triangle rectangle de cantó esquerre de la Fig. 6 es pot veure que:
que surt de fer servir la identitat trigonomètrica
Nota. Aquesta demostració necessita una lleugera modificació sib < a cos(γ). En aquest cas, el triangle rectangle al qual s'aplica el teorema de Pitàgores surtfora del triangleABC. L'únic efecte que té això en el càlcul és que la quantitatb − a cos(γ) és substituïda pera cos(γ) − b. Com que aquesta quantitat només entra en el càlcul a través del seu quadrat, el resultat de la resta de la demostració queda inalterat.Nota. Aquest problema només passa quant β és obtús, i es pot evitar reflectint el triangle respecte de la bisectriu de l'angle γ.
Observació. Respecte de la Fig 6 val la pena de fixar-se que si l'angle oposat al costat a és llavors:
Això és útil per al càlcul directe d'un segon angle quan venen donats dos costats i l'angle inclòs.
Demostració del teorema del cosinus fent servir el teorema de Ptolemeu
Respecte del diagrama, el triangleABC amb costatsAB =c,BC =a iAC =b es dibuixa dins la seva circumferència circumscrita tal com es presenta. El triangleABD es construeix congruent amb el triangleABC ambAD =BC iBD =AC. Les perpendiculars des deD iC troben la baseAB aE iF respectivament. Llavors:
Ara el teorema del cosinus s'obté com a resultat directe de l'aplicació del teorema de Ptolemeu alquadrilàter cíclicABCD:
Evidentment, si l'angleB és de 90 graus, llavorsABCD és un rectangle i l'aplicació del teorema de Ptolemeu porta al teorema de Pitàgores:
També es pot demostrar el teorema del cosinus a base de calcularareas. El canvi de signe quan l'angle esdevé obtús fa necessària la distinció dels casos agut i obtús.
Recordant que
a²,b², ic² són les àrees dels quadrats amb costatsa,b, ic, respectivament;
si γ és agut, llavorsab cos(γ) és l'àrea delparal·lelogram de costatsa ib que formen un angle de;
si γ és obtús i, per tant, cos(γ) és negatius, llavors −ab cos(γ) és l'àrea delparal·lelogram de costatsa' ib que formen un angle de.
Fig. 7a – Demostració del teorema del cosinus per a angle agut γ a base de "retallar i enganxar".
Cas agut. La Figura 7a mostra unHeptàgon retallat en bocins més petits (de dues formes diferents) per a obtenir la demostració del teorema del cosinus. Els diferents bocins són
de rosa, les àreesa²,b² a l'esquerra i les àrees 2ab cos(γ) ic² a la dreta;
de blau, el triangleABC, a l'esquerra i a la dreta;
de gris, triangles auxiliars, totscongruents ambABC, i en igual nombre (2) tant a l'esquerra com a la dreta.
La igualtat d'àrees a l'esquerra i a la dreta dona
Fig. 7b – Demostració del teorema del cosinus pel cas que l'angle γ sigui obtús a base de "retallar i enganxar".
Cas obtús. La Figura 7b retalla unhexàgon de dues formes diferents en bocins més petits, resultant-ne una demostració del teorema del cosinus pel cas que l'angle γ sigui obtús. En té
de rosa, les àreesa²,b², i −2ab cos(γ) a l'esquerra ic² a la dreta;
de blau, el triangleABC dos cops, tant a la dreta com a l'esquerra.
La igualtat d'àrees a la dreta i a l'esquerra dona
Per donar rigor a aquestes demostracions cal afegir demostracions que les diverses figures sóncongruents i per tant, tenen la mateixa àrea. Per això es pot comprovar la igualtat en les longituds dels costats i la suma dels angles de cada vèrtex.
Fig. 8a – El triangleABC (rosa), un cercle auxiliar (blau cel) i un triangle rectangle auxiliar (groc)
Cas de l'angle γ agut, ona > 2b cos(γ). Es traça laperpendicular des deA fins aa =BC, creant un segment de longitudb cos(γ). Es duplica el triangle rectangle obtingut per a formar eltriangle isòscelesACP. Es construeix elcercle amb centre aA i radib, i la sevatangenth =BH a través deB. La tangenth forma un angle recte amb el radib (Elements d'Euclides: Llibre 3, Proposició 18;), per tant el triangle groc de la Figura 8 és rectangle. Aplicant elteorema de Pitàgores s'obté
Ara es fa servir elteorema de la tangent secant (Elements d'Euclides: Llibre 3, Proposició 36), que diu que el quadrat de la tangent a través d'un punt B de fora del cercle és igual al producte dels dos segments (des de B) creats per qualsevolsecant del cercle que passi per B. En el cas present:BH² =BC BP, o
Substituint a l'equació anterior dona el teorema del cosinus:
Fixeu-vos queh² és lapotència del puntB respecte del cercle. La utilització del teorema de Pitàgores i del teorema de la tangent secant, es pot substituir per una sola aplicació delteorema de la potència d'un punt.
Fig. 8b – El triangleABC (rosa), un cercle auxiliar (blau cel) i dos triangles rectangles auxiliars (groc)
Cas en què l'angle γ és agut, ona < 2b cos γ. Es traça laperpendicular aa que passa perA =BC, creant un segment de longitudb cos(γ). Es duplica eltriangle rectangle per tal de formar eltriangle isòscelesACP. Es construeix elcercle amb centre aA i radib, i unacorda a través deB perpendicular ac =AB, la meitat de la qual ésh =BH. S'aplica elteorema de Pitàgores per obtenir
Ara es fa servir elteorema de la corda (Elements d'Euclides: Llibre 3, Proposició 35), que diu que si dues cordes s'intersequen, el producte dels dos segments obtinguts en una corda és igual al troducte dels dos segments obtinguts a l'altra. En el cas actual:BH² =BC BP, o
Substituint a l'equació anterior dona el teorema del cosinus:
Fixeu-vos que la potència del puntB respecte del cercle té el valor negatiu −h².
Fig. 9 – Demostració del teorema del cosinus fent servir el teorema de la potència d'un punt.
Cas de l'angle γ obtús. Aquesta demostració fa servir directament el teorema de la potència d'un punt, sense els triangles auxiliars obtinguts per a construir una tangent o una corda. Es construeix un cercle amb centreB i radia (vegeu Figura 9), el qual interseca lasecant que passa perA iC en els puntsC iK. La potència del puntA respecte del cercle és igual simultàniament aAB² − BC² i aAC·AK. Per tant,
que és el teorema del cosinus.
Si es fan servir mesures algebraiques per als segments (és a dir, permetentnombres negatius per a les seves longituds) el cas de l'angle obtús (CK > 0) i de l'angle agut (CK < 0) es poden tractar simultàniament.
En untriangle esfèric ABC (figura 7), el teorema del cosinus s'escriu
.
Quan el radi de curvatura és molt gran respecte les dimensions del triangle, és a dir quan
,
Aquesta expressió se simplifica per donar la versió euclidiana del teorema del cosinus. Per veure-ho, s'utilitzen elsdesenvolupaments limitats següents:
, etc.,
, etc.
Existeix una identitat similar que enllaça els tres angles:
En un triangle hiperbòlic ABC, el teorema del cosinus s'escriu
.
Quan el radi de curvatura es fa molt gran respecte les dimensions del triangle, es troba el teorema del cosinus euclidià a partir dels desenvolupaments limitats
Una afirmació anàloga comença per agafar de forma que siguin les àrees de les quatre cares d'untetraedre. Es denoten elsangles dièdrics per etc. Llavors[8]
↑Per exemple en la pàgina 47 deTeoria de màquines de Salvador Cardona Foix i Daniel Clos Costa, s'il·lustra la seva aplicació en la resolució d'aquests casos de triangles
↑E. S. Kennedy,A Survey of Islamic Astronomical Tables, (Transactions of the American Philosophical Society, New Series, 46, 2), Philadelphia, 1956, pàg. 10-11, 32-34.
↑Aquesta demostració es pot trobar aThe Laws of Sines and Cosines extreta de E. Maor, Trigonometric Delights, Princeton University Press, 1998, pàgines 216-217
↑Casey, John.A Treatise on Spherical Trigonometry: And Its Application to Geodesy and Astronomy with Numerous Examples. Londres: Longmans, Green, & Company, 1889, p. 133..