PRINCIPIA · THEOREM
切线判定(垂直于半径过外端 ⇒ 切线)
陈述
设 是以 为圆心、半径为 的圆, 是 上一点。若直线 过 且与半径 垂直,即
则 是 的切线(且切点恰为 )。
换言之:在圆上一点处,画一条垂直于半径的直线,这条直线就只与圆相切于该点——这是 切线 ⊥ 半径(切线垂直于过切点的半径)的逆。

帮我把这条定理写得更好
设 是以 为圆心、半径为 的圆, 是 上一点。若直线 过 且与半径 垂直,即
则 是 的切线(且切点恰为 )。
换言之:在圆上一点处,画一条垂直于半径的直线,这条直线就只与圆相切于该点——这是 切线 ⊥ 半径(切线垂直于过切点的半径)的逆。
