圆切线有关的计算和证明