Формула касательной к окружности: теоретические основы