In an acute triangle $ABC$ , $AB>AC$ , $ \cos B+ \cos C=1$ , $E,F$ are on the extend line of $AB,AC$ such that $\angle ABF = \angle ACE = 90$ . (1) Prove :$BE+CF=EF$ ; (2) Assume the bisector of $\angle EBC$ meet $EF$ at $P$ , prove that $CP$ is the bisector of $\angle BCF$.
Problem
Source: China Northern MO 2009 p2 CNMO
Tags: geometry, angle bisector, right angle, trigonometry