Parallel postulate

The parallel postulate is one of the five basic rules, or axioms, that form the foundation of Euclidean geometry, the type of geometry most people learn in school. It is the fifth postulate described in Euclid's famous work called Elements. This rule talks about what happens when a straight line crosses two other straight lines. If the angles formed on one side add up to less than two right angles (which are angles that measure 90 degrees each), the two lines will eventually meet or intersect on that side if you extend them far enough.

For many years, mathematicians thought the parallel postulate was just obvious and did not need to be proven. They tried for a long time to prove it using the first four postulates, but they couldn’t. This led to a big discovery: by changing or removing this postulate, they could create whole new types of geometry that are different from the flat, plane geometry we usually learn. These new geometries are called non-Euclidean geometries.

In Euclidean geometry, which follows all of Euclid’s axioms including the parallel postulate, parallel lines are lines that never meet, no matter how far you extend them. But in non-Euclidean geometries, such as spherical geometry on the surface of a globe, things are different. On a sphere, lines (which are really great circles) always meet in two points, so there are no parallel lines at all. These discoveries showed that geometry could be much more varied and interesting than previously thought, opening up new areas of mathematics and helping us understand space in different ways.

Equivalent properties

One well-known idea connected to Euclid's parallel postulate is called Playfair's axiom, named after a Scottish mathematician. It states that in a flat plane, if you have a line and a point not on that line, you can draw only one line through the point that will never meet the first line — this line is called "parallel" to the first line.

Many other statements can be shown to mean the same thing as Euclid's parallel postulate. Here are a few examples:

1. There is exactly one line parallel to another line that can be drawn through a point not on the first line.
2. The angles in any triangle always add up to 180°.
3. There is a rectangle — a four-sided shape where all angles are right angles.
4. In a right-angled triangle, the square of the longest side (the hypotenuse) equals the sum of the squares of the other two sides.

These ideas help us understand and work with parallel lines in geometry.

History

People have long questioned whether the parallel postulate could be proven using Euclid's first four postulates instead. For over two thousand years, many tried to prove this fifth postulate, but each attempt had hidden assumptions that were actually the same as the postulate itself.

Important thinkers such as Proclus, Ibn al-Haytham, Omar Khayyám, and Nasir al-Din al-Tusi all tried to prove or understand the postulate in new ways. Later, in the 1800s, mathematicians like Nikolai Ivanovich Lobachevsky and János Bolyai explored what happens if the postulate isn’t true, leading to new types of geometry.

Converse of Euclid's parallel postulate

Euclid did not create a converse for his fifth postulate, which helps us see the difference between Euclidean geometry and elliptic geometry. In his work The Elements, Euclid showed that if a line crosses two other lines and makes equal alternate angles, then those two lines will be parallel. This idea is connected to another statement in his work but does not rely on the fifth postulate. However, it does need the second postulate, which does not hold true in elliptic geometry.

Criticism

Some people tried to prove the parallel postulate using logic instead of accepting it as a basic rule. A philosopher named Arthur Schopenhauer criticized these attempts in his book The World as Will and Idea. He believed the parallel postulate could be understood through observation, not just through logical reasoning from other rules.

Decomposition of the parallel postulate

The parallel postulate can be understood by combining two simpler ideas. One idea, called the Lotschnittaxiom, says that perpendicular lines to the sides of a right angle will eventually meet. The other idea, Aristotle's axiom, says there is no limit to how far these distances can stretch from one side of an angle to the other.

When we look at these ideas together, they help us see that certain lines will always cross each other in specific ways. For example, if you have three lines running parallel to each other, there will always be another line that cuts through all three. This breakdown only works within a framework called absolute geometry.