Hero Image
并行的存在唯一性

平行线穿过直线之外的一点。 只有一次通过是几何史上讨论最多的说法。 谁发现的 这 存在 并行的证明是 欧几里得 (提案 I.31)。这 独特性 取决于你的 第五假设,许多人试图将其转化为定理。今天学校使用的形式——“一条平行线穿过直线之外的一点”——被称为 普莱费尔公理,因为苏格兰 约翰·普莱费尔,他在 1795 年普及了它,尽管 Proclus 已经阐述过它。 1829年,俄国人 尼古拉·罗巴切夫斯基 发表了一种几何学,其中有无限多条平行线通过。 欧几里得,文艺复兴时期的代表传统上与欧几里得或阿基米德相关。拉斐尔·桑齐奥 · 维基共享资源 · 公共领域 约翰·普莱费尔.亨利·雷伯恩爵士(去世 1823)· 维基共享资源 · 公共领域 尼古拉·罗巴切夫斯基,列夫·克留科夫的肖像。Lev Kryukov · 维基共享资源 · 公共领域 故事 两千多年来,数学家们试图证明第五条公设,而其他公设包括古代的托勒密和普罗克洛斯, 伊本·海瑟姆, 奥马尔·海亚姆 和 纳西尔·丁·图西 在伊斯兰世界, 吉罗拉莫·萨切里 (1733),兰伯特和勒让德在欧洲。每个人最终都在没有意识到的情况下使用了某种相当于公设本身的陈述。 克劳狄斯·托勒密,后来的艺术代表。Justus van Gent 或 Pedro Berruguete · 维基共享资源 · 公共领域 伊本·海赛姆(Ibn al-Haytham),后来的艺术代表。阿道夫·博伊 (Adolph Boÿ),由杰里米亚斯·法尔克 (Jeremias Falck) 雕刻。用作 Johannes Hevelius 的卷首插画,Selenographia,1647 · 维基共享资源 · 公共领域 奥马尔·海亚姆(Omar Khayyam),后来的艺术代表。Alireza Javaheri · 维基共享资源 · CC BY 3.0 Nasir al-Din al-Tusi,后来的艺术代表。作者身份不明;查看源代码 · 维基共享资源 · 公共领域 阿德里安-玛丽·勒让德,朱利安-利奥波德·布利的漫画。Julien-Léopold Boilly · 维基共享资源 · 公共领域 当 Lobachevsky (1829) 和匈牙利人 János Bolyai (1832) 独立接受公设的否定并获得没有矛盾的几何时,转折点出现了。 高斯得出了相同的想法,但从未发表。第五条公设不是一个定理:它是一个选择,本书的几何学就是采用它的。

Hero Image
平行线

平行线永远不会相交——然而,在透视图中,它们似乎在地平线上相交。 谁发现的 经典的定义来自欧几里得(c. 300 BC),在几何原本的定义I.23中:平行线是在同一平面内并且在两个方向上无限延伸且不相交的线。由横向(交替、对应、并列)形成的角度之间的关系是命题 I.27 到 I.29。哲学家波西多尼乌斯(公元前一世纪)提出了另一个定义,即直线总是处于相同的距离; Proclus 记录了这场辩论。 欧几里得,文艺复兴时期的代表传统上与欧几里得或阿基米德相关。拉斐尔·桑齐奥 · 维基共享资源 · 公共领域 波西多尼乌斯,后来的艺术代表。Sailko · 维基共享资源 · CC BY 3.0 故事 为什么不将平行线定义为“等距”线,这样看起来更自然?因为要证明两条不相交的直线总是处于相同的距离需要第五条公设——而希腊人已经怀疑它很微妙。欧几里得选择了依赖于较少假设的定义,并首先证明了他在没有假设的情况下所能做到的一切:命题 I.27 和 I.28 不使用它,而 I.29 则使用它。 平行和横向:比较角度是演示方法的一部分。来自博客的原始教学插图。 在文艺复兴时期,Filippo Brunelleschi (c. 1415) 和Leon Battista Alberti (1435) 表明,在透视绘画中,必须绘制会聚到消失点的平行线。因此,射影几何诞生了,其中“平行线相交于无穷远”。 菲利波·布鲁内莱斯基。马萨乔; Sailko 复制,MenkinAlRire 剪辑 · 维基共享资源 · 公共领域 莱昂·巴蒂斯塔·阿尔贝蒂。莱昂·巴蒂斯塔·阿尔贝蒂;国家美术馆复制品 · 维基共享资源 · CC0 在日常生活中 **火车轨道。**它们需要平行:如果它们之间的距离发生变化,火车就会脱轨。 **道路车道和停车位。**它们平行绘制以组织交通。 **百叶窗和笔记本板条。**等距平行线。 **摄影。**在一张笔直街道的照片中,平行的人行道似乎在地平线上相遇——文艺复兴的消失点。 来源: 元素,定义 I.23 · 元素,命题 I.29 · Proclus (MacTutor)。

