Problem

Source: 17th Durer Competition 2024 Finals E+ P4

Tags: geometry, function



Let $\mathcal{H}$ be the set of all lines in the plane. Call a function $f:\mathbb{R}^2\to\mathcal{H}$ polarising, if $P\in f(Q)$ implies $Q\in f(P)$ for any pair of points $P,Q\in\mathbb{R}^2.$ Show that there is no surjective polarising function. Give an example of an injective polarising function. Prove that for every injective polarising function there exists a point $P$ in the plane for which $P\in f(P).$