17.13 Окружность. Хорды и касательные

Пусть касательная, проведённая из точки к данной окружности, равна (т. е. отрезок с концами в точке и в точке касания равен заданному), а радиус этой окружности равен . Тогда точка удалена от центра окружности на расстояние, равное . Следовательно, точка расположена на окружности с тем же центром, что и данная, и радиусом, равным . С другой стороны, если точка лежит на окружности радиуса с центром в точке (центре данной окружности), то касательная, проведённая из точки к данной окружности, равна .