和角正弦公式的无字证明

基本初等函数的导数公式的推导过程

基本初等函数的导数公 式的推导过程 Document serial number【UU89WT-UU98YT-UU8CB-UUUT-UUT108】

基本初等函数的导数公式推导过程 一、幂函数()f x x α=（α∈Q *）的导数公式推导过程 命题 若()f x x α=（α∈Q *），则()1f x x αα-'=． 推导过程 ()f x ' ()()()()()()000112220011222011222011220 lim lim C C C C lim C C C C lim C C C lim lim C C C x x x x x x f x x f x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x αα αααααα ααααααααααααααααααα αααααα?→?→--?→--?→--?→--?→+?-=?+?-=?+?+?++?-=?-+?+?++?=??+?++?=?=+?++()1111 C x x x ααααα αα---?== 所以原命题得证．

命题 若()sin f x x =，则()cos f x x '=． 推导过程 ()f x ' ()() ()()()()0000020lim sin sin lim sin cos cos sin sin lim cos sin sin cos sin lim cos sin sin cos 1lim cos 2sin cos sin 12sin 1222lim x x x x x x f x x f x x x x x x x x x x x x x x x x x x x x x x x x x x x x ?→?→?→?→?→?→+?-=?+?-=??+?-=??+?-=??+?-=???????????+?-- ? ????????=2 00002sin cos cos 2sin sin 222lim 2sin cos cos sin sin 222lim 2sin cos 22lim sin 2lim cos 22x x x x x x x x x x x x x x x x x x x x x x x x x ?→?→?→?→????????- ???=???????- ???=?????+ ???=?????????=+??? ???????? 当0x ?→时，sin 22 x x ??=，所以此时sin 212x x ?=?． 所以()0lim cos cos 2x x f x x x ?→???'=+= ??? ，所以原命题得证．

(推荐)高中数学证明公式

高中数学证明公式数学公式 抛物线：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)]

反角函数求导公式的证明

