几何欧拉公式_立体几何欧拉公式

2024-08-01 11:13:19

几何欧拉公式_立体几何欧拉公式

几何欧拉公式的今日更新是一个不断变化的过程，它涉及到许多方面。今天，我将与大家分享关于几何欧拉公式的最新动态，希望我的介绍能为有需要的朋友提供一些帮助。

1.欧拉定律是什么

2.欧拉公式是什么意思

3.欧拉公式怎么证明的?

4.欧拉公式的平面几何

5.欧拉公式与三角函数是什么？

几何欧拉公式_立体几何欧拉公式

欧拉定律是什么

欧拉定理

（1）背景：欧拉公式的背后是一门新的几何学，这种新的几何学只研究图形各部分位置的相对次序，而不考虑图形尺寸大小，这就是由莱布尼兹和欧拉共同奠基的“橡皮膜上的几何学”（位置几何学），如今这门学科已经发展成数学的一个重要的分支——拓扑学。

（2）历史：有关凸多面体最有趣的定理之一是欧拉公式“V-E+F=2”，其实大约在1635年笛卡尔就早已发现了它。欧拉在1750年独立地发现了这个公式，并于1752年发表了它。由于笛卡尔的研究到1860年才被人们发现，所以这个定理就称为欧拉公式而不是笛卡尔公式。

欧拉,出生在瑞士的巴塞尔（Basel）城，13岁就进巴塞尔大学读书，得到当时最有名的数学家约翰·伯努利（Johann Bernoulli，1667-1748年）的精心指导．

欧拉在数学上的建树很多，对著名的哥尼斯堡七桥问题的解答开创了图论的研究。欧拉还发现，不论什么形状的凸多面体，其顶点数V、棱数E、面数F之间总有V-E+F=2这个关系。V-E+F 被称为欧拉示性数，成为拓扑学的基础概念。以欧拉的名字命名的数学公式、定理等在数学书籍中随处可见, 与此同时，他还在物理、天文、建筑以至音乐、哲学方面取得了辉煌的成就。欧拉还创设了许多数学符号，例如π（1736年），i（1777年），e（1748年），sin和cos（1748年），tg（1753年），△x（1755年），∑（1755年），f(x)（1734年)等。

1733年，年仅26岁的欧拉担任了彼得堡科学院数学教授．1735年，欧拉解决了一个天文学的难题（计算慧星轨道），这个问题经几个著名数学家几个月的努力才得到解决，而欧拉却用自己发明的方法，三天便完成了．然而过度的工作使他得了眼病，并且不幸右眼失明了，这时他才28岁．

欧拉的一生，是为数学发展而奋斗的一生，他那杰出的智慧，顽强的毅力，孜孜不倦的奋斗精神和高尚的科学道德，永远是值得我们学习的．

欧拉公式有4条

（1）分式：

a＾r/(a-b)(a-c)+b＾r/(b-c)(b-a)+c＾r/(c-a)(c-b)

当r=0,1时式子的值为0

当r=2时值为1

当r=3时值为a+b+c

（2）复数

由e＾iθ=cosθ+isinθ,得到：

sinθ=（e＾iθ-e＾-iθ）/2i

cosθ=（e＾iθ+e＾-iθ）/2

（3）三角形

设R为三角形外接圆半径，r为内切圆半径，d为外心到内心的距离，则：

d＾2=R＾2-2Rr

（4）多面体

设v为顶点数，e为棱数，是面数，则

v-e+f=2-2p

p为欧拉示性数，例如

p=0 的多面体叫第零类多面体

p=1 的多面体叫第一类多面体

等等

其实欧拉公式是有4个的，上面说的都是多面体的公式

欧拉公式是什么意思

欧拉定理

对于互质的整数a和n，有a^φ(n) ≡ 1 (mod n)

证明：

首先证明下面这个命题：

对于集合Zn={x1,x2,...,xφ(n)},其中xi(i=1,2,…φ(n))是φ(n)个n的素数，且两两互素，即n的一个化简剩余系，或称简系，或称缩系)，考虑集合S = {a*x1(mod n),a*x2(mod n),...,a*xφ(n)(mod n)}

则S = Zn

1) 由于a,n互质，xi也与n互质，则a*xi也一定于p互质，因此

任意xi，a*xi(mod n) 必然是Zn的一个元素

