Доказательства и свойства касательных к окружности