梅涅劳斯定理

1、梅涅劳斯定理（Menelaus theorem）是由古希腊数学家梅涅劳斯首先证明的。它指出：如果一条直线与ABC的三边AB、BC、CA或其延长线交于F、D、E点，那么(AF/FB)(BD/DC)(CE/EA)=1。或：设X、Y、Z分别在ABC的BC、CA、AB所在直线上，则X、Y、Z共线的充要条件是(AZ/ZB)*(BX/XC)*(CY/YA)=1。使用梅涅劳斯定理可以进行直线形中线段长度比例的计算，其逆定理还是可以用来解决三点共线、三线共点等问题的判定方法，是平面几何学以及射影几何学中的一项基本定理，具有重要的作用。梅涅劳斯定理的对偶定理是塞瓦定理。1.过点C作CPDF交AB于P，则BD/D

2、C=FB/PF，CE/EA=PF/AF所以有AF/FBBD/DCCE/EA=AF/FBFB/PFPF/AF=12. 连结BF。（AD：DB）（BE：EC）（CF:FA)=（SADF：SBDF）（SBEF：SCEF）（SBCF：SBAF）=（SADF：SBDF）（SBDF：SCDF）（SCDF：SADF）=1塞瓦定理在ABC内任取一点O，直线AO、BO、CO分别交对边于D、E、F，则 (BD/DC)*(CE/EA)*(AF/FB)=1证法简介（）本题可利用梅涅劳斯定理（简称梅氏定理）证明：ADC被直线BOE所截， (DB/BC)*(CE/EA)*(AO/OD)=1 ABD被直线COF所截， (B

3、C/CD)*(AF/FB)*(DO/OA)=1 *:即得：(DB/BC)*(CE/EA)*(AO/OD)*(BC/CD)*(AF/FB)*(DO/OA)=1(DB/CD)*(CE/EA)*(AF/FB)=1（）也可以利用面积关系证明BD/DC=SABD/SACD=SBOD/SCOD=(SABD-SBOD)/(SACD-SCOD)=SAOB/SAOC 同理 CE/EA=SBOC/ SAOB AF/FB=SAOC/SBOC 得BD/DC*CE/EA*AF/FB=1利用塞瓦定理证明三角形三条高线必交于一点:设三边AB、BC、AC的垂足分别为D、E、F，根据塞瓦定理逆定理，因为(AD:DB)*(BE:

4、EC)*(CF:FA)=(CD*cotA）/(CD*cotB）*(AE*cotB)/(AE*cotC)*(BF*cotC)/(BF*cotA)=1，所以三条高CD、AE、BF交于一点。可用塞瓦定理证明的其他定理;三角形三条中线交于一点（重心）:如图5 D , E分别为BC , AC 中点 所以BD=DC AE=EC 所以BD/DC=1 CE/EA=1且因为AF=BF 所以 AF/FB必等于1 ，所以三角形三条中线交于一点，即为重心用塞瓦定理还可以证明三条角平分线交于一点此外，可用定比分点来定义塞瓦定理：在ABC的三边BC、CA、AB或其延长线上分别取L、M、N三点，又分比是=BL/LC、=CM

5、/MA、=AN/NB。于是AL、BM、CN三线交于一点的充要条件是=1。（注意与梅涅劳斯定理相区分，那里是=-1）定理的内容托勒密(Ptolemy)定理指出，圆的内接凸四边形两对对边乘积的和等于两条对角线的乘积。原文：圆的内接四边形中，两对角线所包矩形的面积等于一组对边所包矩形的面积与另一组对边所包矩形的面积之和。从这个定理可以推出正弦、余弦的和差公式及一系列的三角恒等式，托勒密定理实质上是关于共圆性的基本性质圆的内接四边形中，两对角线所包矩形的面积等于 一组对边所包矩形的面积与另一组对边所包矩形的面积之和。西姆松定理说明有三角形ABC，平面上有一点P。P在三角形三边上的投影（即由P到边上的垂

6、足）共线（此线称为西姆松线, Simson line）当且仅当P在三角形的外接圆上。称三角形的垂心为H。西姆松线和PH的交点为线段PH的中点，且这点在九点圆上。两点的西姆松线的交角等于该两点的圆周角。若两个三角形的外接圆相同，这外接圆上的一点P对应两者的西姆松线的交角，跟P的位置无关。从一点向三角形的三边所引垂线的垂足共线的充要条件是该点落在三角形的外接圆上。1、旁切圆的圆心叫做三角形的旁心。2、与三角形的一边及其他两边的延长线都相切的圆叫做三角形的旁切圆。设ABC在A内的旁切圆I1(r1)与AB的延长线切于点P1。内切圆半径为r。1、三角形的一条内角平分线与其他两个角的外角平分线交于一点，该

7、点即为三角形的旁心。2、旁心到三角形三边的距离相等。3、三角形有三个旁切圆，三个旁心。旁心一定在三角形外。4、BI1C=90-A/2.5、AP1=r1cot(A/2)=(a+b+c)/2.6、AI1B=C/2.7、SABC=r1(b+c-a)/2.8、r1=rp(p-a).9、r1=(p-b)(p-c)/r.10、1/r1+1/r2+1/r3=1/r.11、r1=r/(tanB/2)(tanC/2).12、直角三角形斜边上的旁切圆的半径等于三角形周长的一半。在一个三角形所在平面上，求一点，使该点到三角形三个顶点距离之和最小。即在ABC内求一点P，使 PA+PB+PC之值为最小，人们称这个点为“

8、费马点”。(1)若三角形ABC的3个内角均小于120，那么3条距离连线正好三等分费马点所在的周角。所以三角形的费马点也称为三角形的等角中心。(2)若三角形有一内角不小于120度，则此钝角的顶点就是距离和最小的点。（1）对于任意三角形ABC，若三角形内或三角形上某一点E,若EA+EB+EC有最小值,则取到最小值时E为费马点。（2）如果三角形有一个内角大于或等于120，这个内角的顶点就是费马点；如果3个内角均小于120，则在三角形内部对3边张角均为120的点，是三角形的费马点。 三角形的外心、重心、九点圆圆心、垂心，依次位于同一直线上，这条直线就叫三角形的欧拉线。 莱昂哈德欧拉于1765年在它的著

9、作三角形的几何学中首次提出定理：三角形的重心在欧拉线上，即三角形的重心、垂心和外心共线。他证明了在任意三角形中，以上四点共线。欧拉线上的四点中，九点圆圆心到垂心和外心的距离相等，而且重心到外心的距离是重心到垂心距离的一半。反三角函数是一种数学术语。反三角函数并不能狭义的理解为三角函数的反函数，是个多值函数。它是反正弦Arcsin x，反余弦Arccos x，反正切Arctan x，反余切Arccot x这些函数的统称，各自表示其正弦、余弦、正切、余切为x的角。为限制反三角函数为单值函数，将反正弦函数的值y限在-/2y/2，将y作为反正弦函数的主值，记为y=arcsinx；相应地，反余弦函数y=

10、arccosx的主值限在0y；反正切函数y=arctanx的主值限在-/2余切函数y=arccotx的主值限在0反三角函数实际上并不能叫做函数，因为它并不满足一个自变量对应一个函数值的要求，其图像与其原函数关于函数y=x对称。其概念首先由欧拉提出，并且首先使用了【arc+函数名】的形式表示反三角函数，而不是f-1(x）。正弦函数y=sinx在-/2，/2上的反函数，叫做反正弦函数。arcsinx表示一个正弦值为x的角，该角的范围在-/2，/2区间内。【图中红线】余弦函数y=cosx在0，上的反函数，叫做反余弦函数。arccosx表示一个余弦值为x的角，该角的范围在0，区间内。【图中蓝线】正切函

11、数y=tanx在(-/2，/2）上的反函数，叫做反正切函数。arctanx表示一个正切值为x的角，该角的范围在（-/2，/2）区间内。【图中绿线】注释：【图的画法根据反函数的性质即：反函数图像关于y=x对称】反三角函数主要是三个：y=arcsin(x），定义域-1，1，值域-/2，/2图象用深红色线条；y=arccos(x），定义域-1，1，值域0，图象用深蓝色线条；y=arctan(x），定义域（-，+），值域（-/2，/2），图象用浅绿色线条；y=arccot(x），定义域（-，+），值域（0，），暂无图象；sin(arcsinx)=x，定义域-1，1，值域-1，1arcsin(-x)=-

12、arcsinx证明方法如下：设arcsin(x)=y，则sin(y)=x，将这两个式子代入上式即可得其他几个用类似方法可得cos(arccosx)=x，arccos(-x)=-arccosxtan(arctanx)=x，arctan(-x)=-arctanx反三角函数其他公式：cos(arcsinx)=(1-x2)0.5arcsin(-x)=-arcsinxarccos(-x)=-arccosxarctan(-x)=-arctanxarccot(-x)=-arccotxarcsinx+arccosx=/2=arctanx+arccotxsin(arcsinx)=cos(arccosx)=tan

13、(arctanx)=cot(arccotx)=xarcsinx=x+x3/(2*3)+(1*3)x5/(2*4*5)+1*3*5(x7)/(2*4*6*7）+(2k+1)!*x(2k-1)/(2k!*(2k+1)+（|x|1)!！表示双阶乘arccosx=-(x+x3/(2*3)+(1*3)x5/(2*4*5)+1*3*5(x7)/(2*4*6*7）（|x|0，arctanx=/2-arctan1/x，arccotx类似若(arctanx+arctany）（-/2，/2），则arctanx+arctany=arctan(x+y)/(1-xy)例如，arcsin表示角，满足-/2，/2且sin=

14、;arccos(-4/5)表示角，满足0，且cos=-4/5;arctan2表示角，满足（-/2，/2)且tan=2假设平面上有一点P，有一圆O，其半径为R，则OP2-R2即为P点到圆O的幂；可见圆外的点对圆的幂为正，圆内为负，圆上为0；凸函数就是一个定义在某个向量空间的凸子集C（区间）上的实值函数。数论中的重要概念。给定一个正整数m，如果两个整数a和b满足a-b能被m整除，即m|(a-b)，那么就称整数a与b对模m同余，记作ab(modm)。对模m同余是整数的一个等价关系复变函数 eix=cosx+isinx，e是自然对数的底，i是虚数单位。它将三角函数的定义域扩大到复数，建立了三角函数和指

15、数函数的关系，它在复变函数论里占有非常重要的地位。2欧拉公式 eix=cosx+isinx的证明： 因为ex=1+x/1！+x2/2！+x3/3!+x4/4!+ cos x=1-x2/2!+x4/4!-x6/6! sin x=x-x3/3!+x5/5!-x7/7! 在ex的展开式中把x换成ix. (i)2=-1, (i)3=i, (i)4=1 eix=1ix/1!-x2/2!ix3/3!+x4/4! =(1-x2/2!+)i(x-x3/3!) 所以eix=cosxisinx 将公式里的x换成-x，得到： e-ix=cosx-isinx，然后采用两式相加减的方法得到： sinx=(eix-e-i

16、x)/(2i)，cosx=(eix+e-ix)/2.这两个也叫做欧拉公式。将eix=cosx+isinx中的x取作就得到： 恒等式 ei+1=0.这个恒等式也叫做欧拉公式，它是数学里最令人着迷的一个公式，它将数学里最重要的几个数字联系到了一起：两个超越数：自然对数的底e，圆周率，两个单位：虚数单位i和自然数的单位1，以及被称为人类伟大发现之一的0。数学家们评价它是“上帝创造的公式” 那么这个公式的证明就很简单了，利用上面的eix=cosxisinx。 那么这里的就是x，那么 ei=cos+isin =-1 那么ei+1=0 这个公式实际上是前面公式的一个应用。分式分式里的欧拉公式：ar/(a-

17、b)(a-c)+br/(b-c)(b-a)+cr/(c-a)(c-b)当r=0,1时式子的值为0当r=2时值为1当r=3时值为a+b+c三角公式三角形中的欧拉公式：设R为三角形外接圆半径，r为内切圆半径，d为外心到内心的距离，则：d2=R2-2Rr拓扑学说拓扑学里的欧拉公式：拓扑学V+F-E=X(P)，V是多面体P的顶点个数，F是多面体P的面数，E是多面体P的棱的条数,X(P)是多面体P的欧拉示性数。如果P可以同胚于一个球面（可以通俗地理解为能吹胀而绷在一个球面上），那么X(P)=2，如果P同胚于一个接有h个环柄的球面，那么X(P)=2-2h。3X(P)叫做P的欧拉示性数，是拓扑不变量，就是无论再怎么经过拓扑变形也不会改变的量，是拓扑学研究的范围。初等数论初等数论里的欧拉公式：欧拉函数：(n)是所有小于n的正整数里，和n互素的整数的个数。n是一个正整数。欧拉证明了