2) 对于Zn中两个元素xi和xj，如果xi ≠ xj

则a*xi(mod n) ≠ a*xi(mod n)，这个由a、p互质和消去律可以得出。

所以，很明显，S=Zn

既然这样，那么

（a*x1 × a*x2×...×a*xφ(n)）(mod n)

= （a*x1(mod n) × a*x2(mod n) × ... × a*xφ(n)(mod n)）(mod n)

= （x1 × x2 × ... × xφ(n)）(mod n)

考虑上面等式左边和右边

左边等于(a*（x1 × x2 × ... × xφ(n)）) (mod n)

右边等于x1 × x2 × ... × xφ(n)）(mod n)

而x1 × x2 × ... × xφ(n)(mod n)和n互质

根据消去律，可以从等式两边约去，就得到：

a^φ(n) ≡ 1 (mod n)

推论：对于互质的数a、n，满足a^(φ(n)+1) ≡ a (mod n)

费马定理:

a是不能被质数p整除的正整数，则有a^(p-1) ≡ 1 (mod p)

证明这个定理非常简单，由于φ(p) = p-1，代入欧拉定理即可证明。

同样有推论：对于不能被质数p整除的正整数a，有a^p ≡ a (mod p)

[编辑本段]欧拉公式

简单多面体的顶点数V、面数F及棱数E间有关系

V+F-E=2

这个公式叫欧拉公式。公式描述了简单多面体顶点数、面数、棱数特有的规律。

[编辑本段]认识欧拉

欧拉，瑞士数学家，13岁进巴塞尔大学读书，得到著名数学家贝努利的精心指导．欧拉是科学史上最多产的一位杰出的数学家，他从19岁开始发表论文，直到76岁，他那不倦的一生，共写下了886本书籍和论文，其中在世时发表了700多篇论文。彼得堡科学院为了整理他的著作，整整用了47年。

欧拉著作惊人的高产并不是偶然的。他那顽强的毅力和孜孜不倦的治学精神，可以使他在任何不良的环境中工作：他常常抱着孩子在膝盖上完成论文。即使在他双目失明后的17年间，也没有停止对数学的研究，口述了好几本书和400余篇的论文。当他写出了计算天王星轨道的计算要领后离开了人世。欧拉永远是我们可敬的老师。

欧拉研究论著几乎涉及到所有数学分支，对物理力学、天文学、弹道学、航海学、建筑学、音乐都有研究！有许多公式、定理、解法、函数、方程、常数等是以欧拉名字命名的。欧拉写的数学教材在当时一直被当作标准教程。19世纪伟大的数学家高斯（Gauss，1777-1855）曾说过“研究欧拉的著作永远是了解数学的最好方法”。欧拉还是数学符号发明者，他创设的许多数学符号，例如π，i，e，sin，cos，tg，∑，f (x)等等，至今沿用。

欧拉不仅解决了彗星轨迹的计算问题，还解决了使牛顿头痛的月离问题。对著名的“哥尼斯堡七桥问题”的完美解答开创了“图论”的研究。欧拉发现，不论什么形状的凸多面体，其顶点数V、棱数E、面数F之间总有关系V+F-E=2，此式称为欧拉公式。V+F-E即欧拉示性数，已成为“拓扑学”的基础概念。那么什么是“拓扑学”？欧拉是如何发现这个关系的？他是用什么方法研究的？今天让我们沿着欧拉的足迹，怀着崇敬的心情和欣赏的态度探索这个公式......

[编辑本段]欧拉定理的意义

（1）数学规律：公式描述了简单多面体中顶点数、面数、棱数之间特有的规律

（2）思想方法创新：定理发现证明过程中，观念上，假设它的表面是橡皮薄膜制成的，可随意拉伸；方法上将底面剪掉，化为平面图形（立体图→平面拉开图）。

（3）引入拓扑学：从立体图到拉开图，各面的形状、长度、距离、面积等与度量有关的量发生了变化，而顶点数，面数，棱数等不变。

定理引导我们进入一个新几何学领域：拓扑学。我们用一种可随意变形但不得撕破或粘连的材料（如橡皮波）做成的图形，拓扑学就是研究图形在这种变形过程中的不变的性质。

（4）提出多面体分类方法：

在欧拉公式中， f (p)=V+F-E 叫做欧拉示性数。欧拉定理告诉我们，简单多面体f (p)=2。

