Let $ABC$ be a triangle. Let $K$ be a midpoint of $BC$ and $M$ be a point on the segment $AB$. $L=KM \cap AC$ and $C$ lies on the segment $AC$ between $A$ and $L$. Let $N$ be a midpoint of $ML$. $AN$ cuts circumcircle of $\Delta ABC$ in $S$ and $S \neq N$. Prove that circumcircle of $\Delta KSN$ is tangent to $BC$.
Problem
Source: Polish National Olympiad 2015 2nd round, 6th problem
Tags: geometry, circumcircle
03.03.2015 22:51
$K$ to $N$, hence $\angle (XK,XN)=\angle (XB,XM)$. Thereby, $\widehat{KSN}=\widehat{KXN}=\widehat{BXM}=\widehat{BKM}=\widehat{LKC}$ so the claim is proved.
04.03.2015 00:23
My solution: Let $ X=AN \cap BC $ and $ Y $ be a point on $ BC $ such that $ AY \parallel KL $ . Since $ (Y,X;B,C)=(AY,AN;AM,AL)=-1 $ , so $ XA \cdot XS=XB \cdot XC=XK \cdot XY \Longrightarrow A, S, K, Y $ are concyclic , hence we get $ \angle NSK=\angle ASK=\angle AYK=\angle NKX \Longrightarrow BC $ is tangent to $ \odot (NSK) $ at $ K $ . Q.E.D
04.03.2015 14:06
We have $$\frac 12 = \frac{LN}{LM}= \frac{AN \cdot \sin \angle LAN}{AM \cdot \sin \angle LAM} = \frac{AN}{AM} \cdot \frac{\sin \angle CBS}{\sin \angle BSC}= \frac{AN}{AM} \cdot \frac{SC}{BC}.$$ Therefore $\frac{SC}{AM}= \frac{BC}{2AN}= \frac{KC}{AN}$. This follows $\triangle CSK \sim \triangle AMN \; ( \text{S.A.S})$. Hence, $\angle ANM= \angle CKS$. This leads to $\odot (KNS)$ is tangent to $BC$.
05.03.2015 03:29
consider the triangle $(AMN) $ and the points $B,S $ and $ K $ are on $AM,AN$ and $ MN$ respectively.Miquel theorem assure that $ (ABS),(KSN) $and$(MBK)$ have a commun point say $P$.Idem if we consider $(AML) $ and the points $B,C $ and $ K $ are on $AM,AL$ and $ ML$ respectively.Miquel theorem assure $ (ABC),(KLC) $and$(MBK)$ have a commun point which is $ P$ then $ (KSN),(KLC) $ and $MBK$ are coaxal thus the ratio of the powers wrt $ (KSN)$ and $(KLC) $ are the same for $M$ and $B$ which leads to the power of $B $ wrt $(KSN)$ is $BK^2$ ie $(KSN)$ is tangent to $BC$
19.03.2015 06:52
Let $P$ be the reflection of $A$ across $N$. Note $AMPL$ is a parallelogram. Then $\odot KSN$ tangent to $BC$ $\Leftrightarrow \angle{BKS}=\angle{KNS}=\angle{ANL}$ $\Leftrightarrow$ $\triangle BKS\sim \triangle ANL$ $\Leftrightarrow$ $\triangle BCS\sim \triangle APL$. This is true since $\angle{PAC}=\angle{SBC}$, and $\angle{SCB}=\angle{SAB}=\angle{APL}$.
16.02.2022 00:19
$NL/ML = \frac{AN \cdot \sin \angle LAN}{AM \cdot \sin \angle LAM} = AN/AM \cdot SC/BC$ so $AM/AN = 2CS/CB = CS/CK,$ $\angle KCS = \angle MAN$ so $MAN$ and $CSK$ are similar. Let $SNK$ meet $BS$ at $F$. $\angle ANM = \angle KFS = \angle SKC$ so $SKN$ is tangent to $BC$. we're Done.
01.04.2022 03:19
Let $P$ be the Miquel point of $AMBKLC.$ Since $$\measuredangle NSP=\measuredangle ABP=\measuredangle MKP=\measuredangle PKN,$$$PKNS$ is cyclic. Since $P$ is the center of the spiral similarity $\overline{BC}\mapsto\overline{ML},$ it is the center of $\overline{BK}\mapsto\overline{MN}.$ Hence, $\triangle KPB\sim\triangle NPM$ and $\measuredangle BKP=\measuredangle KNP.$ $\square$