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

Сравним расстояние d от центра O до прямой с радиусом R. Если d > R, то у прямой и окружности нет общих точек; если d = R, то у них ровно одна общая точка; если d < R, то у них две общие точки, и прямая называется секущей. Прямая, имеющая с окружностью ровно одну общую точку, — касательная, а общая точка — точка касания. Касательная перпендикулярна радиусу, проведённому в точку касания; верно и обратное: прямая, проходящая через конец радиуса перпендикулярно ему, является касательной. Два отрезка касательных, проведённые из точки вне окружности, равны.