已知圆 ,。对平面内的点 有无数多对过 的互相垂直的直线 ,它们分别与圆 相交,且被圆 截得的弦长相等,则点 坐标为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
相等半径使等弦转成等垂距;若方向有无穷多种,两个线性方向因子中必须有一个恒为零。
设 ,记 ,。令第一条直线的单位方向为 ,第二条为 。等弦条件等价于 ,即 。若两个固定系数向量都非零,每个线性条件至多给一个无向直线方向,不可能有无穷多对。因此必须 。代入两圆心 ,解得 。反过来,两点均使 垂直且等长。先取两条线分别过各圆心,弦都是直径;方向稍作连续改变,两个垂距仍相等且小于半径二,故仍有无穷多对合法割线,充分性成立。
两个候选到各圆心的距离都是 ;“距离相等”本身还不足够,已用正交关系保证全方向的等垂距,并用严格小于半径的邻域确认实交点。图只画一例,不排除另一个合法点。
无穷多方向的条件可因式分解为方向线性约束;解出恒等分支后还须检验割线真实存在。
等半径的等弦转为正交方向上的等垂距,因式分解使无穷方向条件迫成恒等分支,还须验证实际割线的开邻域。
核心工具:建直角坐标系解几何题、用平移、旋转、对称化简
已记下,谢谢!