|
Author |
abababa
Posted 2017-5-24 08:50
Last edited by abababa 2017-5-24 10:55回复 8# 乌贼
纯平几的暂时我没见到过,网友是用的坐标法解的,但中间的表达式也挺长的。主要的辅助线是$MN$与外接圆的交点,以及这点对三角形的西摩松线。
找到网友当时的证明了,latex 版的,发在下边:
设$P$的 Simson 线为$C_1C_2C_3$。由于$\frac{PC_3}{PA_1} = \sin\angle PA_1A_2 = \sin\angle PA_3A_2 = \frac{PC_1}{PA_3}, \frac{PC_2}{PA_3} = \sin\angle PA_3A_1 = \sin\angle PA_2A_1 = \frac{PC_3}{PA_2}$,所以$\frac{1}{PA_3}+\frac{1}{PA_1}-\frac{1}{PA_2} = \frac{1}{PA_3}+\frac{PC_1}{PA_3 \cdot PC_3}-\frac{PC_2}{PA_3 \cdot PC_3} = PA_3 \cdot PC_3(PC_3+PC_1-PC_2)$。
易知$B_2 = (1,0,1), B_3 = (1,1,0)$,所以$B_2B_3 = (-1,1,1)$。设$P$点坐标为$(x,y,z)$,则$P$满足
$\begin{cases}
\begin{bmatrix}
x\\ y\\ z
\end{bmatrix} \cdot \begin{bmatrix}
-1 & 1 & 1
\end{bmatrix} = 0 & P\text{在}B_2B_3\text{上}\\
\begin{bmatrix}
x\\ y\\ z
\end{bmatrix} \cdot \begin{bmatrix}
0 & a_3 & a_2\\
a_3 & 0 & a_1\\
a_2 & a_1 & 0
\end{bmatrix} \cdot \begin{bmatrix}
x & y & z
\end{bmatrix} = 0 & P\text{在外接圆上}
\end{cases}$
解得$(x,y,z) = (-a_1-a_2+a_3\pm\sqrt{(a_1+a_2-a_3)^2+4a_1a_3}, -a_1-a_2-a_3\pm\sqrt{(a_1+a_2-a_3)^2+4a_1a_3}, 2a_3)$,于是对任意$k$都有$ky+kz-kx = 0$,由于$(PC_1, PC_2, -PC_3) = P = (kx,ky,kz)$,于是$PC_3+PC_1-PC_2 = 0$。
所以$\frac{1}{PA_3}+\frac{1}{PA_1}-\frac{1}{PA_2} = PA_3 \cdot PC_3(PC_3+PC_1-PC_2) = 0$。 |
|