Een parabool heeft brandpunt F en richtlijn l. Op de parabool ligt een
punt P. Punt P′ is de loodrechte projectie van P op l. Cirkel c heeft
middelpunt F en gaat door P. De lijn door F evenwijdig aan PP′ snijdt c in
punt Q. Lijn m gaat door Q en is evenwijdig met l.
Punt P ligt zo op de parabool dat m de middelloodlijn van lijnstuk PP′ is.
Zie onderstaand figuur.
figuur
Bewijs dat PQ = FP.