math154 wrote:
According to a scanned copy of the test somebody gave me, $EF\cap AD=Q$ and $EF\cap BC=P$ (the condition $DQ\cdot BP=AQ\cdot CP$ is correct with the new notation).
The solution for this is simple. Clearly the first condition $MF/AB=NF/CD$ combined with the fact that $FA=FB$ and $FC=FD$ implies that $F$ is the spiral center taking $AB$ to $CD$. In particular, $AFEB$ and $DFEC$ are cyclic, so $\angle{BEP}=\angle{BAF}=\angle{FDC}=\angle{PEC}$. By the angle bisector theorem, $BE/CE=BP/CP=AQ/DQ=AE/DE$, so $ABCD$ is cyclic. Thus $\angle{FAC}=\angle{FAB}-\angle{CAB}=\angle{CDF}-\angle{CDB}=\angle{BDF}=\angle{ACF}$, so $FA=FC$ and similarly $FB=FD$. But $FA=FB$ and $FC=FD$, so $F$ is the center of $(ABCD)$. Because $F$ takes $AB$ to $CD$, $AB=CD$, so $ABCD$ is an isosceles trapezoid, from which the conclusion follows easily.
Are you sure about this new notation? Because once P,Q exchanged, the problem is much easier