Assegnato un qualsiasi triangolo, questo teorema afferma che il quadrato costruito rispettivamente su ciascun lato è equivalente alla somma dei due quadrati costruiti sugli altri due lati diminuita del doppio prodotto di questi lati per il coseno dell'angolo tra essi compreso.