Niech będzie środkiem okręgów i Zauważmy, że długość odcinka jest malejącą funkcją kąta czyli rosnącą funkcją kąta więc również rosnącą funkcją odległości punktu od prostej Ta odległość jest nie większa od długości odcinka i jest równa tylko wtedy, gdy Ta ostatnia równość definiuje nam poszukiwany punkt