Ý b trong bài toán của thầy, việc 6 đường tròn đồng quy đã được đề cập tại http://gjarcmg.geome...ath-journal.ro/ 2016
Tuy nhiên việc điểm đồng quy của 6 đường tròn là đẳng giác của điểm trên lại chưa được nhắc tới, em sẽ chứng minh lại điều này như sau.
Thực ra thì cấu hình $\triangle ABC$, $P$, $Q$ đẳng giác, $PA$, $PB$, $PC$ cắt $(PBC)$, $(PCA)$, $(PAB)$ tại $X$, $Y$, $Z$, $QX$, $QY$, $QZ$ cắt $YZ$, $ZX$, $XY$ tại $U$, $V$, $W$ và cấu hình 4 điểm mà em nhắc tới ở trên là giống hệt nhau. Cho nên em sẽ chứng minh trong cấu hình 4 điểm.
Phát biểu: 4 điểm $A$, $B$, $C$, $D$. $DA$, $DB$, $DC$ cắt $BC$, $CA$, $AB$ tại $X$, $Y$, $Z$. $M_x$, $M_y$, $M_z$ là điểm Miquel của các tứ giác toàn phần $(AB,AC,DB,DC)$, $(BC,BA,DC,DA)$, $(CA,CB,DA,DB)$.
Chứng minh
Từ bài báo http://forumgeom.fau...01413index.html , bản tiếng Việt tại https://blogcuaquang...toan-chung.html thì ta có ngay $\triangle AM_yM_z$, $\triangle M_xBM_z$, $\triangle M_xM_yC$ đồng dạng cùng hướng, cũng từ điều này mà rút ra được $(AM_yM_z)$, $(BM_zM_x)$, $(CM_xM_y)$, $AM_x$, $BM_y$, $CM_z$ đồng quy tại một điểm $D'$
Cũng từ bài báo, điểm Miquel là tâm phép đồng dạng thuận nên $\triangle M_xM_zA$ và $\triangle M_xDM_y$ đồng dạng thuận, kéo theo đó là $M_xD'$, $M_xD$ đẳng giác với góc $\angle (M_xM_y,M_xM_z)$, hoàn toàn tương tự với góc $M_y$, $M_z$ của $\triangle M_xM_yM_z$ mà suy ra $D'$ và $D$ đẳng giác trong $\triangle M_xM_yM_z$. Điều này cho thấy sự tương đương của hai cấu hình =)))
Cũng từ bài báo mà $XM_x$, $YM_y$, $ZM_z$, $(XM_yM_z)$, $(YM_zM_x)$, $(ZM_xM_y)$ đồng quy tại 1 điểm $O$ $(*)$
Tiếp theo, chỉ ra $(M_xBC)$, $(M_xDA)$, $(M_yCA)$, $(M_yDB)$, $(M_zAB)$, $(M_zDC)$ đồng quy.
\[(M_xB,M_xC)=(M_xB,M_xD)+(M_xD,M_xC)=(ZB,ZD)+(YD,YC)=(AB,DC)+(DB,CA)=(AB,AC)+(DB,DC)\]
Tương tự
\[(M_yC,M_yA)=(BC,BA)+(DC,DA)\]
\[(M_zA,M_zB)=(CA,CB)+(DA,DB)\]
Từ đó $(M_xB,M_xC)+(M_yC,M_yA)+(M_zA,M_zB)=0$. Do vậy mà $(M_xBC)$, $(M_yCA)$, $(M_zAB)$ đồng quy tại 1 điểm $I$. Lúc này chỉ cần chỉ ra $(M_xDA)$ đi qua $I$ là đủ. Tiếp tục cộng góc chay
\[(IM_x,IA)=(IM_x,IC)+(IC,IA)=(BM_x,BC)+(M_yC,M_yA)=(M_xB,M_xD)+(M_xD,BC)+(BC,BA)+(DC,DA)\]
\[=(ZB,ZD)+(M_xD,BA)+(DC,DA)=(AB,DC)+(DC,DA)+(M_xD,BA)=(DM_x,BA)+(AB,AD)=(DM_x,DA)\]
Vậy $(M_xDA)$ đi qua $I$.
Bước cuối cùng, ta cần chứng minh $I$ và $O$ đẳng giác với $\triangle M_xM_yM_z$. Để chứng minh điều này mà thông qua hai đường đẳng giác, cá nhân em thấy có lẽ không khả thi, nên em đề xuất tính chất đơn giản, chứng minh bằng cộng góc và điểm trùng: $\triangle ABC$ hai điểm $P$, $Q$ đẳng giác với $\triangle ABC$ khi và chỉ khi chúng thỏa mãn hai hệ thức $(PB,PC)+(QB,QC)=(AB,AC)$, $(PC,PA)+(QC,QA)=(BC,BA)$.
Do tính đối xứng nên chỉ cần chứng minh với đỉnh $M_x$ là đủ. Áp dụng tính chất $(*)$ và chú ý $\triangle M_xM_yC$ và $\triangle M_xBM_z$ đồng dạng thuận
\[(IM_y,IM_z)=(IM_y,IA)+(IA,IM_z)=(M_yC,AC)+(AB,M_zB)=(M_yC,M_zB)+(AB,AC)\]
\[=(M_xC,M_xM_z)+(AB,AC)\]
\[(OM_y,OM_z)=(XM_y,XM_z)=(XM_y,XD) + (XD, XM_z)=(CM_y , CD) + (BM_z, BD)= (CM_y , BM_z) + (DB, DC)\]
\[=(DB,DC)+(M_xM_y,M_xB)\]
\[\Rightarrow(IM_y,IM_z)+(OM_y,OM_z)=(M_xM_y,M_xM_z)+(M_xC,M_xB)+(AB,AC)+(DB,DC)=(M_xM_y,M_xM_z)\]
Vậy $O$ và $I$ đẳng giác trong $\triangle M_xM_yM_z$.