反三角函数求导公式的证明 §2.3 反函数的导数，复合函数的求导法则 一、反函数的导数 设)(y x ?=是直接函数，)(x f y =是它的反函数，假定)(y x ?=在I y 内单调、可 导，而且0)(≠'y ?，则反函数)(x f y =在间},)(|{y x I y y x x I ∈==?内也是单调、可 导的，而且 )(1 )(y x f ?'=' (1) 证明： ?∈x I x ，给x 以增量x ?),0(x I x x x ∈?+≠? 由 )(x f y = 在 I x 上的单调性可知 0)()(≠-?+=?x f x x f y 于是 y x x y ??=??1因直接函数)(y x ?=在I y 上单调、可导，故它是连续的，且反函数)(x f y =在I x 上也是连续的，当0→?x 时，必有0→?y )(11lim lim 00y y x x y y x ?'=??=??→?→?即：)(1)(y x f ?'=' 【例1】试证明下列基本导数公式 ().(arcsin )().()().(log )ln 11 1211312 2 x x arctgx x a x a x '=-'=+'=

证1、设y x sin =为直接函数，x y arcsin =是它的反函数 函数 y x sin =在 )2,2(ππ-=y I 上单调、可导，且 '=≠x y cos 0 因此，在 )1,1(-=x I 上， 有 y x cos 1)arcsin (= ' 注意到，当)2,2(π π-∈y 时，0cos >y ，221sin 1cos x y y -=-= 因此， 211)arcsin (x x -= ' 证2 设x tgy =，)2,2(ππ-=y I 则y arctgx =，I x =-∞+∞(,) tgy x = 在 I y 上单调、可导且 0cos 12>='y x 故 2221111cos )(1)(x y tg y tgy arctgx +=+=='= ' 证3 a x a a a a y y x ln 1ln 1)(1)log (=='= ' 类似地，我们可以证明下列导数公式：

(完整版)高中数学公式口诀大全

高中数学公式口诀大全 一、《集合与函数》 内容子交并补集，还有幂指对函数。性质奇偶与增减，观察图象最明显。复合函数式出现，性质乘法法则辨，若要详细证明它，还须将那定义抓。指数与对数函数，两者互为反函数。底数非1的正数，1两边增减变故。函数定义域好求。分母不能等于0，偶次方根须非负，零和负数无对数；正切函数角不直，余切函数角不平；其余函数实数集，多种情况求交集。两个互为反函数，单调性质都相同；图象互为轴对称，Y＝X是对称轴；求解非常有规律，反解换元定义域；反函数的定义域，原来函数的值域。幂函数性质易记，指数化既约分数；函数性质看指数，奇母奇子奇函数，奇母偶子偶函数，偶母非奇偶函数；图象第一象限内，函数增减看正负。 二、《三角函数》 三角函数是函数，象限符号坐标注。函数图象单位圆，周期奇偶增减现。同角关系很重要，化简证明都需要。正六边形顶点处，从上到下弦切割；中心记上数字1，连结顶点三角形；向下三角平方和，倒数关系是对角，顶点任庖缓扔诤竺媪礁Ｓ盏脊骄褪呛茫夯蟠蠡。?nbsp; 变成税角好查表，化简证明少不了。二的一半整数倍，奇数化余偶不变，将其后者视锐角，符号原来函数判。两角和的余弦值，化为单角好求值，余弦积减正弦积，换角变形众公式。和差化积须同名，互余角度变名称。计算证明角先行，注意结构函数名，保持基本量不变，繁难向着简易变。逆反原则作指导，升幂降次和差积。条件等式的证明，方程思想指路明。万能公式不一般，化为有理式居先。公式顺用和逆用，变形运用加巧用；1加余弦想余弦，1 减余弦想正弦，幂升一次角减半，升幂降次它为范；三角函数反函数，实质就是求角度，先求三角函数值，再判角取值范围；利用直角三角形，形象直观好换名，简单三角的方程，化为最简求解集； 三、《不等式》 解不等式的途径，利用函数的性质。对指无理不等式，化为有理不等式。高次向着低次代，步步转化要等价。数形之间互转化，帮助解答作用大。证不等式的方法，实数性质威力大。求差与0比大小，作商和1争高下。直接困难分析好，思路清晰综合法。非负常用基本式，正面难则反证法。还有重要不等式，以及数学归纳法。图形函数来帮助，画图建模构造法。 四、《数列》 等差等比两数列，通项公式N项和。两个有限求极限，四则运算顺序换。数列问题多变幻，方程化归整体算。数列求和比较难，错位相消巧转换，取长补短高斯法，裂项求和公式算。归纳思想非常好，编个程序好思考：一算二看三联想，猜测证明不可少。还有数学归纳法，证明步骤程序化：首先验证再假定，从 K向着K加1，推论过程须详尽，归纳原理来肯定。 五、《复数》 虚数单位i一出，数集扩大到复数。一个复数一对数，横纵坐标实虚部。对应复平面上点，原点与它连成箭。箭杆与X轴正向，所成便是辐角度。箭杆的长即是模，常将数形来结合。代数几何三角式，相互转化试一试。代数运算的实质，有i多项式运算。i的正整数次慕，四个数值周期现。一些重要的结论，熟记巧用得结果。虚实互化本领大，复数相等来转化。利用方程思想解，注意整体代换术。几何运算图上看，加法平行四边形，减法三角法则判；乘法除法的运算，逆向顺向做旋转，伸缩全年模长短。

函数导数公式及证明

函数导数公式及证明

复合函数导数公式

) ), ()0g x ≠' ''2 )()()()() ()()f x g x f x g x g x g x ?-=?? ())() x g x , 1．证明幂函数()a f x x =的导数为''1()()a a f x x ax -== 证： ' 00()()()()lim lim n n x x f x x f x x x x f x x x →→+-+-== 根据二项式定理展开()n x x + 011222110(...)lim n n n n n n n n n n n n n x C x C x x C x x C x x C x x x ----→+++++-= 消去0n n n C x x - 11222110...lim n n n n n n n n n n x C x x C x x C x x C x x ----→++++= 分式上下约去x 112211210 lim(...)n n n n n n n n n n x C x C x x C x x C x -----→=++++ 因0x →，上式去掉零项 111 n n n C x nx --== 12210()[()()...()]lim n n n n x x x x x x x x x x x x x x ----→+-+++++++=

