Áp dụng định lý Pytago vào tam giác vuông:
$\large\Delta ABD$($\hat{D}=90^0$)\Rightarrow $AB^2=AD^2+BD^2$ (1)
$\large\Delta ACD$ ($\hat{D}=90^0$)\Rightarrow $AC^2=AD^2+CD^2$ (2)
$\large\Delta EBD$($\hat{D}=90^0$)\Rightarrow $EB^2=ED^2+BD^2$ (3)
$\large\Delta ECD$($\hat{D}=90^0$) \Rightarrow $EC^2=ED^2+CD^2$ (4)
Từ (1) và (2)\Rightarrow $AB^2-AC^2=AD^2+BD^2-AD^2+CD^2=BD^2+CD^2$ (5)
Từ (3) và (4)\Rightarrow $EB^2-EC^2=ED^2+BD^2-ED^2+CD^2=BD^2+CD^2$ (6)
Từ (5) và (6)\Rightarrow $AB^2-AC^2=EB^2-EC^2$