解析几何证明。式子演算烦琐，冗长。请鉴谅！

从同一点（O）出发有3条直线（OA,OB,OC），在3条直线上各取两个点构成两个三角形（A1B1C1和A2B2C2），两个三角形对应边的延长线各自相交形成3个交点（A1B1与A2B2相交于P点, A1C1与A2C2相交于Q点, B1C1与B2C2相交于R点），请证明这3个交点（P, Q,和R）一定是共线的。



证明：
一. 置O点于座标原点, OA在第一象限, OB是y正半轴, OC在第二象限
O点座标为（0，0）。
OA：y = k*x; OB: x = 0; OC: y = h*x。其中，斜率 k > 0, h 三角形A1B1C1: A1座标为（a1，k*a1）, B1座标为（0，b1）, C1座标为（c1，h*c1）,
其中，a1 > 0, b1 > 0, c1 三角形A2B2C2: A2座标为（a2，k*a2）, B2座标为（0，b2）, C2座标为（c2，h*c2）,
其中，a2 > 0, b2 > 0, c2 注意A和C，a和c，k和h 之间符号的对称性，可节省重复的运算。

二. 求A1B1与A2B2交点P
A1B1: (y - b1) / (x - 0) = (k*a1 - b1) / (a1 - 0)
A1B1: a1*y - a1*b1 = (k*a1 - b1)*x
A1B1: (k*a1 - b1)*x - a1*y = -a1*b1
A2B2: (k*a2 - b2)*x - a2*y = -a2*b2
用行列式解一次方程组：
D = (k*a1 - b1)*(-a2) - (k*a2 - b2)*(-a1) = a2*b1 - a1*b2
Dx = (-a1*b1)*(-a2) - (-a2*b2)*(-a1) = a1*a2*b1 - a1*a2*b2
Dy = (k*a1 - b1)*(-a2*b2) - (k*a2 - b2)*(-a1*b1)
Dy = a2*b1*b2 - a1*b1*b2 + k*a1*a2*b1 - k*a1*a2*b2
x = Dx / D = (a1*a2*b1 - a1*a2*b2) / (a2*b1 - a1*b2)
y = Dy / D = (a2*b1*b2 - a1*b1*b2 + k*a1*a2*b1 - k*a1*a2*b2) / (a2*b1 - a1*b2)
因为A1B1与A2B2相交于P点, 方程组的解就是P点座标:
((a1*a2*b1 - a1*a2*b2) / (a2*b1 - a1*b2)，
(a2*b1*b2 - a1*b1*b2 + k*a1*a2*b1 - k*a1*a2*b2) / (a2*b1 - a1*b2))。
因为A1B1与A2B2不平行, (k*a1 - b1)/ (k*a2 - b2) != a1 / a2
即，(k*a1 - b1)*a2 != (k*a2 - b2)*a1
即，(k*a1 - b1)*a2 - (k*a2 - b2)*a1 != 0
即，a2*b1 - a1*b2 != 0

三. 求B1C1与B2C2交点R
同理于二.，利用符号的对称性，在二.的结论中，将A和C，a和c，k和h 进行调换就得：
B1C1: (h*c1 - b1)*x - c1*y = -c1*b1
B2C2: (h*c2 - b2)*x - c2*y = -c2*b2
因为B1C1与B2C2相交于R点, 方程组的解就是 R点座标:
((c1*c2*b1 - c1*c2*b2) / (c2*b1 - c1*b2)，
(c2*b1*b2 - c1*b1*b2 + h*c1*c2*b1 - h*c1*c2*b2) / (c2*b1 - c1*b2))。
因为B1C1与B2C2不平行, c2*b1 - c1*b2 != 0

