Математическое свойство касательной к окружности: доказательство