弦切角定理的证明
弦切角定理的证明弦切角定理：定义弦切角定理：弦切角的度数等于它所夹的弧的圆心角的度数的一半. (弦切角就是切线与弦所夹的角)弦切角定理证明
证明：设圆心为O，连接OC，OB，OA。过点A作TP的平行线交BC于D，
则∠TCB=∠CDA
∵∠TCB=90-∠OCD
∵∠BOC=180-2∠OCD
∴,∠BOC=2∠TCB
证明：分三种情况：
(1)圆心O在∠BAC的一边AC上
∵AC为直径，AB切⊙O于A，
∴弧CmA=弧CA
∵为半圆,
(2)圆心O在∠BAC的内部.
过A作直径AD交⊙O于D,
那么
.
(3)圆心O在∠BAC的外部,
过A作直径AD交⊙O于D
那么
2
连接并延长TO交圆O于点D，连接BD因为TD为切线，所以TD垂直TC，所以角BTC+角DTB=90因为TD为直径，所以角BDT+角DTB=90所以角BTC=角BDT=角A
3
编辑本段弦切角定义顶点在圆上，一边和圆相交，另图示一边和圆相切的角叫做弦切角。(弦切角就是切线与弦所夹的角）如右图所示，直线PT切圆O于点C，BC、AC为圆O的弦，∠TCB，∠TCA，∠PCA，∠PCB都为弦切角。编辑本段弦切角定理弦切角定理：弦切角的度数等于它所夹的弧的圆心角的度数的一半.弦切角定理证明：证明一：设圆心为O，连接OC，OB,。
高等数学证明方法
（3）反证法 这种证法是从反面考虑问题。先假设在已知条件成立的情况下，要证的结论不成立，而后从已知条件出发，运用基本概念和基本定理，通过逻辑推理导出矛盾（或与已知条件矛盾；或与某一已知概念、公式、公理、定理等矛盾；或自相矛盾等），这样则否定假设，从而肯定原结论正确。 例如，证明不是的多项式. 事实上，利用反证法，设是的多项式，不妨记此多项式为次多项式，即，则有 于是次多项式有无穷多个不同实根，这与次多项式最多只有个不同实根相矛盾，由此证明了不是的多项式. 又如，证明不存在（为自然数）. 事实上，利用反证法，假设存在且设，则有 又因为 所以有 故 这与产生矛盾，因此不存在. （2）分析法 这种方法基本思路是逆着想。先假设结论正确，运用已有的定义、定理、公式、性质，从后向前一步一步地分析，直至推出已知条件，即由结论找需知，再找需知，……，直至已知。这种“执果溯因”的方法，叫做分析法。 分析法是探求证题途径的重要方法之一。它的优点在于思考过程比较自然，目的明确，较为容易找到证明的思路，但缺点是分析的过程叙述起来往往比较繁琐，因而过程多在草稿纸上进行，不正式写出。在实际解题时，特别对于一些较难的问题，常常先用分析法寻找解题的途径，然后再用综合法叙述解题过程，这种方法也可叫做分析综合法。 例如，设在时连续，且；而在时有单调递增导数，试证在时是单调递增的。 事实上，欲证为单调递增，只需证明就行了，而由于 因此就归结为证明. 利用拉格朗日中值定理及已知条件，有 单调递增 因此在时是单调递增的. 又如，用极限定义证明一数列或函数有已知极限时，多采用分析综合法证明。比如证明，其方法如下： ，欲使不等式成立， 由 所以只需，即成立. 取，于是当时，就有，从而保证了希望的不等式成立. 综合以上分析，就有 ，当时，，根据极限定义，有
高中数学课本中的定理公式结论的证明
数学课本中的定理、公式、结论的证明 数学必修一 第一章 集合（无） 第二章 函数（无） 第三章 指数函数和对数函数 1．对数的运算性质： 如果 a > 0 ， a 1， M > 0 ，N > 0， 那么 （1）log ()log log a a a MN M N =+； （2）log log -log a a a M M N N =； （3）log log ()n a a M n M n R =∈． 根据指数幂的运算性质证明对数的运算性质 证明：（性质1）设log a M p =，log a N q =，由对数的定义可得 p M a =，q N a =， ∴p q p q MN a a a +=?=， ∴log ()a MN =p q +， 即证得log log log a a a MN M N =+． 证明：（性质2）设log a M p =，log a N q =， 由对数的定义可得 p M a =，q N a =， ∴ q p q p a a a N M -==， ∴q p N M a -=log ， 即证得log log -log a a a M M N N =． 证明（性质3）设log a M p =，由对数的定义可得 p M a =， ∴n np M a =， ∴log n a M np =， 即证得log log n a a M n M =．
第四章函数应用（无） 数学必修二 第一章立体几何初步 直线与平面、平面与平面平行、垂直的判定定理与性质定理的证明． 1、直线与平面平行的判定定理 若平面外一条直线与此平面内一条直线平行,则该直线与此平面平行． 2、平面与平面平行的判定定理 如果一个平面内有两条相交直线都平行于另一个平面，那么这两个平面平行．
考研数学高数定理证明的知识点
考研数学高数定理证明的知识点考研数学高数定理证明的知识点 这一部分内容比较丰富，包括费马引理、罗尔定理、拉格朗日定理、柯西定理和泰勒中值定理。除泰勒中值定理外，其它定理要求 会证。 费马引理中的“引理”包含着引出其它定理之意。那么它引出的定理就是我们下面要讨论的罗尔定理。若在微分中值定理这部分推 举一个考频最高的，那罗尔定理当之无愧。该定理的条件和结论想 必各位都比较熟悉。条件有三：“闭区间连续”、“开区间可导” 和“端值相等”，结论是在开区间存在一点(即所谓的中值)，使得 函数在该点的导数为0。 前面提过费马引理的条件有两个——“可导”和“取极值”，“可导”不难判断是成立的，那么“取极值”呢?似乎不能由条件直 接得到。那么我们看看哪个条件可能和极值产生联系。注意到罗尔 定理的第一个条件是函数在闭区间上连续。我们知道闭区间上的连 续函数有很好的性质，哪条性质和极值有联系呢?不难想到最值定理。 那么最值和极值是什么关系?这个点需要想清楚，因为直接影响 下面推理的走向。结论是：若最值取在区间内部，则最值为极值;若 最值均取在区间端点，则最值不为极值。那么接下来，分两种情况 讨论即可：若最值取在区间内部，此种情况下费马引理条件完全成立，不难得出结论;若最值均取在区间端点，注意到已知条件第三条 告诉我们端点函数值相等，由此推出函数在整个闭区间上的最大值 和最小值相等，这意味着函数在整个区间的表达式恒为常数，那在 开区间上任取一点都能使结论成立。 拉格朗日定理和柯西定理是用罗尔定理证出来的。掌握这两个定理的证明有一箭双雕的效果：真题中直接考过拉格朗日定理的证明，
若再考这些原定理，那自然驾轻就熟;此外，这两个的定理的证明过 程中体现出来的基本思路，适用于证其它结论。 以拉格朗日定理的证明为例，既然用罗尔定理证，那我们对比一下两个定理的结论。罗尔定理的结论等号右侧为零。我们可以考虑 在草稿纸上对拉格朗日定理的结论作变形，变成罗尔定理结论的形式，移项即可。接下来，要从变形后的式子读出是对哪个函数用罗 尔定理的结果。这就是构造辅助函数的过程——看等号左侧的式子 是哪个函数求导后，把x换成中值的结果。这个过程有点像犯罪现 场调查：根据这个犯罪现场，反推嫌疑人是谁。当然，构造辅助函 数远比破案要简单，简单的题目直接观察;复杂一些的，可以把中值 换成x，再对得到的函数求不定积分。 2015年真题考了一个证明题：证明两个函数乘积的导数公式。 几乎每位同学都对这个公式怎么用比较熟悉，而对它怎么来的.较为 陌生。实际上，从授课的角度，这种在2015年前从未考过的基本公 式的证明，一般只会在基础阶段讲到。如果这个阶段的考生带着急 功近利的心态只关注结论怎么用，而不关心结论怎么来的，那很可 能从未认真思考过该公式的证明过程，进而在考场上变得很被动。 这里给2017考研学子提个醒：要重视基础阶段的复习，那些真题中 未考过的重要结论的证明，有可能考到，不要放过。 当然，该公式的证明并不难。先考虑f(x)*g(x)在点x0处的导数。函数在一点的导数自然用导数定义考察，可以按照导数定义写 出一个极限式子。该极限为“0分之0”型，但不能用洛必达法则， 因为分子的导数不好算(乘积的导数公式恰好是要证的，不能用!)。 利用数学上常用的拼凑之法，加一项，减一项。这个“无中生有” 的项要和前后都有联系，便于提公因子。之后分子的四项两两配对，除以分母后考虑极限，不难得出结果。再由x0的任意性，便得到了 f(x)*g(x)在任意点的导数公式。 类似可考虑f(x)+g(x)，f(x)-g(x)，f(x)/g(x)的导数公式的证明。 该定理条件是定积分的被积函数在积分区间(闭区间)上连续，结论可以形式地记成该定积分等于把被积函数拎到积分号外面，并把
(经典)高中数学正弦定理的五种全证明方法
(经典)高中数学正弦定理的五种全证明方法
————————————————————————————————作者：————————————————————————————————日期：
高中数学正弦定理的五种证明方法 ——王彦文 青铜峡一中 1.利用三角形的高证明正弦定理 （1）当?ABC 是锐角三角形时，设边AB 上的高是CD ，根据锐角三角函数的定义，有=sin CD a B ,sin CD b A =。 由此，得 sin sin a b A B = ，同理可得 sin sin c b C B = ， 故有 sin sin a b A B = sin c C = .从而这个结论在锐角三角形中成立. （2）当?ABC 是钝角三角形时，过点C 作AB 边上的高，交AB 的延长线于点D ，根据锐角三角函数的定义，有=∠=∠sin sin CD a CBD a ABC ，sin CD b A = 。由此，得 = ∠sin sin a b A ABC ，同理可得 = ∠sin sin c b C ABC 故有 = ∠sin sin a b A ABC sin c C = . 由(1)(2)可知，在?ABC 中， sin sin a b A B = sin c C = 成立. 从而得到：在一个三角形中，各边和它所对角的正弦的比值相等，即 sin sin a b A B = sin c C = . 2.利用三角形面积证明正弦定理 已知△ABC,设BC ＝a, CA ＝b,AB ＝c,作AD⊥BC,垂足为D 则Rt△ADB 中,AB AD B =sin ∴S △ABC =B ac AD a sin 2121=?同理,可证 S △ABC =A bc C ab sin 21 sin 21= ∴ S △ABC =B ac A bc C ab sin 2 1 sin 21sin 21== 在等式两端同除以ABC,可得b B a A c C sin sin sin ==即C c B b A a sin sin sin ==. 3.向量法证明正弦定理 (1)△ABC 为锐角三角形,过点A 作单位向量j 垂直于AC ,则j 与AB 的夹角为90°-A ,j 与 CB 的夹角为90°-C 由向量的加法原则可得 AB CB AC =+ a b D A B C A B C D b a D C B A
微积分基本定理的证明
理学院 School of Sciences 微积分基本定理的证明 Proof of the fundamental theorem of calculus 学生姓名：张智 学生学号：201001164 所在班级：数学101 所在专业：数学与应用数学 指导老师：杨志林
摘要 微积分学这门学科在数学发展中的地位是十分重要的，自十七世纪以来，微积分不断完善成为一门学科。而微积分基本定理的则是微积分中最重要的定理，它的建立标志着微积分的完成，成为数学发展史的一个里程碑。因此就有了研究微积分基本定理的必要性。本文从十七世纪到二十世纪以来的科学家如巴罗、牛顿、莱布尼兹、柯西、黎曼、勒贝格等人对微积分基本定理的发展所作出的贡献展开论述。并论述了定理在微积分学理论发展中的应用。如换元公式、分部积分公式、Taylor中值定理的积分证明、连续函数的零点定理的证明，建立了微分中值定理与积分中值定理的联系，在一元函数和多元函数上的推广等等。最后给出定理的几个证明方法。 关键词：微积分基本定理，发展史，定理的应用，定理的证明
ABSTRACT Calculus the subject in the position of the development of mathematics is very important,since seventeenth Century,calculus constantly improved as a discipline.While the fundamental theorem of calculus is the most important theorems in calculus,which establishment marks the complete of the calculus, become a milepost of the development history of mathematics. So it is necessary to study the fundamental theorem of calculus. In this paper,since seventeenth Century to twentieth Century,launches the elaboration from scientists such as Barrow, Newton, Leibniz, Cauchy, Riemann, Lebesgue and others on made the contribution to the development of the fundamental theorem of calculus. And discusses the application of theorem in the development of the calculus theory.Such as the transform formula, integral formula of integration by parts, proof of the Taylor mean value theorem of continuous function, the zero point theorem proof, established the differential mean value theorem and the integral mean value theorem in contact,a unary function and multivariate function on the promotion and so on.Finally gave several proofs of the theorem. Keywords:Fundamental Theorem of Calculus,phylogeny,Application,Proof
高中数学相关定理及证明
高中数学相关定理、公式及结论证明 汉阴中学正弦定理证明 内容：在ABC ?中，c b a ,,分别为角C B A ,,的对边，则.sin sin sin C c B b A a == 证明： 1.利用三角形的高证明正弦定理 （1）当?ABC 是锐角三角形时，设边AB 上的高是CD ， 根据锐角三角函数的定义，有sin CD b A ==sin CD a B 。 由此，得 sin sin a b A B = ， 同理可得 sin sin c b C B = ， 故有 sin sin a b A B = sin c C = . 从而这个结论在锐角三角形中成立. （2）当?ABC 是钝角三角形时，过点C 作AB 边上的高， 交AB 的延长线于点D ，根据锐角三角函数的定义， 有=∠=∠sin sin CD a CBD a ABC ，sin CD b A = 。 由此，得 =∠sin sin a b A ABC ，同理可得 =∠sin sin c b C ABC 故有 = ∠sin sin a b A ABC sin c C = . （3）在ABC Rt ?中，,sin ,sin c b B c a A == ∴ c B b A a ==sin sin ， .1sin ,90=?=C C Θ.sin sin sin C c B b A a ==∴ 由(1)(2)（3）可知，在?ABC 中， sin sin a b A B = sin c C = 成立. 2.外接圆证明正弦定理 在△ABC 中,已知BC=a,AC=b,AB=c,作△ABC 的外接圆,O 为圆心, 连结BO 并延长交圆于B ′,设BB ′=2R.则根据直径所对的圆周 角是直角以及同弧所对的圆周角相等可以得到 ∠BAB ′=90°，∠C =∠B ′， ∴sin C =sin B ′=R c B C 2sin sin ='=. ∴R C c 2sin =. 同理,可得R B b R A a 2sin ,2sin ==.∴R C c B b A a 2sin sin sin ===. 3.向量法证明正弦定理 a b D A B C A B C D b a
2017考研：高数常考的四大定理证明
2017考研：高数常考的四大定理证明 一、求导公式的证明 2015年真题考了一个证明题：证明两个函数乘积的导数公式。几乎每位同学都对这个公式怎么用比较熟悉，而对它怎么来的较为陌生。实际上，从授课的角度，这种在2015年前从未考过的基本公式的证明，一般只会在基础阶段讲到。如果这个阶段的考生带着急功近利的心态只关注结论怎么用，而不关心结论怎么来的，那很可能从未认真思考过该公式的证明过程，进而在考场上变得很被动。这里给2017考研学子提个醒：要重视基础阶段的复习，那些真题中未考过的重要结论的证明，有可能考到，不要放过。 当然，该公式的证明并不难。先考虑f(x)*g(x)在点x0处的导数。函数在一点的导数自然用导数定义考察，可以按照导数定义写出一个极限式子。该极限为“0分之0”型，但不能用洛必达法则，因为分子的导数不好算(乘积的导数公式恰好是要证的，不能用!)。利用数学上常用的拼凑之法，加一项，减一项。这个“无中生有”的项要和前后都有联系，便于提公因子。之后分子的四项两两配对，除以分母后考虑极限，不难得出结果。再由x0的任意性，便得到了f(x)*g(x)在任意点的导数公式。 类似可考虑f(x)+g(x)，f(x)-g(x)，f(x)/g(x)的导数公式的证明。 二、微分中值定理的证明 这一部分内容比较丰富，包括费马引理、罗尔定理、拉格朗日定理、柯西定理和泰勒中值定理。除泰勒中值定理外，其它定理要求会证。 费马引理的条件有两个：1.f'(x0)存在2. f(x0)为f(x)的极值，结论为f'(x0)=0。考虑函数在一点的导数，用什么方法?自然想到导数定义。我们可以按照导数定义写出f'(x0)的极限形式。往下如何推理?关键要看第二个条件怎么用。“f(x0)为f(x)的极值”翻译成数学语言即f(x) -f(x0)<0(或>0)，对x0的某去心邻域成立。结合导数定义式中函数部分表达式，不难想到考虑函数部分的正负号。若能得出函数部分的符号，如何得到极限值的符号呢?极限的保号性是个桥梁。 费马引理中的“引理”包含着引出其它定理之意。那么它引出的定理就是我们下面要讨论的罗尔定理。若在微分中值定理这部分推举一个考频最高的，那罗尔定理当之无愧。该定理的条件和结论想必各位都比较熟悉。条件有三：“闭区间连续”、“开区间可导”和“端值相等”，结论是在开区间存在一点(即所谓的中值)，使得函数在该点的导数为0。该定理的证明不好理解，需认真体会：条件怎么用?如何和结论建立联系?当然，我们现在讨论该定理的证明是“马后炮”式的：已经有了证明过程，我们看看怎么去理解掌握。如果在罗尔生活的时代，证出该定理，那可是十足的创新，是要流芳百世的。 闲言少叙，言归正传。既然我们讨论费马引理的作用是要引出罗尔定理，那么罗尔定理的证明过程中就要用到费马引理。我们对比这两个定理的结论，不难发现是一致的：都是函数在一点的导数为0。话说到这，可能有同
高中数学证明公式
高中数学证明公式数学公式 抛物线：y = ax *+ bx + c 就是y等于ax 的平方加上 bx再加上 c a > 0时开口向上 a < 0时开口向下 c = 0时抛物线经过原点 b = 0时抛物线对称轴为y轴 还有顶点式y = a(x+h)* + k 就是y等于a乘以(x+h)的平方+k -h是顶点坐标的x k是顶点坐标的y 一般用于求最大值与最小值 抛物线标准方程:y^2=2px 它表示抛物线的焦点在x的正半轴上,焦点坐标为(p/2,0) 准线方程为x=-p/2 由于抛物线的焦点可在任意半轴,故共有标准方程y^2=2px y^2=-2px x^2=2py x^2=-2py 圆：体积=4/3(pi)(r^3) 面积=(pi)(r^2) 周长=2(pi)r 圆的标准方程 (x-a)2+(y-b)2=r2 注：(a,b)是圆心坐标 圆的一般方程 x2+y2+Dx+Ey+F=0 注：D2+E2-4F>0 (一)椭圆周长计算公式 椭圆周长公式：L=2πb+4(a-b) 椭圆周长定理：椭圆的周长等于该椭圆短半轴长为半径的圆周长(2πb)加上四倍的该椭圆长半轴长(a)与短半轴长(b)的差。 (二)椭圆面积计算公式 椭圆面积公式：S=πab 椭圆面积定理：椭圆的面积等于圆周率(π)乘该椭圆长半轴长(a)与短半轴长(b)的乘积。 以上椭圆周长、面积公式中虽然没有出现椭圆周率T，但这两个公式都是通过椭圆周率T推导演变而来。常数为体，公式为用。 椭圆形物体体积计算公式椭圆的长半径*短半径*PAI*高 三角函数： 两角和公式 sin(A+B)=sinAcosB+cosAsinB sin(A-B)=sinAcosB-sinBcosA cos(A+B)=cosAcosB-sinAsinB cos(A-B)=cosAcosB+sinAsinB tan(A+B)=(tanA+tanB)/(1-tanAtanB) tan(A-B)=(tanA-tanB)/(1+tanAtanB) cot(A+B)=(cotAcotB-1)/(cotB+cotA) cot(A-B)=(cotAcotB+1)/(cotB-cotA) 倍角公式 tan2A=2tanA/(1-tan2A) cot2A=(cot2A-1)/2cota cos2a=cos2a-sin2a=2cos2a-1=1-2sin2a sinα+sin(α+2π/n)+sin(α+2π*2/n)+sin(α+2π*3/n)+……+sin[α+2π*(n-1)/n]=0 cosα+cos(α+2π/n)+cos(α+2π*2/n)+cos(α+2π*3/n)+……+cos[α+2π*(n-1)/n]=0 以及 sin^2(α)+sin^2(α-2π/3)+sin^2(α+2π/3)=3/2 tanAtanBtan(A+B)+tanA+tanB-tan(A+B)=0 ·万能公式： sinα=2tan(α/2)/[1+tan^2(α/2)] cosα=[1-tan^2(α/2)]/[1+tan^2(α/2)] tanα=2tan(α/2)/[1-tan^2(α/2)] 半角公式
高等数学公式定理整理
高等数学公式定理整理 1.01版 本定理，公式整理仅用于参考，具体学习请多做题目以增进对知识的掌握。 蓝色为定理 红色为公式 三角函数恒等公式： 两角和差 tan αanα·ta +tan βanβ)-(tan α=β)-tan(αtan αanα·ta -(1tan βa +(tan α= β)+tan(αcos αosα·s ±sin αinα·c =β)±sin(αsin αinα·s +cos αosα·c =β)-cos(αβsin αsin βcos αcos )βαcos(?-?=+ 和差化积 ] 2 β) -(α]sin[2β)+(α-2sin[=cos β-cos α]2β) -(α]cos[2β)+(α2cos[=cos β+cos α] 2β) -(α]sin[2β)+(α2cos[=sin β-sin α] 2β)-(α]cos[2β)+(α2sin[=sin β+sin α
积化和差 β)] -cos(α-β)+[cos(α2 1 -=sin αinα·s β)]-cos(α+β)+[cos(α21 =cos αosα·c β)] -sin(α-β)+[sin(α21 =cos αosα·s β)] -sin(α+β)+[sin(α21 =sin αinα·c 倍角公式（部分）：很重要！ α tan -1α tan 2= tan2αα2sin -1=1-α2cos =αsin -αcos =α2cos cot αo +(tan α2 = 2sin αsinα·=sin2α22222 一、函数 函数的特性： 1.有界性： 假设函数在D 上有定义，如果存在正数M ，使得对于任何的x ∈D 都满足|f(x)|≤M 。则称f （x ）是D 的有界函数。 如果正数M 不存在，则称这个函数是D 上的无界函数。 2.单调性 设f （x ）的定义域为D ，区间I D 。X1，x2∈I ，那么，如果x1
(经典)高中数学正弦定理的五种最全证明方法
(经典)高中数学正弦定理的五种最全证明方法
高中数学正弦定理的五种证明方法 ——王彦文 青铜峡一中 1.利用三角形的高证明正弦定理 （1）当?ABC 是锐角三角形时，设边AB 上的高是CD ，根据锐角三角函数的定义，有=sin CD a B ,sin CD b A =。 由此，得 sin sin a b A B = ，同理可得 sin sin c b C B = ， 故有 sin sin a b A B = sin c C = .从而这个结论在锐角三角形中成立. （2）当?ABC 是钝角三角形时，过点C 作AB 边上的高，交AB 的延长线于点D ，根据锐角三角函数的定义，有=∠=∠sin sin CD a CBD a ABC ，sin CD b A = 。由此，得 = ∠sin sin a b A ABC ，同理可得 = ∠sin sin c b C ABC 故有 = ∠sin sin a b A ABC sin c C = . 由(1)(2)可知，在?ABC 中， sin sin a b A B = sin c C = 成立. 从而得到：在一个三角形中，各边和它所对角的正弦的比值相等，即 sin sin a b A B = sin c C = . 2.利用三角形面积证明正弦定理 已知△ABC,设BC ＝a, CA ＝b,AB ＝c,作AD⊥BC,垂足为 D.则Rt△ADB 中,AB AD B =sin ,∴AD=AB·sinB=csinB. ∴S △ABC =B ac AD a sin 2121=?.同理,可证 S △ABC =A bc C ab sin 21 sin 21=. ∴ S △ABC =B ac A bc C ab sin 2 1 sin 21sin 21==.∴absinc=bcsinA=acsinB, 在等式两端同除以ABC,可得b B a A c C sin sin sin ==.即C c B b A a sin sin sin ==. 3.向量法证明正弦定理 (1)△ABC 为锐角三角形,过点A 作单位向量j 垂直于AC ,则j 与AB 的夹角为90°-A ,j 与 CB 的夹角为90°-C .由向量的加法原则可得 AB CB AC =+, a b D A B C B C D b a D C B A
高等数学-中值定理证明
第三章中值定理证明
1.闭区间上连续函数定理① ② ③ ④ 2.微分中值定理 ① ② ③ ④ 3.积分中值定理 ① ② 不等式证明思路 ①构造函数（利用极值） ②拉格朗日中值定理 ③函数凹凸性定义
1.若()f x 在[,]a b 上连续，在(,)a b 上可导，()()0f a f b ==，证明：R λ?∈， (,)a b ξ?∈使得：()()0 f f ξλξ'+=2.设,0a b >，证明：(,)a b ξ?∈，使得(1)() b a ae be e a b ξξ-=--3.设()f x 在(0,1)内有二阶导数，且(1)0f =，有2()()F x x f x =证明：在(0,1)内至少存在一点ξ，使得：()0 F ξ''=4.设)(x f 在[0，2a]上连续，)2()0(a f f =，证明在[0,a]上存在ξ使得 )()(ξξf a f =+.
5.若)(x f 在]1,0[上可导，且当]1,0[∈x 时有1)(0< 定义（定积分） 设函数f (x )是定义在闭区间[a ，b ]上的连续函数，用n + 1个分点 a = x 0 < x 1 < x 2 < … < x n – 1 < x n = b 把闭区间[a ，b ]划分成n 个小区间 [x 0，x 1]，[x 1，x 2]，…，[x i – 1，x i ]，…，[x n – 1，x n ] 记各小区间[x i – 1，x i ]（i = 1，2，…，n ）的长度为Δx i = x i - x i – 1，在各小区间[x i – 1，x i ]内任取一点ξi ，取函数值f (ξi )与小区间长度Δx i 的乘积f (ξi )Δx i ，作和式 n n i i n i i i x f x f x f x f x f Δ)(Δ)(Δ)(Δ)(Δ)(22111ξξξξξ+++++=∑= 称为函数f (x )在区间[a ，b ]上的积分和。记各小区间的最大长度为d = max{Δx i }，如果对于区间 [a ，b ]任意的划分和点ξi 在[x i – 1，x i ]上的任意取法，当d → 0时，积分和的极限存在，则称此极限为函数f (x )在区间[a ，b ]上的定积分，简称积分，记为 ∑?=→=n i i i d b a x x f x x f 10Δ)(lim d )( 其中?为积分号，[a ， b ]称为积分区间，f (x )称为被积函数，x 称为积分变量，a 称为积分下限，b 称为积分上限。如果函数f (x )在区间[a ，b ]上的积分存在，则称f (x )在[a ，b ]上可积。 上述定义中的积分限要求a < b ，实际上这个限制可以解除，补充两条规定： （1）当a = b 时，规定0d )(=?a a x x f ； （2）当a > b 时，规定??-=a b b a x x f x x f d )(d )(。 可以看出，这两条规定是合理的，其中第一条规定也可以根据第二条推出。 定理1（可积的必要条件） 如果函数f (x )在闭区间[a ，b ]上的可积，则f (x )在[a ，b ]上有界。 定理2（可积的充分条件） 1．如果函数f (x )在闭区间[a ，b ]上的连续，则f (x )在[a ，b ]上可积。 2．如果函数f (x )在闭区间[a ，b ]上的单调，则f (x )在[a ，b ]上可积。 3．如果在闭区间[a ，b ]内除去有限个不连续点外，函数f (x )有界，则f (x )在[a ，b ]上可积。 引理（微分中值定理） 设函数f (x )在闭区间[a ，b ]内连续，在开区间(a ，b )内可导，则至少存在一点ξ∈(a ，b )，成立等式 f (b ) ? f (a ) = f'(ξ)(b ? a ) 以上结论称为微分中值定理，等式称为微分中值公式。 设函数f (x )在闭区间[a ，b ]内连续，则可以证明f (x )在[a ，b ]上可积，于是存在新的函数F (x )，成立微分关系F'(x ) = f (x )或d F (x ) = f (x )d x ，则称F (x )为f (x )的一个原函数。试利用微分中值定理和定积分的定义证明微积分基本公式 )()()(d )(a F b F x F x x f b a b a -==? 这个公式又称为牛顿-莱布尼茨公式。 证明： 1三角函数的定义证明. 已知锐角△ABC中，AB=c，AC=b,BC=a，利用三角函数的定义证明：c=acosB+bcosA解：作CD⊥AB于点D 在Rt△BCD中，由cosB=BD/BC，得BD=acosB,在Rt△ACD中，由cosA=AD/AC，得AD=bcosA，所以c=AB=BD+AD=acosB+bcosA 逐步提示： 1、根据待证明的条件中存在三角函数，而题目本身图形为锐角三角形，所以要在原图形中通过添加辅助线来构造直角三角形。 2、根据求【c的表达式，既是求AB的三角函数表达式】，因此添加辅助线时考虑【将AB 线段变为直角三角形的边】，可以作【CD⊥AB 于点D，】接下来考虑如何在在直角三角形中利用直角三角形三角函数来求解边角关系。 3、接下来分别在Rt△ACD和Rt△BCD中利用三角函数来表示AD的长度向待证靠近 2点P为△ABC内任意一点，求证点P到△ABC距离和为定值点P为△ABC外时,上述结论是否成立,若成立，请证明。若不成立h1,h2,h3与上述定值间有何关系【设点p 到AB,BC,CA三边距离为h1,h2,h3】 证明：连接ＰＡ、ＰＢ、ＰＣ，过Ｃ作ＡＢ上的高ＡＤ，交ＡＢ于Ｇ。 过Ｐ作ＡＢ、ＢＣ、ＣＡ的重线交ＡＢ、ＢＣ、ＣＡ于Ｄ、Ｅ、Ｆ 三角形ＡＢＣ面积＝ＡＢ＊ＣＧ／２ 三角形ＡＢＣ面积＝三角形ＡＢＰ＋ＢＣＰ＋ＣＡＰ面积 ＝AB*PD/2+BC*PE/2+CA*PF/2 =AB(PD+PE+PF)/2 故：AB*CG/2=AB*(PD+PE+PF)/2 CG=PD+PE+PF 即：点P到△ABC距离和为三角形的高，是定值。 （２） 若Ｐ在三角形外，不妨设h1>h3,h2>h3，则有： h1+h2-h3=三角形边上的高 3棱长为的正四面体内任意一点到各面距离之和为定值，则这个定值等于多少？ 简证如下： 设Ｍ为正四面体Ｐ-ＡＢＣ内任一点， Ｍ到面ＡＢＣ，面ＰＡＢ，面ＰＡＣ，面ＰＢＣ的距离分别为ｈ1，ｈ2，ｈ3，ｈ4． 由于四个面面积相等， 则ＶＰ-ＡＢＣ＝ＶＭ-ＡＢＣ＋ＶＭ-ＰＡＢ＋ＶＭ-ＰＡＣ＋ＶＭ-ＰＢＣ 高等数学公式 导数公式： 基本积分表： 三角函数的有理式积分： 一些初等函数： 两个重要极限： 三角函数公式： ·诱导公式： 函数 sin cos tg ctg 角A -α-sinαcosα-tgα-ctgα 90°-αcosαsinαctgαtgα 90°+αcosα-sinα-ctgα-tgα 180°-αsinα-cosα-tgα-ctgα 180°+α-sinα-cosαtgαctgα 270°-α-cosα-sinαctgαtgα 270°+α-cosαsinα-ctgα-tgα 360°-α-sinαcosα-tgα-ctgα 360°+αsinαcosαtgαctgα·和差角公式： ·和差化积公式： ·倍角公式： ·半角公式： ·正弦定理：·余弦定理： ·反三角函数性质： 高阶导数公式——莱布尼兹（Leibniz）公式：中值定理与导数应用： 曲率： 定积分的近似计算： 定积分应用相关公式： 空间解析几何和向量代数： 多元函数微分法及应用 微分法在几何上的应用： 方向导数与梯度： 多元函数的极值及其求法： 重积分及其应用： 柱面坐标和球面坐标： 曲线积分： 曲面积分： 高斯公式： 斯托克斯公式——曲线积分与曲面积分的关系：常数项级数： 级数审敛法： 绝对收敛与条件收敛： 幂级数： 函数展开成幂级数： 一些函数展开成幂级数： 欧拉公式： 三角级数： 傅立叶级数： 周期为的周期函数的傅立叶级数： 微分方程的相关概念： 一阶线性微分方程： 全微分方程： 二阶微分方程： 二阶常系数齐次线性微分方程及其解法： (*)式的通解 两个不相等实根 两个相等实根 一对共轭复根 高等数学定理大全 第一章 函数与极限 1、函数的有界性在定义域内有f(x)≥K1则函数f(x)在定义域上有下界，K1为下界；如果有f(x)≤K2，则有上界，K2称为上界。函数f(x)在定义域内有界的充分必要条件是在定义域内既有上界又有下界。 2、数列的极限定理(极限的唯一*)数列{xn}不能同时收敛于两个不同的极限。 定理(收敛数列的有界*)如果数列{xn}收敛，那么数列{xn}一定有 Gerrald 加油坚持住 Gerrald 加油坚持住 Gerrald 加油坚持住 莫利定理：将任意三角形的各角三等分，则每两个角的相邻三等分线的交点构成 一个正三角形。 設△ABC中的∠B,∠C的两条三等分角线分別交于P, D两个点（图1），按照莫利定理，D是莫莱三角形的一個頂点，当然D就是△BPC的內心，因為BD, CD正好是∠CBP, ∠BCP的角平分线。 莫利三角形的另两个頂点E, F应该分別落在CP和BP上，因此我们产生了一个念头，如果能夠在CP, BP上找到E, F这两个点，使△DEF是个正三角形，再证AE、AF正好是∠BAC的三等分线就行了 为此，先把DP连起來，在CP, BP上分別取两点E, F使∠EDP＝∠FDP＝30°,于是就得到一个三角形△DEF。为什么它是一个正三角形呢？因为D是△BPC的內心，所以DP是∠BPC的角平分线，即∠DPE＝∠DPF，由作图知∠EDP＝∠FDP ＝30°,在△DPE和△DPF中，DP是公共边，而夹此边的两角又是对应相等的，所以△DPE≌△DPF。于是DE＝DF,即△DEF是个等腰三角形，它的腰是DE和DF，而它的頂角又是60°，所以它当然是个正三角形。 接下來，我们的目标就是希望能证明△DEF真的是莫利三角形，亦即AE, AF 的确会三等分∠BAC。 如图2所示，在AB, AC上各取一点G,H,使得BG＝BD, CH＝CD，把G、F、E、H各点依次连起來，根据△BFD≌△BFG，△CED≌△CEH，我们就得到GF ＝FD＝FE＝ED＝EH。 下面，如果能夠证明G,F,E,H，A五点共圆，則定理的证明就完成了，因为∠GAF,∠FAE,∠EAH这三个圆周角所对的弦GF, FE, EH都等長，因而这三个圆周角也就都相等了。 为了证明G,H,E,F，A共圓，必须证明∠FGE＝∠FHE＝∠A/3。 看图2，首先我们注意到△GFE是个等腰三角形，∠GFE是它的顶角，如果这个角能求出來，其底角∠FGE也就能求出来了。 △PFE也是一个等腰三角形，这是因为△PDF≌△PDE，（PD是公用边，∠DPF＝∠DPE，∠PDF＝∠PDE＝30°），所以PF=PE。等腰三角形△PFE的顶角大小为： ∠FPE=π-2/3（∠ABC+∠ACB）=π-2/3（π-∠BAC）=π/3+2/3∠BAC (1) ∠BFD=∠PDF+∠DPF=π/6+1/2∠FPE=π/6+π/6+1/3∠BAC=π/3+1/3∠BAC (2) ∠GFE=2π-∠EFD-2∠BFD=2π-π/3-2π/3-2∠BAC/3=π-2/3∠BAC (3) 最后得到：∠FGE=∠FEG=1/2(π-∠GFE)=1/3∠BAC...（4）同理可证：∠FHE=∠HFE=1/3∠BAC (5) 至此可知G,H,E,F，A五点共圓。 因GF=FE=EH，所以∠GAF=∠FAE=∠EAH=1/3∠BAC (6) 即AE和AF恰好是∠BAC的三等分线，所以△DEF是莫利三角形。 AB是圆的一条弦，中点记为S，圆心为O，过S作任意两条弦CD、EF，分别交圆于C、D、E、F，连接CF,ED分别交AB于点M、N，求证：MS=NS。 1 高中数学常用公式与证明专题 本专题由北京大学教材研究所审定 依据《普通高中课程标准》编写 1.不等式的基本性质： （1）对称性：b a >?a b < （2）传递性：b a >，c b >?c a > （3）可加性：b a >?c b c a +>+ （4）加法：b a >，d c >?d b c a +>+ （5）保号性：b a >，0>c ?bc ac >；0 高中数学定理证明 高中数学定理证明数学公式 抛物线：y = ax *+ bx + c 就是y等于ax 的平方加上bx再加上c a > 0时开口向上 a c = 0时抛物线经过原点 b = 0时抛物线对称轴为y轴 还有顶点式y = a(x+h)* + k 就是y等于a乘以(x+h)的平方+k -h是顶点坐标的x k是顶点坐标的y 一般用于求最大值与最小值 抛物线标准方程:y^2=2px 它表示抛物线的焦点在x的正半轴上,焦点坐标为(p/2,0) 准线方程为x=-p/2 由于抛物线的焦点可在任意半轴,故共有标准方程y^2=2px y^2=-2px x^2=2py x^2=-2py 圆：体积=4/3(pi)(r^3) 面积=(pi)(r^2) 周长=2(pi)r 圆的标准方程(x-a)2+(y-b)2=r2 注：(a,b)是圆心坐标 圆的一般方程x2+y2+Dx+Ey+F=0 注：D2+E2-4F>0 (一)椭圆周长计算公式 椭圆周长公式：L=2πb+4(a-b) 椭圆周长定理：椭圆的周长等于该椭圆短半轴长为半径的圆周长(2π b)加上四倍的该椭圆长半轴长(a)与短半轴长(b)的差。 (二)椭圆面积计算公式 椭圆面积公式：S=πab 椭圆面积定理：椭圆的面积等于圆周率(π)乘该椭圆长半轴长(a)与短半轴长(b)的乘积。 以上椭圆周长、面积公式中虽然没有出现椭圆周率T，但这两个公式都是通过椭圆周率T推导演变而来。常数为体，公式为用。 椭圆形物体体积计算公式椭圆的长半径*短半径*PAI*高 三角函数： 两角和公式 sin(A+B)=sinAcosB+cosAsinB sin(A-B)=sinAcosB-sinBcosA cos(A+B)=cosAcosB-sinAsinB cos(A-B)=cosAcosB+sinAsinB tan(A+B)=(tanA+tanB)/(1-tanAtanB) tan(A-B)=(tanA-tanB)/(1+tanAtanB) cot(A+B)=(cotAcotB-1)/(cotB+cotA) cot(A-B)=(cotAcotB+1)/(cotB-cotA) 倍角公式 tan2A=2tanA/(1-tan2A) cot2A=(cot2A-1)/2cota证明微积分基本公式
高中数学基本定理证明
高等数学公式、定理 最全版
高中数学竞赛平面几何定理证明大全
高中数学常用公式与证明专题
高中数学定理证明