【数学模型】欧拉公式和证明

news2024/11/27 20:27:16

一、说明

        在图型学中,欧拉公式很有用处,比如皮克定律也可以用欧拉公式证明。本篇介绍欧拉公式的定义和三个证明过程。

二、欧拉公式

        在任何一个规则球面地图上,用 R记区域个 数 ,V记顶点个数 ,E记边界个数 ,则 R+ V- E= 2,这就是欧拉定理 ,它于 1640年由 Descartes(笛卡尔)首先给出证明 。

        后来 Euler(欧拉 )于 1752年又独立地给出证明 ,我们称其为欧拉定理 ,在国外也有人称其 为 Descartes定理。

    R+ V- E= 2 就是欧拉公式。

如上图: R =10 ,V = 13 ,E = 21,因此,R+ V- E= 2成立。

三、欧拉的证明 

3.1 当R=2时候

         ( 1)        当 R= 2时 ,由说明 1,这两个区域可想象为 以赤道为边界的两个半球面 ,赤道上有两个“顶点” 将赤道分成两条“边界”,即 R= 2,V= 2,E= 2;于是 R+ V- E= 2,欧拉定理成立。

3.2 当R大于2时

        ( 2)        设 R= m(m≥ 2)时欧拉定理成立 ,下面证明 R= m+ 1时欧拉定理也成立 。

        我们在 R= m+ 1的地图上任选一个 区域 X ,则 X 必有与它如此相邻的区域 Y ,使得在 去掉 X 和 Y 之间的唯一一条边界后 ,地图上只有 m 个区域了;在去掉 X 和 Y 之间的边界后 ,若原该边界两端 的顶点现在都还是 3条或 3条以上边界的顶点 ,则 该顶点保留 ,同时其他的边界数不变;若原该边界一 端或两端的顶点现在成为 2条边界的顶点 ,则去掉 该顶点 ,该顶点两边的两条边界便成为一条边界 。

        于是 ,在去掉 X 和 Y之间的唯一 一条边界时只有三种情况:

  • ①减少一个区域,同时减少一条边界;
  • ②减少一个区域、同时减少一个顶点和两条边界;
  • ③减少一个区域,同时减少两个顶点和三条边界;

        以上情况如下图说明:

①减少一个区域和一条边界

②减少一个区 域、一个顶点和两条边界;

③减少一个区域、两个顶 点和三条边界;

        即在去掉 X 和 Y 之间的边界时 ,不 论何种情况都必定有“减少的区域数 + 减少的顶点数 = 减少的边界数”.

减少区域数Rsub减少边界Esub减少顶点Vsub平恒公式
110Rsub +Vsub - Esub =0
121
132

        我们将上述过程反过来 (即将 X 和 Y之间去掉的边 界又照原样画上 ) ,就又成为 R= m+ 1的地图了 ,在 这一过程中必然是“增加的区域数 + 增加的顶点数 = 增加的边界数”。 

        因此 ,若 R= m (m≥2)时欧拉定理成立 ,则 R= m+ 1时欧拉定理也成立.。

        由 ( 1)和 ( 2)可知 ,对于任何正整数 R≥2,欧拉 定理成立。

四、柯西的证明

        第一个欧拉公式的严格证明,由20岁的 柯西给出,大致如下:

        欧拉公式

        从多面体去掉一面,通过把去掉的面的边互相拉远,把所有剩下的面变成点和曲线的平面网络。不失一般性,可以假设变形的边继续保持为直线段。正常的面不再是正常的多边形即使开始的时候它们是正常的。但是,点,边和面的个数保持不变,和给定多面体的一样(移去的面对应网络的外部。)

        重复一系列可以简化网络却不改变其欧拉数(也是欧拉示性数)

        的额外变换。

  1. 若有一个多边形面有3条边以上,我们划一个对角线。这增加一条边和一个面。继续增加边直到所有面都是三角形。

  2. 除掉只有一条边和外部相邻的三角形。这把边和面的个数各减一而保持顶点数不变。

  3. (逐个)除去所有和网络外部共享两条边的三角形。这会减少一个顶点、两条边和一个面。

        重复使用第2步和第3步直到只剩一个三角形。对于一个三角形

        (把外部数在内),。所以。

五、推理证明

        设想这个多面体是先有一个面,然后将其他各面一个接一个地添装上去的.因为一共有F个面,因此要添(F-1)个面.

        考察第Ⅰ个面,设它是n边形,有n个顶点,n条边,这时E=V,即棱数等于顶点数.

        添上第Ⅱ个面后,因为一条棱与原来的棱重合,而且有两个顶点和第Ⅰ个面的两个顶点重合,所以增加的棱数比增加的顶点数多1,因此,这时E=V+1.

        以后每增添一个面,总是增加的棱数比增加的顶点数多1,例如

增添两个面后,有关系E=V+2;

增添三个面后,有关系E=V+3;

……

增添(F-2)个面后,有关系E=V+ (F-2).

最后增添一个面后,就成为多面体,这时棱数和顶点数都没有增加.因此,关系式仍为E=V+ (F-2).即

F+V=E+2.

这个公式叫做欧拉公式.它表明2这个数是简单多面体表面在连续变形下不变的数。

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

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

相关文章

BGP基础知识

今天海翎光电的小编主要介绍一下BGP的相关基础知识,文章浅显易懂,适合对BGP完全没有了解的同学。 BGP介绍 边界网关协议BGP(Border Gateway Protocol)是一种实现自治系统AS(Autonomous System)之间的路由可…

【cmake篇】选择编译器及设置编译参数

实际开发的过程中,可能有多个版本的编译器,不同功能可能需要设置不同的编译参数。 参考博客链接:选择编译器及设置编译器选项 目录 一、选择编译器 1、查看系统中已有的编译器 2、选择编译器的两种方式 二、设置编译参数 1、add_compi…

CSSOM和CSSOM View

CSSOM和CSSOM View这两个我都不是熟悉的领域。 1.描述样式表和规则等 CSS 的模型部分(CSSOM) cssom中document.styleSheets :获取文档中所有的样式(只读),这个不常见,不做过多的介绍 2.元素视图…

科普|汽车毫米波雷达的规定和标准 微功率短距离无线电发射SRRC认证

01 — 24-24.25 GHz 上一篇提到,在我国《微功率短距离无线电发射设备目录和技术要求》中,保留了24-24.25 GHz的频段作为H类设备,可以用于汽车雷达,它的发射功率限值是:20mW (e.i.r.p),近似为13dBm。除了…

【Open CASCADE -生成MFC和QT事例方式】

源代码目录 adm目录:包含编译OCCT的相关工程; adm/cmake目录:包含使用CMake构建OCCT的相关处理脚本; adm/msvc目录:包含window平台 Visual C 2010, 2012, 2013, 2015, 2017 and 2019等版本的32/64平台solutinon文件; data目录: 包…

ESP32驱动1.28寸GC9A01播放视频(二、程序说明和效果展示)

ESP32驱动1.28寸GC9A01播放视频(二、程序下载和效果展示)1.28寸GC9A01屏幕屏幕引脚定义程序说明程序更改1、Arduino_DataBus *bus和Arduino_GC9A01 *gfx要改成ESP32匹配的2、SPI库的SPI.cpp文件中的“SPIClass::begin”函数中,引脚定义需要跟…

分布式跟踪系统

分布式跟踪系统 背景 当代的互联网的服务,通常都是用复杂的、大规模分布式集群来实现的。互联网应用构建在不同的软件模块集上,这些软件模块,有可能是由不同的团队开发、可能使用不同的编程语言来实现、有可能布在了几千台服务器&#xff0…

护眼灯真的可以保护眼睛吗?推荐五款达到护眼级别的灯

护眼灯是可以起到一定的保护视力的作用。 普通的台灯的出现是为了照明,它的功能只要照明。像眩光、频闪、蓝光等是普通台灯所存在的问题,而这些问题会造成我们的眼睛近视,所以在我国近年来青少年近视率越来越高的重要原因之一。 护眼灯就优化…

对比斐波那契和快排时间复杂度

斐波那契数列时间复杂度 ​ // 计算斐波那契递归Fib的时间复杂度&#xff1f; long long Fib(size_t N) {if(N < 3)return 1;return Fib(N-1) Fib(N-2); }Fib()递归高度是N&#xff0c;那它最后一层就是2^(N-1) 如果N50&#xff0c;最后一层是2^(49)一个恐怖的值 更恐怖…

手撕Udp套接字|实现群聊通信|实现Windows Linux通信交互