12210 lim[()()...()]n n n n x x x x x x x x x x ----→=+++++++ 1221...n n n n x x x x x x ----=++++ 1n n x -= 2．证明指数函数()x f x a =的导数为'ln ()x x a a a = 证： ' 00()()()lim lim x x x x x f x x f x a a f x x x +→→+--== 0(1)lim x x x a a x →-= 令1x a m -=，则有log (1)a x m =-，代入上式 00(1)lim lim log (1)x x x x x a a a a m x m →→-==+ 1000 ln ln lim lim lim ln(1)1ln(1)ln(1)ln x x x x x x m a m a a a a m m m a m →→→===+++ 根据e 的定义1lim(1)x x e x →∞ =+ ，则1 0lim(1)m x m e →+=，于是 1 ln ln lim ln ln ln(1) x x x x m a a a a a a e m →===+ 3．证明对数函数()log a f x x =的导数为''1 ()(log )ln a f x x x a == 证： '0 0log ()log ()() ()lim lim a a x x x x x f x x f x f x x x →→+-+-== 00log log (1)ln(1) lim lim lim ln a a x x x x x x x x x x x x x a →→→+++===

高中数学课本中的定理公式结论的证明

数学课本中的定理、公式、结论的证明 数学必修一 第一章 集合（无） 第二章 函数（无） 第三章 指数函数和对数函数 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、平面与平面平行的判定定理 如果一个平面内有两条相交直线都平行于另一个平面，那么这两个平面平行．

海伦公式的推导和应用

海伦公式 海伦公式又译作希伦公式、海龙公式、公式、海伦－秦九韶公式，传说是古代的国王希伦（,也称海龙）二世发现的公式，利用三角形的三条边长来求取三角形面积。但根据Morris Kline在1908年出版的着作考证，这条公式其实是所发现，以托希伦二世的名发表（未查证）。我国宋代的数学家也提出了“三斜求积术”，它与海伦公式基本一样。 假设有一个三角形，边长分别为a、b、c，三角形的面积S可由以下公式求得： S=√[p(p-a)(p-b)(p-c)] 而公式里的p为半周长： p=(a+b+c)/2 —————————————————————————————————————————————— 注1：Metrica(《度量论》)手抄本中用s作为半周长，所以 S=√[p(p-a)(p-b)(p-c)] 和S=√[s(s-a)(s-b)(s-c)]两种写法都是可以的，但多用p作为半周长。 —————————————————————————————————————————————— 由于任何n边的多边形都可以分割成n-2个三角形，所以海伦公式可以用作求多边形面积的公式。比如说测量土地的面积的时候，不用测三角形的高，只需测两点间的距离，就可以方便地导出答案。 证明（1）： 与海伦在他的着作Metrica(《度量论》)中的原始证明不同，在此我们用三角公式和公式变形来证明。设三角形的三边a、b、c的对角分别为A、B、C，则为 cosC = (a^2+b^2-c^2)/2ab S=1/2*ab*sinC =1/2*ab*√(1-cos^2 C) =1/2*ab*√[1-(a^2+b^2-c^2)^2/4a^2*b^2] =1/4*√[4a^2*b^2-(a^2+b^2-c^2)^2] =1/4*√[(2ab+a^2+b^2-c^2)(2ab-a^2-b^2+c^2)] =1/4*√[(a+b)^2-c^2][c^2-(a-b)^2] =1/4*√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)] 设p=(a+b+c)/2 则p=(a+b+c)/2, p-a=(-a+b+c)/2, p-b=(a-b+c)/2,p-c=(a+b-c)/2, 上式=√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)/16] =√[p(p-a)(p-b)(p-c)] 所以，三角形ABC面积S=√[p(p-a)(p-b)(p-c)] ）：2证明（ 我国宋代的数学家秦九韶也提出了“三斜求积术”。它与海伦公式基本一样，其实在《》中，已经有求三角形公式“底乘高的一半”，在实际丈量土地面积时，由于土地的面积并不是的三角形，要找出它来并非易事。所以他们想到了三角形的三条边。如果这样做求三角形的面积也就方便多了。但是怎样根据三边的长度来求三角形的面积？直到南宋，我国着名的数学家九韶提出了“三斜求积术”。 秦九韶他把三角形的三条边分别称为小斜、中斜和大斜。“术”即方法。三斜求积术就是用小斜平方加上

反三角函数求导公式证明

