In triangle $ ABC$, $ AB=AC$, the inscribed circle $ I$ touches $ BC, CA, AB$ at points $ D,E$ and $ F$ respectively. $ P$ is a point on arc $ EF$ opposite $ D$. Line $ BP$ intersects circle $ I$ at another point $ Q$, lines $ EP$, $ EQ$ meet line $ BC$ at $ M, N$ respectively. Prove that (1) $ P, F, B, M$ concyclic (2)$ \frac{EM}{EN} = \frac{BD}{BP}$ (P.S. Can anyone help me with using GeoGebra, the incircle function of the plugin doesn't work with my computer.)
Problem
Source: China Western Mathematical Olympiad 2008
Tags: geometry, function, symmetry, ratio, geometry proposed
04.11.2008 17:06
hmm...seems to be evident as well. since $ QFPD$ is a harmonic quadrilateral,it follows that $ MD = DN$.Therefore, $ P,F,N$ are collinear,it follows that $ \angle FBP = \angle PMF$ due to symmetry and a really simple angle chasing. Recalling the property of the harmonic quadrilateral,$ QFBD$, we obtain that $ \boxed{BD = BN}$. Simple angle chasing yields that $ \triangle BPN\sim\triangle EMN$,so combining it with the boxed quality we are finishing the proof.
05.11.2008 12:56
There is clearly a typo with the ratio equality in Part 2 of the question, but I can't figure what. Part 1 is correct though. Connect $ DE$ and $ DR$ and $ PF$. It remains to show that $ \angle EDF = \angle MBF$. But $ \Delta DBF$ and $ \Delta CDE$ are congruent and isoceles, so $ \angle EDF = 180 - \angle FDB - \angle EDC = 180 - 2 \angle FDB = \angle DBF = \angle MBF$.
Attachments:

05.11.2008 13:10
according to what KenHungKK wrote:$ P$ is a point on arc $ EK$ opposite $ D$, it seems to me that he meant to write that $ P$ and $ D$ are diametrical opposite points,otherwise,the part would not be correct...
05.11.2008 14:09
It still fails even if $ P$ and $ D$ are diametrically opposite. Refer to the attached .png. Edit: Attached .png was an erroneous GSP sketch as well.
05.11.2008 16:21
As the question asks us to prove $ \frac{EM}{EN} = \frac{BD}{BP}$, I believe that you'd better compute $ \frac{EM}{EN} \times \frac{BP}{BD}$ but not $ \frac{EM}{EN} \times \frac{BD}{BP}$ as in your diagram
05.11.2008 17:18
@brian: In my diagram I had computed $ \frac{EM}{EN} - \frac{BD}{BP}$, the - is a tad bit small. Sorry for the confusion, apparently my copy of GSP is messed up. In particular my computations indicated that $ QPFD$ was not harmonic unless $ \Delta ABC$ was equilateral.
05.11.2008 17:32
as a conclusion: so at long last my solution isn't completely correct, unless points $ P,D$ are diametrically opposite.let's just wait till KenHungKK will clarify the statement. on the other hand if they are not opposite, the statement of the second part does not hold as well, so I'm inclined to suspect that my solution is correct and "satisfies" to the true statement...
05.11.2008 18:02
Actually a very similar problem appeared long time ago http://www.mathlinks.ro/viewtopic.php?p=1251781&search_id=1803384435#1251781
06.11.2008 17:21
I have an elementary solution. Part 1 (For completeness): Connect $ DE$ and $ DR$ and $ PF$. It remains to show that $ \angle EDF = \angle MBF$. But $ \Delta DBF$ and $ \Delta CDE$ are congruent and isoceles, so $ \angle EDF = 180 - \angle FDB - \angle EDC = 180 - 2 \angle FDB = \angle DBF = \angle MBF$. Part 2: Let us note 2 results: (Bear in mind $ PFBM$ is concyclic.) 1. $ \Delta EMN \backsim \Delta FQP$. Firstly $ \angle MEN = \angle QFP$. Next, $ \angle MEC = \angle AEP = \angle EQP = \angle EDP$, by Alternate Segment Theorem. Then $ \angle EMN = \angle ECD - \angle MEC = \angle EDF - \angle MEC = \angle EDF - \angle EDP = \angle PDF = \angle PQF$. 2. $ \Delta FQB \backsim \Delta BFP$. This is because $ \angle FBP = \angle FBQ$ (trivially), and $ \angle BFQ = \angle BPF$ by Alternate Segment Theorem. By 1, $ \frac {EM}{EN} = \frac {QF}{PF}$. By 2, $ \frac {QF}{PF} = \frac {BF}{BP}$. But $ \frac {BF}{BP} = \frac {BD}{BP}$, we are done. An (accurate) diagram is attached for reference. For the record: the question KenHungKK posted is correct. We do not require $ P$ and $ D$ to be diametrically opposite.
Attachments:

31.01.2009 22:26
for the firs part even faster: since ABC is isoceles $ EF||BC$ and then $ \angle PFA=\angle PEF=\angle PMB$ and we are done