昨晚也找到一个证明方法了: 以yimin0519的图为例,原点放在A点,射线AC为x轴正向。|AE|=p,|CF|=q,|OD|=r,|OG|=s,那么 p-rcosA=q-scosC,rsinA=ssinC, 解这个方程组,必然得到 r=t1p+t2q,s=t3p+t4q, 其中t1、t2、t3、t4都是常数。 利用复平面的向量,向量EP对应的复数是 (r(cosA+isinA)-p)(cos60°-isin60°), 设点P在AC上的射影是P',则 |AC|=t5p+t6q, |PP'|=t7p+t8q, |AP'|=t9p+t0q, 其中t5、t6、t7、t8、t9、t0都是常数。 设|AC|=b,那么 q=u1p+u2b, 其中u1、u2都是常数。 于是 |AP'|=u3p+u4b, |PP'|=u5p+u5b, 因此|PP'|是以|AP'|为自变量的一次函数,所以点P的轨迹必定是一条直线。 至于直线的位置可以通过两个特殊位置得到。 |