已知椭圆 和双曲线 ,其中 。椭圆 的左右焦点分别为 ,双曲线 的左右焦点分别为 。过 作一条直线,与椭圆交于两个不同的点 ,其中 在 之间;直线 与 交于点 。若直线 三线交于一点,则
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先独立尝试,再展开工具说明与想法来源。
可逆斜坐标变换保持共线与共点,不能直接沿用长度角度公式。三点坐标行列式为零是共线的代数判据。
想法从哪来:焦点都在同一横轴上,而其余点在两条交叉连线间构造,直接在原坐标求A、B的根式会把共点结构埋没。先以割线与焦点轴作两条坐标方向,让A、B只用一个有向比例参数,三个焦点则都在另一轴。线的相交和三点共线在这种斜坐标中仍由一次方程和行列式判断,所以可以先完全不使用椭圆方程。消元后,割线参数会作为非零因子离开,只剩三个焦点位置的关系;这说明共点性控制的是曲线形状而不是某一条弦。最后才把两类焦距平方换成半轴平方,并按大小关系筛选根。
共线焦点适合选作仿射坐标轴。两次交点再求三线共点,消去割线参数后只剩两个焦距的比例。
记 ,所以 。以 为原点、 与原横轴方向为基,写 ,;三焦点坐标是 ,其中 。若 ,解两组一次方程得到 ,。条件 共线的行列式化简为 ,非零的分母和因子已由有效构型排除。代焦点数值得 ,所以 。最后 ,得到 。
原割线若为横轴,所述求交直线会重合,不能定义唯一的 ,不属于给定构型。上述基向量在其余构型独立;两个有限交点的分母不能为零。另一比例根小于一,违背 。所得比例下可取非退化近水平割线避开有限个平行例外,原共点配置可实现。
把两条截线和共线焦点纳入同一仿射坐标,可以用交点行列式消去无关的割线参数。
把共线焦点与割线选作仿射坐标,计算两次交点后用共线行列式消去割线参数,筛出正确焦距比例。
核心工具:用基点和线性组合表示位置、参数族消元求轨迹或定点
已记下,谢谢!