In un triangolo qualunque il quadrato di un lato è uguale alla somma dei quadrati degli altri due, diminuita del loro doppio prodotto moltiplicato per il coseno dell’angolo compreso.