ISL 2012 G4: angle biscector with circumcenter

For discussing Olympiad level Geometry Problems
User avatar
Thanic Nur Samin
Posts:176
Joined:Sun Dec 01, 2013 11:02 am
ISL 2012 G4: angle biscector with circumcenter

Unread post by Thanic Nur Samin » Wed Jan 04, 2017 5:21 pm

Let $ABC$ be a triangle with $AB$ and $AC$ not equal and circumcenter $O$. The bisector of $\angle BAC$ intersects $BC$ at $D$. Let $E$ be the reflection of $D$ with respect to the midpoint of $BC$. The lines through $D$ and $E$ perpendicular to $BC$ intersect the lines $AO$ and $AD$ at $X$ and $Y$ respectively. Prove that the quadrilateral $BXCY$ is cyclic.
Hammer with tact.

Because destroying everything mindlessly isn't cool enough.

User avatar
Thanic Nur Samin
Posts:176
Joined:Sun Dec 01, 2013 11:02 am

Re: ISL 2012 G4: angle biscector with circumcenter

Unread post by Thanic Nur Samin » Wed Jan 04, 2017 5:38 pm

Note that if we could show that $DX\times EY=BD\times DC$, we would be done. Because then, $\dfrac{DX}{BD}=\dfrac{DC}{EY}=\dfrac{BE}{EY}$, and so $\tan \angle XBD=\cot \angle EBY$, implying $\angle XBY$ is a right triangle. Due to symmetey, same could be said for $\angle XCD$, thus making $BXCY$ a cyclic quad.

Here, $M$ is the midpoint of $BC$ and $F$ is the intersection of $AD$ and $OM$. So, $F$ lies on the circumcircle of $\triangle ABC$. WLOG assume $AB<AC$

Now, from an easy application of sine law, we get,

$$\dfrac{AD}{\sin (A+2C)}=\dfrac{DX}{\cos (\dfrac{A}{2}+C)}$$
$$DX=AD\times \dfrac{1}{2\sin (\dfrac{A}{2}+C)}$$

Also, from POP,

$$EY=DY\sin (\dfrac{A}{2}+C)=2DF\sin (\dfrac{A}{2}+C)=\dfrac{2BD\times DC}{AD}\times \sin (\dfrac{A}{2}+C)$$

So, we get, $DX\times EY=BD\times DC$ and we are done.
Hammer with tact.

Because destroying everything mindlessly isn't cool enough.

tanmoy
Posts:312
Joined:Fri Oct 18, 2013 11:56 pm
Location:Rangpur,Bangladesh

Re: ISL 2012 G4: angle biscector with circumcenter

Unread post by tanmoy » Wed Jan 04, 2017 11:14 pm

A synthetic solution:
Our goal is to show that $\angle XCY=90^{\circ}$ (Samely, we can show that $\angle XBY=90^{\circ}$).

To do this, we have to show that $\angle XCD=\angle EYC$ or $\dfrac {EC} {XD}=\dfrac {EY} {CD}$ or $XD \times EY=EC \times CD$.

Let $AD \cap (O)=Q$. As $\triangle AXD \sim \triangle AOQ$, and $OA=OQ$, so, $XA=XD$. Let $XP \perp AD$, then $AP=PD$. Also, $YQ=QD$.

Since $\triangle EYD \sim PDX$,
$\dfrac {DY} {XD}=\dfrac {EY} {DP}$ $\Rightarrow$ $XD \times EY=DY \times DP=\dfrac {DY} {2} \times 2DP=QD \times DA=BD \times DC=EC \times CD$ as desired.
"Questions we can't answer are far better than answers we can't question"

joydip
Posts:49
Joined:Tue May 17, 2016 11:52 am

Re: ISL 2012 G4: angle biscector with circumcenter

Unread post by joydip » Wed Jan 04, 2017 11:38 pm

Let , $AD$ meet $( ABC )$ again at $L$ .Then $OL \perp BC$ . $M$ be the midpoint of $BC$ , $K$ be the reflection of $L$ W.R.T $ BC$ and $Y'$ be the reflection of $Y$ W.R.T $ OL$ .$ \angle DKL= \angle KLD=\angle XDA=\angle XAD $ gives $\triangle DAX \sim \triangle KLD \Rightarrow \dfrac {KL}{LD}=\dfrac {DA}{XA} \Rightarrow LD.DA=2ML.XA= EY.XD $
$\Rightarrow BD.DC= LD.DA= EY.XD = DY'.XD$ . So , $ BXCY'$ is cyclic $\Rightarrow BXCYY'$ is cyclic.
Another solution without using reflections :
Let , $AD$ meet $( ABC )$ again at $L$ .$LM \perp ED \Rightarrow LD=YL=EL.$ Then $\angle EYL=\angle XDA=\angle XAD \Rightarrow \triangle EYL\sim \triangle ADX$. So , $ \dfrac {EY}{AD}=\dfrac {YL}{DX} \Rightarrow EY.DX = AD.YL=AD.LD=BD.DC=EC.DC \Rightarrow \dfrac {EY}{EC}=\dfrac {DC}{DX} .So, \triangle YEC \sim \triangle CDX $. So, $\angle XCY=90^\circ $,similarly$ \angle XBY=90^\circ \Rightarrow BXCY$ is cyclic.

(actually both ideas are same ,written in two different styles :D :D :D )
The first principle is that you must not fool yourself and you are the easiest person to fool.

Post Reply