Xét ΔCED vuông tại E có \(EC^2+ED^2=CD^2\)
=>\(EC^2=CD^2-ED^2\)
Xét ΔEDB vuông tại E có \(EB^2+ED^2=BD^2\)
=>\(EB^2=BD^2-ED^2\)
Xét ΔDAB vuông tại A có \(DA^2+AB^2=DB^2\)
=>\(EB^2=BD^2-ED^2=DA^2+AB^2-ED^2\)
\(EB^2-EC^2\)
\(=DA^2+AB^2-ED^2-CD^2+ED^2\)
\(=AB^2+CD^2-CD^2=AB^2\)