Hero Image
阅读:欧几里得和演绎几何

进一步阅读 Leitura 欧几里得和演绎几何 公元前338,希腊受马其顿统治。亚历山大大帝将希腊文化带到了东方,并建立了数十座城市。其中之一,位于埃及的亚历山大,将在数学史上发挥非凡的作用。在亚历山大之后统治埃及的托勒密在那里创建了博物馆,这是一个由国家维护的研究和教学中心。他的图书馆有近 700 一千卷纸莎草纸。 克劳狄斯·托勒密,后来的艺术代表。Justus van Gent 或 Pedro Berruguete · 维基共享资源 · 公共领域 博物馆最早也是最著名的数学家之一是欧几里得(约公元前 300 BC),但人们对他的生平几乎一无所知。据说,当托勒密问是否有更短的学习几何的方法时,他回答说:“几何学中没有真正的方法。” 欧几里得,文艺复兴时期的代表传统上与欧几里得或阿基米德相关。拉斐尔·桑齐奥 · 维基共享资源 · 公共领域 他的名声源自于几何原本,共十三本书:这是迄今为止最古老的希腊数学完整文本。自第一个印刷版1482以来,已有一千多个版本。欧几里得从五个常见概念、五个公设和一些定义推导出467定理。两千年来,几何原本 一直是优秀数学的典范。随着时间的推移,逻辑缺陷被发现(例如,使用从未陈述过的连续性假设),但它们几乎没有削弱这项工作的伟大性和影响力。

Hero Image
三角形中的不等式

在每个三角形中,每条边都小于其他两条边的总和。古人曾戏言“驴都知道”。 谁发现的 三角不等式是欧几里得的几何原本的命题I.20(c. 300 BC);最大边和最大角之间的关系在命题I.18和I.19中。线段是两点之间最短路径的想法很早以前就很直观。欧几里得的优点是根据之前的结果展示它。 欧几里得,文艺复兴时期的代表传统上与欧几里得或阿基米德相关。拉斐尔·桑齐奥 · 维基共享资源 · 公共领域 故事 普罗克洛斯(公元 5 世纪)说,伊壁鸠鲁派嘲笑欧几里得证明了三角不等式:他们说,即使是驴子也知道通往干草的直线路径比绕过它要短。普罗克洛斯回答说,感知一个事实并不等于知道它为什么是真的。演示表明,结果取决于飞机的属性,因此可能不再适用于其他几何形状,例如地球表面。 20世纪,三角不等式成为定义数学中任何“距离”的三个规则之一。它出现在分析、统计和计算中,远离三角形。 在日常生活中 **草地上的捷径。**穿过广场和花园的小径表明,人们在实践中知道对角线比两边都短。 **三根棍子能形成一个三角形吗?**只有当最大的一根棍子小于另外两根棍子的总和时。 2 cm、3 cm 和 6 cm 杆未闭合。 **送货路线。**物流算法使用三角不等式来排除永远不可能更短的偏差。 屋顶。 在一把剪刀中,与最大角度相反的一侧是最长的梁 - 正如命题 I.18 和 I.19 所说。 来源: 元素,命题 I.20 · 元素,命题 I.18 · Proclus (MacTutor)。 理论与结构 Teorema · 最大角与最大边相对 如果三角形的两条边不相等,则它们相对的角也不相等,最大的角与最大的边相对:$BC > AC \Rightarrow \hat{A} > \hat{B}$。 **倒数:**最大角度与最大边相对:$\hat{A} > \hat{B} \Rightarrow a > b$。 查看演示**直接。**将$D$与$\overline{CD} \equiv \overline{CA}$一起带入$\overline{BC}$。由于 $BC > AC$、$D$ 位于角度 $C\hat{A}B$ 的内部,因此 $C\hat{A}B > C\hat{A}D$。 $\triangle CAD$ 与底边 $\overline{AD}$: $C\hat{A}D \equiv C\hat{D}A$ 等腰。而$C\hat{D}A$是$\triangle ABD$的外角,因此$C\hat{D}A > A\hat{B}D$。加入:$C\hat{A}B > C\hat{D}A > A\hat{B}C$,即$\hat{A} > \hat{B}$。 **倒数。**如果是$BC < AC$,根据直接定理我们会得到$\hat{A} < \hat{B}$;如果是$BC \equiv AC$,则通过等腰三角形、$\hat{A} \equiv \hat{B}$。两者都与假设相矛盾,因此$BC > AC$。