四. 求A1C1与A2C2交点Q
A1C1: (y - h*c1) / (x - c1) = (k*a1 - h*c1) / (a1 - c1)
A1C1: (y - h*c1)*(a1 - c1) = (k*a1 - h*c1)*(x - c1)
A1C1: (a1 - c1)*y - (h*a1*c1 - h*c1*c1) = (k*a1 - h*c1)*x - (k*a1*c1 - h*c1*c1)
A1C1: (k*a1 - h*c1)*x - (a1 - c1)*y = k*a1*c1 - h*a1*c1
A1C1: (k*a1 - h*c1)*x - (a1 - c1)*y = (k - h)*a1*c1
A2C2: (k*a2 - h*c2)*x - (a2 - c2)*y = (k - h)*a2*c2
用行列式解一次方程组：
D = (k*a1 - h*c1)*(c2 – a2) - (k*a2 - h*c2)*(c1 - a1)
D = k*a1*c2 - h*c1*c2–k*a1*a2 + h*a2*c1 - (k*a2*c1 - h*c1*c2–k*a1*a2 + h*a1*c2)
D = k*a1*c2 + h*a2*c1 - (k*a2*c1 + h*a1*c2)
D = (k - h)*(a1*c2- a2*c1)
Dx = (k - h)*a1*c1*(c2 – a2) - (k - h)*a2*c2*(c1 - a1)
Dx = (k - h)*(a1*c1*c2–a1*a2*c1 - a2*c1*c2 + a1*a2*c2)
Dy = (k*a1 - h*c1)*(k - h)*a2*c2 - (k*a2 - h*c2)*(k - h)*a1*c1
Dy = (k - h)*(k*a1*a2*c2 - h*a2*c1*c2– k*a1*a2*c1 + h*a1*c1*c2)
x = Dx / D = (a1*c1*c2–a1*a2*c1 - a2*c1*c2 + a1*a2*c2)/(a1*c2- a2*c1)
y = Dy / D = (k*a1*a2*c2 - h*a2*c1*c2– k*a1*a2*c1 + h*a1*c1*c2)/(a1*c2- a2*c1)
因为A1C1与A2C2相交于Q点, 方程组的解就是Q点座标:
((a1*c1*c2–a1*a2*c1 - a2*c1*c2 + a1*a2*c2)/(a1*c2- a2*c1)，
(k*a1*a2*c2 - h*a2*c1*c2– k*a1*a2*c1 + h*a1*c1*c2)/(a1*c2- a2*c1))。
因为A1C1与A2C2不平行, (k*a1 - h*c1) / (k*a2 - h*c2) != (c1 - a1) / (c2 – a2)
即，D = (k - h)*(a1*c2- a2*c1) != 0。
结果，k – h != 0, 并且a1*c2- a2*c1 != 0。
实际上,因为k > 0, 0 > h,所以, k – h > 0。

五.验证P,Q和R 是否共线
令P(xp,yp),Q(xq,yq),和R(xr,yr),则 P,Q和R共线 当且仅当(yp–yq)/(xp - xq) = (yr–yq)/(xr - xq)。
根据二，三，和 四，
P点座标为:
((a1*a2*b1 - a1*a2*b2) / (a2*b1 - a1*b2)，
(a2*b1*b2 - a1*b1*b2 + k*a1*a2*b1 - k*a1*a2*b2) / (a2*b1 - a1*b2))。
R点座标为:
((c1*c2*b1 - c1*c2*b2) / (c2*b1 - c1*b2)，
(c2*b1*b2 - c1*b1*b2 + h*c1*c2*b1 - h*c1*c2*b2) / (c2*b1 - c1*b2))。
Q点座标为:
((a1*c1*c2–a1*a2*c1 - a2*c1*c2 + a1*a2*c2) / (a1*c2- a2*c1)，
(k*a1*a2*c2 - h*a2*c1*c2– k*a1*a2*c1 + h*a1*c1*c2) / (a1*c2- a2*c1))。