§ 反函数的导数，复合函数的求导法则 一、反函数的导数 设)(y x ?=是直接函数，)(x f y =是它的反函数，假定)(y x ?=在I y 内单调、可导，而且0)(≠'y ?，则反函数)(x f y =在间 },)(|{y x I y y x x I ∈==?内也是单调、可导的，而且 )(1 )(y x f ?'=' (1) 证明： ?∈x I x ，给x 以增量x ?),0(x I x x x ∈?+≠? 由 )(x f y = 在 I x 上的单调性可知 0)()(≠-?+=?x f x x f y 于是 y x x y ??=??1因直接函数)(y x ?=在I y 上单调、可导，故它是连续的，且反函数)(x f y =在I x 上也是连续的，当0→?x 时，必有0→?y )(11lim lim 00y y x x y y x ?'=??=??→?→?即：)(1)(y x f ?'=' 【例1】试证明下列基本导数公式 ().(arcsin )().()().(log )ln 11 1211312 2 x x arctgx x a x a x '=-'=+'= 证1、设y x sin =为直接函数，x y arcsin =是它的反函数 函数 y x sin =在 )2,2(ππ-=y I 上单调、可导，且 '=≠x y cos 0 因此，在 )1,1(-=x I 上， 有 y x cos 1)arcsin (= ' 注意到，当)2,2(ππ-∈y 时，0cos >y ，221sin 1cos x y y -=-= 因此， 211)arcsin (x x -= ' 证2 设x tgy =，)2,2(ππ-=y I 则y arctgx =，I x =-∞+∞(,) tgy x = 在 I y 上单调、可导且 0cos 12>='y x 故 2221111cos )(1)(x y tg y tgy arctgx +=+=='= ' 证3 a x a a a a y y x ln 1ln 1)(1)log (=='= '

(完整版)考研数学公式推导

积化和差 积化和差，指初等数学三角函数部分的一组恒等式。 公式 sinαsinβ=-[cos(α+β)-cos(α-β)]/2（注意此公式前的负号） cosαcosβ=[cos(α+β)+cos(α-β)]/2 sinαcosβ=[sin(α+β)+sin(α-β)]/2 cosαsinβ=[sin(α+β)-sin(α-β)]/2 证明 积化和差恒等式可以通过展开角的和差恒等式的右手端来证明。 即只需要把等式右边用两角和差公式拆开就能证明： sinαsinβ=-1/2[cos(α+β)-cos(α-β)] =-1/2[(cosαcosβ-sinαsinβ)-(cosαcosβ+sinαsinβ)] =-1/2[-2sinαsinβ] 其他的3个式子也是相同的证明方法。 作用 积化和差公式可以将两个三角函数值的积化为另两个三角函数值的和乘以常数的形式，所以使用积化和差公式可以达到降次的效果。 在历史上，对数出现之前，积化和差公式被用来将乘除运算化为加减运算，运算需要利用三角函数表。 运算过程：将两个数通过乘、除10的方幂化为0到1之间的数，通过查表求出对应的反三角函数值，即将原式化为10^k*sinαsinβ的形式，套用积化和差后再次查表求三角函数的值，并最后利用加减算出结果。 对数出现后，积化和差公式的这个作用由更加便捷的对数取代。 和差化积 正弦、余弦的和差化积 指高中数学三角函数部分的一组恒等式 sin α+sin β=2sin[(α+β)/2]·cos[(α-β)/2] sin α-sin β=2cos[(α+β)/2]·sin[(α-β)/2] cos α+cos β=2cos[(α+β)/2]·cos[(α-β)/2] cos α-cos β=-2sin[(α+β)/2]·sin[(α-β)/2] 以上四组公式可以由积化和差公式推导得到 证明过程 sin α+sin β=2sin[(α+β)/2]·cos[(α-β)/2]的证明过程 因为 sin(α+β)=sin αcos β+cos αsin β，

高中数学必修3海伦公式的证明方法

高中数学必修3海伦公式的证明方法 海伦公式的证明⑴ 与海伦在他的著作"Metrica"(《度量论》)中的原始证明不同，在此我们用三角公式和公式变形来证明。设三角形的三边a、b、c 的对角分别为A、B、C，则余弦定理为[1] cosC=(a^2+b^2-c^2)/2ab S=1/2*ab*sinC =1/2*ab*√(1-cos^2C) =1/2*ab*√[1-(a^2+b^2-c^2)^2/4a^2*b^2] =1/4*√[4a^2*b^2-(a^2+b^2-c^2)^2] =1/4*√[(2ab+a^2+b^2-c^2)(2ab-a^2-b^2+c^2)] =1/4*√[(a+b)^2-c^2][c^2-(a-b)^2] =1/4*√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)] 设p=(a+b+c)/2 则p=(a+b+c)/2,p-a=(-a+b+c)/2,p-b=(a-b+c)/2,p-c=(a+b- c)/2, 上式=√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)/16] =√[p(p-a)(p-b)(p-c)] 所以，三角形ABC面积S=√[p(p-a)(p-b)(p-c)] 海伦公式的证明⑵ 中国宋代的数学家秦九韶也提出了“三斜求积术”。它与海伦公式基本一样，其实在《九章算术》中，已经有求三角形公式“底乘高的一半”，在实际丈量土地面积时，由于土地的面积并不是三角

