Parallel postulate

The parallel postulate is one of the five basic rules that form the foundation of Euclidean geometry, the type of geometry most people learn in school. It is the fifth rule in Euclid's work called Elements. This rule talks about what happens when a straight line crosses two other straight lines. If the angles 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 on that side if you extend them far enough.

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

In Euclidean geometry, which follows all of Euclid’s rules including the parallel postulate, parallel lines 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 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, opening up new areas of mathematics.

Equivalent properties

One important idea about Euclid's parallel postulate is called Playfair's axiom. It is named after a Scottish mathematician. Playfair's axiom says 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. We call this line "parallel" to the first line.

Many other statements 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 wondered if the parallel postulate could be proven using Euclid's first four postulates. For over two thousand years, many tried to prove this fifth postulate. But each try had hidden ideas that were really the same as the postulate.

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

Converse of Euclid's parallel postulate

Euclid did not make a converse for his fifth postulate. This 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 is not true in elliptic geometry.

Criticism

Some people tried to prove the parallel postulate with logic instead of accepting it as a rule. A philosopher named Arthur Schopenhauer talked about this in his book The World as Will and Idea. He thought the parallel postulate could be learned by looking around, not just by thinking logically.

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.