内接于一个圆, 是该圆在点 处的切线。直线 与直线 交于点 ,已知
求弦 的长。
先认清点 P 处的图形结构。 从圆外一点 出发有两条线连向这个圆:一条是在 处相切的切线 ,另一条是穿过 和 的割线。这正是切割线定理(圆幂定理)适用的场景。
把定理写出来。 点 关于该圆的幂可以用两种方式算出来,于是
其中 、 分别是 到割线近交点和远交点的距离。注意切线长是要平方的,而割线贡献的是这两段的整个乘积——不是 。
把已知长度代进去。
相减得到弦长。 因为在割线上 位于 与 之间,
检查前后是否自洽。 由 可知 确实是较近的那个交点,与前面的假设相符。另外 严格夹在 与 之间,这也是定理逼出来的: 是两者的几何平均,而几何平均永远落在两个数之间。至于 这个条件,本小问用不上——它是留给后面几问的。
再用三角形不等式作一次常识核验。 在三角形 中三边为 、、: ✓,所以这样的三角形确实存在,整个图形是自洽的。
Need to solve a different problem like this? Open the solver →