Problem:
Points A,B,C,D,E lie on circle ω and point P lies outside the circle. The given points are such that (i) lines PB and PD are tangent to ω, (ii) P,A,C are collinear, and (iii) DE∥AC. Prove that BE bisects AC.
Solution:
Let O be the center of circle ω and let M be the midpoint of AC. It is clear that DE bisects AC if and only if E,M,B are collinear. Consequently, it suffices to show that
∠MED=∠BED. (2)
The proof is divided into four parts.
Triangle MED is isosceles with ∠MED=∠MDE. (Note that ACDE is an isosceles trapezoid and M is midpoint of the base AC. The fact that triangle MED is isosceles then follows by the Pythagorean Theorem if nothing more elegant comes to mind.) This fact together with Alternate Interior Angles gives
∠AME=∠MED=∠MDE=∠PMD
Claim. The circle ω′ with diameter OP contains points B,D, and M.
Proof. For each of the cases X=B,D,M, it is straightforward to verify that OX is perpendicular to PX. For X=B it is true that OBP is a right angle because PB is tangent to the circle at B. The same is true for X=D. For X=M, simply use the fact that if M is the midpoint of any given chord, then OM is perpendicular to the chord.
Referring to the circle ω′, the Inscribed Angle Theorem gives ∠PBD=∠PMD.