喻德生

(南昌航空大學數(shù)學與信息科學學院 330063)

1985年第26屆國際數(shù)學奧林匹克競賽一道候選題是這樣的[1]：已知:三角形ABC及形外的點X,Y,Z,∠BAZ=∠CAY,∠CBX=∠ABZ,∠ACY=∠BCX，求證：AX,BY,CZ共點.該題的證明，通常要利用正弦定理和梅內(nèi)勞斯定理的逆定理，較具技巧性.本文利用有向度量定值法[2-7]研究該問題，得到一個涵蓋面十分廣泛的定值定理.利用該定理，不僅容易推出該題和另一道數(shù)學奧林匹克題的結論，而且還將它們推廣到更為廣泛的情形.

定義1[2]三角形P1P2P3各邊PiPi+1(i=1,2,3;P3+j=Pj，以下類同)所在直線把平面分成兩部分，三角形所在的部分稱為直線PiPi+1的內(nèi)側(cè)，另一部分稱為直線PiPi+1的外側(cè).

定義2[2]設點P0(x0,y0)到直線l:Ax+By+C=0的距離為dP0-l，則稱該點到該直線帶符號的距離±dP0-l為點P0到直線l的有向距離，記為DP0-l.即DP0-l=±dP0-l，其中當Ax0+By0+C>0時，取“+”號；當Ax0+By0+C<0時，取“-”號.

特別地，當dP0-l=0，即P0在直線l上時，規(guī)定P0到直線l有向距離為零，即DP0-l=0.

顯然，點到直線的有向距離具有有向性：點P0到方向相反的兩直線l:Ax+By+C=0與l-:-Ax-By-C=0有向距離的絕對值相等，符號相反，即DP0-l-=-DP0-l.

根據(jù)定義2和點到直線距離公式，容易證明點到直線有向距離公式：

引理1[2]點P0(x0,y0)到直線l:Ax+By+C=0的有向距離

(1)

(2)

證明(i)如圖1所示.設三角形P1P2P3頂點的坐標為Pi(xi,yi)(i=1,2,3)，可得PiPi+1外側(cè)三角形PiPi+1Qi頂點Qi的坐標為[2]

設任意點的坐標為P(x,y)，于是由有向直線PiQi+1的直線方程

(yi-yQi+1)x+(xQi+1-xi)y+(xiyQi+1-xQi+1yi)=0

圖1

和點到直線的有向距離公式，可得

dPiQi+1DP-PiQi+1=(yi-yQi+1)x+(xQi+1-xi)y+(xiyQi+1-xQi+1yi).

圖2

圖3

因為

(yi+1tanαi+1+yi+2tanαi+2)]

類似地，可得

tanαitanαi+1tanαi+2

(yi+1yi-yiyi+1)]

=0，

所以

=0，

因此式(1)成立.

證明(i)如圖2所示.設P1Q2,P2Q3所在直線的交點為G，則DG-P1Q2=DG-P2Q3=0.代入式(1)并注意到tanαi(tanαi+1+tanαi+2)dPiQi+1≠0，可得DG-P3Q1=0，因此G在直線P3Q1上.故P1Q2,P2Q3,P3Q1所在直線相交于點G.

證明如圖3所示.設∠P2P1Q1=∠P3P1Q3

注三角形各邊外側(cè)三角形的情形，推論1即為1985年第26屆國際數(shù)學奧林匹克競賽候選題；而當P1P2P3銳角三角形時，推論2即1973年第7屆全蘇數(shù)學奧林匹克題的第(2)部分.但應注意本文定理及其推論，對αi∈(0,π/2)∪(π/2,π)(i=1,2,3)都成立，因此即使是對三角形各邊外側(cè)三角形的情形，兩推論的范圍比兩競賽題的結論也要廣泛得多.這種非常一般性的結論，用傳統(tǒng)方法是不易證明的.