形，要找出它来并非易事。所以他们想到了三角形的三条边。如果 这样做求三角形的面积也就方便多了。但是怎样根据三边的长度来 求三角形的面积?直到南宋，中国著名的数学家秦九韶提出了“三斜 求积术”。 秦九韶他把三角形的三条边分别称为小斜、中斜和大斜。“术”即方法。三斜求积术就是用小斜平方加上大斜平方，送到中斜平方，取相减后余数的一半，自乘而得一个数，小斜平方乘以大斜平方， 送到上面得到的那个。相减后余数被4除，所得的数作为“实”， 作1作为“隅”，开平方后即得面积。 所谓“实”、“隅”指的是，在方程px2=q,p为“隅”，q为“实”。以△、a,b,c表示三角形面积、大斜、中斜、小斜，所以 q=1/4{a^2*c^2-[(a^2+c^2-b^2)/2]^2} 当P=1时，△2=q, △=√1/4{a^2*c^2-[(a^2+c^2-b^2)/2]^2} 因式分解得 △^2=1/4[4a^2c^2-(a^2+c^2-b^2)^2] =1/4[(c+a)^2-b^2][b^2-(c-a)^2] =1/4(c+a+b)(c+a-b)(b+c-a)(b-c+a) =1/4(c+a+b)(a+b+c-2b)(b+c+a-2a)(b+a+c-2c) =1/4[2p(2p-2a)(2p-2b)(2p-2c)] =p(p-a)(p-b)(p-c) 由此可得： S△=√[p(p-a)(p-b)(p-c)] 其中p=1/2(a+b+c)

基本初等函数的导数公式的推导过程

基本初等函数的导数公式推导过程 一、幂函数()f x x α=（α∈Q *）的导数公式推导过程 命题 若()f x x α=（α∈Q *），则()1f x x αα-'=． 推导过程 ()f x ' ()()()()()()000112220 011222011222011220 lim lim C C C C lim C C C C lim C C C lim lim C C C x x x x x x f x x f x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x αα αααααααααααααααααααααααα ααααααα?→?→--?→--?→--?→--?→+?-=?+?-=?+?+?++?-=?-+?+?++?=??+?++?=?=+?++L L L L ()11 11 C x x x ααααααα---?== 所以原命题得证． 二、正弦函数()sin f x x =的导数公式推导过程 命题

推导过程 ()f x ' ()() ()()()()0000020lim sin sin lim sin cos cos sin sin lim cos sin sin cos sin lim cos sin sin cos 1lim cos 2sin cos sin 12sin 1222lim x x x x x x f x x f x x x x x x x x x x x x x x x x x x x x x x x x x x x x ?→?→?→?→?→?→+?-=?+?-=??+?-=??+?-=??+?-=???????????+?-- ? ????????=2 00002sin cos cos 2sin sin 222lim 2sin cos cos sin sin 222lim 2sin cos 22lim sin 2lim cos 22x x x x x x x x x x x x x x x x x x x x x x x x x ?→?→?→?→????????- ???=???????- ???=?????+ ???=?????????=+??? ???????? 当0x ?→时，sin 22 x x ??=，所以此时sin 212x x ?=?． 所以()0lim cos cos 2x x f x x x ?→???'=+= ??? ，所以原命题得证． 三、余弦函数()cos f x x =的导数公式推导过程 命题

构造函数法证明导数不等式的八种方法

