`a)` Xét `ΔADB` và `ΔAEC` có :
`\hat{ADB} = \hat{AEC} = 90^o` (gt)
`\hat{BAC}` chung
`=> ΔADB ~ ΔAEC (g.g)`
`b)` Xét `ΔADE` và `ΔABC` có :
` \hat{BAC}` chung
`(AB)/(AD) = (AC)/(AE) (do\ ΔADB ~ ΔAEC)`
`=> ΔADE ~ ΔABC (c.g.c)`
`=> \hat{ADE} = \hat{ABC}`