Xét tg EAC và tg BAD có:
Góc EAC = BAD ( = 90° + BAC )
EA = BA
AD = AC
Suy ra ∆EAC = ∆BAD ( c- g- c )
Suy ra BD= EC( đpcm)
Đó 2 ∆ trên bằng nhau suy ra góc ADB= góc ACE
Lại có góc ADB+ góc BDC + góc ACD= 90°
Suy ra: góc BDC + góc ACD + góc ACD = 90°
Suy ra∆ CDO vuông tại O( Ở là gđ của EC và BD )
Suy ra: EC vuông góc BD