184. An interesting geometry problem from RMO 2010.

by Virgil Nicula, Dec 5, 2010, 4:23 PM

http://www.artofproblemsolving.com/Forum/viewtopic.php?f=47&t=380706

Proposed problem (RMO, 2010). Let $ABC$ be a triangle with $A = 60^{\circ}$ . Let $[BE$ and $[CF$ be the bisectors of $\widehat {ABC}$ and
$\widehat {ACB}$ respectively, where $E\in AC$ and $F\in AB$ . Let $M$ be the reflection of $A$ in the line $EF$ . Prove that $M\in BC$ .


Proof 1 (synthetic). Consider the point $D\in (BC)$ for which $\left\|\begin{array}{c}
m(\angle DAB)=\frac C2\\\\

m(\angle DAC)=\frac B2\end{array}\right\|$ . The point $D$ exists because $A=60^{\circ}\iff$ $\frac B2+\frac C2=A$ .

Observe that the quadrilaterals $BAED$ and $CAFD$ are cyclically and $\left\|\begin{array}{c}
EA=ED\\\
FA=FD\end{array}\right\|$ , i.e. the line $EF$ bisects the segment $[AD]$ . Therefore,

the quadrilateral $AEDF$ is a kite with the symmetry axis $ EF$ . In conclusion, $D$ is the reflection of $A$ in the line $EF$ , i.e. $M\equiv D$ $\implies$ $M\in (BC)$ .

Proof 2 (proiective - Luisgeometria). $I \equiv BE \cap CF$ is the incenter of $\triangle ABC$ and $AI$ cuts $BC$ and $EF$ at $D,P$ respectively. Since of $\angle FIE=120^{\circ}$,

obtain that $A,F,I,E$ lie on a circle with center $U$ $\Longrightarrow$ $BC$ is the polar of $P$ WRT $(U)$ $\Longrightarrow$ $UP$ is perpendicular to $BC$ through a point $M'$. Since cross ratio

$(I,A,P,D)$ is harmonic and $M'P \perp M'D$, we deduce that $M'PU$ and $BC$ bisect $\angle IM'A$ internally and externally, then $UA=UI$ $\implies$

$AUIM'$ is cyclic. But, since $P$ lies on the diagonal $FE$ of the rhombus $FUEI$ formed by equilateral $\triangle UEI$ and $\triangle UFI$ obtain that

$PU=PI$ $\Longrightarrow$ $AUIM'$ is an isosceles trapezoid with symmetry axis $EF$ $\Longrightarrow$ $M'$ is the reflection of $A$ about $EF$, i.e. $M \equiv M'$.

Proof 3 (metric). Let $\{X,Y\}\subset (BC)$ for which $ABXE$ and $ACYF$ are cyclically. Observe that $A=60^{\circ}\iff a^2=b^2+c^2-bc$ and $\left\|\begin{array}{c}
BF=\frac {ac}{a+b}\\\\
CE=\frac {ab}{a+c}\end{array}\right\|$ .

Therefore, $\left\|\begin{array}{ccc}
BF\cdot BA=BD\cdot BC & \implies & BX=\frac {c^2}{a+b}\\\\
CE\cdot CA=CY\cdot CB & \implies & CY=\frac {b^2}{a+c}\end{array}\right\|$ $\implies$ $BX+CY=\frac {c^2}{a+b}+\frac {b^2}{a+c}=$ $\frac {\left(b^3+c^3\right)+a(b^2+c^2)}{(a+b)(a+c)} =$

$\frac {a^2(b+c)+a\left(a^2+bc\right)}{(a+b)(a+c)}=$ $a\cdot\frac {a^2+a(b+c)+bc}{(a+b)(a+c)}=a$ $\implies$ $BX+CY=a$ $\implies$ $X\equiv Y$ and $\left\|\begin{array}{c}
FA=FX\\\
EA=EX\end{array}\right\|\implies$ $EF$ bisects $[AX]$ $\implies$ $X\equiv M$

Proof 4 (synthetic). Since $m(\angle EIF)=90^{\circ}+\frac A2=120^{\circ}$ $\iff$ $AEIF$ is cyclically. Denote the second intersection $U$ of the line $BC$ with the

circumcircle of $\triangle AFC$ . From the relations $BU\cdot BC=BF\cdot BA=BI\cdot BE$ obtain that $BU\cdot BC=BI\cdot BE$ , i.e. $IECU$ is cyclically $\implies$

$m(\angle EUC)=m(\angle EIC)=60^{\circ}$ $\implies$ $ABDE$ is cyclically $\implies$ $\left\|\begin {array}{c}
FA=FU\\\
EA=EU\end{array}\right\|$ $\implies$ $AFDE$ is kite $\implies$ $U$ is the reflection of $A$ in $EF$ .

Proof 5 (synthetic). Denote $\left\|\begin{array}{ccc}
D\in EF\ ,\ AD\perp EF\\\
M\in BC\cap AD\end{array}\right\|$ . Prove easily that $AFIE$ is a cyclically $\implies$ $IE=IF$ and $m(\angle IEF)=$ $m(\angle IFE)=30^{\circ}$ .

Since $m(\angle FAM)=$ $90^{\circ}-m(\angle AFD)=$ $90^{\circ}-m(\angle AIE)=$ $90^{\circ}-\left[m(\angle ABI)+m(\angle IAB)\right]=$ $\frac C2=m(\angle FCM)$ obtain that

$m(\angle FAM)=$ $m(\angle FCM)$ , i.e. $AFMC$ is cyclically. Thus, $m(\angle AFM)=$ $180^{\circ}-C=$ $2\cdot \left(90^{\circ}-\frac C2\right)=$ $2\cdot m(\angle AFD)$ $\implies$

$DA=DM$ $\implies$ the point $M$ is the reflection of $A$ onto $EF$ which lies on $BC$ .
This post has been edited 33 times. Last edited by Virgil Nicula, Nov 22, 2015, 6:28 PM

Comment

0 Comments

Own problems or extensions/generalizations of some problems which was posted here.

avatar

Virgil Nicula
Archives
+ October 2017
+ September 2017
+ December 2016
+ October 2016
+ February 2016
+ September 2013
+ October 2010
+ September 2010
Shouts
Submit
  • orzzzzzzzzz

    by mathMagicOPS, Jan 9, 2025, 3:40 AM

  • this css is sus

    by ihatemath123, Aug 14, 2024, 1:53 AM

  • 391345 views moment

    by ryanbear, May 9, 2023, 6:10 AM

  • We need virgil nicula to return to aops, this blog is top 10 all time.

    by OlympusHero, Sep 14, 2022, 4:44 AM

  • :omighty: blog

    by tigerzhang, Aug 1, 2021, 12:02 AM

  • Amazing blog.

    by OlympusHero, May 13, 2021, 10:23 PM

  • the visits tho

    by GoogleNebula, Apr 14, 2021, 5:25 AM

  • Bro this blog is ripped

    by samrocksnature, Apr 14, 2021, 5:16 AM

  • Holy- Darn this is good. shame it's inactive now

    by the_mathmagician, Jan 17, 2021, 7:43 PM

  • godly blog. opopop

    by OlympusHero, Dec 30, 2020, 6:08 PM

  • long blog

    by MrMustache, Nov 11, 2020, 4:52 PM

  • 372554 views!

    by mrmath0720, Sep 28, 2020, 1:11 AM

  • wow... i am lost.

    369302 views!

    -piphi

    by piphi, Jun 10, 2020, 11:44 PM

  • That was a lot! But, really good solutions and format! Nice blog!!!! :)

    by CSPAL, May 27, 2020, 4:17 PM

  • impressive :D
    awesome. 358,000 visits?????

    by OlympusHero, May 14, 2020, 8:43 PM

72 shouts
Tags
About Owner
  • Posts: 7054
  • Joined: Jun 22, 2005
Blog Stats
  • Blog created: Apr 20, 2010
  • Total entries: 456
  • Total visits: 404397
  • Total comments: 37
Search Blog
a