(yp - yq) = (a2*b1*b2 - a1*b1*b2 + k*a1*a2*b1 - k*a1*a2*b2) / (a2*b1 - a1*b2) –
(k*a1*a2*c2 - h*a2*c1*c2– k*a1*a2*c1 + h*a1*c1*c2) / (a1*c2 - a2*c1)
= ((a2*b1*b2*a1*c2 - a1*b1*b2*a1*c2 + k*a1*a2*b1*a1*c2 - k*a1*a2*b2*a1*c2) -
(a2*b1*b2*a2*c1 - a1*b1*b2*a2*c1 + k*a1*a2*b1*a2*c1 - k*a1*a2*b2*a2*c1) –
(k*a1*a2*c2*a2*b1 - h*a2*c1*c2*a2*b1– k*a1*a2*c1*a2*b1 + h*a1*c1*c2*a2*b1) +
(k*a1*a2*c2*a1*b2 - h*a2*c1*c2*a1*b2– k*a1*a2*c1*a1*b2 + h*a1*c1*c2*a1*b2)) /
(a2*b1 - a1*b2)* (a1*c2 - a2*c1)
= ((a1*a2*b1*b2*c2 - a1*a1*b1*b2*c2 + k*a1*a1*a2*b1*c2 - k*a1*a1*a2*b2*c2) -
(a2*a2*b1*b2*c1 - a1*a2*b1*b2*c1 + k*a1*a2*a2*b1*c1 - k*a1*a2*a2*b2*c1) –
(k*a1*a2*a2*b1*c2 - h*a2*a2*b1*c1*c2– k*a1*a2*a2*b1*c1 + h*a1*a2*b1*c1*c2) +
(k*a1*a1*a2*b2*c2 - h*a1*a2*b2*c1*c2– k*a1*a1*a2*b2*c1 + h*a1*a1*b2*c1*c2)) /
(a2*b1 - a1*b2)* (a1*c2 - a2*c1)
= ((a1*a2*b1*b2*c2 - a1*a1*b1*b2*c2 + k*a1*a1*a2*b1*c2 – X2) -
(a2*a2*b1*b2*c1 - a1*a2*b1*b2*c1 + X1 - k*a1*a2*a2*b2*c1) –
(k*a1*a2*a2*b1*c2 - h*a2*a2*b1*c1*c2– X1 + h*a1*a2*b1*c1*c2) +
(X2 - h*a1*a2*b2*c1*c2– k*a1*a1*a2*b2*c1 + h*a1*a1*b2*c1*c2)) /
(a2*b1 - a1*b2)* (a1*c2 - a2*c1)
= ((a1*a2*b1*b2*c1- a2*a2*b1*b2*c1 - a1*a1*b1*b2*c2 + a1*a2*b1*b2*c2) +
k*(a1*a1*a2*b1*c2 - a1*a2*a2*b1*c2–a1*a1*a2*b2*c1 + a1*a2*a2*b2*c1) -
h*(a1*a2*b1*c1*c2–a2*a2*b1*c1*c2 - a1*a1*b2*c1*c2 + a1*a2*b2*c1*c2)) /
(a2*b1 - a1*b2)* (a1*c2 - a2*c1)
= ((a1–a2)*a2*b1*b2*c1–(a1–a2)*(a1*b1*b2*c2) +
k*((a1–a2)*a1*a2*b1*c2–(a1–a2)*a1*a2*b2*c1) -
h*((a1–a2)*a2*b1*c1*c2–(a1–a2)*a1*b2*c1*c2)) /
(a2*b1 - a1*b2)* (a1*c2 - a2*c1)
= ((a1–a2)*b1*b2*(a2*c1–a1*c2)+
k*(a1–a2)*a1*a2*(b1*c2–b2*c1) -
h*(a1–a2)*c1*c2*(a2*b1–a1*b2)) /
(a2*b1 - a1*b2)*(a1*c2 - a2*c1)
= (a1–a2)*(b1*b2*(a2*c1–a1*c2)+ k*a1*a2*(b1*c2–b2*c1)- h*c1*c2*(a2*b1–a1*b2)) /
(a2*b1 - a1*b2)*(a1*c2 - a2*c1)

