|
kuing
Posted at yesterday 17:11
Last edited by kuing at yesterday 18:26暴算就行了,直接计算一般的二次曲线的结论。
先考虑 `P` 为原点的情形:
二次曲线 `\Gamma`: `ax^2+bxy+cy^2+dx+ey+f=0`,过 `P(0,0)` 的两直线 `y=k_1x`, `y=k_2x` 与 `\Gamma` 交于 `AB` 和 `CD`,取 `AB` 中点 `M` 及 `CD` 中点 `N`。
联立韦达不难计算出
\begin{gather*}
M\left(-\frac12\cdot\frac{d+ek_1}{a+bk_1+ck_1^2},-\frac{k_1}2\cdot\frac{d+ek_1}{a+bk_1+ck_1^2}\right),\\
N\left(-\frac12\cdot\frac{d+ek_2}{a+bk_2+ck_2^2},-\frac{k_2}2\cdot\frac{d+ek_2}{a+bk_2+ck_2^2}\right),
\end{gather*}
于是可写出直线 `MN` 的方程,并最终整理为
\begin{align*}
&d^2+2adx+2bdy-2aey\\
&+(k_1+k_2)(de+2aex+2cdy)\\
&+k_1k_2(e^2-2cdx+2bex+2cey)=0.\quad(*)
\end{align*}
(1)若 `k_1k_2=\lambda` 为定值,则令
\[\led
d^2+2adx+2bdy-2aey+\lambda(e^2-2cdx+2bex+2cey)&=0,\\
de+2aex+2cdy&=0,
\endled\]
解得
\[(x,y)=\left(-\frac12\cdot\frac d{a-\lambda c},\frac\lambda2\cdot\frac e{a-\lambda c}\right),\]
这就是 `MN` 过的定点;
(2)若 `k_1+k_2=\mu` 为定值,则令
\[\led
d^2+2adx+2bdy-2aey+\mu(de+2aex+2cdy)&=0,\\
e^2-2cdx+2bex+2cey&=0,
\endled\]
解得
\[(x,y)=\left(-\frac12\cdot\frac e{b+\mu c},-\frac12\cdot\frac{d+\mu e}{b+\mu c}\right),\]
这就是 `MN` 过的定点;
还可再加一问:
(3)若 `k_1k_2` 与 `k_1+k_2` 满足 `k_1+k_2=\lambda k_1k_2+\mu`,则代入式 (*) 中按 `k_1k_2` 整理,然后令那两项(懒得具体写出,反正你应该懂我意思)为零,解得
\[(x,y)=\left(-\frac12\cdot\frac{\lambda d+e}{\lambda a+b+\mu c},-\frac12\cdot\frac{d+\mu e}{\lambda a+b+\mu c}\right),\]
这就是 `MN` 过的定点。
当 `P(s,t)` 不是原点时:
平移坐标系,使 `P` 为到原点,则 `\Gamma` 变成 `a(x+s)^2+b(x+s)(y+t)+c(y+t)^2+d(x+s)+e(y+t)+f=0`,展开整理为
\[ax^2+bxy+cy^2+d'x+e'y+f'=0,
\quad\text{其中}~\led
d'&=d+2as+bt,\\
e'&=e+bs+2ct,\\
f'&=\cdots,
\endled\]
(`f` 与定点无关所以不用写)则前面三种类型的定点就是将 `d`, `e` 替换为上述 `d'`, `e'` 即可。
最后再平移坐标系,还原为初始,即得三种类型的定点分别为
\begin{align*}
\text{(1)}&\left(-\frac12\cdot\frac{d'}{a-\lambda c}+s,\frac\lambda2\cdot\frac{e'}{a-\lambda c}+t\right);\\
\text{(2)}&\left(-\frac12\cdot\frac{e'}{b+\mu c}+s,-\frac12\cdot\frac{d'+\mu e'}{b+\mu c}+t\right);\\
\text{(3)}&\left(-\frac12\cdot\frac{\lambda d'+e'}{\lambda a+b+\mu c}+s,-\frac12\cdot\frac{d'+\mu e'}{\lambda a+b+\mu c}+t\right).
\end{align*} |
|