除简单多面体外，还有非简单多面体。例如，将长方体挖去一个洞，连结底面相应顶点得到的多面体。它的表面不能经过连续变形变为一个球面，而能变为一个环面。其欧拉示性数f (p)=16+16-32=0，即带一个洞的多面体的欧拉示性数为0。

（5）利用欧拉定理可解决一些实际问题

如：为什么正多面体只有5种？足球与C60的关系？否有棱数为7的正多面体？等

[编辑本段]欧拉定理的证明

方法1：（利用几何画板）

逐步减少多面体的棱数，分析V+F-E

先以简单的四面体ABCD为例分析证法。

去掉一个面，使它变为平面图形，四面体顶点数E、棱数V与剩下的面数F1变形后都没有变。因此，要研究V、E和F关系，只需去掉一个面变为平面图形，证V+F1-E=1

（1）去掉一条棱，就减少一个面，V+F1-E不变。依次去掉所有的面，变为“树枝形”。

（2）从剩下的树枝形中，每去掉一条棱，就减少一个顶点，V+F1-E不变，直至只剩下一条棱。

以上过程V+F1-E不变，V+F1-E=1，所以加上去掉的一个面，V+F-E =2。

对任意的简单多面体，运用这样的方法，都是只剩下一条线段。因此公式对任意简单多面体都是正确的。

方法2：计算多面体各面内角和

设多面体顶点数V，面数F，棱数E。剪掉一个面，使它变为平面图形（拉开图）,求所有面内角总和∑α

一方面，在原图中利用各面求内角总和。

设有F个面，各面的边数为n1,n2，…，nF，各面内角总和为：

∑α = [(n1-2)·180度+(n2-2)·180度+…+(nF-2) ·180度]

= (n1+n2+…+nF -2F) ·180度

=(2E-2F) ·180度 = (E-F) ·360度（1）

另一方面，在拉开图中利用顶点求内角总和。

设剪去的一个面为n边形，其内角和为(n-2)·180角，则所有V个顶点中，有n个顶点在边上，V-n个顶点在中间。中间V-n个顶点处的内角和为(V-n)·360度，边上的n个顶点处的内角和(n-2)·180度。

所以，多面体各面的内角总和：

∑α = (V-n)·360度+(n-2)·180度+(n-2)·180度

=（V-2）·360度（2）

由(1)(2)得： (E-F) ·360度=（V-2）·360度

所以 V+F-E=2.

方法3 用拓朴学方法证明欧拉公式

图尝试一下用拓朴学方法证明关于多面体的面、棱、顶点数的欧拉公式。

欧拉公式：对于任意多面体（即各面都是平面多边形并且没有洞的立体），假设F，E和V分别表示面，棱（或边），角（或顶）的个数，那末

F-E+V=2。

证明如图（图是立方体，但证明是一般的，是“拓朴”的）：

（1）把多面体（图中①）看成表面是薄橡皮的中空立体。

（2）去掉多面体的一个面，就可以完全拉开铺在平面上而得到一个平面中的直线形，像图中②的样子。假设F′，E′和V′分别表示这个平面图形的（简单）多边形、边和顶点的个数，我们只须证明F′-E′+V′=1。

（3）对于这个平面图形，进行三角形分割，也就是说，对于还不是三角形的多边形陆续引进对角线，一直到成为一些三角形为止，像图中③的样子。每引进一条对角线，F′和E′各增加1，而V′却不变，所以F′-E′+V′不变。因此当完全分割成三角形的时候，F′-E′+V′的值仍然没有变。有些三角形有一边或两边在平面图形的边界上。

（4）如果某一个三角形有一边在边界上，例如图④中的△ABC，去掉这个三角形的不属于其他三角形的边，即AC，这样也就去掉了△ABC。这样F′和E′各减去1而V′不变，所以F′-E′+V′也没有变。

（5）如果某一个三角形有二边在边界上，例如图⑤中的△DEF，去掉这个三角形的不属于其他三角形的边，即DF和EF，这样就去掉△DEF。这样F′减去1，E′减去2，V′减去1，因此F′-E′+V′仍没有变。

（6）这样继续进行，直到只剩下一个三角形为止，像图中⑥的样子。这时F′=1，E′=3，V′=3，因此F′-E′+V′=1-3+3=1。

