Ta có: \(BD=CE\)
\(\Leftrightarrow BD^2=CE^2\)(1)
Áp dụng định lí pytago vào ΔACE vuông cân tại A, ta được
\(CE^2=AC^2+AE^2\)
hay \(CE^2=2\cdot AC^2\)(2)
Áp dụng định lí pytago vào ΔADB vuông cân tại A, ta được
\(BD^2=AB^2+AD^2\)
hay \(BD^2=2\cdot AB^2\)(3)
Từ (1), (2) và (3) suy ra AB=AC
hay ΔABC cân tại A(định nghĩa tam giác cân)