## IMO 2018 P1

Discussion on International Mathematical Olympiad (IMO)
M Ahsan Al Mahir
Posts: 16
Joined: Wed Aug 10, 2016 1:29 am

### IMO 2018 P1

Let $\Gamma$ be the circumcircle of acute triangle $ABC$. Points $D$ and $E$ are on segments $AB$ and $AC$ respectively such that $AD = AE$. The perpendicular bisectors of $BD$ and $CE$ intersect minor arcs $AB$ and $AC$ of $\Gamma$ at points $F$ and $G$ respectively. Prove that lines $DE$ and $FG$ are either parallel or they are the same line.

Tasnood
Posts: 73
Joined: Tue Jan 06, 2015 1:46 pm

### Re: IMO 2018 P1

Let's use our contradiction!  Capture.PNG (31.71 KiB) Viewed 456 times
Assume, $FG$ and $DE$ are not parallel. So let $G'$ be on the circle such that $FG' \parallel DE$ and $E'$ on $AC$ such that $G'E'=G'C$. Let $FG'$ intersects $AB$ and $AC$ at $X$ and $Y$ respectively.
We have these property: $FD=FB, GE=GC$
$\blacktriangleright$ $\angle FDX=\angle FBD=\angle FBA=\angle FG'A=\angle AG'Y$
Again, $DE \parallel XY$ yields $\angle AYX=\angle AXY \Rightarrow \angle AYG'=\angle AXF$
$\blacktriangleright \triangle AYG' \sim \triangle DXF..........(1)$
Similarly we can prove: $\angle G'E'Y= \angle G'CA= \angle AFX, \angle E'YG'=\angle DXF$
$\blacktriangleright \triangle E'YG' \sim \triangle FXA..........(2)$
From $(1)$, $\frac{AG'}{DF}=\frac{AY}{FX}=\frac{YG'}{DX}$
From $(2)$, $\frac{E'G'}{AF}=\frac{E'Y}{FX}=frac{G'Y}{AX}$
From the ratio, $DX \times AY=FX \times YG'=E'Y \times AX=E'Y \times AY$
$\blacktriangleright DX=E'Y$ We know, $AD=AE$ and so, $AX=AY$ for, $DE \parallel XY$
$\blacktriangleright AX-DX=AY-E'Y \Rightarrow AD=AE'$ But, $AD=AE$
So, $AE=AE'$ yields $\boxed {E=E'}$ 