(xp - xq)
= (a1*a2*b1 - a1*a2*b2) / (a2*b1 - a1*b2) – (a1*c1*c2–a1*a2*c1 - a2*c1*c2 + a1*a2*c2) / (a1*c2 - a2*c1)
= ((a1*a2*b1 - a1*a2*b2)*(a1*c2 - a2*c1)–(a1*c1*c2–a1*a2*c1 - a2*c1*c2 + a1*a2*c2)*(a2*b1 - a1*b2)) /
(a2*b1 - a1*b2)*(a1*c2 - a2*c1)
= ((a1*a2*b1 - a1*a2*b2)*(a1*c2 - a2*c1)–(a1*c1*c2–a1*a2*c1 - a2*c1*c2 + a1*a2*c2)*(a2*b1 - a1*b2)) /
(a2*b1 - a1*b2)*(a1*c2 - a2*c1)
= ((a1*a2*b1*a1*c2 - a1*a2*b2*a1*c2)–(a1*a2*b1*a2*c1 - a1*a2*b2*a2*c1)–
((a1*c1*c2*a2*b1–a1*a2*c1*a2*b1 - a2*c1*c2*a2*b1 + a1*a2*c2*a2*b1) –
(a1*c1*c2*a1*b2–a1*a2*c1*a1*b2 - a2*c1*c2*a1*b2 + a1*a2*c2*a1*b2))) /
(a2*b1 - a1*b2)*(a1*c2 - a2*c1)
= ((a1*a1*a2*b1*c2–a1*a1*a2*b2*c2–a1*a2*a2*b1*c1 + a1*a2*a2*b2*c1)–
(a1*a2*b1*c1*c2–a1*a2*a2*b1*c1–a2*a2*b1*c1*c2 + a1*a2*a2*b1*c2) +
(a1*a1*b2*c1*c2–a1*a1*a2*b2*c1–a1*a2*b2*c1*c2 + a1*a1*a2*b2*c2)) /
(a2*b1 - a1*b2)*(a1*c2 - a2*c1)
= ((a1*a1*a2*b1*c2–X1– X2 + a1*a2*a2*b2*c1)–
(a1*a2*b1*c1*c2– X2–a2*a2*b1*c1*c2 + a1*a2*a2*b1*c2) +
(a1*a1*b2*c1*c2–a1*a1*a2*b2*c1– a1*a2*b2*c1*c2 + X1)) /
(a2*b1 - a1*b2)*(a1*c2 - a2*c1)
= (a1*a1*a2*b1*c2–a1*a1*a2*b2*c1–a1*a2*a2*b1*c2 + a1*a2*a2*b2*c1 +
a1*a1*b2*c1*c2–a1*a2*b1*c1*c2–a1*a2*b2*c1*c2 + a2*a2*b1*c1*c2)) /
(a2*b1 - a1*b2)*(a1*c2 - a2*c1)
= (a1*a1*a2*(b1*c2–b2*c1)–a1*a2*a2*( b1*c2–b2*c1) +
a1*c1*c2*(a1*b2–a2*b1)– a2*c1*c2*(a1*b2 - a2*b1)) /
(a2*b1–a1*b2)* (a1*c2 - a2*c1)
= ((a1*a1*a2–a1*a2*a2)*(b1*c2–b2*c1) + (a1*c1*c2– a2*c1*c2)*(a1*b2 - a2*b1)) /
(a2*b1 - a1*b2)* (a1*c2 - a2*c1)
= (a1*a2*(a1–a2)*(b1*c2–b2*c1) + c1*c2*(a1– a2)*(a1*b2 - a2*b1)) /
(a2*b1 - a1*b2)* (a1*c2 - a2*c1)
= ((a1–a2)*(a1*a2*(b1*c2–b2*c1) + c1*c2*(a1*b2 - a2*b1)) /
(a2*b1 - a1*b2)* (a1*c2 - a2*c1)

(yp–yq)/(xp - xq)
= (b1*b2*(a2*c1–a1*c2)+ k*a1*a2*(b1*c2–b2*c1)- h*c1*c2*(a2*b1–a1*b2)) /
(a1*a2*(b1*c2–b2*c1) + c1*c2*(a1*b2 - a2*b1))

利用符号的对称性，在上式中，将a和c，k和h 进行对换就得：
(yr–yq)/(xr - xq)
= (b1*b2*(c2*a1–c1*a2)+ h*c1*c2*(b1*a2–b2*a1)- k*a1*a2*(c2*b1–c1*b2)) /
(c1*c2*(b1*a2–b2*a1) + a1*a2*(c1*b2 - c2*b1))
= (b1*b2*(a2*c1–a1*c2)+ k*a1*a2*(b1*c2–b2*c1)- h*c1*c2*(a2*b1–a1*b2)) /
(a1*a2*(b1*c2–b2*c1) + c1*c2*(a1*b2 - a2*b1))

(yp–yq)/(xp - xq) = (yr–yq)/(xr - xq)

P,Q和R共线
证明毕。

所有跟帖： 

• 哇，太牛了！ 这个一定要强顶... -与数学无关- ♂ (449 bytes) () 09/18/2010 postreply 00:47:15

• 谢！有时候发现一个正确的命题不亚于验证这个命题是正确的。 -皆兄弟也- ♂ (22 bytes) () 09/19/2010 postreply 08:23:57

• 是。初三的时候。当时盲目激动了一下，呵呵~ -与数学无关- ♂ (0 bytes) () 09/19/2010 postreply 12:57:15

• 天才出少年。如果当今仍是世界独一份，可以投稿，命名类似Pascal定理。 -皆兄弟也- ♂ (21 bytes) () 09/19/2010 postreply 13:50:36

• 啊，没有，应该不会是独一份的呵呵... -与数学无关- ♂ (647 bytes) () 09/19/2010 postreply 16:08:21

• 哈！很有启发哎！用反证法：如果二维不共线，可构造一三维例，也不共线。 -皆兄弟也- ♂ (0 bytes) () 09/19/2010 postreply 19:37:00

• 嗯，用反证法也许叙述起来会更为容易一些。 -与数学无关- ♂ (0 bytes) () 09/20/2010 postreply 09:28:36

• 三维空间里，用“平面相交于直线”的公理偷了很大的懒，所以容易。 -皆兄弟也- ♂ (58 bytes) () 09/19/2010 postreply 22:13:06

• thank you, -jinjing- ♀ (0 bytes) () 09/18/2010 postreply 17:40:47

• you are right that it is easy by theory, but boring in practice. -皆兄弟也- ♂ (0 bytes) () 09/19/2010 postreply 08:30:46