$AB$ is the diameter of semicircle $O$. $C$,$D$ are two arbitrary points on semicircle $O$. Point $P$ lies on line $CD$ such that line $PB$ is tangent to semicircle $O$ at $B$. Line $PO$ intersects line $CA$, $AD$ at point $E$, $F$ respectively. Prove that $OE$=$OF$.
Problem
Source: China south east mathematical Olympiad 2007 problem 2
Tags: geometry, geometric transformation, reflection, parallelogram, geometry unsolved
12.07.2013 08:44
Let $G$ be the 2nd intersection of $DO$ with $(O)$ (reflection of D about O). By Pascal theorem for the degenerate cyclic hexagon $DCABBG,$ the intersections $P \equiv DC \cap BB,$ $E \equiv CA \cap GB$ and $O \equiv AB \cap GD$ are collinear. Since $\overline{ADF} \parallel \overline{BGE}$ and $\overline{OA}=-\overline{OB},$ then $AFBE$ is parallelogram with diagonal intersection $O,$ i.e. $O$ is midpoint of $\overline{EF}.$
19.07.2013 11:53
According to the statement, E lies on line PO, so why do you use pascal theorem to prove P,E,O being collinear? otherwise, i don't understand how do you get $\overline{ADF}\parallel\overline{BGE}$?
19.07.2013 19:33
I used Pascal theorem to prove that the points $B,G,E$ are collinear. It is a matter of denotation, intersections $P \equiv CD \cap BB,$ $E' \equiv CA \cap GB$ and $O \equiv AB \cap GD$ are collinear $\Longrightarrow$ $E \equiv E'.$
Attachments:
20.07.2013 05:17
Luis González wrote: I used Pascal theorem to prove that the points $B,G,E$ are collinear. It is a matter of denotation, intersections $P \equiv CD \cap BB,$ $E' \equiv CA \cap GB$ and $O \equiv AB \cap GD$ are collinear $\Longrightarrow$ $E \equiv E'.$ i got it now, thanks!