Hero Image
概念、要素和分类

三角形是最简单、最有用的多边形:任何其他多边形都可以分为三角形。 谁发现的 自埃及和美索不达米亚以来,三角形就出现在装饰品、建筑和面积计算中:莱茵纸莎草纸(约公元前 1650 BC)已经提出了有关三角形土地面积的问题。至今使用的分类来自欧几里德(c. 300 BC)。在几何原本的定义I.20和I.21中,他通过边(等边、等腰和不等边角)和角(矩形、钝角和直角)来分隔三角形。 欧几里得,文艺复兴时期的代表传统上与欧几里得或阿基米德相关。拉斐尔·桑齐奥 · 维基共享资源 · 公共领域 故事 这些名称是希腊语和描述性的:isosceles 意思是“平等的腿”,scalene 意思是“跛脚”或“不平等”。 等边三角形 有一个重要的地位:它是 几何原本(命题 I.1)的第一个构造,由两个圆圈和一把尺子组成。 《几何原本》第一个英文版的扉页,由 Henry Billingsley 翻译于 1570。该版本体现了该作品后来的流通。亨利·比林斯利编辑;查尔斯·托马斯·斯坦福大学的复制品 · 维基共享资源 · 公共领域。 几何原本 被手工抄写了一千多年,被翻译成阿拉伯语、拉丁语和英语,并在威尼斯以 1482 首次印刷。它是继《圣经》之后历史上版本最多的书籍之一。 在日常生活中 **信托。**屋顶、金属桥梁和起重机使用三角形,因为当侧面固定时它们不会变形。 **自行车。**传统的框架由两个三角形组成,这使得它既轻又坚固。 标志。“让路”标志是颠倒的 等边三角形,汽车的安全三角形是 等边。 3D 图形。 游戏和动画电影中的角色和场景是由数千个三角形组成的网格。 来源: 元素,定义 I.20 · 元素,命题 I.1 · 欧几里德 (MacTutor)。 理论与结构 Definição · 三角形 给定三个非共线点 $A$、$B$ 和 $C$,线段 $\overline{AB}$、$\overline{AC}$ 和 $\overline{BC}$ 的交点称为三角形 $ABC$: $$\triangle ABC = \overline{AB} \cup \overline{AC} \cup \overline{BC}.$$

Hero Image
直角、锐角和钝角 — 测量

为什么完整的转弯具有 360 度,而不是 100?答案在于美索不达米亚天文学。 谁发现的 名称直角、锐角和钝角来自欧几里得,他在几何原本中定义了它们(定义I.10到I.12):直角是与其补邻角相等的角;锐的,比直的小;钝的,最大的。 度 的测量有另一个起源,即巴比伦天文学,如下面好奇的“为什么是 360 度?”中所述。 分钟和秒这两个词来自Claudius Ptolemy(公元2世纪)的拉丁语翻译。 欧几里得,文艺复兴时期的代表传统上与欧几里得或阿基米德相关。拉斐尔·桑齐奥 · 维基共享资源 · 公共领域 克劳狄斯·托勒密,后来的艺术代表。Justus van Gent 或 Pedro Berruguete · 维基共享资源 · 公共领域 故事 欧几里得从未以度为单位测量角度。对他来说,直角是自然单位:一个角“等于两个直角”或“小于一个直角”,他的第四条公设指出所有直角都相等。数值测量来自天文学家,他们需要定位天空中的恒星和行星。 节点 天文学大成,托勒密将每个度数细分为以 60 为基数的分数。在拉丁语翻译中,它们变成了 主要细节部分 和 次要微小零件 —“第一小部分”和“第二小部分”—,分钟和秒的来源。 角度 21° 12′ 22″ 以托勒密的希腊方式、拉丁语和葡萄牙语书写:分和秒来自六十进制部分。来自博客的原始教学插图。 在法国大革命中,人们尝试将直角与米一起分成 100 部分,即 grad。该单位在科学计算器的“GRAD”模式下仍然存在,但学位已经过期。 在日常生活中 **瓦工的正方形。**确保墙壁和地板以直角相交。 地理坐标。 纬度和经度是以度、分和秒为单位测量的角度。 演习。“To Give 180”是颠倒意思;滑板上的“360”就是一个完整的转弯。 指南针。 飞机或轮船的航向以从北开始的度数给出:90° 为东,180° 为南。 来源: 元素,假设 4 · 托勒密 (MacTutor) · 元素,定义 I.10。

