Chứng minh A K vuông góc với E F .
Giải thích
Vì tứ giác \[BFEC\] nội tiếp nên \[\widehat {AEF} = \widehat {ABC}\], mà \[\widehat {AKC} = \widehat {ABC}\] nên \[\widehat {AKC} = \widehat {AEF}.\]
Xét đường tròn \[\left( O \right)\] có \(\widehat {ACK} = 90^\circ \) (góc nội tiếp chắn nửa đường tròn) nên
\[\widehat {AKC} + \widehat {IAE} = 90^\circ \] hay \[\widehat {AEF} + \widehat {IAE} = 90^\circ .\]
Tam giác \[IAE\] vuông tại \[I\] nên \[AK \bot EF\] (đpcm).