xét tam giác ABD và tam giác EBD có
BD là cạnh chung
Góc B1=B2
AB=BE
=> tam giác ABD = tam giác EBD
 = Ê
xét tam giác EBD có Ê = 90 độ
=> DB^2 = EB^2 + DE^2 (1)
Xét tam giác EDC có Ê = 90 độ
=> DC^2 = EC^2 + ED^2 (2)
từ (1) và (2) =>
DB^2 + DC^2 = EB^2 + DE^2 + EC^2 + ED^2
DB^2 + DC^2 = 2DE^2 + EB^2 + EC^2