Hero Image
一致性和比较

复制一个角度并将其分成两半是经典的结构。然而,两千多年来,将其分成三等份一直是数学家面临的挑战。 谁发现的 这两个结构位于欧几里德(c. 300 BC)的几何原本中:命题I.9将一个角度分成两半(a 角平分线),并且I.23 将给定角度复制到另一条直线上。用尺子和圆规将角度三等分(将任何角度分成三等分)在1837被法国人Pierre Wantzel证明是不可能的,当时他才刚过20岁。 欧几里得,文艺复兴时期的代表传统上与欧几里得或阿基米德相关。拉斐尔·桑齐奥 · 维基共享资源 · 公共领域 故事 三等分是三个古典希腊问题之一,另外两个是立方加倍和圆的平方。希腊人能够使用特殊的曲线或带有标记的尺子来解决这个问题——阿基米德给出了这样的解决方案——但绝不仅仅使用没有标记的尺子和指南针。 阿基米德,后来的艺术表现。多梅尼科·费蒂 · 维基共享资源 · 公共领域 角平分线 将开口分成两个相等的角度:相等的长度有助于建立比较。来自博客的原始教学插图。 Wantzel 将问题转化为代数:使用尺子和圆规的每个构造都相当于求解 2 度方程,而三等分 60° 的角度需要一个无法约简到它们的 3 度方程。业余爱好者寄给杂志的“三分”至今仍然出现;他们都有一些错误。 在日常生活中 **木匠的suta。**它是一个“角度复制器”:它复制屋顶或楼梯的坡度以供切割——实践中的I.23命题。 斜接。 要闭合装饰线条和踢脚板上的 90° 角,每块都在 45° 处切割:在 角平分线 处从直角切割。 折叠。 无需任何工具,将纸张的一侧折叠到另一侧标记 角平分线 上。 **台球。**球离开球台的角度与到达时的角度相同。 来源: 元素,命题 I.9 · 元素,命题 I.23 · Wantzel (MacTutor)。 理论与结构 Postulado · 角度全等 角度的同余(符号$\equiv$)是一个原始概念,满足: 反射: $\widehat{ab} \equiv \widehat{ab}$。 **对称:**如果 $\widehat{ab} \equiv \widehat{cd}$,则 $\widehat{cd} \equiv \widehat{ab}$。 **传递:**如果 $\widehat{ab} \equiv \widehat{cd}$ 和 $\widehat{cd} \equiv \widehat{ef}$,则 $\widehat{ab} \equiv \widehat{ef}$。 **角度传递:**给定平面的角度 $A\hat{O}B$ 和射线 $\overrightarrow{O^{\prime}A^{\prime}}$,在该平面中,直线 $O^{\prime}A^{\prime}$ 确定的每个半平面中都存在一条射线 $\overrightarrow{O^{\prime}B^{\prime}}$,它与 $\overrightarrow{O^{\prime}A^{\prime}}$ 形成与 $A\hat{O}B$ 一致的角度 $A^{\prime}\hat{O^{\prime}}B^{\prime}$。

Hero Image
角度:定义

