Difference between revisions of "2021 IMO Problems/Problem 3"

(Solution)
(Solution)
Line 4: Line 4:
 
==Solution==
 
==Solution==
 
[[File:2021 IMO 3.png|450px|right]]
 
[[File:2021 IMO 3.png|450px|right]]
 +
[[File:2021 IMO 3a.png|450px|right]]
 
<i><b>Lemma</b></i>
 
<i><b>Lemma</b></i>
  
Line 11: Line 12:
  
 
Symmetry of points <math>E</math> and <math>E'</math> with respect bisector <math>AK</math> implies <math>\angle AEL = \angle AE'L.</math>  
 
Symmetry of points <math>E</math> and <math>E'</math> with respect bisector <math>AK</math> implies <math>\angle AEL = \angle AE'L.</math>  
<cmath>\angle DCK = \angle E'DL,  \angle DKC = \angle E'LD \implies \triangle DCK \sim \triangle E'DL \implies \frac {E'L}{KD}=  \frac {DL}{KC}.</cmath>
+
<cmath>\angle DCK = \angle E'DL,  \angle DKC = \angle E'LD \implies</cmath>
<cmath>\triangle ALE' \sim \triangle AKB \implies \frac {E'L}{BK}=  \frac {AL}{AK}\implies \frac {AL}{DL} = \frac {AK \cdot DK}{BK \cdot KC}.</cmath>
+
<cmath> \triangle DCK \sim \triangle E'DL \implies \frac {E'L}{KD}=  \frac {DL}{KC}.</cmath>
 +
<cmath>\triangle ALE' \sim \triangle AKB \implies \frac {E'L}{BK}=  \frac {AL}{AK}\implies</cmath>
 +
<cmath> \frac {AL}{DL} = \frac {AK \cdot DK}{BK \cdot KC}.</cmath>
 +
<i><b>Corollary</b></i>
 +
 
 +
In the given problem <math>EF</math> and <math>BC</math> are antiparallel with respect to the sides of an angle <math>A,</math> quadrangle <math>BCEF</math> is concyclic.
 +
 
 +
'''Shelomovskii, vvsss,  www.deoma-cmd.ru'''
  
 
==Video solution==
 
==Video solution==
 
https://youtu.be/cI9p-Z4-Sc8 [Video contains solutions to all day 1 problems]
 
https://youtu.be/cI9p-Z4-Sc8 [Video contains solutions to all day 1 problems]

Revision as of 19:50, 9 July 2022

Problem

Let $D$ be an interior point of the acute triangle $ABC$ with $AB > AC$ so that $\angle DAB= \angle CAD$. The point $E$ on the segment $AC$ satisfies $\angle ADE= \angle BCD$, the point $F$ on the segment $AB$ satisfies $\angle FDA= \angle DBC$, and the point $X$ on the line $AC$ satisfies $CX=BX$. Let $O_1$ and $O_2$ be the circumcentres of the triangles $ADC$ and $EXD$ respectively. Prove that the lines $BC$, $EF$, and $O_1 O_2$ are concurrent.

Solution

2021 IMO 3.png
2021 IMO 3a.png

Lemma

Let $AK$ be bisector of the triangle $ABC$, point $D$ lies on $AK.$ The point $E$ on the segment $AC$ satisfies $\angle ADE= \angle BCD$. The point $E'$ is symmetric to $E$ with respect to $AK.$ The point $L$ on the segment $AK$ satisfies $E'L||BC.$ Then $EL$ and $BC$ are antiparallel with respect to the sides of an angle $A$ and \[\frac {AL}{DL} = \frac {AK \cdot DK}{BK \cdot KC}.\] Proof

Symmetry of points $E$ and $E'$ with respect bisector $AK$ implies $\angle AEL = \angle AE'L.$ \[\angle DCK = \angle E'DL,  \angle DKC = \angle E'LD \implies\] \[\triangle DCK \sim \triangle E'DL \implies \frac {E'L}{KD}=  \frac {DL}{KC}.\] \[\triangle ALE' \sim \triangle AKB \implies \frac {E'L}{BK}=  \frac {AL}{AK}\implies\] \[\frac {AL}{DL} = \frac {AK \cdot DK}{BK \cdot KC}.\] Corollary

In the given problem $EF$ and $BC$ are antiparallel with respect to the sides of an angle $A,$ quadrangle $BCEF$ is concyclic.

Shelomovskii, vvsss, www.deoma-cmd.ru

Video solution

https://youtu.be/cI9p-Z4-Sc8 [Video contains solutions to all day 1 problems]