​ 专栏和Git地址 操作系统https://blog.csdn.net/yu_cblog/category_12165502.html?spm1001.2014.3001.5482UdpSockethttps://github.com/Yufccode/BitCode/tree/main/Linux/%E4%BB%A3%E7%A0%81/0215Udp%E5%A5%97%E6%8E%A5%E5%AD%97 README 本项目通过Linux套接字编程&…

AiDD AI+软件研发数字峰会开启编程新纪元

随着OpenAI 推出全新的对话式通用人工智能工具——ChatGPT火爆出圈后&#xff0c;人工智能再次受到了工业界、学术界的广泛关注&#xff0c;并被认为向通用人工智能迈出了坚实的一步&#xff0c;在众多行业、领域有着广泛的应用潜力&#xff0c;甚至会颠覆很多领域和行业&#…

go+vue——基于gin框架和gorm的web开发实战

govue——基于gin框架和gorm的web开发实战gin框架视频、资料、笔记安装Go环境&#xff0c; 添加环境变量&#xff08;可能自动添加好&#xff09;下载 Go环境变量goland 报错&#xff1a; GOROOT is not defined创建项目&#xff1a;Golang中的GoPath和GoModule什么是GoPath&am…

kafka安装

kafka安装前置将压缩包拷贝到虚拟机中解压改名更改server.properties启动先启动zookeeper非静默启动。会占用一个黑窗口再启动一个窗口&#xff0c;用jps查看静默启动 加一个-daemon另一种静默启动操作命令创建消息队列查看消息队列创建副本&#xff08;备份&#xff09;单机版…

MySQL数据库,数据的约束

目录 1.数据的约束 1.1约束的类型 1.2NULL约束 1.3UNIQUE约束 1.4DEFAULT约束 1.5PRIMARY KEY约束 1.6FOREIGN KEY约束 1.数据的约束 首先&#xff0c;创建一个名为test的数据库&#xff1a; mysql> create database test charset utf8; Query OK, 1 row affected …

Vue3中shallowRef和shallowReactive的使用?

shallowRef 和 shallowReactive前言shallowRef 和 shallowReactive概述区别shallowReactiveshallowRef总结&#xff1a;注意为什么使用shallowRef和shallowReactive&#xff1f;我们在之前的博客进过 ref 函数和 reactive 函数&#xff0c;他们的作用是将数据转换成响应式的数据…

真空压力控制方法在X射线探测器窗口薄膜材料力学性能测试中的应用

摘要&#xff1a;针对X射线窗口膜材料机械性能测试中对真空度和高压压力的准确控制需要&#xff0c;本文提出了相应的解决方案。解决方案中采用了薄膜电容真空计、压力传感器、电动针阀、压力调节阀和真空压力PID控制器&#xff0c;与真空泵和高压气源配合&#xff0c;可在膜材…

5Element

一、Element-快速入门 1、安装ElementUi组件库 输入npm install element-ui2.15.3 2、引入ElementUi组件库 https://element.eleme.cn/#/zh-CN/component/quickstart //引入element-ui import ElementUI from element-ui; import element-ui/lib/theme-chalk/index.css;Vue.…

Java魔法类 Unsafe应用解析

前言 Unsafe是位于sun.misc包下的一个类&#xff0c;主要提供一些用于执行低级别、不安全操作的方法&#xff0c;如直接访问系统内存资源、自主管理内存资源等&#xff0c;这些方法在提升Java运行效率、增强Java语言底层资源操作能力方面起到了很大的作用。但由于Unsafe类使Ja…

【Linux】man什么都搜不了,No manual entry for xxx的解决方案

本文首发于 慕雪的寒舍 man什么都搜不了&#xff0c;No manual entry for xxx的解决方案 系统 CentOS 7.6 1.问题描述 今天查手册的时候&#xff0c;发现man什么都查不了。不管是系统接口还是函数&#xff0c;都显示没有入口文档&#xff08;No manual entry for&#xff09;…

狂追ChatGPT:开源社区的“平替”热潮

目前&#xff0c;不少优质的类ChatGPT模型都只能通过API接入&#xff0c;而一些开源LLM的效果与ChatGPT相比差距不小。不过&#xff0c;近期开源社区开始密集发力了。 其中&#xff0c;Meta的LLaMA模型泄漏是开源“ChatGPT”运动的代表性事件。基于LLaMA模型&#xff0c;开源社…