Giả sử ABCD là một hình thang vuông, góc A = góc D = 900 (ở đây mk chỉ xét 1 TH đáy nhỏ AB,đáy lớn CD,TH còn lại t.tự)
=>tam giác ABD và tam giác ADC vuông tại A và D
Xét tam giác ABD vuông tại A: \(BD^2=AB^2+AD^2\) (đ/l Pytago)
Xét tam giác ADC vuông tại D : \(AC^2=AD^2+CD^2\) (đ/l Pytago)
\(=>AC^2-BD^2=AD^2+CD^2-\left(AB^2+AD^2\right)=CD^2-AB^2=\left(CD-AB\right).\left(CD+AB\right)\)
Vì \(CD-AB=b;CD+AB=a\)
\(=>AC^2-BC^2=a.b\)
Vậy...........................