Ipotesi e tesi
Ipotesi: ABC triangolo qualunque.
α
c b a2 = b2 + c2 – 2bc · cosα
Tesi: b2 = a2 + c2 – 2ac · cosβ
c2 = b2 + a2 – 2ab · cosγ
B β γ C
a
a = b · cosγ + c · cosβ a2 = ab · cosγ + ac · cosβ
b = a · cosγ + c · cosα -b2 = -ab · cosγ - bc · cosα
c = a · cosβ + b · cosα -c2 = -ac · cosβ - bc · cosα
Sommiamo a membro a membro le 3 relazioni:
a2 - b2 - c2 = ab · cosγ + ac · cosβ - ab · cosγ - bc · cosα - ac · cosβ - bc · cosα
a2 - b2 - c2 = -2bc · cosα
a2 = b2 + c2 - 2bc · cosα
Per l’altro lato moltiplicheremo a · (-a) e c · (-c).
a = b · cosγ + c · cosβ -a2 = -ab · cosγ - ac · cosβ
b = a · cosγ + c · cosα b2 = ab · cosγ + bc · cosα
c = a · cosβ + b · cosα -c2 = -ac · cosβ - bc · cosα
-a2 + b2 - c2 = -ab · cosγ - ac · cosβ + ab · cosγ + bc · cosα - ac · cosβ - bc · cosα
-a2 + b2 - c2 = -2ac · cosβ
b2 = a2 + c2 - 2ac · cosβ
Enunciato
In un triangolo qualunque un lato al quadrato è uguale alla somma dei quadrati degli altri due lati diminuito del doppio prodotto di questi due lati per il loro coseno dell'angolo che essi formano.