Let $ABC$ be a triangle with $AB<AC$ and with its incircle touching the sides $AB$ and $BC$ at $M$ and $J$ respectively. A point $D$ lies on the extension of $AB$ beyond $B$ such that $AD=AC$. Let $O$ be the midpoint of $CD$. Prove that the points $J$, $O$, $M$ are collinear. (Proposed by Tan Rui Xuen)
Problem
Source: JOM 2025 P1
Tags: geometry
26.01.2025 09:39
What does JOM stand for?
26.01.2025 09:43
Joy of Mathematics/Junior Olympiad of Mathematics, it's a contest created by seniors for juniors in the Malaysian IMO training camp
26.01.2025 10:04
notice that $A, I, O$ are collinear and $AO \perp DC$. since $\angle ADI = \angle ACI = \angle BCI$, $DBIC$ is cyclic. then $J, O, M$ are on the simson line of triangle $BCD$ wrt point $I$, finish
26.01.2025 21:02
$ADC$ is isosceles with $DC$ as its base. $AI$ is a bisector and $AO$ is a median. It follows that $AO \equiv AI$ so $A$, $I$, $O$ are collinear. Also for the same reason $AO \perp DC$. Notice $\Delta ADI \equiv \Delta AIC$ Thus $\angle ADI = \angle ACI$. But $\angle ACI = \angle BCI$ so $DCIB$ is cyclic. Consider the circumscribed circle of $\Delta BCD$ $I$ is the incenter of $\Delta ABC$ so $IM \perp AD$ and $IJ \perp BC$. We mentioned before that $AO \perp DC$ Apply the simson line theorem for point $I$ on $\Delta BDC$ and notice that $M$, $J$, $O$ are indeed collinear. Here is the diagram for those curious.
Attachments:

26.01.2025 21:41
Since $\angle BIC=\dfrac{\pi+\angle BAC}{2}=\pi-\angle{ADC}$ implies $BICD$ cyclic. Then $M$, $J$ and $O$ are concurret by Simson line.
26.01.2025 21:47
ehuseyinyigit wrote: Since $\angle BIC=\dfrac{\pi+\angle BAC}{2}=\pi-\angle{ADC}$ implies $BICD$ cyclic. Then $M$, $J$ and $O$ are concurret by Simson line. wow! solution!
26.01.2025 22:00
Solution: The key idea is that triangles $AMI$ and $AOC$ are similar, where $I$ is the incentre of triangle $ABC$. From here we have $\angle AMO= \angle AIC = \pi/2 +B/2$, and $\angle AMJ= \pi - \angle BMJ = \pi - \pi/2 +B/2$, so these angles are equal and we're done.