圆的切线证明及线段长求解(含定值问题)