（7）因为原来图形是连在一起的，中间引进的各种变化也不破坏这事实，因此最后图形还是连在一起的，所以最后不会是分散在向外的几个三角形，像图中⑦那样。

（8）如果最后是像图中⑧的样子，我们可以去掉其中的一个三角形，也就是去掉1个三角形，3个边和2个顶点。因此F′-E′+V′仍然没有变。

即F′-E′+V′=1

成立，于是欧拉公式：

F-E+V=2

得证。

[编辑本段]欧拉定理的运用方法

（1）分式：

a＾r/(a-b)(a-c)+b＾r/(b-c)(b-a)+c＾r/(c-a)(c-b)

当r=0,1时式子的值为0

当r=2时值为1

当r=3时值为a+b+c

（2）复数

由e＾iθ=cosθ+isinθ,得到：

sinθ=（e＾iθ-e＾-iθ）/2i

cosθ=（e＾iθ+e＾-iθ）/2

（3）三角形

设R为三角形外接圆半径，r为内切圆半径，d为外心到内心的距离，则：

d＾2=R＾2-2Rr

（4）多面体

设v为顶点数，e为棱数，f是面数，则

v-e+f=2-2p

p为欧拉示性数，例如

p=0 的多面体叫第零类多面体

p=1 的多面体叫第一类多面体

(5) 多边形

设一个二维几何图形的顶点数为V，划分区域数为Ar，一笔画笔数为B,则有：

V+Ar-B=1

(如：矩形加上两条对角线所组成的图形，V=5,Ar=4,B=8)

(6). 欧拉定理

在同一个三角形中，它的外心Circumcenter、重心Gravity、九点圆圆心Nine-point-center、垂心Orthocenter共线。

其实欧拉公式是有很多的，上面仅是几个常用的。

[编辑本段]使用欧拉定理计算足球五边形和六边形数

问：足球表面由五边型和六边型的皮革拼成，计算一共有多少个这样的五边型和六边型？

答：足球是多面体，满足欧拉公式F－E＋V＝2，其中F,E,V分别表示面,棱,顶点的个数

设足球表面正五边形(黑皮子)和正六边形(白皮子)的面各有x个和y个，那么

面数F＝x＋y

棱数E＝(5x+6y)/2（每条棱由一块黑皮子和一块白皮子共用）

顶点数V＝(5x+6y)/3（每个顶点由三块皮子共用）

由欧拉公式，x＋y－(5x+6y)/2＋(5x+6y)/3＝2，

解得x＝12。所以，共有12块黑皮子

所以，黑皮子一共有12×5＝60条棱，这60条棱都是与白皮子缝合在一起的

对于白皮子来说：每块白色皮子的6条边中，有3条边与黑色皮子的边缝在一起，另3条边则与其它白色皮子的边缝在一起。

所以白皮子所有边的一半是与黑皮子缝合在一起的

那么白皮子就应该一共有60×2＝120条边，120÷6＝20

所以共有20块白皮子

（或者，每一个六边形的六条边都与其它的三个六边形的三条边和三个五边形的三条边连接；每一个五边形的五条边都与其它的五个六边形的五条边连接

所以，五边形的个数x=3y/5。

之前求得x=12，所以y=20）

经济学中的“欧拉定理”

在西方经济学里，产量和生产要素L、K的关系表述为Q＝Q(L，K)，如果具体的函数形式是一次齐次的，那么就有：Q＝L(?Q/?L)＋K(?Q/?K)，换句话说，产品分配净尽取决于Q能否表示为一个一次齐次函数形式。

因为?Q/?L＝MPL＝w/P被视为劳动对产量的贡献，?Q/?K＝MPK＝r/P被视为资本对产量的贡献，因此，此式被解释为“产品分配净尽定理”，也就是所有产品都被所有的要素恰好分配完而没有剩余。因为形式上符合数学欧拉定理，所以称为欧拉定理。

同余理论中的"欧拉定理"

设a,m∈N,(a,m)=1,则a^(f(m))≡1(mod m)

(注:f(m)指模m的简系个数)

[编辑本段]欧拉公式

在数学历史上有很多公式都是欧拉（Leonhard Euler 公元1707-1783年)发现的，它们都叫做欧拉公式，它们分散在各个数学分支之中。

1、复变函数论里的欧拉公式：

e^ix=cosx+isinx，e是自然对数的底，i是虚数单位。

