设 P(1+λxA+λxB,1+λyA+λyB),联立 {AxA2+CyA2+F=0AxB2+CyB2+F=0(1)(2),1−λ2(1)−λ2(2) 得
A(1+λxA+λxB)(1−λxA−λxB)+C(1+λyA+λyB)(1−λyA−λyB)+F=0
设 M(1−λxA−λxB,1−λyA−λyB),则 AxPxM+CyPyM+F=0。
同理,设 P(1+μxC+μxD,1+μyC+μyD),N(1−μxC−μxD,1−μyC−μyD),
则有 AxPxN+CyPyM+F=0,则 lMN 为定直线 AxPx+CyPx+F=0。
因为 xP=1+λxA+λxB=1+μxC+μxD,通分并移项得
(1+μ)xA−(1+λ)μxD=(1+λ)xC−(1+μ)λxB
设
x1=1−λμ(1+μ)xA−(1+λ)μxD=1−λμ(1+λ)xC−(1+μ)λxB=2−2λμ(1+μ)(1−λ)(1−λxA−λxB)+(1+λ)(1−μ)(1−μxC−μxD)=2−2λμ(1−λμ+μ−λ)xM+(1−λμ+λ−μ)xN
同理可得
y1=1−λμ(1+μ)yA−(1+λ)μyD=1−λμ(1+λ)yC−(1+μ)λyB=2−2λμ(1−λμ+μ−λ)yM+(1−λμ+λ−μ)yN
因此 (x1,y1) 在 AD,BC,MN 上,即 Q(x1,y1) 在 MN 上,所以 AxPxQ+CyPyQ+F=0。
A+λB∼C+μD(1+μ)(A+λB)=(1+λ)(C+μD)(1+μ)A−(1+λ)μD=(1+λ)C−(1+μ)λB=21((1+μ)(A−λB)+(1+λ)(C−μD))