过圆外一点作切线
已知圆心 、半径 和圆外一点 ,可以尺规作出从 到圆的两条切线。这是《几何原本》第三卷命题 17;若 在圆上只剩一条切线,若在圆内则没有实切线。
以 OP 为直径画辅助圆
先作 的中点 ,以 为圆心、 为半径画辅助圆。它与原圆交于 。连接 ,这就是所求两条线。
因为 在以 为直径的圆上,半圆所对的圆周角给出 。于是 ;由切线与半径垂直,每条 都是原圆的切线。对称的两个交点给两条切线,而不是一条割线的两个圆周端点。
图中浅色辅助圆穿过 ,金色线段是所得切线。半径为 3、 时,直角三角形 给出 ,两段长度相等。
参考资料
- 《几何原本》III.17:从给定点作圆的切线。
- 继续阅读:割线切线定理、切线与弦定理。
- 推导关联:《几何原本》III.31:半圆中角为直角。