Леммы об окружностях

Для доказательства следующего свойства дробно-линейной функции нам потребуется теорема из школьного курса геометрии и две леммы.

Теорема 5.5

Об отрезках секущей и касательной к окружности

Условие

Из одной точки проведены касательная и секущая к одной окружности.

Утверждение

Квадрат отрезка касательной равен произведению отрезков секущей.

|OA|2 = |OP| · |OP′|