构造函数法证明不等式的八种方法 1、利用导数研究函数的单调性极值和最值，再由单调性来证明不等式是函数、导数、不等式综合中的一个难点，也是近几年高考的热点。 2、解题技巧是构造辅助函数，把不等式的证明转化为利用导数研究函数的单调性或求最值，从而证得不等式，而如何根据不等式的结构特征构造一个可导函数是用导数证明不等式的关键。 以下介绍构造函数法证明不等式的八种方法： 一、移项法构造函数 【例1】 已知函数x x x f -+=)1ln()(，求证：当1->x 时，恒有 x x x ≤+≤+-)1ln(1 11 分析：本题是双边不等式，其右边直接从已知函数证明，左边构造函数 11 1)1ln()(-++ +=x x x g ，从其导数入手即可证明。 【解】1111)(+-=-+='x x x x f ∴当01<<-x 时，0)(>'x f ，即)(x f 在)0,1(-∈x 上为增函数 当0>x 时，0)(<'x f ，即)(x f 在),0(+∞∈x 上为减函数 故函数()f x 的单调递增区间为)0,1(-，单调递减区间),0(+∞ 于是函数()f x 在),1(+∞-上的最大值为0)0()(max ==f x f ，因此，当1->x 时，0)0()(=≤f x f ，即0)1ln(≤-+x x ∴x x ≤+)1ln( （右面得证）， 现证左面，令111)1ln()(-+++=x x x g ， 22) 1()1(111)(+=+-+='x x x x x g 则 当0)(,),0(;0)(,)0,1(>'+∞∈<'-∈x g x x g x 时当时 ， 即)(x g 在)0,1(-∈x 上为减函数，在),0(+∞∈x 上为增函数， 故函数)(x g 在),1(+∞-上的最小值为0)0()(min ==g x g ， ∴当1->x 时，0)0()(=≥g x g ，即011 1)1ln(≥-++ +x x ∴111)1ln(+-≥+x x ，综上可知，当x x x x ≤+≤-+->)1ln(11 1,1有时 【警示启迪】如果()f a 是函数()f x 在区间上的最大（小）值，则有()f x ≤()f a （或()f x ≥()f a ）， 那么要证不等式，只要求函数的最大值不超过0就可得证． 2、作差法构造函数证明 【例2】已知函数.ln 21)(2x x x f += 求证：在区间),1(∞+上，函数)(x f 的图象在函数33 2)(x x g =的图象的下方；

导数公式证明大全(更新版)

（麻烦那些盗取他人成果的人素质点，最近总有人把我的作品抄袭过去，改改标题就作为他的东西。愤怒啊！！！！！！） 导数的定义：f'(x)=lim Δy/Δx Δx→0（下面就不再标明Δx→0了） 用定义求导数公式 （1）f(x)=x^n 证法一：（n为自然数） f'(x) =lim [(x+Δx)^n-x^n]/Δx =lim (x+Δx-x)[(x+Δx)^(n-1)+x*(x+Δ x)^(n-2)+...+x^(n-2)*(x+Δx)+x^(n-1)]/Δx =lim [(x+Δx)^(n-1)+x*(x+Δx)^(n-2)+...+x^(n-2)*(x+Δ x)+x^(n-1)] =x^(n-1)+x*x^(n-2)+x^2*x^(n-3)+ ...x^(n-2)*x+x^(n-1) =nx^(n-1)

证法二：（n为任意实数） f(x)=x^n lnf(x)=nlnx (lnf(x))'=(nlnx)' f'(x)/f(x)=n/x f'(x)=n/x*f(x) f'(x)=n/x*x^n f'(x)=nx^(n-1) （2）f(x)=sinx f'(x) =lim (sin(x+Δx)-sinx)/Δx =lim (sinxcosΔx+cosxsinΔx-sinx)/Δx =lim (sinx+cosxsinΔx-sinx)/Δx

=lim cosxsinΔx/Δx =cosx （3）f(x)=cosx f'(x) =lim (cos(x+Δx)-cosx)/Δx =lim (cosxcosΔx-sinxsinΔx-cosx)/Δx =lim (cosx-sinxsinΔx-cos)/Δx =lim -sinxsinΔx/Δx =-sinx （4）f(x)=a^x 证法一： f'(x) =lim (a^(x+Δx)-a^x)/Δx

反三角函数求导公式证明

§2.3 反函数的导数，复合函数的求导法则 一、反函数的导数 设)(y x ?=是直接函数，)(x f y =是它的反函数，假定)(y x ?=在I y 内单调、可导，而且0)(≠'y ?，则反函数)(x f y =在间 },)(|{y x I y y x x I ∈==?内也是单调、可导的，而且 )(1 )(y x f ?'=' (1) 证明： ?∈x I x ，给x 以增量x ?),0(x I x x x ∈?+≠? 由 )(x f y = 在 I x 上的单调性可知 0)()(≠-?+=?x f x x f y 于是 y x x y ??=??1 因直接函数)(y x ?=在I y 上单调、可导，故它是连续的，且反函数)(x f y =在I x 上也是连续的，当0→?x 时，必有0→?y )(11lim lim 00y y x x y y x ?'=??=??→?→?即：)(1)(y x f ?'=' 【例1】试证明下列基本导数公式 ().(arcsin )().()().(lo g )ln 11121131 2 2x x a rctg x x a x a x '= -'= +'= 证1、设y x sin =为直接函数，x y arcsin =是它的反函数 函数 y x sin =在 )2,2(ππ-=y I 上单调、可导，且 '=≠x y cos 0 因此，在 )1,1(-=x I 上， 有 y x cos 1)arcsin (= ' 注意到，当)2,2(π π-∈y 时，0cos >y ，2 21sin 1cos x y y -=-= 因此， 211 )arcsin (x x -=' 证2 设 x tgy =，)2,2(ππ-=y I 则y arctgx =，I x =-∞+∞(,) tgy x = 在 I y 上单调、可导且 0cos 12>='y x 故 22211 11 cos )(1)(x y tg y tgy arctgx +=+=='=' 证3 a x a a a a y y x ln 1ln 1)(1 )log (=='='

三角函数公式及证明(高中)

三角函数公式及相关的证明 两角和公式 sin(A+B) = sinAcosB+cosAsinB sin(A-B) = sinAcosB-cosAsinB cos(A+B) = cosAcosB-sinAsinB cos(A-B) = cosAcosB+sinAsinB tan(A+B) =tanAtanB -1tanB tanA + tan(A-B) =tanAtanB 1tanB tanA +- cot(A+B) =cotA cotB 1-cotAcotB + cot(A-B) =cotA cotB 1cotAcotB -+ 倍角公式 tan2A =A tan 12tanA 2- Sin2A=2SinA?CosA Cos2A = Cos 2A-Sin 2A=2Cos 2A-1=1-2sin 2A 三倍角公式 sin3A = 3sinA-4(sinA)3 cos3A = 4(cosA)3-3cosA tan3a = tana ·tan(3π+a)·tan(3 π-a) 半角公式 sin(2A )=2 cos 1A - cos(2A )=2 cos 1A + tan(2A )=A A cos 1cos 1+- cot( 2A )=A A cos 1cos 1-+ tan(2A )=A A sin cos 1-=A A cos 1sin + 和差化积 sina+sinb=2sin 2b a +cos 2 b a - sina-sinb=2cos 2b a +sin 2 b a -

cosa+cosb = 2cos 2b a +cos 2 b a - cosa-cosb = -2sin 2b a +sin 2 b a - tana+tanb=b a b a cos cos )sin(+ 积化和差 sinasinb = -2 1[cos(a+b)-cos(a-b)] cosacosb = 2 1[cos(a+b)+cos(a-b)] sinacosb = 2 1[sin(a+b)+sin(a-b)] cosasinb = 2 1[sin(a+b)-sin(a-b)] 诱导公式 sin(-a) = -sina cos(-a) = cosa sin( 2 π-a) = cosa cos(2 π-a) = sina sin(2 π+a) = cosa cos(2 π+a) = -sina sin(π-a) = sina cos(π-a) = -cosa s in(π+a) = -sina cos(π+a) = -cosa tgA=tanA =a a cos sin 万能公式 sina=2 )2 (tan 12tan 2a a + cosa=2 2 )2(tan 1)2(tan 1a a +-

海伦公式的证明(精选多篇)

经典合同 海伦公式的证明 姓名：XXX 日期：XX年X月X日

海伦公式的证明 与海伦在他的著作"metrica"(《度量论》)中的原始证明不同，在此我们用三角公式和公式变形来证明。设三角形的三边a、b、c的对角分别为a、b、c，则余弦定理为cosc = (a^2+b^2-c^2)/2abs=1/2*ab*sinc=1/2*ab*√(1-cos^2 c)=1/2*ab*√[1-(a^2+b^2-c^2)^2/4a^2*b^2]=1/4*√[4a^2*b^2-(a^2 +b^2-c^2)^2]=1/4*√[(2ab+a^2+b^2-c^2)(2ab-a^2-b^2+c^2)]=1/4* √[(a+b)^2-c^2][c^2-(a-b)^2]=1/4*√[(a+b+c)(a+b-c)(a-b+c)(-a+ b+c)]设p=(a+b+c)/2则p=(a+b+c)/2, p-a=(-a+b+c)/2, p-b=(a-b+c)/2,p-c=(a+b-c)/2,上式 =√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)/16]=√[p(p-a)(p-b)(p-c)]所以，三角形abc面积s=√[p(p-a)(p-b)(p-c)] 第二篇：海伦公式的几种证明与推广 海伦公式的几种证明与推广 古镇高级中学付增德 高中数学必修⑤第一章在阅读与思考栏目向学生介绍一个非常重 要且优美的公式——海伦公式〔heron's formula〕：假设有一个三角形，边长分别为a,b,c,，三角形的面积s可由以下公式求得： s? (p?a)(p?b)(p?c)，而公式里的p? 12 (a?b?c)，称为半周长。 图1 第 2 页共 32 页

