MathDB
Functional Geometry

Source: 2019 ISL G8

September 22, 2020
geometryIMO ShortlistIMO Shortlist 2019functional-geometry

Problem Statement

Let L\mathcal L be the set of all lines in the plane and let ff be a function that assigns to each line L\ell\in\mathcal L a point f()f(\ell) on \ell. Suppose that for any point XX, and for any three lines 1,2,3\ell_1,\ell_2,\ell_3 passing through XX, the points f(1),f(2),f(3)f(\ell_1),f(\ell_2),f(\ell_3), and XX lie on a circle. Prove that there is a unique point PP such that f()=Pf(\ell)=P for any line \ell passing through PP.
Australia