H40.png 74.85K 0 Số lần tải
(a) Gọi $BX$ cắt $CY$ tại $R$, $AR$ cắt $BC$ tại $Q$.
Dễ thấy $AEBX$ và $AFCY$ là các hình chữ nhật nên $\angle AXR=\angle AYR=90^{\circ}$ và $BR\parallel AC$, $CR\parallel AB$.
Suy ra $Q$ là trung điểm của $AR$ do $ABRC$ là một hình bình hành.
Đồng thời, tứ giác $AXRY$ nội tiếp đường tròn tâm $Q$ đường kính $AR$.
Gọi $AD$ cắt lại $(Q)$ tại $G$. Định nghĩa lại $Z$ là điểm trên mặt phẳng sao cho $AZ,GZ$ cùng tiếp xúc với $(Q)$.
Vì $\angle AGR=90^{\circ}$ nên $RG\parallel BC$ theo quan hệ song song vuông góc.
Từ đó chùm $R(GQ,BC)=-1=R(GA,XY)$, suy ra tứ giác $AXGY$ điều hòa.
Do vậy, ba điểm $X,Y,Z$ thẳng hàng. Mà $Z$ cũng nằm trên $BC$ do $Z,B,C$ cùng thuộc trung trực của $AG$, nên ta có điều phải chứng minh.
(b) Gọi $CF,BE$ cắt $AX,AY$ lần lượt tại $K,L$; $EF$ cắt $KL,RH$ lần lượt tại $S,T$; $EF$ cắt $AI$ tại $J$.
Do $A,P$ là điểm chung giữa $(O)$ và $(Q)$ nên $AP\perp OQ$ hay $AP\perp AH$.
Lập luận tương tự câu (a), ta thu được $SA$ tiếp xúc với $(AEF)$ hay $SA\perp AH$, vậy $A,P,S$ thẳng hàng.
Ta có $\angle CPS=\angle ABC=\angle CES$ suy ra $C,E,P,S$ đồng viên.
Khi đó $\overline{AP}.\overline{AS}=\overline{AE}.\overline{AC}=\overline{AH}.\overline{AD}$.
Vậy thì phép nghịch đảo $I_{A}^{\overline{AH}.\overline{AD}}$ biến $PD\leftrightarrow(AHS)$, $AZ\leftrightarrow AZ$, $(O)\leftrightarrow EF$, $I\leftrightarrow J$, $H\leftrightarrow D$, $IH\leftrightarrow(ADJ)$
Lại có $\angle CHR=\angle CBR=\angle 90^{\circ}-\angle HBC=90^{\circ}-\angle HFE$ nên $RH\perp EF$ tại $T$.
Suy ra 4 điểm $A,H,S,T$ cùng thuộc đường tròn đường kính $HS$. $\textbf{(1)}$
Đồng thời 4 điểm $A,T,R,J$ cùng thuộc đường tròn đường kính $JR$.
Hơn nữa, vì $\overline{HT}.\overline{HR}=\overline{HF}.\overline{HC}=\overline{HA}.\overline{HD}$ nên $A,T,R,D$ đồng viên.
Suy ra 4 điểm $A,D,J,T$ cũng đồng viên. $\textbf{(2)}$
Từ (1) và (2), ta thấy hai đường tròn $(AHS),(ADJ)$ và đường thẳng $EF$ đồng quy tại $T$.
Như vậy ảnh của chúng qua phép nghịch đảo $I_{A}^{\overline{AH}.\overline{AD}}$ cũng đồng quy hay $IH,PD$ cắt nhau trên $(O)$.