Euclids puzzling parallel postulate Jeff Dekofsky

Translator: Andrea McDonough
Reviewer: Bedirhan Cinar

As any current or past
geometry student knows,

the father of geometry was Euclid,

a Greek mathematician who lived
in Alexandria, Egypt, around 300 B.C.E.

Euclid is known as the author
of a singularly influential work

known as “Elements.”

You think your math book is long?

Euclid’s “Elements” is 13 volumes
full of just geometry.

In “Elements,” Euclid structured
and supplemented the work

of many mathematicians
that came before him,

such as Pythagoras, Eudoxus,
Hippocrates and others.

Euclid laid it all out
as a logical system of proof

built up from a set of definitions,

common notions,
and his five famous postulates.

Four of these postulates
are very simple and straightforward,

two points determine a line, for example.

The fifth one, however,
is the seed that grows our story.

This fifth mysterious postulate
is known simply as the parallel postulate.

You see, unlike the first four,

the fifth postulate is worded
in a very convoluted way.

Euclid’s version states that,

“If a line falls on two other lines

so that the measure of the two interior
angles on the same side of the transversal

add up to less than two right angles,

then the lines eventually
intersect on that side,

and therefore are not parallel.”

Wow, that is a mouthful!

Here’s the simpler, more familiar version:

“In a plane, through any point
not on a given line,

only one new line can be drawn
that’s parallel to the original one.”

Many mathematicians over the centuries
tried to prove the parallel postulate

from the other four,
but weren’t able to do so.

In the process, they began looking at
what would happen logically

if the fifth postulate
were actually not true.

Some of the greatest minds in the history
of mathematics ask this question,

people like Ibn al-Haytham, Omar Khayyam,

Nasir al-Din al-Tusi, Giovanni Saccheri,

János Bolyai, Carl Gauss,
and Nikolai Lobachevsky.

They all experimented
with negating the parallel postulate,

only to discover that this gave rise
to entire alternative geometries.

These geometries became collectively known
as non-Euclidean geometries.

We’ll leave the details of these
different geometries for another lesson.

The main difference depends
on the curvature of the surface

upon which the lines are constructed.

Turns out Euclid did not tell us
the entire story in “Elements,”

and merely described one possible way
to look at the universe.

It all depends on the context
of what you’re looking at.

Flat surfaces behave one way,

while positively and negatively
curved surfaces

display very different characteristics.

At first these alternative
geometries seemed strange,

but were soon found to be equally adept
at describing the world around us.

Navigating our planet
requires elliptical geometry

while the much of the art of M.C. Escher
displays hyperbolic geometry.

Albert Einstein used
non-Euclidean geometry as well

to describe how space-time
becomes warped in the presence of matter,

as part of his general
theory of relativity.

The big mystery is whether
Euclid had any inkling

of the existence
of these different geometries

when he wrote his postulate.

We may never know,

but it’s hard to believe he had
no idea whatsoever of their nature,

being the great intellect that he was

and understanding the field
as thoroughly as he did.

Maybe he did know and he wrote
the postulate in such a way

as to leave curious minds after him
to flush out the details.

If so, he’s probably pleased.

These discoveries
could never have been made

without gifted, progressive thinkers

able to suspend their preconceived notions

and think outside
of what they’ve been taught.

We, too, must be willing at times
to put aside our preconceived notions

and physical experiences

and look at the larger picture,

or we risk not seeing
the rest of the story.

译者:Andrea McDonough
审稿人:Bedirhan

Cinar 任何现在或过去的
几何学生都知道,

几何之父

是希腊数学家欧几里得,他
大约在公元前 300 年居住在埃及的亚历山大港。

Euclid

被称为“元素”(Elements)的作者。

你觉得你的数学书很长?

欧几里得的“元素”是 13 卷,
全是几何学。

在“元素”中,欧几里得构建
并补充

了许多
在他之前的数学家的工作,

如毕达哥拉斯、欧多克萨斯、
希波克拉底等。

欧几里得将其全部阐述
为一个逻辑证明系统,该系统

建立在一组定义、

共同概念
和他的五个著名假设之上。

其中四个假设
非常简单明了

,例如,两点确定一条线。

然而,第五个
是成长我们故事的种子。

这第五个神秘
的公设简称为平行公设。

你看,与前四个不同

,第五个假设的
措辞非常复杂。

欧几里得的版本指出:

“如果一条线落在另外两条线上

,使得在
横线同一侧的两个

内角的量度之和小于两个直角,

那么这些线最终会
在该侧相交

,因此 不平行。”

哇,真是一口!

这是一个更简单、更熟悉的版本:

“在平面上,通过
不在给定直线上的任何点,

只能绘制
一条与原始直线平行的新直线。”

几个世纪以来,许多数学家
试图证明其他四个假设的平行

假设,
但未能做到。

在这个过程中,他们开始研究

如果第五个
假设实际上不正确,逻辑上会发生什么。 数学

史上一些最伟大的思想家
提出了这个问题

,比如 Ibn al-Haytham、Omar Khayyam、

Nasir al-Din al-Tusi、Giovanni Saccheri、

János Bolyai、Carl Gauss
和 Nikolai Lobachevsky。

他们都
尝试否定平行假设,

却发现这产生
了整个替代几何。

这些几何被
统称为非欧几里得几何。

我们将把这些
不同几何形状的细节留给另一节课。

主要区别
取决于构建线的表面的曲率

原来欧几里得并没有
在“元素”中告诉我们整个故事,

而只是描述了一种
观察宇宙的可能方式。

这一切都
取决于您正在查看的内容。

平面表现出一种方式,

而正曲面和负
曲面

表现出非常不同的特征。

起初,这些替代
几何形状看起来很奇怪,

但很快发现它们同样
擅长描述我们周围的世界。

导航我们的星球
需要椭圆几何,

而 M.C. 的大部分艺术。 埃舍尔
展示了双曲几何。 作为广义相对论的一部分,

阿尔伯特·爱因斯坦也使用
非欧几里得几何

来描述时空
在物质存在的情况下如何扭曲

最大的谜团是
欧几里得在写他的假设时

是否
对这些不同几何形状的存在有任何暗示

我们可能永远不会知道,

但很难相信他
对他们的本质

一无所知,他是一个伟大的智慧人,

并且
像他一样彻底地了解这个领域。

也许他确实知道,他写
这个假设的方式

是让好奇的头脑在他
身后冲出细节。

如果是这样,他可能很高兴。

如果没有天才、进步的思想家

能够搁置他们的先入为主的观念

并在
他们所学的范围之外思考,这些发现是不可能实现的。

我们有时也必须
愿意放下先入为主的观念

和身体经验

,着眼于更大的图景,

否则我们就有可能看不到
故事的其余部分。