Bài 6 đúng đề rồi, cơ mà hơi hiển nhiên :V
Bổ đề : ( Nguyễn Duy Khương ): Cho hình thang $ABCD$ ( $AB\parallel{CD}$ ). $X,Y$ thuộc $BC,AD$ thỏa mãn $AX\parallel{CY}$. CMR: $BY\parallel{DX}$.
Quay trở lại bài toán: Do $\angle{MFE}=\angle{EFG}=\angle{FEB}$ nên $MF\parallel{BE}$. Áp dụng bổ đề cho hình thang $MNBC$ thì $NE\parallel{CF}$. Lúc này xét phép nghịch đảo đối xứng cực $A$ phương tích $AE^2$ , đặt là $\mathcal{I}$ . Qua $\mathcal{I}$: $M,N$ biến thành $B,C$. $E$ biến thành $F$. Do đó $MN$ biến thành $(O)$ tiếp xúc $(A-mix)$ đồng thời $(A-mix)$ bất biến qua $\mathcal{I}$ nên $MN$ tiếp xúc $(A-mix)$. Do đó theo định lí $Brianchon$ cho lục giác suy biến $NMEFXY$ thì $XY$ tiếp xúc $(A-mix)$ tại nghịch đảo của điểm tiếp xúc $MN$ và $(A-mix)$, gọi điểm này là $L$. Lại có theo định lí $Monge- D'Alembert$ cho 2 đường tròn $(A-mix)$ và $(I)$ thì $AL$ đi qua điểm đối xứng của tiếp điểm của $(I)$ qua $I$ nên $AL$ đi qua tiếp điểm $(A-bàng)$. Do đó $XY$ tiếp xúc với $(O)$ tại tiếp điểm $(A-mix)$ và $(O)$. Nghịch đảo cực $A$ phương tích $AB.AC$ và đối xứng qua phân giác thu được câu $b$. Do đó ta có đpcm $\blacksquare$.
- quantv2006 và NHN thích