An acute triangle $\triangle ABC$ and its incenter $I$, circumcenter $O$ is given. The line that is perpendicular to $AI$ and passes $I$ intersects with $AB$, $AC$ in $D$,$E$. The line that is parallel to $BI$ and passes $D$ and the line that is parallel to $CI$ and passes $E$ intersects in $F$. Denote the circumcircle of $DEF$ as $\omega$, and its center as $K$. $\omega$ and $FI$ intersect in $P$($\neq F$). Prove that $O,K,P$ is collinear.
Problem
Source: FKMO 2021 Problem 1
Tags: FKMO, geometry, trivial
10.05.2021 16:51
10.05.2021 20:12
Oops idk what I was thinking when I wrote this....
23.05.2021 18:36
We'll use two well-known mixtilinear incircle lemmas: If it tangent to $AB,AC,(ABC)$ at $D,E,Q$, then $I\in DE$ and $QI$ goes through midpoint of the arc $BAC$. Note that $FDE$ is homothetic at $A$ with tangential triangle of $A$-excircle, so $(FDE)$ is inscibed in $\angle A$. Fact that $I\in DE$ makes it mixtilinear incircle, so it tangent to $(ABC)$, say at $Q$. By above homothety, tangent at $F$ is parallel to $BC$, so $F\in QI$. Hence $P\equiv Q$ and result follows.
23.05.2021 21:38
Let $P'$ be the $A$-mixtilinear touch point with the circumcircle of $\triangle ABC$. Let $P'I\cap (P'DE) = F'$. Now note that $\angle ABI = \frac{\angle B}{2} = \angle DP'I = \angle ADF' \implies DF'\parallel BI$. Similarly, $\angle ACI = \frac{\angle C}{2} = \angle F'P'E = \angle F'EA \implies EF'\parallel CI$. So that means $F = F'$. So $P = P'$. So $\omega$ is the $A$-mixtilinear incircle of $\triangle ABC$ and now it is evident that $O,K,P$ are collinear as desired. $\square$ @below Sorry, I meant to say $P'$ instead of $T$. Edited.
17.06.2021 05:52
hakN wrote: Let $P'$ be the $A$-mixtilinear touch point with the circumcircle of $\triangle ABC$. Let $P'I\cap (P'DE) = F'$. Now note that $\angle ABI = \frac{\angle B}{2} = \angle DTI = \angle ADF' \implies DF'\parallel BI$. Similarly, $\angle ACI = \frac{\angle C}{2} = \angle F'TE = \angle F'EA \implies EF'\parallel CI$. So that means $F = F'$. So $P = P'$. So $\omega$ is the $A$-mixtilinear incircle of $\triangle ABC$ and now it is evident that $O,K,P$ are collinear as desired. $\square$ Excuese me,what is point T? An arbitrary point on $\omega$?
06.07.2021 05:27
(DFE) is the A-mixtilinear incircle. So the result follows directly by using its properties.
20.09.2021 13:47
$(DEF)$ is just the A-mixtilinear incircle and this just finishes it. To show $F$ lies on it ,we use cyclicity of $(DIPB)$ or $(IECP)$. Quite direct.
20.09.2021 15:09
Hmmm hopefully I'm not high this time. Note that $\triangle ADE$ is isosceles, $\angle ADF = \angle ABI = \dfrac 12 \angle B \implies \angle FDE = \dfrac 12 \angle C$ and similarly $\angle AEF = \dfrac 12 \angle C$ and $\angle FED = \dfrac 12 \angle B$ so $\omega$ is tangent to $AD,AE$. $$\angle DPI = \angle DEF = \dfrac 12 \angle B = \angle DBI$$So $DBPI$ is cyclic, similarly $ECPI$ is cyclic. $$\angle BPC = \angle BPI + \angle IPC = \angle IDA + \angle IEA = 180^\circ - \angle A$$So $P \in (ABC)$ and combining the tangency fact from above we conclude that $P$ is the A-Mixtilinear touchpoint with $(ABC)$ which finishes the problem.
25.11.2021 22:24