Касательная прямая к окружности

Касательная прямая к окружности в евклидовой геометрии на плоскости — прямая, которая имеет с окружностью ровно одну общую точку. Также можно определить касательную как предельное положение секущей, когда точки пересечения её с окружностью бесконечно сближаются. Касательные прямые к окружностям служат предметом рассмотрения ряда теорем и играют важную роль во многих геометрических построениях и доказательствах.