圆的切线证明及有关计算