它将三角函数的定义域扩大到复数，建立了三角函数和指数函数的关系，它在复变函数论里占有非常重要的地位。

将公式里的x换成-x，得到：

e^-ix=cosx-isinx，然后采用两式相加减的方法得到：

sinx=(e^ix-e^-ix)/(2i)，cosx=(e^ix+e^-ix)/2.

这两个也叫做欧拉公式。将e^ix=cosx+isinx中的x取作∏就得到：

e^i∏+1=0.

这个恒等式也叫做欧拉公式，它是数学里最令人着迷的一个公式，它将数学里最重要的几个数学联系到了一起：两个超越数：自然对数的底e，圆周率∏，两个单位：虚数单位i和自然数的单位1，以及数学里常见的0。数学家们评价它是“上帝创造的公式”，我们只能看它而不能理解它。

2、拓扑学里的欧拉公式：

V+F-E=X(P)，V是多面体P的顶点个数，F是多面体P的面数，E是多面体P的棱的条数,X(P)是多面体P的欧拉示性数。

如果P可以同胚于一个球面（可以通俗地理解为能吹胀成一个球面），那么X(P)=2，如果P同胚于一个接有h个环柄的球面，那么X(P)=2-2h。

X(P)叫做P的拓扑不变量，是拓扑学研究的范围。

3、初等数论里的欧拉公式：

欧拉φ函数：φ(n)是所有小于n的正整数里，和n互素的整数的个数。n是一个正整数。

欧拉证明了下面这个式子：

如果n的标准素因子分解式是p1^a1*p2^a2*……*pm*am，其中众pj(j=1,2,……,m)都是素数，而且两两不等。则有

φ(n)=n(1-1/p1)(1-1/p2)……(1-1/pm)

利用容斥原理可以证明它。

定理：正整数a与n互质，则a^φ(n)除以n余1

证明：设集合{A1,A2,...,Am}为模n的一个缩系（若整数A1,A2,...,Am模n分别对应0,1,2,...,n-1中所有m个与n互素的自然数,则称集合{A1,A2,...,Am}为模n的一个缩系）

则{a A1,a A2,...,a Am}也是模n的一个缩系（如果a Ax与a Ay (x不等于y)除以n余数相同，则a(Ax-Ay)是n的倍数，这显然不可能）

即A1*A2*A3*……Am≡aA1*aA2*……aAm(mod n) （这里m=φ(n)）

两边约去A1*A2*A3*……Am即得1≡a^φ(n)（mod n）

欧拉公式怎么证明的?

欧拉公式的意思是指以欧拉命名的诸多公式。

1、欧拉的简介

莱昂哈德·欧拉（Leonhard?Euler，1707年4月15日－1783年9月18日），瑞士数学家和物理学家，近代数学先驱之一。1707年欧拉生于瑞士的巴塞尔，13岁时入读巴塞尔大学，15岁大学毕业，16岁获硕士学位。

平均每年写出八百多页的论文，还写了大量的力学、分析学、几何学等课本，《无穷小分析引论》、《微分学原理》、《积分学原理》等都成为数学中的经典著作。

欧拉对数学的研究如此广泛，因此在许多数学的分支中也可经常见到以他的名字命名的重要常数、公式和定理。1783年9月18日于俄国彼得堡去世。

2、欧拉公式的简介

a^r/(a-b)(a-c)+b^r/(b-c)(b-a)+c^r/(c-a)(c-b)，当r=0.1时式子的值为0 当r=2时值为1，当r=3时值为a+b+c。

e^ix=cosx+isinx，e是自然对数的底，i是虚数单位。它将三角函数的定义域扩大到复数，建立了三角函数和指数函数的关系，它在复变函数论里占有非常重要的地位。

e^iπ+1=0这个恒等式也叫做欧拉公式，它是数学里最令人着迷的一个公式，它将数学里最重要的几个数字联系到了一起：两个超越数：自然对数的底e，圆周率π，两个单位：虚数单位i和自然数的单位1，以及被称为人类伟大发现之一的0。数学家们评价它是“上帝创造的公式。”

3、欧拉公式的哲理讨论

高斯说过：“如果不能一眼看出欧拉公式是显然成立的，这个人永远成不了一流数学家。”真正在数学上有悟性的人几乎时时擅长透视一切事物的本质，这种透视不仅仅是对数学的透视。

