Il teorema del coseno, detto anche teorema di Carnot, è la generalizzazione del teorema di Pitagora ai triangoli qualsiasi: lega i tre lati di un triangolo al coseno di uno degli angoli. Ne vediamo l’enunciato, una dimostrazione elegante tramite il prodotto scalare e un esempio di applicazione alla risoluzione di un triangolo di cui si conoscono due lati e l’angolo compreso.