Прямая перпендикулярная радиусу, проведенному в точку на окружности, является касательной к окружности в этой точке.