Западно-Китайская олимпиада по математике 2012 года | Казахстанские олимпиады

Точка PP лежит внутри ΔABC\Delta ABC, ω\omega — описанная окружность ΔABC\Delta ABC . BPω={B,B1}BP \cap \omega = \left\{ B,B_1 \right\}, CPω={C,C1}CP \cap \omega = \left\{ C,C_1 \right\}, PEACPE \bot AC, PFABPF \bot AB. Радиусы вписанной и описанной окружностей ΔABC\Delta ABC обозначим через r,Rr,R. Докажите, что EFB1C1rR\frac{{EF}}{{{B_1}{C_1}}} \geq \frac{r}{R}.