两条具有相同原点的射线形成一个角度。关于角度的第一个定理甚至有一个有名的发现者。 谁发现的 Proclus(公元 5 世纪)引用了罗得岛的 Eudemus 的几何史,根据其说法,米利都的泰勒斯(约公元前 624–546 BC)首先认识到与顶点相对的角相等;欧几里得后来才在命题 I.15 中“科学地”证明了这一点。角度作为“两条线的倾斜度”的定义在Euclid的几何原本中(定义I.8)。 雅典学院的人物归因于罗德岛的尤德穆斯 (Eudemus of Rhodes);不确定的识别。拉斐尔·桑齐奥; Jic 和 FranksValli 复制品的剪辑 · 维基共享资源 · 公共领域 米利都的泰勒斯,后来的艺术表现。卢卡·佐丹奴 · 维基共享资源 · 公共领域 欧几里得,文艺复兴时期的代表传统上与欧几里得或阿基米德相关。拉斐尔·桑齐奥 · 维基共享资源 · 公共领域 故事 毕竟,什么是角度? Proclus 记录称,古人讨论了它是数量(可测量的东西)、质量(如形式)还是两条线之间的关系。现代定义避免了讨论:角度是由同源的两条射线形成的图形。 泰勒斯的著作来自于他之后许多世纪的作者,我们没有泰勒斯本人的文字。即便如此,它还是有价值的:它表明希腊人已经在其中看到了几何学的开端,在几何学中,事实需要论证。 在日常生活中 **剪刀和钳子。**打开刀片时,手柄以相同的角度打开:它们是与顶点相对的角度。 时钟指针。 在 3 h 处,它们形成直角;在 6 h 处,一个浅角度。 **开门。**带有减震器的门最大打开一定角度,以免撞到墙壁。 **视野。**手机摄像头告知他们可以看到的角度; “广角”涵盖的范围更多。 来源: 故事 (MacTutor) · 元素,命题 I.15 · 元素,定义 I.8。 理论与结构 Definição · 角度 角度是同源两条射线的交点,但不包含在同一条直线中(不共线)。 $$A\hat{O}B = \overrightarrow{OA} \cup \overrightarrow{OB}$$点$O$是角的顶点,射线$\overrightarrow{OA}$和$\overrightarrow{OB}$是边。当 $a$ 和 $b$ 是边时,我们也写 $a\hat{O}b$ 或简单地写 $\widehat{ab}$。

Hero Image
简介:凸面和半平面

一条直线将平面分为两侧。当图形没有“凹痕”时,它就是凸图形。这两个想法是相辅相成的。 谁发现的 第一个仔细定义凸图形的是 锡拉丘兹的阿基米德 (约公元前287年至212年),在作品中 关于球体和圆柱体,它使用“凹向同侧”曲线来比较周长。平面与直线的分离形式化为 莫里茨·帕什 1882 年:他的公理说,从一侧进入三角形的直线必须从另一侧退出。 19世纪末, 赫尔曼·闵可夫斯基 使凸性成为自己的数学领域。 阿基米德,后来的艺术表现。多梅尼科·费蒂 · 维基共享资源 · 公共领域 莫里茨·帕什.古斯塔夫·巴托芬 · 维基共享资源 · 公共领域 赫尔曼·闵可夫斯基.身份不明的摄影师; 《Raum und Zeit》的复制 · 维基共享资源 · 公共领域 故事 阿基米德需要凸性来解决一个具体问题:证明内接于圆的多边形的周长小于其自身的周长,而外接多边形的周长则大于其自身的周长。这样他就将 π 的值包围在 $3\tfrac{10}{71}$ 和 $3\tfrac{1}{7}$ 之间。 帕什公理解决了另一个问题:欧几里得从未证明直线将平面分成两侧。他只是简单地画、看。从帕什开始,“在直线的同一侧”开始有一个精确的定义——半平面——它将用来定义角的内部。 欧几里得,文艺复兴时期的代表传统上与欧几里得或阿基米德相关。拉斐尔·桑齐奥 · 维基共享资源 · 公共领域 在日常生活中 镜片。 凸镜片,例如放大镜和远视眼镜中的镜片,可以集中光线;凹面的则传播它。 **指甲上有松紧带。**围绕几个指甲的松紧带形成包含它们的最小凸形图形 - 计算机图形学中使用的“凸包”。 **街道的两侧。**街道将社区分为两个半平面:一侧为偶数,另一侧为奇数。 **电子游戏。**使用凸形状检测碰撞要快得多,这就是为什么角色被看不见的凸“盒子”包围。 来源: 阿基米德 (MacTutor) · Pasch (MacTutor) · Minkowski (MacTutor)。 理论与结构 观看有关凸区域和半平面的视频课程,然后遵循理论。