证明一条线与圆相切,需要证明半径垂直于线段,还有什么