Playfair's axiom

Playfair's axiom is a rule in geometry that helps us understand how lines behave when they are parallel. It states that in a flat surface, called a plane, if you have a line and a point not on that line, there can be only one line that passes through the point and never meets the first line. This idea can be used instead of Euclid's fifth postulate, which is a famous rule about parallel lines.

The axiom is named after John Playfair, a Scottish mathematician, and it works well in Euclidean geometry, the type of geometry most people learn in school. It is very useful because it tells us that parallel lines exist and that there is exactly one such line in the given situation.

Playfair's axiom is also important in a more general kind of geometry called affine geometry. In this type, we don't always have the tools to talk about right angles, so the axiom helps us still understand parallelism. Even though it was not the way Euclid originally stated his fifth postulate, Playfair's version is often used today and sometimes called Euclid's parallel axiom.

History

Proclus (410–485 A.D.) discussed ideas about parallel lines in his writings. In 1785, William Ludlam described parallel lines in a simpler way, which John Playfair later used in his geometry textbook in 1795. Playfair’s version said that two lines that cross each other cannot both be parallel to the same third line.

Later, in 1883, Arthur Cayley spoke about how Playfair’s version of the axiom is a natural part of how we understand space. When David Hilbert wrote his book Foundations of Geometry in 1899, he also used Playfair’s version when talking about parallel lines.

Relation with Euclid's fifth postulate

Euclid's parallel postulate describes how lines behave when they cross each other. It says that if a line cuts through two other lines and the angles on one side add up to less than two right angles, the two lines will eventually meet on that side. Playfair's axiom is a simpler way to express the same idea. It states that for any line and a point not on that line, there is only one line that can be drawn through the point that never meets the original line.

Both statements are connected because, in basic geometry, you can prove one if you assume the other is true. Playfair's version is popular because it is easier to understand. However, they are not exactly the same in every kind of geometry. For example, in some curved geometries, one statement might be true while the other is not.

Transitivity of parallelism

Proposition 30 of Euclid states that "Two lines, each parallel to a third line, are parallel to each other." This idea is closely related to Playfair’s axiom. In simple terms, if two lines are both parallel to a third line, then they must be parallel to each other as well. This connection was explained by Augustus De Morgan and later discussed by T. L. Heath in 1908.

More recently, mathematicians have described this using the idea of a relationship between parallel lines. In a special type of geometry called affine geometry, parallel lines form what is called an equivalence relation, meaning a line is even parallel to itself. This way of thinking helps show how Playfair’s axiom and Euclid’s Proposition 30 are two sides of the same coin.