Круговое свойство дробно-линейной функции
Функция 2(z) = . Пусть действительная и мнимая части функции 2(z) равны u(x, y) и υ(x, y). Тогда
Подставим в это уравнение окружности A(x2 + y2) + Bx + Cy + D = 0, (|A| + |B| + |C| + |D| ≠ 0).
Отсюда, домножив на u2 + υ2, получим:
D(u2 + υ2) + Bu − Cυ + A = 0, (|A| + |B| + |C| + |D| ≠ 0).
(Заметим, что окружности, проходящие через начало координат (D = 0), отобразятся в прямые (A = 0) — в окружности, проходящие через начало координат.)