zał. d2>d1 ∧ a>b ∧ d1,d2,a,b>0
teza: d22 − d12 = a2 − b2
dowód
trójkąt ADC: (stosuję twierdzenie Pitagorasa)
d12 = b2 + h2 ⇒ h2 = d12 − b2
trójkąt ABD:(znów twierdzenie Pitagorasa)
d22 = h2 + a2 ⇒ h2 = d22 − a2
h2 = h2
d12 − b2 = d22 − a2
d12 − d22 = b2 − a2
d22 − d12 = a2 − b2