Teorema del coseno

In geometria, il teorema del coseno esprime la relazione tra la lunghezza dei lati di un triangolo e il coseno di uno dei suoi angoli. Può essere considerato una generalizzazione del teorema di Pitagora al caso di triangoli non rettangoli. Questo teorema, dimostrato già dal persiano Al-Kashi, è noto anche, specialmente in Francia, come teorema di Al-Kashi o anche, specialmente in Italia, come teorema di Carnot, dal nome del matematico francese Lazare Carnot, anche se in realtà il teorema è stato reso popolare dal francese François Viète.

Il teorema

Con riferimento alla figura a lato, si desidera trovare la lunghezza di un lato di un qualsiasi triangolo, essendo note le lunghezze degli altri due lati e l'ampiezza dell'angolo tra essi compreso. Si ha:

${\displaystyle {\overline {AB}}^{2}={\overline {AC}}^{2}+{\overline {BC}}^{2}-2\cdot {\overline {AC}}\cdot {\overline {BC}}\cos \gamma .}$

Dimostrazione con il teorema di Pitagora

Applicando il teorema di Pitagora al triangolo rettangolo ${\displaystyle AHB,}$ si ha:

${\displaystyle {\overline {AB}}^{2}={\overline {AH}}^{2}+{\overline {BH}}^{2},}$

dove ${\displaystyle {\overline {AB}}}$ indica la lunghezza del segmento ${\displaystyle AB.}$ Risolvendo il triangolo rettangolo ${\displaystyle AHC}$ si ha anche:

${\displaystyle {\overline {AH}}={\overline {AC}}\sin \gamma .}$

Vale inoltre

${\displaystyle {\overline {BH}}={\overline {BC}}-{\overline {HC}}={\overline {BC}}-{\overline {AC}}\cos \gamma .}$

Sostituendo nella prima uguaglianza si ottiene:

${\displaystyle {\overline {AB}}^{2}={\overline {AC}}^{2}\sin ^{2}\gamma +{\overline {BC}}^{2}+{\overline {AC}}^{2}\cos ^{2}\gamma -2{\overline {BC}}\cdot {\overline {AC}}\cos \gamma .}$

Per la relazione fondamentale ${\displaystyle \sin ^{2}\gamma +\cos ^{2}\gamma =1,}$ questa equazione può essere semplificata in:

${\displaystyle {\overline {AB}}^{2}={\overline {AC}}^{2}+{\overline {BC}}^{2}-2{\overline {BC}}\cdot {\overline {AC}}\cos \gamma .}$

Nel caso di un triangolo rettangolo, ossia con ${\displaystyle \gamma =\pi /2,}$ il terzo addendo del secondo membro è nullo e si ricade nel teorema di Pitagora, mentre se il triangolo è ottusangolo (${\displaystyle \gamma >\pi /2}$) la dimostrazione procede allo stesso modo, con la differenza che in questo caso:

${\displaystyle {\overline {HC}}={\overline {AC}}\cos(\pi -\gamma )=-{\overline {AC}}\cos \gamma }$

e quindi si trova nuovamente

${\displaystyle {\overline {BH}}={\overline {BC}}+{\overline {HC}}={\overline {BC}}-{\overline {AC}}\cos \gamma .}$

Dimostrazione con vettori

Si considerino i vettori:

${\displaystyle {\vec {a}}={\vec {AC}};}$

${\displaystyle {\vec {b}}={\vec {BC}};}$

${\displaystyle {\vec {c}}={\vec {AB}}.}$

Si può quindi scrivere che:

${\displaystyle {\vec {c}}={\vec {a}}-{\vec {b}}.}$

Calcolando il modulo al quadrato di ambo i membri si ottiene:

${\displaystyle |{\vec {c}}|^{2}=|{\vec {a}}-{\vec {b}}|^{2}=({\vec {a}}-{\vec {b}})\cdot ({\vec {a}}-{\vec {b}}),}$

${\displaystyle |{\vec {c}}|^{\,2}=|{\vec {a}}|^{\,2}+|{\vec {b}}|^{\,2}-2{\vec {a}}\cdot {\vec {b}},}$

dove ${\displaystyle {\vec {a}}\cdot {\vec {b}}}$ è il prodotto scalare tra ${\displaystyle {\vec {a}}}$ e ${\displaystyle {\vec {b}}}$. Usando infine il fatto che ${\displaystyle {\vec {a}}\cdot {\vec {b}}=|{\vec {a}}||{\vec {b}}|\cos(\gamma )}$ si ricava

${\displaystyle c^{2}=a^{2}+b^{2}-2ab\cdot \mathrm {cos} (\gamma ).}$

Voci correlate

• Coseno
• Trigonometria
• Triangolo
• Teorema di Pitagora
• Teorema dei seni
• Teorema della corda

Altri progetti

Altri progetti

• Wikimedia Commons

• Wikimedia Commons contiene immagini o altri file sul teorema del coseno

Collegamenti esterni

• Teorema del coseno, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) law of cosines, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Eric W. Weisstein, Teorema del coseno, su MathWorld, Wolfram Research.

Controllo di autorità	Thesaurus BNCF 21832

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica