由平行公设的不同而来三种几何学浅谈

由平行公设的不同而来三种几何学浅谈

欧几里德的《几何原本》

欧几里德的《几何原本》一开始就给出了23个定义,5个公设,5个公理。

23个定义(部分):

点是没有部分的东西。

线是没有宽度的长度。

线的端点是点。

直线是各点都在同一方向上的线。

面是只有长度和宽度的东西。

...

5个公设:

从任何一点到任何一点都可以画一条直线。

有限的直线可以连续地延长成为直线。

以任何一点为圆心,任何距离为半径,可以画一个圆。

所有的直角都相等。

如果一条直线与两条直线相交,在同一平面内同侧的两个内角和小于两个直角,则这两条直线必定相交,而且在这两个角和小于两个直角的那一边相交。(平行公设)

5个公理:

相等的量与相等的量相加,其结果仍然相等。

相等的量与相等的量相减,其结果仍然相等。

重合的量是相等的。

整体大于部分。

两个相等的量的一半也相等。

从现代数学的角度来看,欧几里得的这些定义、公设和公理虽然具有开创性意义,但也存在一些问题:

有些定义缺乏严谨性,如"点是没有部分的东西"并没有给出点的明确定义。现代数学中,点通常被视为原始概念,无需定义。

有些公设和公理并不独立,如第4个公理"整体大于部分"可以从其他公理推导出来.

欧几里得在《几何原本》中提出的"定义"、"公设"、"公理"为几何学的公理化奠定了基础,但其概念与现代数学有所不同。

欧几里得在《几何原本》中提出的"定义"、"公设"、"公理"虽然为后世几何学的发展奠定了基础,但其概念和现代数学有所不同。

欧几里得的"定义"是对点、线、面等基本几何对象的描述,而现代数学的定义更加严谨和抽象。

欧几里得的"公设"是他认为不需要证明的命题,是建立几何学体系的基础。这在一定程度上类似于现代数学的公理。

欧几里得的"公理"则更接近于我们现在所说的"基本性质"或"定理",是他认为可以直接从定义中得到的一些命题。

相比之下,现代数学中的"公理"有更加严格的定义:它是一个形式系统的起始点,是一组我们假定为真的命题,所有定理都由公理通过逻辑推理得到。公理需要满足独立性、相容性和完备性。

现代数学在欧几里得的基础上,发展出了更加严谨、抽象的公理化方法。在现代几何学中,我们通常从一组未定义的概念(如点、线)和一组公理出发,通过逻辑推理来建立整个几何学体系。这种方法使得几何学的基础更加稳固,也让我们能够研究各种不同的几何体系。

尽管存在这些问题,但欧几里得的《几何原本》对数学发展的贡献是巨大的。它首次尝试用公理化的方法来构建数学理论,为后世的公理化运动奠定了基础。同时,它也揭示了公理选取的重要性和复杂性。

平行公设

平行公设是欧几里得在其著作《几何原本》中提出的五条公设之一,也称为欧几里得第五公设。它是关于平行线的性质,在欧几里得几何中起着至关重要的作用。平行公设的原始表述如下:

如果一条直线与两条直线相交,在同一平面内同侧的两个内角和小于两个直角,则这两条直线必定相交,而且在这两个角和小于两个直角的那一边相交。

这个表述比较难以理解,后来数学家们对其进行了改述,有多种等价形式,如:

经过直线外一点,有且仅有一条直线与已知直线平行。

三角形内角和等于180°。

存在相似但不全等的三角形。

四边形的四个内角和等于360°。

从形式上看相差很远,如何理解它们等价?

“经过直线外一点,有且仅有一条直线与已知直线平行”与“三角形内角和等于180°”的等价性:

如果在平面上,经过直线外一点确实有且仅有一条直线与已知直线平行,这意味着平行线之间的性质保证了在任何给定的平面几何系统中,构建的任何三角形的内角和都会是一个固定值。因为当你使用这个平行公设来构造一个三角形时,无论如何延长这个三角形的两边直到它们相交,形成的相交角都将保证内角和为180°,这是因为根据平行线的性质,交替内角相等,从而使得三角形的内角和等于直线上相邻两角的和,即180°。

反之,如果每个三角形的内角和都是180°,这也意味着在通过一点只能画出一条与给定直线平行的线,因为如果存在第二条这样的线,它会与三角形的内角和产生矛盾,因为它将导致可以构造一个内角和不为180°的三角形。因此,这两个命题在逻辑上是等价的。

“三角形内角和等于180°”与“存在相似但不全等的三角形”的等价性:

如果三角形内角和等于180°,那么我们可以通过改变三角形的边长但保持其角度不变来构造相似但不全等的三角形。

反之,如果存在相似但不全等的三角形,那么根据相似三角形的定义,它们的对应角相等。设两个三角形分别为ABC和A'B'C',其中∠A等于∠A',∠B等于∠B',∠C等于∠C'。那么∠A+∠B+∠C = ∠A'+∠B'+∠C'。但因为它们是两个不同的三角形,所以上式只能等于180°。

“存在相似但不全等的三角形”与“四边形的四个内角和等于360°”的等价性:

如果存在相似但不全等的三角形,那么我们可以通过将两个这样的三角形拼接成一个四边形,其四个内角的和必然等于两个三角形的内角和,即360°。

反之,如果四边形的四个内角和等于360°,那么我们可以将其对角线连接,将四边形分成四个三角形。根据三角形内角和定理,每个三角形的内角和都等于180°。现在,我们可以改变对角线的长度但保持其方向不变,这样就能得到四个相似但不全等的三角形。

三种几何学

第五个公设非常罗嗦,没有前四个简洁好懂。声明的也不是存在的东西,而是欧几里德自己想的东西。 这就足以说明他的天才。从欧几里德提出这个公理到1800年这大约2100年的时间里虽然人们没有怀疑整个体系的正确性,但是对这个第五公设却一直耿耿于怀。

19世纪,数学家们开始尝试否定平行公设,发现可以建立与欧几里得几何截然不同但同样自洽的非欧几何,如双曲几何和椭圆几何。这表明平行公设是独立于其他公设的,不能被证明。

根据平行公设的不同,几何学可以分为三种:欧几里得几何、罗巴切夫斯基几何和黎曼几何。

欧几里得几何(Euclidean geometry):

欧几里得几何是最早建立的几何学体系,也是中学阶段学习的主要内容。其平行公设为:经过直线外一点,有且仅有一条直线与已知直线平行。在欧几里得几何中,空间是平直的,两条平行线永远不会相交。三角形内角和等于180°,正方形对角线长度为边长的√2倍等。

罗巴切夫斯基几何(Lobachevskian geometry):

罗巴切夫斯基几何又称双曲几何(hyperbolic geometry),其平行公设为:经过直线外一点,至少有两条直线与已知直线平行。在这种几何学中,空间是负曲率的,平行线有无数条,且会渐渐远离。三角形内角和小于180°,且角和与面积成正比。

黎曼几何(Riemannian geometry):

黎曼几何又称为椭圆几何(elliptic geometry),其平行公设为:经过直线外一点,没有直线与已知直线平行。在黎曼几何中,空间是正曲率的,类似于球面,没有平行线的概念。两条直线必定相交,三角形内角和大于180°。

这三种几何学在数学发展史上具有重要意义。非欧几何的出现打破了欧几里得几何的独尊地位,拓宽了人们对空间的理解。黎曼几何为后来的广义相对论提供了数学基础。不同的几何学在不同领域都有应用,如欧几里得几何用于日常工程,双曲几何用于特殊相对论等。

尽管这三种几何学在性质上差异很大,但它们并不矛盾。因为它们建立在不同的公理系统之上,而数学的一个重要特点就是,在给定公理系统下,所有推导出的定理都是自洽的。正如爱因斯坦所说:"就数学而言,一条定理只要不包含矛盾就是正确的,而与现实世界是否相符无关。"

欧几里得几何、罗巴切夫斯基几何和黎曼几何并不存在本质上的矛盾,它们是建立在不同公理系统上的自洽的数学理论。这三种几何学的不同在于它们对平行线公设的不同处理,导致了它们在性质上的差异。

欧几里得几何:

欧几里得几何是我们最熟悉的几何学,它适用于日常生活中的大部分情况。在欧几里得几何中,空间是平直的,平行线不会相交,三角形内角和等于180°等。这种几何学在建筑、工程、导航等领域有广泛应用。然而,当我们考虑极大尺度(如宇宙)或极小尺度(如原子)时,欧几里得几何就不再适用了。

罗巴切夫斯基几何:

罗巴切夫斯基几何,也称双曲几何,适用于描述负曲率空间。在这种几何中,平行线有无数条,三角形内角和小于180°。爱因斯坦的狭义相对论就是建立在类似罗巴切夫斯基几何的闵可夫斯基空间之上的。此外,双曲几何在某些计算机图形学领域也有应用,如在创建虚拟现实环境时。

黎曼几何:

黎曼几何,也称椭圆几何,适用于描述正曲率空间。在这种几何中,没有平行线,两条直线总会相交,三角形内角和大于180°。黎曼几何在广义相对论中得到了应用,爱因斯坦用它来描述引力场下的时空弯曲。此外,黎曼几何还在微分几何、拓扑学等数学分支中有重要地位。

总的来说,这三种几何学适用于描述不同性质的空间,它们共同构成了我们对空间的几何学理解。在实际应用中,我们需要根据具体问题选择适当的几何学模型。同时,这三种几何学的发现也极大地拓宽了我们的思维空间,让我们认识到数学的真理可以有多种形式。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/791261.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

GraalVM运行模式和企业级应用

文章目录 GraalVM运行模式JIT模式AOT模式 GraalVM的问题和解决方案GraalVM企业级应用传统架构的问题Serverless架构函数计算Serverless应用场景Serverless应用 GraalVM内存参数 GraalVM运行模式 JIT模式 JIT( Just-In-Time )模式 ,即时编译模…

重置gitlab root密码

gitlab-rails console -e production user User.where(id: 1).first user User.where(name: "root").first #输入重置密码命令 user.password"admin123!" #再次确认密码 user.password_confirmation"admin123!" #输入保存命令&am…

单例(Singleton)设计模式总结

1. 设计模式概述: 设计模式是在大量的实践中总结和理论化之后优选的代码结构、编程风格、以及解决问题的思考方式。设计模式免去我们自己再思考和摸索。 就像是经典的棋谱,不同的棋局,我们用不同的棋谱。"套路"经典的设计模式一共有…

Ruby 之交租阶段信息生成

题目 我看了一下,这个题目应该不是什么机密,所以先放上来了。大概意思是根据合同信息生成交租阶段信息。 解答 要求是要使用 Ruby 生成交租阶段信息,由于时间比较仓促,变量名那些就用得随意了些。要点主要有下面这些&#xff1a…

【介绍什么是DDOS】

🌈个人主页:程序员不想敲代码啊 🏆CSDN优质创作者,CSDN实力新星,CSDN博客专家 👍点赞⭐评论⭐收藏 🤝希望本文对您有所裨益,如有不足之处,欢迎在评论区提出指正,让我们共…

Qt 的发展历史、现状与启示

Qt 最早在1991年由挪威的两位程序员 Eirik Chambe-Eng 和 Haavard Nord 开发,他们在1994年创立 Trolltech 公司(奇趣科技)正式经营软件业务。Qt 的第一个公众预览版于1995年面世,之后在2008年被诺基亚收购;2011年到201…

【C++】编程规范之内存规则

在高质量编程中,内存管理是一个至关重要的方面。主要有以下原则: 内存分配后需要检查是否成功:内存分配可能会失败,特别是在内存紧张的情况下。因此,在分配内存后,应该检查分配是否成功。 int* ptr new …

【ZZULIOJ】1030: 判断直角三角形(Java)

目录 题目描述 输入 输出 样例输入 Copy 样例输出 Copy code 题目描述 输入三个正整数,判断用这三个整数做边长是否能构成一个直角三角形。 输入 输入三个正整数。 输出 能否构成直角三角形。如能输出:yes.若不能,输出&#xff1a…

java操作mongodb详解

前言 一切操作都应该以官方文档为准,mongodb官网文档地址: https://www.mongodb.com/docs/ ,网上关于java操作mongodb的文章偏少,而且有些乱。这篇文章是在项目中使用mongodb后的一些总结,希望能帮到大家。 1.创建mon…

(译) 理解 Elixir 中的宏 Macro, 第四部分:深入化

Elixir Macros 系列文章译文 [1] (译) Understanding Elixir Macros, Part 1 Basics[2] (译) Understanding Elixir Macros, Part 2 - Macro Theory[3] (译) Understanding Elixir Macros, Part 3 - Getting into the AST[4] (译) Understanding Elixir Macros, Part 4 - Divin…

如何开启MySQL的binlog日志

1.启用远程连接: 如果你想要允许远程主机连接到MySQL服务器,需要进行以下步骤: 确保MySQL服务器的防火墙允许远程连接的流量通过。在MySQL服务器上,编辑MySQL配置文件(一般是my.cnf),找到bind-…

Go——函数

一. 函数定义 1.1 特点 无需声明原型支持不定变参支持多返回值支持命名返回参数支持匿名函数和闭包函数也是一种类型,一种函数可以赋值给变量不支持嵌套,一个包不能有两个名字一样的函数不支持重载不支持默认参数 1.2 函数声明 函数声明包含一个函数名&…

备战蓝桥杯---DP刷题2

1.树形DP: 即问那几个点在树的直径上,类似ROAD那题,我们先求一下每一个子树根的子树的最大值与次大值用d1,d2表示,直径就是d1d2的最大值,那么我们如何判断是否在最大路径上,其实就是看一下从某一点出发的所…

还得是抖音,字节推出竖屏视频理解数据集,入选CVPR2024

ChatGPT狂飙160天,世界已经不是之前的样子。 新建了免费的人工智能中文站https://ai.weoknow.com 新建了收费的人工智能中文站https://ai.hzytsoft.cn/ 更多资源欢迎关注 短视频在当下社交媒体逐渐成为主导的视频格式。传统视频处理技术和研究一般都专注于横屏视频…

58商铺全新UI试客试用平台网站php源码

探索未来商铺新纪元,58商铺全新UI试客试用平台网站PHP源码完整版震撼来袭! 在这个数字化飞速发展的时代,58商铺一直致力于为商家和消费者打造更加便捷、高效的交易平台。今天,我们荣幸地推出全新UI试客试用平台网站PHP源码完整版…

计算模型 观察分析 杂记

计算模式 计算模式通常指的:用特定计算资源完成特定计算任务所采用的计算策略。计算资源主要指运算器和存储器,当然若其他设备影响因素较大的情况下也考虑控制器,输入输出设备;计算任务多种多样,可以是简单的加减乘除&…

动态规划基础

动态规划 1、动态规划的概念 简称DP,通过把原问题分解为相对简单的子问题的方式求解复杂问题的方法。常常适用于有重叠子问题和最优子结构性质的问题。 简单来说,就是给定一个问题,把它拆成一个个子问题,查到子问题可以直接解决。然后把子问题答案保存起来,以减少重复计算…

Flink SQL系列之:解析Debezium数据格式时间字段常用的函数

Flink SQL系列之:解析Debezium数据格式时间字段常用的函数 一、FROM_UNIXTIME二、DATE_FORMAT三、TO_DATE四、CAST五、TO_TIMESTAMP_LTZ六、CONVERT_TZ七、FROM_UNIXTIME八、TO_TIMESTAMP九、常见用法案例1.案例一2.案例二3.案例三4.案例四5.案例五

C/C++ 项目:分别用精密星历和广播星历计算卫星坐标

文章目录 Part.I IntroductionChap.I rinex.hChap.II gmain_body.h Part.II 使用方法扩展阅读 Part.I Introduction 本文将介绍一个小项目的使用方法,此项目可用精密星历和广播星历计算卫星位置,并将两者结果做差,输出至文件。 其实 『分别…

SWM341系列应用(上位机应用)

SWM341系列之上位机应用 1、分级图像和PNG、JPG的应用 现象:客户使用SWM34SVET6HMI_0.4.1版本上位机进行UI界面布局,反馈在模拟运行时(PC端)流畅,在Demo平台(设备端)运行卡顿。 分析及解决&…