Skew lines

In three-dimensional geometry, lines can interact in several ways. Most people are familiar with parallel lines or intersecting lines. Parallel lines stay the same distance apart and never meet. Intersecting lines share a single common point. However, there is a third category known as skew lines. Skew lines are two lines that do not intersect and are not parallel.

Because they do not meet and do not run in the same direction, they cannot exist in a two-dimensional plane. Two lines are skew if and only if they are not coplanar, meaning they do not lie on the same flat surface.

To understand how skew lines function, we can look at the points that define them. If you choose four points in space, you can use two points to form one line and the other two to form a second line. For these lines to be skew, the four points must not be coplanar. Instead, they must form the vertices of a tetrahedron with a nonzero volume.

If the volume of this tetrahedron is zero, the points lie on a single plane, and the lines are either parallel or intersecting. If the volume is greater than zero, the lines are guaranteed to be skew.

There are many ways to categorize the relationships between multiple lines. A configuration of skew lines is a set where every possible pair of lines within the set is skew. Mathematicians study how these configurations can be transformed. Two configurations are called isotopic if one can be continuously changed into the other without any pair of lines ever intersecting or becoming parallel. While any two lines are easily isotopic, the complexity grows with more lines. In three-dimensional space, there are multiple non-isotopic configurations for three or more lines. The number of these unique configurations for $n$ lines follows a specific sequence: 1, 1, 2, 3, 7, 19, 74, and so on.

Interestingly, skew lines are actually the most common occurrence in three-dimensional space. This concept is known as general position. If you were to choose four points at random within a unit cube, they would almost surely define a pair of skew lines. The probability of the fourth point landing exactly on the plane formed by the first three points is zero. Because the plane represents a subset of measure zero, it is nearly impossible to hit it by chance. Therefore, parallel and intersecting lines are considered special, rare cases, while skew lines represent the usual state of lines in space.

Even though skew lines never touch, they maintain a measurable relationship through distance. There is always a shortest distance between two skew lines. This shortest path is a line segment that is perpendicular to both lines.

This means the segment hits both lines at a right angle. To find the exact points where the lines are closest, mathematicians use vectors. By using the cross product of the lines' direction vectors, one can find a direction that is perpendicular to both. This allows for the calculation of the exact perpendicular distance between the two paths.

Skew lines are also essential for building complex, curved shapes called ruled surfaces. A ruled surface is a surface that can be generated by moving a straight line through space. One famous example is the hyperboloid of one sheet.

You can create this surface by rotating a line $L$ around another line $M$, provided that $L$ and $M$ are skew but not perpendicular. This process creates a regulus, which is a family of lines that form the surface. The hyperboloid actually contains two different families of lines, known as reguli, which are both made of skew lines. Another type of ruled surface is the hyperbolic paraboloid, which also contains two families of skew lines.

Finally, the concept of skewness extends into much higher dimensions. In a $d$-dimensional space, mathematicians discuss $k$-flats, where a line is simply a 1-flat. Two flats, an $i$-flat and a $j$-flat, can be considered skew if they are neither parallel nor intersecting. In projective space, the rules change slightly because parallelism does not exist. In that mathematical system, two flats must either intersect or be skew. This higher-dimensional view allows scientists and mathematicians to apply the logic of skewness to much more complex systems and shapes.