An acute, non-isosceles triangle $ABC$ is inscribed in a circle with centre $O$. A line go through $O$ and midpoint $I$ of $BC$ intersects $AB, AC$ at $E, F$ respectively. Let $D, G$ be reflections to $A$ over $O$ and circumcentre of $(AEF)$, respectively. Let $K$ be the reflection of $O$ over circumcentre of $(OBC)$. $a)$ Prove that $D, G, K$ are collinear. $b)$ Let $M, N$ are points on $KB, KC$ that $IM\perp AC$, $IN\perp AB$. The midperpendiculars of $IK$ intersects $MN$ at $H$. Assume that $IH$ intersects $AB, AC$ at $P, Q$ respectively. Prove that the circumcircle of $\triangle APQ$ intersects $(O)$ the second time at a point on $AI$.
Problem
Source: Vietnam TST 2022 P4
Tags: geometry, circumcircle, geometric transformation, reflection
27.04.2022 11:47
Are you sure you posted the problem correctly?
27.04.2022 12:38
tudor129 wrote: Are you sure you posted the problem correctly? There is one mistake, thank you
27.04.2022 12:54
My drawing?
27.04.2022 18:11
tudor129 wrote: My drawing? The corrected one is "Let $D, G$ be reflections to $A$ over $O$ and circumcentre of $(AEF)$, respectively", not "Let $D, G$ be reflections to $A$ and $O$ over circumcentre of $(AEF)$" Very apologize to that typo
28.04.2022 01:07
Here's my solution for $\texttt{(a)}$ Let $AG\cap FE = Y$ and $R$ denote the circumradius of $\triangle ABC$. Note that $GA$ touches $(O)$ at $A$, and $$\frac{AY}{GY} = \frac{R}{\cot(C-B)}\cdot \frac{\cot(C-B)}{R\cdot \tan(B)\cdot \tan(C)} = \cot(B)\cdot \cot(C)\hspace{0.2 cm} \wedge \hspace{0.2 cm} \frac{YO}{KO} = \frac{\cos(A)}{\cos(C-B)}$$So $$\frac{AG}{GY}\cdot \frac{YK}{KO}\cdot \frac{OD}{DA} = \left(1+\frac{AY}{GY}\right)\left(1+\frac{YO}{KO}\right)\cdot \frac{1}{2} = \frac{1 + \tan(B)\cdot \tan(C)}{\tan(B)\cdot \tan(C)} \cdot \frac{\cos(A)\cdot \cos(C-B)}{\cos(C-B)} \cdot \frac{1}{2} = 1$$and we're done by Menelaus' Thm.
28.04.2022 11:17
Synthetic solution for $(a)$ Let $R=(ABC)\cap (AEF)$. Obviously $G-R-D$ are collinear. Since $\angle BEO=\angle OAC$ we get $OA$ tangents to $(AEF)$. So we get $OR$ also tangents to $(AEF)$, which means $AREF$ is harmonic and projecting this to $(ABC)$ through $A$ gives that $BCDR$ is harrmoic, which means $K-D-R$ are colliner. So we get $K-D-R-G$ are collinear, which finish part $(a)$.
29.04.2022 06:39
a) Let $S$ be second intersection of $(O)$ and $(AEF)$. Then it's easy to see that $D, S, G$ are collinear. But $(AO, AF) \equiv \dfrac{\pi}{2} - (BC, BA) \equiv (EA, EF) \pmod \pi$ so $\triangle OAF$ $\stackrel{+}{\sim}$ $\triangle OEA$ or $OA^2 = \overline{OE} \cdot \overline{OF},$ which means $OA$ tangents $(AEF)$ at $A$. Hence $A(BC, SD) = A(EF, SO) = - 1,$ or $SBDC$ is harmonic quadrilateral, then $S, D, K$ are collinear, so $S, G, D, K$ are collinear b) Redefine $H$ is intersection of the line through $I$ that perpendicular to $AO$ and perpendicular bisector of $IK;$ $P, Q$ be intersection of $IH$ with $AB, CA;$ $HK, AO$ intersect $BC$ at $W, U$; $V \in BC$ such as $(BC, UV) = - 1$. We have $(PQ, PA) \equiv \dfrac{\pi}{2} - (AB, AO) \equiv (CA, CB) \pmod \pi$. Then $B, C, P, Q$ lie on a circle. So $\mathcal{P}_{I / (O)} = \overline{IB} \cdot \overline{IC} = \overline{IP} \cdot \overline{IQ} = \mathcal{P}_{I / (APQ)}$ or $I$ lies on radical axis of $(O)$ and $(APQ)$. We also have $(KI, KW) \equiv (IH, IK) \equiv (UA, UB) \pmod \pi,$ then $O, U, K, W$ lie on a circle. Hence $$\overline{IU} \cdot \overline{IW} = \overline{IO} \cdot \overline{IK} = - IB^2 = - \overline{IU} \cdot \overline{IV}$$or $I$ is midpoint of $VW$. Therefore $$I(MN, HK) = A(CB, O \infty) = \dfrac{\overline{UC}}{\overline{UB}} = \dfrac{\overline{VC}}{\overline{VB}} = \dfrac{\overline{WB}}{\overline{WC}} = K(BC, WI) = K(MN, HI)$$which means $H, M, N$ are collinear