Collinear

DOWNLOAD Mathematica Notebook EXPLORE THIS TOPIC IN the MathWorld Classroom Collinear

Three or more points P_1, P_2, P_3, ..., are said to be collinear if they lie on a single straight line L. A line on which points lie, especially if it is related to a geometric figure such as a triangle, is sometimes called an axis.

Two points are trivially collinear since two points determine a line.

Three points x_i=(x_i,y_i,z_i) for i=1, 2, 3 are collinear iff the ratios of distances satisfy

 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)

A slightly more tractable condition is obtained by noting that the area of a triangle determined by three points will be zero iff they are collinear (including the degenerate cases of two or all three points being concurrent), i.e.,

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

or, in expanded form,

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

This can also be written in vector form as

 Tr(xxy)=0,
(4)

where Tr(A) is the sum of components, x=(x_1,x_2,x_3), and y=(y_1,y_2,y_3).

The condition for three points x_1, x_2, and x_3 to be collinear can also be expressed as the statement that the distance between any one point and the line determined by the other two is zero. In three dimensions, this means setting d=0 in the point-line distance

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

giving simply

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

where x denotes the cross product.

Since three points are collinear if x_3=x_1+c(x_2-x_1) for some constant c, it follows that collinear points in three dimensions satisfy

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)

by the rules of determinant arithmetic. While this is a necessary condition for collinearity, it is not sufficient. (If any single point is taken as the origin, the determinant will clearly be zero. Another counterexample is provided by the noncollinear points x_1=(16,20,20), x_2=(5,6,6), x_3=(15,9,9), for which det(x_1x_2x_3)=0 but d=22898!=0.)

Three points alpha_1:beta_1:gamma_1, alpha_2:beta_2:gamma_2, and alpha_3:beta_3:gamma_3 in trilinear coordinates are collinear if the determinant

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

(Kimberling 1998, p. 29).

Let points P_1, P_2, and P_3 lie, one each, on the sides of a triangle DeltaA_1A_2A_3 or their extensions, and reflect these points about the midpoints of the triangle sides to obtain P_1^', P_2^', and P_3^'. Then P_1^', P_2^', and P_3^' are collinear iff P_1, P_2, and P_3 are (Honsberger 1995).

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.