Ta có : Góc DAB = góc CAE = 90 độ => góc DAB + góc BAC = góc CAE + góc BAc
hay góc DAC = góc EAB
Xét tam giác ADC và tam giác ABE có :
AD = AB ; AC = AE ; góc DAC = góc EAB
=> tam giác ADC = tam giác ABE => DC = BE
Vì tam giác ADC = tam giác ABE nên góc AEB = góc ACD
mà góc AKE = góc BKC (đối đỉnh) , góc AKE + góc AEB = 90 độ
=> góc BKC + góc AEB = 90 độ hay góc BKC + góc ACD = 90 độ
=> góc DC vuông góc BE