主题
Search

共线


Collinear

如果三个或更多点 P_1, P_2, P_3, ..., 位于同一条直线 L 上,则称它们是共线的。点所在的直线,特别是如果它与几何图形(例如三角形)相关,有时被称为

两个点显然是共线的,因为两个点确定一条线

三个点 x_i=(x_i,y_i,z_i) 对于 i=1, 2, 3 共线 当且仅当 距离的比率满足

 x_2-x_1:y_2-y_1:z_2-z_1=x_3-x_1:y_3-y_1:z_3-z_1.
(1)

通过注意到由三个点确定的三角形面积当且仅当它们共线时(包括两个或全部三个点共点的退化情况)为零,可以获得稍微更易于处理的条件,即,

 |x_1 y_1 1; x_2 y_2 1; x_3 y_3 1|=0
(2)

或者,以展开形式表示,

 x_1(y_2-y_3)+x_2(y_3-y_1)+x_3(y_1-y_2)=0.
(3)

这也可以写成向量形式,如

 Tr(xxy)=0,
(4)

其中 Tr(A) 是分量之和,x=(x_1,x_2,x_3),并且 y=(y_1,y_2,y_3)

三个点 x_1, x_2x_3 共线的条件也可以表示为:任意一个点到由其他两个点确定的直线的距离为零。在三维空间中,这意味着在点到直线的距离中设置 d=0

 d=(|(x_2-x_1)x(x_3-x_1)|)/(|x_2-x_1|),
(5)

简单地给出

 |(x_2-x_1)x(x_1-x_3)|=0,
(6)

其中 x 表示叉积

由于三个点共线,如果 x_3=x_1+c(x_2-x_1) 对于某个常数 c,则得出三维空间中共线点满足

det(x_1x_2x_3)=|x_1 x_2 x_1+c(x_2-x_1); y_1 y_2 y_1+c(y_2-y_1); z_1 z_2 z_1+c(z_2-z_1)|
(7)
=0
(8)

根据行列式运算规则。虽然这是共线的必要条件,但它不是充分条件。(如果将任何一个点作为原点,则行列式显然为零。另一个反例由非共线点 x_1=(16,20,20), x_2=(5,6,6), x_3=(15,9,9) 提供,对于这些点 det(x_1x_2x_3)=0d=22898!=0。)

三线坐标中,三个点 alpha_1:beta_1:gamma_1, alpha_2:beta_2:gamma_2, 和 alpha_3:beta_3:gamma_3 共线,如果行列式

 |alpha_1 beta_1 gamma_1; alpha_2 beta_2 gamma_2; alpha_3 beta_3 gamma_3|=0
(9)

(Kimberling 1998, p. 29)。

设点 P_1, P_2, 和 P_3 分别位于三角形 DeltaA_1A_2A_3 的边上或其延长线上,并将这些点关于三角形边中点反射以获得 P_1^', P_2^', 和 P_3^'。那么 P_1^', P_2^', 和 P_3^' 共线 当且仅当 P_1, P_2, 和 P_3 共线 (Honsberger 1995)。


另请参阅

, 共圆, 构型, 有向角, Droz-Farny 定理, 一般位置, 直线, N-簇, 点到直线的距离--三维, 西尔维斯特直线问题 在 MathWorld 课堂中探索此主题

使用 Wolfram|Alpha 探索

参考文献

Coxeter, H. S. M. 和 Greitzer, S. L. "共线性和共点性。" Ch. 3 in Geometry Revisited. Washington, DC: Math. Assoc. Amer., pp. 51-79, 1967.Honsberger, R. Episodes in Nineteenth and Twentieth Century Euclidean Geometry. Washington, DC: Math. Assoc. Amer., pp. 153-154, 1995.Kimberling, C. "三角形中心和中心三角形。" Congr. Numer. 129, 1-295, 1998.

在 Wolfram|Alpha 上被引用

共线

请引用本文为

Weisstein, Eric W. "共线。" 来自 MathWorld--一个 Wolfram Web 资源。 https://mathworld.net.cn/Collinear.html

学科分类