Theo $Pascal$, có $\overline{H,I,A}$
Dễ thấy vị tự tâm $H$ tỉ số $\frac{HI}{HA}$ thì $\left ( S \right ) \mapsto \left ( O \right )$ nên $\overline{H,O',A'}$.
Do $IO'\parallel AA'$ ( $EF$ là đối song ) nên theo $Talet$ có đpcm
- Subtract Zero và Caspper thích