∠ACD = 180o − α
Z tw. cosinusów
d12 = a2 + b2 − 2*a*b*cos(α)
d22 = a2 + b2 − 2*a*b*cos(180o − α) ale cos(180o − α) = −cos(α) czyli
d22 = a2 + b2 + 2*a*b*cos(α)
Dodając
d12 +d22 = a2 + b2 − 2*a*b*cos(α) + a2 + b2 + 2*a*b*cos(α)
d12 + d22 = 2*(a2 + b2) co należało wykazać