Xét tam giác \Delta ABG, \Delta DBC có:
AB=BD
\widehat{ABG}=\widehat{DBC}=90^o+\widehat{ABC}
BG=BC
\Rightarrow \Delta ABG=\Delta DBC (c-g-c)
\Rightarrow \widehat{BAG}=\widehat{BDC}
Gọi I là giao điểm của DC với AB thì ta có:
\widehat{BAG}+\widehat{AIC}=\widehat{BDC}+\widehat{DIB}=90^o...