欧拉公式的意义和应用：?

1、欧拉公式的意义

欧拉公式的意义是可以测算摩擦力与绳索缠绕在桩上圈数之间的关系，在任何一个规则球面地图上，用R记区域个数，V记顶点个数，E记边界个数，则R+V-E=2，这就是欧拉定理，它于1640年由Descartes首先给出证明。

后来Euler（欧拉）于1752年又独立地给出证明，称其为欧拉定理，在国外也有人称其为Descartes定理。

2、欧拉公式的应用

欧拉公式容易理解的有两个作用。一个是是用于多面体的,而另外—个是用于级数展开的。欧拉公式数学中起到至关作用的数字被它联系了起来，两个超越数,自然对数的底e和圆周率π两个单位，虚数单位和自然数的单位1以及人类数学史上最伟大的发现0。

因此,在数学家的眼中,欧拉公式应是上帝的公式。

第一个证明欧拉公式的人是20岁的柯西，他通过多面体设想的方法肯定了欧拉公式存在的意义。欧拉公式的种变换,欧拉恒等式。它被称作是数学中最美妙的一个公式。

欧拉公式的平面几何

其实，名字叫做欧拉公式的公式有很多。不过在几何学中，欧拉公式指的是——简单多面体的顶点数V、面数F及棱数E间有关系：V+F-E=2。我们所学的几何体，如棱柱、棱锥等都是简单多面体。欧拉公式的证明方法很多。证法一：逐步减少多面体的棱数，分析V+F-E以简单的四面体ABCD为例分析证法。去掉一个面，使它变为平面图形，四面体顶点数V、棱数V与剩下的面数F1变形后都没有变。因此，要研究V、E和F关系，只需去掉一个面变为平面图形，证V+F1-E=1。（1）去掉一条棱，就减少一个面，V+F1-E不变。依次去掉所有的面，变为“树枝形”。（2）从剩下的树枝形中，每去掉一条棱，就减少一个顶点，V+F1-E不变，直至只剩下一条棱。以上过程V+F1-E不变，V+F1-E=1，所以加上去掉的一个面，V+F-E=2。对任意的简单多面体，运用这样的方法，都是只剩下一条线段。因此公式对任意简单多面体都是正确的。证法二：计算多面体各面内角和设多面体顶点数V，面数F，棱数E。剪掉一个面，使它变为平面图形（展开图）,求所有面内角总和Σα（1）在原图中利用各面求内角总和。设有F个面，各面的边数为n1,n2，…，nF，各面内角总和为：Σα = [(n1-2)·1800+(n2-2)·1800 +…+(nF-2) ·1800]= (n1+n2+…+nF -2F) ·1800=(2E-2F) ·1800 = (E-F) ·3600 （1）（2）在拉开图中利用顶点求内角总和。设剪去的一个面为n边形，则其内角和为(n-2)·1800 ，则所有V个顶点中，有n个顶点在边上，V-n个顶点在中间。中间V-n个顶点处的内角和为(V-n)·3600，边上的n个顶点处的内角和(n-2)·1800。所以，多面体各面的内角总和：Σα = (V-n)·3600+(n-2)·1800+(n-2)·1800=（V-2）·3600. （2）由(1)(2)得：(E-F) ·3600 =（V-2）·3600所以，V+F-E=2。

欧拉公式与三角函数是什么？

设△ABC的外心为O，内心为I，外接圆半径为R，内切圆半径为r，又记外心、内心的距离OI为d，则有

（1）式称为欧拉公式。

为了证明（1）式，我们现将它改成

（2）式左边是点I对于⊙O的幂：过圆内任一点P的弦被P分成两个部分，这两个部分的乘积是一个定值，称为P关于⊙O的幂。事实上，如图3.21，如果将OI延长交圆于E、F，那么

因此，设AI交⊙O于M，则

因此，只需证明

或写成比例式

为了证明（5）式，应当寻找两个相似的三角形。一个以长IA、r为边；另一个以长2R、MI为边。前一个不难找，图3.21中的△IDA就是，D是内切圆与AC的切点。后一个也必须是直角三角形，所以一边是直径ML，另一个顶点也应当在圆上。△MBL就满足要求。

容易证明

因此（5）式成立，从而（1）式成立。

因为，所以由欧拉公式得出一个副产品，即