Teorema del coseno
Template:F 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.
L'enunciato trova la sua origine negli Elementi di Euclide, nel libro ll, proposizione 12.
Poi fu studiato da autori arabi, persiani ed europei nel medioevo. In Italia è conosciuto come teorema di Carnot, anche se non fu lui il primo a formalizzarlo.
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:
Dimostrazione con il teorema di Pitagora
Applicando il teorema di Pitagora al triangolo rettangolo si ha:
Risolvendo il triangolo rettangolo si ha anche:
Vale inoltre
Sostituendo nella prima uguaglianza si ottiene:
Per la relazione fondamentale questa equazione può essere semplificata in:
Nel caso di un triangolo rettangolo, ossia con il terzo addendo del secondo membro è nullo e si ricade nel teorema di Pitagora, mentre se il triangolo è ottusangolo () la dimostrazione procede allo stesso modo, con la differenza che in questo caso:
e quindi si trova nuovamente
Dimostrazione con vettori
Si considerino, con riferimento alla figura precedente, i vettori:
Si può quindi scrivere che:
Calcolando il modulo al quadrato di ambo i membri si ottiene:
dove è il prodotto scalare tra e . Usando infine il fatto che si ricava
Voci correlate
Altri progetti
Collegamenti esterni
Template:Trigonometria Template:Controllo di autorità Template:Portale