专栏文章

圆锥曲线与直线的交点

学习·文化课参与者 16已保存评论 16

文章操作

快速查看文章及其快照的属性,并进行相关操作。

当前评论
16 条
当前快照
1 份
快照标识符
@minjs8kw
此快照首次捕获于
2025/12/02 03:34
3 个月前
此快照最后确认于
2025/12/02 03:34
3 个月前
查看原文

标准方程的研究

考虑如下问题:给定圆锥曲线 CC 以及过定点 P(x0,y0)P(x_0,y_0) 的直线 l:(yy0)=k(xx0)l:(y-y_0)=k(x-x_0),其中 x0,y0,kx_0,y_0,k 均已知,设 llCC 的交点为 A(x1,y1)A(x_1,y_1)B(x2,y2)B(x_2,y_2),求 (x0x1)(x0x2)(x_0-x_1)(x_0-x_2)

以椭圆为例,联立方程组:
{x2a2+y2b2=1(yy0)=k(xx0)\begin{cases} \dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}=1\\ (y-y_0)=k(x-x_0) \end{cases}
可得:
f(x)=x2a2+(k(xx0)+y0)2b21=0f(x)=\dfrac{x^2}{a^2}+\dfrac{(k(x-x_0)+y_0)^2}{b^2}-1=0
且此方程两根分别为 x1,x2x_1,x_2
于是,由二次项系数可知 (1a2+k2b2)(xx1)(xx2)=f(x)\left(\dfrac{1}{a^2}+\dfrac{k^2}{b^2}\right)(x-x_1)(x-x_2)=f(x)
f(x)f(x) 换回双参,结合以上式子,可得 (x0x1)(x0x2)=x02a2+y02b211a2+k2b2(x_0-x_1)(x_0-x_2)=\dfrac{\dfrac{x_0^2}{a^2}+\dfrac{y_0^2}{b^2}-1}{\dfrac{1}{a^2}+\dfrac{k^2}{b^2}}
此等式有额外的组合意义:它是圆上众所周知的结论 PAPB=x02+y02r2|PA||PB|=x_0^2+y_0^2-r^2 对坐标系进行缩放后的结果,分母上的 1+k21+k^2 表示将长度的乘积转化为横坐标之差的乘积。
我们令标准方程的 LHS 为 L(x,y)L(x,y),RHS 为 R(x,y)R(x,y) 可得椭圆的答案为 (LR)(x0,y0)L(1,k)\dfrac{(L-R)(x_0,y_0)}{L(1,k)}
同理,对于双曲线:
(x0x1)(x0x2)=x02a2y02b211a2k2b2(x_0-x_1)(x_0-x_2)=\dfrac{\dfrac{x_0^2}{a^2}-\dfrac{y_0^2}{b^2}-1}{\dfrac{1}{a^2}-\dfrac{k^2}{b^2}}
抛物线:
(x0x1)(x0x2)=y22pxk2(x_0-x_1)(x_0-x_2)=\dfrac{y^2-2px}{k^2}
可以发现,答案均为 (LR)(x0,y0)L(1,k)\dfrac{(L-R)(x_0,y_0)}{L(1,k)} 的形式。

一般曲线

考虑 f(x,y)=Ax2+Bxy+Cx2+Dx+Ey+F=0f(x,y)=Ax^2+Bxy+Cx^2+Dx+Ey+F=0。用和上面相同的方式,答案的分母应当为二次项系数,即 f(x0,y0)f[2](1,k)=Ax2+Bxy+Cx2+Dx+Ey+FA+Bk+Ck2\dfrac{f(x_0,y_0)}{f_{[2]}(1,k)}=\dfrac{Ax^2+Bxy+Cx^2+Dx+Ey+F}{A+Bk+Ck^2}
所以标准方程的答案具有统一性是因为把二次项系数放在左边,其他系数放在右边。
另外提供一个 FUN FACT:对于不退化的一般式,令 Δ=B24AC\Delta=B^2-4ACΔ<0\Delta<0 图象是椭圆,Δ=0\Delta=0 是抛物线,Δ>0\Delta>0 是双曲线。

构建双根式函数

同时本题中构建的函数 (xx1)(xx2)(x-x_1)(x-x_2) 在部分题目中使用相比韦达定理可大幅减少计算量。
例题:(南京市 2026 届高三年级 9 月学情调研)已知双曲线 C:x2y2=2C:x^2-y^2=2 的左右焦点分别为 F1,F2F_1,F_2,过 F2F_2 的直线 llCCA,BA,B 两点。是否存在 xx 轴上的定点 MM,使得 MAMB\overrightarrow{MA}\cdot\overrightarrow{MB} 为定值?若存在,求出 MM 的坐标;若不存在,请说明理由。

已知坐标 F2(2,0),M(t,0)F_2(2,0),M(t,0),直线为 my+2=xmy+2=x
同上联立可得 (m21)(yy1)(yy2)=(my+2)2y22(m^2-1)(y-y_1)(y-y_2)=(my+2)^2-y^2-2
MAMB=(x1t)(x2t)+y1y2=m2(y1(t/m2/m))(y2(t/m2/m))+(0y1)(0y2)=m2m21((2+t2)2(t/m2/m)22)+2m21=(t22)m2(t24t+2)m21\begin{aligned} \overrightarrow{MA}\cdot\overrightarrow{MB}&=(x_1-t)(x_2-t)+y_1y_2\\ &=m^2(y_1-(t/m-2/m))(y_2-(t/m-2/m))+(0-y_1)(0-y_2)\\ &=\frac{m^2}{m^2-1}((2+t-2)^2-(t/m-2/m)^2-2)+\frac{2}{m^2-1}\\ &=\frac{(t^2-2)m^2-(t^2-4t+2)}{m^2-1} \end{aligned}
上式为定值,所以 t22=t24t+2t=1t^2-2=t^2-4t+2\Rightarrow t=1

附录:合法圆锥曲线的判别

此部分没什么用。
考虑一般式方程的矩阵形式:
[xy1][AB/2D/2B/2CE/2D/2E/2F][xy1]=0\begin{bmatrix} x&y&1 \end{bmatrix} \begin{bmatrix} A&B/2&D/2\\ B/2&C&E/2\\ D/2&E/2&F\\ \end{bmatrix} \begin{bmatrix} x\\y\\1 \end{bmatrix}=0
容易验证这和一般式等价。
则考虑令中间的方阵为 MM,圆锥曲线不退化当且仅当 det(M)0\det(M)\neq0。证明略。

评论

16 条评论,欢迎与作者交流。

正在加载评论...