In acute triangle $ABC$, $AB>AC$. Let $I$ the incenter, $\Omega$ the circumcircle of triangle $ABC$, and $D$ the foot of perpendicular from $A$ to $BC$. $AI$ intersects $\Omega$ at point $M(\neq A)$, and the line which passes $M$ and perpendicular to $AM$ intersects $AD$ at point $E$. Now let $F$ the foot of perpendicular from $I$ to $AD$. Prove that $ID\cdot AM=IE\cdot AF$

What I thought: Notice that $\triangle IDE$ and $\triangle AFM$ are similar after some angle chasing.

  • $\begingroup$ If $IDE$ and $AFM$ are similar, then $ID/IE=AF/AM$, which is the relation you want to prove. $\endgroup$ Nov 16, 2019 at 22:20
  • $\begingroup$ What is the meaning of "Mansion" in your title ? $\endgroup$
    – Jean Marie
    Nov 17, 2019 at 0:45
  • $\begingroup$ This is question 2 from the 2019 Korean National Olympiad. $\endgroup$
    – user574848
    Nov 17, 2019 at 10:27

1 Answer 1


enter image description here


You correctly found that $\triangle IDE≈\triangle AFM$.We rewrite the required relation as:


That is triangles IAE and DIE must be similar. These two triangles have common angle $\angle IED$, therefore we must have:

$\angle IDE=\angle EIA$

This is not possible because:

$\angle IDE=\angle BDE (=90^o)+\angle BDI$

$\angle EIA=\angle EIF (≠90^o)+\angle FIA(=BDI)$

  • $\begingroup$ Great observation! How can I contact you? $\endgroup$ Nov 23, 2019 at 15:34
  • $\begingroup$ through this site or this address (sirous_f20@yahoo.com) $\endgroup$
    – sirous
    Nov 23, 2019 at 15:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.