格林公式

从而 ， , , , 有 . (20) 四、格林公式 平面曲线积分，当曲线C（A,B）的始点A与终点B重合时（即C是一条闭曲线），在力学、电学等有很多应用。因为第二型曲线积分与所沿平面闭曲线的曲线积分要规定闭曲线的正方向。按右手坐标系，当一个人沿着平面闭曲线环行时，闭曲线所围成的区域位于此人的左侧，规定这个方向是曲线的正方向，如图14.7，反之是负方向，如图14.8 沿闭曲线C的曲线积分，记为

规定其中曲线C 总是取正方向。格林公式给出了平面区域上的二重积分与沿着该区域边界的闭曲线的曲线积分之间的关系。 设D 是有向的x 型或y 型闭区域，即 ,如图14.9， 或 {(x,y)│φ1 (y )≤y≤φ2 (y ),a≤x≤b}，如图14.10. 这里的 ， 在[a,b]上是连续函数，φ1 (y)，φ2 (y)在[a,b]上是连续函数，D 的正负向 按上面的规定。 定理3（格林公式） 若函数P ,Q 及其偏导数，在有界闭区域D 上连续，则有 . (21) 其中是围成闭区域D 的边界封闭曲线，取正向。公式（21）称为格林公式

格林公式是两个等式组成的： 与 证明由于区域D形状不同，定理证明分三步进行。1）设D是x型闭区域（如图14.9）。 dx ]. (22) 由曲线积分的计算公式，按图14.9，有 ? ? ? ??+ + + = ) , ( ) , ( ) , ( ) , ( ) , ( ) , ( ) , ( ) , ( ) , ( H N N M M K K H dx y x P dx y x P dx y x P dx y x P dx y x P τ τ τ ττ , 其中 ? ?=b a K H dx x x P dx y x P)] ( , [ ) , ( 1 ) , ( ? τ ， ? ? ?-= = b a a b M K dx x x P dx x x P dx y x P)] ( , [ )] ( , [ ) , ( 2 2 ) , ( ? ? τ 因为线段KM与NH都平行于y轴，有 ) , ( ) , ( ) , ( ) , ( = =? ? H N M K dx y x P dx y x P τ τ . 于是， ? ? ?- = Γ b a b a dx x x P dx x x P dx y x P)] ( , [ )] ( , [ ) , ( 2 1 ? ? =dx x x P x x P b a )]} ( , [ )] ( , [ { 1 2 ? ?- -?。（23） 由（22）式与（23）式，有 ? ?? Γ = ? ? -dx y x P dxdy y P D ) , (（24） 若D又是y型闭区域（如图14.10）.同理可证 ? ?? Γ = ? ? dx y x Q dxdy y Q D ) , (，（25） 2）若闭区域D是一条光滑或逐段光滑的闭曲线Γ所围成，则先用几段光滑曲线将D 分成有限个既是x型又是y型闭区域，然后逐块按照1）的计算方法得格林公式，再逐块相加即得（21）式。其中在D内两个小区域有共同边界，则因正向取向恰好相反，他们的积分值正好互相抵消。