Касательная к окружности: свойство, теорема и доказательство, формула