Ta có: [TEX]\widehat{BOC}+\widehat{zOt}=\widehat{yOt}=90^o[/TEX]
[TEX]\widehat{AOD}+\widehat{zOt}=\widehat{xOz}=90^o[/TEX]
\Rightarrow [TEX]\widehat{AOD}=\widehat{BOC}[/TEX] (cùng phụ với [TEX]\widehat{zOt}[/TEX])
Xét [tex]\large\Delta[/tex] AOD và [tex]\large\Delta[/tex] BOC có:
OA=OC
[TEX]\widehat{AOD}=\widehat{BOC}[/TEX]
OD=OB
\Rightarrow [tex]\large\Delta[/tex] AOD và [tex]\large\Delta[/tex] COB (c.g.c)
\Rightarrow [TEX]\widehat{ADO}=\widehat{CBO}[/TEX]
Gọi giao điểm của BC và OD là I
Xét [tex]\large\Delta[/tex] BIO có: [TEX]\widehat{BOI}=\widehat{yOt}=90^o[/TEX]
\Rightarrow [TEX]\widehat{BIO}+\widehat{IBO}=90^o[/TEX]
mà [TEX]\widehat{BIO}=\widehat{FID}[/TEX] (đối đỉnh) và [TEX]\widehat{IBO}=\widehat{FDI}[/TEX] (cmt)
\Rightarrow[TEX] \widehat{FID}+\widehat{FDI}=90^o[/TEX]
Xét [tex]\large\Delta[/tex] FDI có: [TEX]\widehat{FID}+\widehat{FDI}+\widehat{IDF}=180^o
[/TEX]
\Rightarrow [TEX]\widehat{IDF}=180^o- (\widehat{FID}+\widehat{FDI})=180^o-90^o=90^o[/TEX] hay [TEX]\widehat{AFB}=90^o[/TEX]