334. 2011 Japan Mathematical Olympiad Finals Problem 1.

by Virgil Nicula, Jan 28, 2012, 10:41 PM

PP1. Given an acute triangle $ABC$ with the orthocenter $H$ and the midpoint $M$ of $[BC]$. Denote the projection $P$ of $H$ on $AM$ . Show that $MA\cdot MP=MB^2$ .

Proof 1 (metric). Denote $D\in AH\cap BC$ . Using the power of $A$ w.r.t. the cyclical quadrilateral $HDMP$ obtain that $AH\cdot AD=AP\cdot AM\iff$ $2Rh_a\cos A=$

$m_a\cdot AP\iff$ $AP=\frac {bc\cdot \cos A}{m_a}\implies$ $MA\cdot MP=m_a\left(m_a-\frac {bc\cdot \cos A}{m_a}\right)=$ $m_a^2-bc\cdot \cos A=\frac 14\cdot\left[2\left(b^2+c^2\right)-a^2-2\cdot \left(b^2+c^2-a^2\right)\right]=\frac {a^2}{4}=MB^2$ .

Proof 2 (synthetic). Let $D\in BC$ , $E\in CA$ , $F\in AB$ be the projections of $H$ to the sides of $\triangle ABC$ and $T\in EF\cap BC$ . Are well-known

that $T\in HP$ and $(T,B,D,C)$ is a harmonical division. In conclusion, $MB^2=MD\cdot MT=MP\cdot MA$ , i.e $MB^2=MP\cdot MA$ .

Proof 3 (syntheric). Denote $D\in AH\cap BC$ , $E\in BH\cap AC$ and $F\in CH\cap AB$ . Observe that $AFHPE$ is cyclically $\implies$ $ME=MC$ and

$\widehat {APE}\equiv\widehat {AFE}\equiv\widehat {ACB}$ $\implies$ $MPEC$ is cyclically $\stackrel{(ME=MC)}{\implies}$ $\widehat{MPC}\equiv\widehat{MCA}$ $\implies$ $\triangle MPC\sim\triangle MCA$ $\implies$ $MP\cdot MA=MC^2$ .

Proof 4 (proiective). Denote $\left\{\begin{array}{ccc}
D\in AH\cap BC & ; & E\in BH\cap CA\\\\
F\in CH\cap AB & ; & T\in EF\cap BC\end{array}\right\|$ . Observe that $AEPHF$ , $HPMD$ and $EFDM$ are cyclically and their

radical axis $EF$ , $PH$ , $MD$ concur at $T$ , i.e. $T\in BC\cap EF\cap HP$ . Since $APDT$ is inscribed in the circle with the diameter $[AT]$ obtain that

$MP\cdot MA=MD\cdot MT$ . Since $(C,D,B,T)$ is a harmonical division obtain that $MD\cdot MT=MB^2$ . In conclusion, $MP\cdot MA=MB^2$ .

Proof 5 (synthetic). Prove easily that $AFHP$ is inscribed in $w$ with diameter $[AH]$ and $MF$ is tangent to $w$ in $F$ because $\widehat{MFH}\equiv$ $\widehat{MFC}\equiv$

$\widehat{MCF}\equiv$ $\widehat{BCF}\equiv$ $\widehat{BAD}\equiv$ $\widehat{FAH}$ , i.e. $\widehat{MFH}\equiv\widehat{FAH}$ . Hence from the power of $M$ w.r.t. $w$ obtain that $MP\cdot MA=MF^2=MB^2$ .
This post has been edited 22 times. Last edited by Virgil Nicula, Nov 19, 2015, 12:37 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: 404396
  • Total comments: 37
Search Blog
a