|
本帖最后由 abababa 于 2017-4-16 00:42 编辑 发网友给讲的一些关于这个定理的,网友发了latex源代码,省去不少打字功夫。
定理一:过二次曲线$\Gamma$弦$A_1A_2$外一点$M$作$\Gamma$的两弦$B_1B_2, B_3B_4$,$B_1B_2 \cap A_1A_2 = A_3, B_3B_4 \cap A_1A_2 = A_4, B_1B_3 \cap A_1A_2 = P_1, B_2B_4 \cap A_1A_2 = P_2$,则
一、$\frac{P_1A_4}{P_1A_3}(\frac{1}{A_2A_4}+\frac{1}{P_1A_4}) = \frac{P_2A_3}{P_2A_4}(\frac{1}{P_2A_3}+\frac{1}{A_1A_3})$
二、$\frac{P_1A_4}{P_1A_3}(\frac{1}{A_2A_4}-\frac{1}{P_2A_4}) = \frac{P_2A_3}{P_2A_4}(\frac{1}{P_2A_3}-\frac{1}{P_1A_3})$
证明:由于二次曲线交比不变,因此$(A_1P_1A_3A_2) \barwedge B_1(A_1B_3B_2A_2) \barwedge B_4(A_1B_3B_2A_2) \barwedge (A_1A_4P_2A_2)$,即$\frac{A_1A_3}{P_1A_3}:\frac{A_1A_2}{P_1A_2} = \frac{A_1P_2}{A_4P_2}:\frac{A_1A_2}{A_4A_2}$,两边乘$\frac{A_1A_2}{A_1A_3 \cdot A_2A_4}$得$\frac{P_1A_4+A_4A_2}{A_2A_4 \cdot P_1A_3} = \frac{A_1A_3+A_3P_2}{A_1A_3 \cdot P_2A_4}$,即$\frac{P_1A_4}{P_1A_3}(\frac{1}{A_2A_4}+\frac{1}{P_1A_4}) = \frac{P_2A_3}{P_2A_4}(\frac{1}{P_2A_3}+\frac{1}{A_1A_3})$
因此$\frac{P_1A_4}{P_1A_3}(\frac{1}{A_2A_4}-\frac{1}{P_2A_4})+\frac{P_1A_4}{P_1A_3}(\frac{1}{P_1A_4}+\frac{1}{P_2A_4}) = \frac{P_2A_3}{P_2A_4}(\frac{1}{P_2A_3}-\frac{1}{P_1A_3})+\frac{P_2A_3}{P_2A_4}(\frac{1}{A_1A_3}+\frac{1}{P_1A_3})$。
而$\frac{P_1A_4}{P_1A_3}(\frac{1}{P_1A_4}+\frac{1}{P_2A_4}) = \frac{P_1P_2}{P_1A_3 \cdot P_2A_4} = \frac{P_2A_3}{P_2A_4}(\frac{1}{A_1A_3}+\frac{1}{P_1A_3})$,所以$\frac{P_1A_4}{P_1A_3}(\frac{1}{A_2A_4}-\frac{1}{P_2A_4}) = \frac{P_2A_3}{P_2A_4}(\frac{1}{P_2A_3}-\frac{1}{P_1A_3})$。
当$M,A_3,A_4$重合时,即有$\frac{1}{A_2M}+\frac{1}{P_1M} = \frac{1}{P_2M}+\frac{1}{A_1M}$,即$\frac{1}{A_1M}-\frac{1}{A_2M} = \frac{1}{P_1M}-\frac{1}{P_2M}$,此为 Candy 蝴蝶定理。
再当$A_1M = A_2M$时,即得$P_1M = P_2M$,此即为蝴蝶定理。 |
|