免費論壇 繁體 | 簡體
Sclub交友聊天~加入聊天室當版主
分享
返回列表 发帖

[几何] 抛物线与圆

QQ截图20190111092734.jpg
2019-1-11 09:30
分享到: QQ空间QQ空间 腾讯微博腾讯微博 腾讯朋友腾讯朋友

先上个 暴 力 方法看看结果如何先……

设 `AB` 的方程为 `x-my-1=0`,与抛物线方程联立并由韦达定理易得 `y_A+y_B=4m`, `y_Ay_B=-4`。

根据熟知结论“四点共圆等价于斜率互反”,即 `OP` 的斜率必与 `AB` 相反,故 `OP` 的方程为 `x+my=0`,与抛物线方程联立解得 `x_P=4m^2`, `y_P=-4m`,即 `P(4m^2,-4m)`。

根据倒角公式,`PF` 平分 `\angle APB` 等价于
\[\frac{k_{PA}-k_{PF}}{1+k_{PA}k_{PF}}=\frac{k_{PF}-k_{PB}}{1+k_{PF}k_{PB}},\quad(*)\]
再次利用斜率互反,有
\[k_{PA}=-k_{OB}=-\frac{y_B}{x_B}=-\frac4{y_B}=y_A,\]
同理 `k_{PB}=y_B`,所以式 (*) 等价于
\[\frac{y_A-k_{PF}}{1+y_A\cdot k_{PF}}=\frac{k_{PF}-y_B}{1+k_{PF}\cdot y_B},\]
去分母化简得
\[(y_A+y_B)k_{PF}^2+2(1-y_Ay_B)k_{PF}-y_A-y_B=0,\]
所以
\[4m\left( \frac{-4m}{4m^2-1} \right)^2+10\cdot\frac{-4m}{4m^2-1}-4m=0,\]
去分母化简为
\[4m(16m^4+16m^2-9)=0,\]
注意 `m=0` 将使 `P` 与 `O` 重合,应舍去,所以解得
\[m^2=\frac{\sqrt{13}-2}4,\]
故此
\[PF=x_P+1=4m^2+1=\sqrt{13}-1.\]
$\href{https://kuingggg.github.io/}{\text{About Me}}$

TOP

用几何画板验证楼上的结果:
捕获.PNG
2019-1-11 23:13
$\href{https://kuingggg.github.io/}{\text{About Me}}$

TOP

噢,严格来说我还应该要排除一下 `PF` 斜率不存在的情况,也就是 `m=\pm1/2` 时……不难验证这时不满足……

TOP

回复 2# kuing

还是不用倒角公式了,改用角平分定理好些,这样就不用管 `PF` 斜率存在与否了。

由 2# 我们已经知道 `k_{PA}=y_A`, `k_{PB}=y_B`,那么由弦长公式有
\[
PA=\abs{x_A-x_P}\sqrt{1+k_{PA}^2}
=\abs{x_A-4m^2}\sqrt{1+y_A^2}
=\abs{x_A-4m^2}\sqrt{1+4x_A},
\]
同理 $PB=\abs{x_B-4m^2}\sqrt{1+4x_B}$,由角平分线定理可知,`PF` 平分 `\angle APB` 等价于
\[
\frac{PA}{PB}=\frac{FA}{FB}=\frac{\abs{y_A}}{\abs{y_B}},
\]
两边平方得
\[\frac{(x_A-4m^2)^2(1+4x_A)}{(x_B-4m^2)^2(1+4x_B)}=\frac{y_A^2}{y_B^2}=\frac{x_A}{x_B},\]
去分母分解得
\[(x_A-x_B)\bigl(16m^4+32x_Ax_Bm^2-x_Ax_B(1+4x_A+4x_B)\bigr)=0,\]
注意 `x_A=x_B` 将使 `P` 与 `O` 重合,应舍去,而将 `AB` 与抛物线方程联立消 `y` 后由韦达定理易得 `x_A+x_B=4m^2+2`, `x_Ax_B=1`,代入上式化简即
\[16m^4+16m^2-9=0,\]
结果相同

TOP

无标题.png
2019-1-13 13:38

TOP

返回列表 回复 发帖