公式证明（共11篇）

公式证明（共11篇）篇：公式及证明

初中数学几何定理

1.同角（或等角）的余角相等。2.对顶角相等。3.三角形的一个外角等于和它不相邻的两个内角之和。4.在同一平面内垂直于同一条直线的两条直线是平行线。5.同位角相等，两直线平行。6.等腰三角形的顶角平分线、底边上的高、底边上的中线互相重合。7.直角三角形中，斜边上的中线等于斜边的一半。8.在角平分线上的点到这个角的两边距离相等。及其逆定理。9.夹在两条平行线间的平行线段相等。夹在两条平行线间的垂线段相等。10。一组对边平行且相等、或两组对边分别相等、或对角线互相平分的四边形是平行四边形。11.有三个角是直角的四边形、对角线相等的平行四边形是矩形。12.菱形性质：四条边相等、对角线互相垂直，并且每一条对角线平分一组对角。13.正方形的四个角都是直角，四条边相等。两条对角线相等，并且互相垂直平分，每一条对角线平分一组对角。14.在同圆或等圆中，如果两个圆心角、两条弧、两条弦、两个弦心距中有一对相等，那么它们所对应的其余各对量都相等。15.垂直于弦的直径平分这条弦，并且平分弦所对弧。平分弦（不是直径）的直径垂直于弦，并且平分弦所对的弧。16.直角三角形被斜边上的高线分成的两个直角三角形和原三角形相似。17.相似三角形对应高线的比，对应中线的比和对应角平分线的比都等于相似比。相似三角形面积的比等于相似比的平方。18．圆内接四边形的对角互补，并且任何一个外角等于它的内对角。19.切线的判定定理经过半径的外端并且垂直于这条半径的直线是圆的切线。20。切线的性质定理①经过圆心垂直于切线的直线必经过切点。②圆的切线垂直于经过切点的半径。③经过切点垂直于切线的直线必经过圆心。21.切线长定理从圆外一点引圆的两条切线，它们的切线长相等。连结圆外一点和圆心的直线，平分从这点向圆所作的两条切线所夹的角。22.弦切角定理弦切角的度数等于它所夹的弧的度数的一半。弦切角等于它所夹的弧所对的圆周角。23.相交弦定理；切割线定理；割线定理；

初中数学几何一般证题途径：证明两线段相等

1.两全等三角形中对应边相等2.同一三角形中等角对等边

3.等腰三角形顶角的平分线或底边的高平分底边

4.平行四边形的对边或对角线被交点分成的两段相等

5.直角三角形斜边的中点到三顶点距离相等

6.线段垂直平分线上任意一点到线段两段距离相等

7.角平分线上任一点到角的两边距离相等

8.过三角形一边的中点且平行于第三边的直线分第二边所成的线段相等

9.同圆（或等圆）中等弧所对的弦或与圆心等距的两弦或等圆心角、圆周角所对的弦相等10.圆外一点引圆的两条切线的切线长相等或圆内垂直于直径的弦被直径分成的两段相等11.两前项（或两后项）相等的比例式中的两后项（或两前项）相等

12.两圆的内（外）公切线的长相等13.等于同一线段的两条线段相等

证明两个角相等

1.两全等三角形的对应角相等2.同一三角形中等边对等角

3.等腰三角形中，底边上的中线（或高）平分顶角

4.两条平行线的同位角、内错角或平行四边形的对角相等5.同角（或等角）的余角（或补角）相等6.同圆（或等圆）中，等弦（或同弧）所对的圆心角相等，圆周角相等，弦切角等于它所夹的弧对的圆周角

7.圆外一点引圆的两条切线，圆心和这一点的连线平分两条切线的夹角

8.相似三角形的对应角相等9.圆的内接四边形的外角等于内对角

10.等于同一角的两个角相等

证明两直线平行

1.垂直于同一直线的各直线平行2.同位角相等，内错角相等或同旁内角互补的两直线平行

3.平行四边形的对边平行4.三角形的中位线平行于第三边

5.梯形的中位线平行于两底6.平行于同一直线的两直线平行7.一条直线截三角形的两边（或延长线）所得的线段对应成比例，则这条直线平等行于第三边

证明两条直线互相垂直

1.等腰三角形的顶角平分线或底边的中线垂直于底边

2.三角形中一边的中线若等于这边一半，则这一边所对的角是直角

3.在一个三角形中，若有两个角互余，则第三个角是直角

4.邻补角的平分线互相垂直5.一条直线垂直于平行线中的一条，则必垂直于另一条

6.两条直线相交成直角则两直线垂直

7.利用到一线段两端的距离相等的点在线段的垂直平分线上

8.利用勾股定理的逆定理9.利用菱形的对角线互相垂直

10.在圆中平分弦（或弧）的直径垂直于弦11.利用半圆上的圆周角是直角

证明线段的和差倍分

1.作两条线段的和，证明与第三条线段相等

2.在第三条线段上截取一段等于第一条线段，证明余下部分等于第二条线段

3.延长短线段为其二倍，再证明它与较长的线段相等

4.取长线段的中点，再证其一半等于短线段

5.利用一些定理（三角形的中位线、含30度的直角三角形、直角三角形斜边上的中线、三角形的重心、相似三角形的性质等）证明角的和差倍分

1.与证明线段的和、差、倍、分思路相同2.利用角平分线的定义

3.三角形的一个外角等于和它不相邻的两个内角的和

证明线段不等

1.同一三角形中，大角对大边2.垂线段最短

3.三角形两边之和大于第三边，两边之差小于第三边

4.在两个三角形中有两边分别相等而夹角不等，则夹角大的第三边大

5.同圆或等圆中，弧大弦大，弦心距小6.全量大于它的任何一部分

证明两角的不等

1.同一三角形中，大边对大角2.三角形的外角大于和它不相邻的任一内角

3.在两个三角形中有两边分别相等，第三边不等，第三边大的，两边的夹角也大

4.同圆或等圆中，弧大则圆周角、圆心角大5.全量大于它的任何一部分

证明比例式或等积式

1.利用相似三角形对应线段成比例2.利用内外角平分线定理

3.平行线截线段成比例4.直角三角形中的比例中项定理即射影定理

5.与圆有关的比例定理：相交弦定理、切割线定理及其推论

6.利用比利式或等积式化得

证明四点共圆

1.对角互补的四边形的顶点共圆2.外角等于内对角的四边形内接于圆

3.同底边等顶角的三角形的顶点共圆（顶角在底边的同侧）4.同斜边的直角三角形的顶点共圆5.到顶点距离相等的各点共圆

二、空间与图形

A：图形的认识：

1：点，线，面

点，线，面：①图形是由点，线，面构成的。②面与面相交得线，线与线相交得点。③点动成线，线动成面，面动成体。展开与折叠：①在棱柱中，任何相邻的两个面的交线叫做棱，侧棱是相邻两个侧面的交线，棱柱的所有侧棱长相等，棱柱的上下底面的形状相同，侧面的形状都是长方体。②N棱柱就是底面图形有N条边的棱柱。一个几何体：用一个平面去截一个图形，截出的面叫做截面。3视图：主视图，左视图，俯视图。多边形：他们是由一些不在同一条直线上的线段依次首尾相连组成的封闭图形。弧，扇形：①由一条弧和经过这条弧的端点的两条半径所组成的图形叫扇形。②圆可以分割成若干个扇形。2：角

线：①线段有两个端点。②将线段向一个方向无限延长就形成了射线。射线只有一个端点。③将线段的两端无限延长就形成了直线。直线没有端点。④经过两点有且只有一条直线。比较长短：①两点之间的所有连线中，线段最短。②两点之间线段的长度，叫做这两点之间的距离。角的度量与表示：①角由两条具有公共端点的射线组成，两条射线的公共端点是这个角的顶点。②一度的1/60是一分，一分的1/60是一秒。角的比较：①角也可以看成是由一条射线绕着他的端点旋转而成的。②一条射线绕着他的端点旋转，当终边和始边成一条直线时，所成的角叫做平角。始边继续旋转，当他又和始边重合时，所成的角叫做周角。③从一个角的顶点引出的一条射线，把这个角分成两个相等的角，这条射线叫做这个角的平分线。平行：①同一平面内，不相交的两条直线叫做平行线。②经过直线外一点，有且只有一条直线与这条直线平行。③如果两条直线都与第3条直线平行，那么这两条直线互相平行。垂直：①如果两条直线相交成直角，那么这两条直线互相垂直。②互相垂直的两条直线的交点叫做垂足。③平面内，过一点有且只有一条直线与已知直线垂直。3：相交线与平行线

角：①如果两个角的和是直角,那么称和两个角互为余角；如果两个角的和是平角，那么称这两个角互为补角。②同角或等角的余角/补角相等。③对顶角相等。④同位角相等/内错角相等/同旁内角互补，两直线平行，反之亦然。4：三角形

三角形：①由不在同一直线上的三条线段首尾顺次相接所组成的图形叫做三角形。②三角形任意两边之和大于第三边。三角形任意两边之差小于第三边。③三角形三个内角的和等于180度。④三角形分锐角三角形/直角三角形/钝角三角形。⑤直角三角形的两个锐角互余。⑥三角形中一个内角的角平分线与他的对边相交，这个角的顶点与交点之间的线段叫做三角形的角平分线。⑦三角形中，连接一个顶点与他对边中点的线段叫做这个三角形的中线。⑧三角形的三条角平分线交于一点，三条中线交于一点。⑨从三角形的一个顶点向他的对边所在的直线作垂线，顶点和垂足之间的线段叫做三角形的高。⑩三角形的三条高所在的直线交于一点。图形的全等：全等图形的形状和大小都相同。两个能够重合的图形叫全等图形。全等三角形：①全等三角形的对应边/角相等。②条件：SSS/AAS/ASA/SAS/HL。勾股定理：直角三角形两直角边的平方和等于斜边的平方，反之亦然。5：四边形

平行四边形的性质：①两组对边分别平行的四边形叫做平行四边形。②平行四边形不相邻的两个顶点连成的线段叫他的对角线。③平行四边形的对边/对角相等。④平行四边形的对角线互相平分。平行四边形的判定条件：两条对角线互相平分的四边形/一组对边平行且相等的四边形/两组对边分别相等的四边形/定义。菱形：①一组邻边相等的平行四边形是菱形。②领心的四条边相等，两条对角线互相垂直平分，每一组对角线平分一组对角。③判定条件：定义/对角线互相垂直的平行四边形/四条边都相等的四边形。矩形与正方形：①有一个内角是直角的平行四边形叫做矩形。②矩形的对角线相等，四个角都是直角。③对角线相等的平行四边形是矩形。④正方形具有平行四边形，矩形，菱形的一切性质。⑤一组邻边相等的矩形是正方形。梯形：①一组对边平行而另一组对边不平行的四边形叫梯形。②两条腰相等的梯形叫等腰梯形。③一条腰和底垂直的梯形叫做直角梯形。④等腰梯形同一底上的两个内角相等，对角线星等，反之亦然。多边形：①N边形的内角和等于（N-2）180度。②多边心内角的一边与另一边的反向延长线所组成的角叫做这个多边形的外角，在每个顶点处取这个多边形的一个外角，他们的和叫做这个多边形的内角和（都等于360度）

平面图形的密铺：三角形，四边形和正六边形可以密铺。中心对称图形：①在平面内，一个图形绕某个点旋转180度，如果旋转前后的图形互相重合，那么这个图形叫做中心对称图形，这个点叫做他的对称中心。②中心对称图形上的每一对对应点所连成的线段都被对称中心平分。B：图形与变换：

1：图形的轴对称

轴对称：如果一个图形沿一条直线折叠后，直线两旁的部分能够互相重合，那么这个图形叫做轴对称图形，这条直线叫做对称轴。轴对称图形：①角的平分线上的点到这个角的两边的距离相等。②线段垂直平分线上的点到这条线段两个端点的距离相等。③等腰三角形的“三线合一”。轴对称的性质：对应点所连的线段被对称轴垂直平分，对应线段/对应角相等。2:图形的平移和旋转

平移：①在平面内，将一个图形沿着某个方向移动一定的距离，这样的图形运动叫做平移。②经过平移，对应点所连的线段平行且相等，对应线段平行且相等，对应角相等。旋转：①在平面内，将一个图形绕一个定点沿某个方向转动一个角度，这样的图形运动叫做旋转。②经过旋转，图形商店每一个点都绕旋转中心沿相同方向转动了相同的角度，任意一对对应点与旋转中心的连线所成的角都是旋转角，对应点到旋转中心的距离相等。3：图形的相似比：①A/B=C/D，那么AD=BC，反之亦然。②A/B=C/D，那么A土B/B=C土D/D。③A/B=C/D=。=M/N，那么A+C+。+M/B+D+。N=A/B。黄金分割：点C把线段AB分成两条线段AC与BC，如果AC/AB=BC/AC，那么称线段AB被点C黄金分割，点C叫做线段AB的黄金分割点，AC与AB的比叫做黄金比（根号5-1/2）。相似：①各角对应相等，各边对应成比例的两个多边形叫做相似多边形。②相似多边形对应边的比叫做相似比。相似三角形：①三角对应相等，三边对应成比例的两个三角形叫做相似三角形。②条件：AA/SSS/SAS。相似多边形的性质：①相似三角形对应高，对应角平分线，对应中线的比都等于相似比。②相似多边形的周长比等于相似比，面积比等于相似比的平方。图形的放大与缩小：①如果两个图形不仅是相似图形，而且每组对应点所在的直线都经过同一个点，那么这样的两个图形叫做位似图形，这个点叫做位似中心，这时的相似比又称为位似比。②位似图形上任意一对对应点到位似中心的距离之比等于位似比。D：证明

定义与命题：①对名称与术语的含义加以描述，作出明确的规定，也就是给出他们的定义。②对事情进行判断的句子叫做命题（分真命题与假命题）。③每个命题是由条件和结论两部分组成。④要说明一个命题是假命题，通常举出一个离子，使之具备命题的条件，而不具有命题的结论，这种例子叫做反例。公理：①公认的真命题叫做公理。②其他真命题的正确性都通过推理的方法证实，经过证明的真命题称为定理。③同位角相等，两直线平行，反之亦然；SAS/ASA/SSS，反之亦然；同旁内角互补，两直线；平行，反之亦然；内错角相等，两直线平行，反之亦然；三角形三个内角的和等于180度；三角形的一个外交等于和他不相邻的两个内角的和；三角心的一个外角大于任何一个和他不相邻的内角。④由一个公理或定理直接推出的定理，叫做这个公理或定理的推论。两角和公式sin(A+B)=sinAcosB+cosAsinBsin(A-B)=sinAcosB-sinBcosA

cos(A+B)=cosAcosB-sinAsinBcos(A-B)=cosAcosB+sinAsinB

tan(A+B)=(tanA+tanB)/(1-tanAtanB)tan(A-B)=(tanA-tanB)/(1+tanAtanB)

ctg(A+B)=(ctgActgB-1)/(ctgB+ctgA)ctg(A-B)=(ctgActgB+1)/(ctgB-ctgA)

倍角公式tan2A=2tanA/(1-tan2A)ctg2A=(ctg2A-1)/2ctga

cos2a=cos2a-sin2a=2cos2a-1=1-2sin2a

半角公式sin(A/2)=√((1-cosA)/2)sin(A/2)=-√((1-cosA)/2)

cos(A/2)=√((1+cosA)/2)cos(A/2)=-√((1+cosA)/2)

tan(A/2)=√((1-cosA)/((1+cosA))tan(A/2)=-√((1-cosA)/((1+cosA))

ctg(A/2)=√((1+cosA)/((1-cosA))ctg(A/2)=-√((1+cosA)/((1-cosA))

和差化积2sinAcosB=sin(A+B)+sin(A-B)2cosAsinB=sin(A+B)-sin(A-B)

2cosAcosB=cos(A+B)-sin(A-B)-2sinAsinB=cos(A+B)-cos(A-B)

sinA+sinB=2sin((A+B)/2)cos((A-B)/2cosA+cosB=2cos((A+B)/2)sin((A-B)/2)

tanA+tanB=sin(A+B)/cosAcosBtanA-tanB=sin(A-B)/cosAcosB

ctgA+ctgBsin(A+B)/sinAsinB-ctgA+ctgBsin(A+B)/sinAsinB

某些数列前n项和1+2+3+4+5+6+7+8+9+…+n=n(n+1)/21+3+5+7+9+11+13+15+…+(2n-1)=n22+4+6+8+10+12+14+…+(2n)=n(n+1)12+22+32+42+52+62+72+82+…+n2=n(n+1)(2n+1)/613+23+33+43+53+63+…n3=n2(n+1)2/41*2+2*3+3*4+4*5+5*6+6*7+…+n(n+1)=n(n+1)(n+2)/3正弦定理a/sinA=b/sinB=c/sinC=2R注：其中R表示三角形的外接圆半径

余弦定理b2=a2+c2-2accosB注：角B是边a和边c的夹角

正切定理:

[(a+b)/(a-b)]={[Tan(a+b)/2]/[Tan(a-b)/2]}

圆的标准方程(x-a)2+(y-b)2=r2注：（a,b）是圆心坐标

圆的一般方程x2+y2+Dx+Ey+F=0注：D2+E2-4F>0

抛物线标准方程y2=2pxy2=-2pxx2=2pyx2=-2py

直棱柱侧面积S=c*h斜棱柱侧面积S=c'*h

正棱锥侧面积S=1/2c*h'正棱台侧面积S=1/2(c+c')h'

圆台侧面积S=1/2(c+c')l=pi(R+r)l球的表面积S=4pi*r2

圆柱侧面积S=c*h=2pi*h圆锥侧面积S=1/2*c*l=pi*r*l

弧长公式l=a*ra是圆心角的弧度数r>0扇形面积公式s=1/2*l*r

锥体体积公式V=1/3*S*H圆锥体体积公式V=1/3*pi*r2h

斜棱柱体积V=S'L注：其中,S'是直截面面积，L是侧棱长柱体体积公式V=s*h圆柱体V=pi*r2h-----------------------三角函数积化和差和差化积公式

记不住就自己推，用两角和差的正余弦：

cos(A+B)=cosAcosB-sinAsinB

cos(A-B)=cosAcosB+sinAsinB

这两式相加或相减，可以得到2组积化和差:

相加：cosAcosB=[cos(A+B)+cos(A-B)]/2

相减：sinAsinB=-[cos(A+B)-cos(A-B)]/2

sin(A+B)=sinAcosB+sinBcosA

sin(A-B)=sinAcosB-sinBcosA

这两式相加或相减，可以得到2组积化和差:

相加：sinAcosB=[sin(A+B)+sin(A-B)]/2

相减：sinBcosA=[sin(A+B)-sin(A-B)]/2

这样一共4组积化和差，然后倒过来就是和差化积了不知道这样你可以记住伐，实在记不住考试的时候也可以临时推导一下

正加正正在前

正减正余在前

余加余都是余

余减余没有余还负

正余正加余正正减

余余余加正正余减还负

.3.三角形中的一些结论：(不要求记忆)

(1)anA+tanB+tanC=tanA·tanB·tanC

(2)sinA+tsinB+sinC=4cos(A/2)cos(B/2)cos(C/2)

(3)cosA+cosB+cosC=4sin(A/2)·sin(B/2)·sin(C/2)+1

(4)sin2A+sin2B+sin2C=4sinA·sinB·sinC

(5)cos2A+cos2B+cos2C=-4cosAcosBcosC-1

......已知sinα=msin(α+2β),|m|

解:sinα=msin(α+2β)

sin(a+β-β)=msin(a+β+β)

sin(a+β)cosβ-cos(a+β)sinβ=msin(a+β)cosβ+mcos(a+β)sinβsin(a+β)cosβ(1-m)=cos(a+β)sinβ(m+1)

tan(α+β)=(1+m)/(1-m)tanβ

第3篇：导数公式证明

导数的定义：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^nlnf(x)=nlnx(lnf(x))'=(nlnx)'f'(x)/f(x)=n/xf'(x)=n/x*f(x)f'(x)=n/x*x^nf'(x)=nx^(n-1)

（2）f(x)=sinxf'(x)=lim(sin(x+Δx)-sinx)/Δx=lim(sinxcosΔx+cosxsinΔx-sinx)/Δx=lim(sinx+cosxsinΔx-sinx)/Δx=limcosxsinΔx/Δx=cosx

（3）f(x)=cosxf'(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^xf'(x)=lim(a^(x+Δx)-a^x)/Δx=lima^x*(a^Δx-1)/Δx（设a^Δx-1=m，则Δx=loga^(m+1)）

=lima^x*m/loga^(m+1)=lima^x*m/[ln(m+1)/lna]=lima^x*lna*m/ln(m+1)=lima^x*lna/[(1/m)*ln(m+1)]=lim

a^x*lna/ln[(m+1)^(1/m)]=lima^x*lna/lne=a^x*lna

若a=e，原函数f(x)=e^x则f'(x)=e^x*lne=e^x

（5）f(x)=loga^xf'(x)=lim(loga^(x+Δx)-loga^x)/Δx

=limloga^[(x+Δx)/x]/Δx=limloga^(1+Δx/x)/Δx=limln(1+Δx/x)/(lna*Δx)=limx*ln(1+Δx/x)/(x*lna*Δx)=lim(x/

Δx)*ln(1+Δx/x)/(x*lna)=limln[(1+Δx/x)^(x/Δx)]/(x*lna)=limlne/(x*lna)=1/(x*lna)

若a=e，原函数f(x)=loge^x=lnx则f'(x)=1/(x*lne)=1/x（6）f(x)=tanxf'(x)=lim(tan(x+Δx)-tanx)/Δx=lim(sin(x+Δx)/cos(x+Δx)-sinx/cosx)/Δx=lim(sin(x+Δx)cosx-sinxcos(x+Δx)/(Δxcosxcos(x+Δx))=lim(sinxcosΔxcosx+sinΔxcosxcosx-

sinxcosxcosΔx+sinxsinxsinΔx)/(Δxcosxcos(x+Δx))=limsinΔx/(Δxcosxcos(x+Δx))=1/(cosx)^2=secx/cosx=(secx)^2=1+(tanx)^2（7）f(x)=cotxf'(x)=lim(cot(x+Δx)-cotx)/Δx=lim(cos(x+Δx)/sin(x+Δx)-cosx/sinx)/Δx=lim(cos(x+Δx)sinx-

cosxsin(x+Δx))/(Δxsinxsin(x+Δx))=lim(cosxcosΔxsinx-sinxsinxsinΔx-cosxsinxcosΔx-cosxsinΔxcosx)/(Δxsinxsin(x+Δx))=lim-sinΔx/(Δxsinxsin(x+Δx))=-1/(sinx)^2=-cscx/sinx=-(secx)^2=-1-(cotx)^2

（8）f(x)=secxf'(x)=lim(sec(x+Δx)-secx)/Δx=lim(1/cos(x+Δx)-1/cosx)/Δx=lim(cosx-cos(x+Δx)/(ΔxcosxcosΔx)=lim(cosx-cosxcosΔx+sinxsinΔx)/(Δxcosxcos(x+Δx))=limsinxsinΔx/(Δxcosxcos(x+Δx))=sinx/(cosx)^2=tanx*secx

（9）f(x)=cscxf'(x)=lim(csc(x+Δx)-cscx)/Δx=lim(1/sin(x+Δx)-1/sinx)/Δx=lim(sinx-sin(x+Δx))/(Δxsinxsin(x+Δx))=lim(sinx-sinxcosΔx-sinΔxcosx)/(Δxsinxsin(x+Δx))=lim-sinΔxcosx/(Δxsinxsin(x+Δx))=-cosx/(sinx)^2=-cotx*cscx（10）f(x)=x^xlnf(x)=xlnx(lnf(x))'=(xlnx)'f'(x)/f(x)=lnx+1f'(x)=(lnx+1)*f(x)f'(x)=(lnx+1)*x^x（12）

h(x)=f(x)g(x)h'(x)=lim(f(x+Δx)g(x+Δx)-f(x)g(x))/Δx=lim[(f(x+Δx)-f(x)+f(x))*g(x+Δx)+(g(x+Δx)-g(x)-g(x+Δx))*f(x)]/Δx=lim[(f(x+Δx)-f(x))*g(x+Δx)+(g(x+Δx)-g(x))*f(x)+f(x)*g(x+Δx)-f(x)*g(x+Δx)]/Δx=lim(f(x+Δx)-f(x))*g(x+Δx)/Δx+(g(x+Δx)-g(x))*f(x)/

Δx=f'(x)g(x)+f(x)g'(x)（13）h(x)=f(x)/g(x)h'(x)=lim(f(x+Δx)/g(x+Δx)-f(x)g(x))/Δx=lim(f(x+Δx)g(x)-f(x)g(x+Δx))/(Δxg(x)g(x+Δx))=lim[(f(x+Δx)-f(x)+f(x))*g(x)-(g(x+Δx)-g(x)+g(x))*f(x)]/(Δxg(x)g(x+Δx))=lim[(f(x+Δx)-f(x))*g(x)-(g(x+Δx)-g(x))*f(x)+f(x)g(x)-

f(x)g(x)]/(Δxg(x)g(x+Δx))=lim(f(x+Δx)-f(x))*g(x)/(Δxg(x)g(x+Δx))-(g(x+Δx)-g(x))*f(x)/(Δxg(x)g(x+Δx))=f'(x)g(x)/(g(x)*g(x))-f(x)g'(x)/(g(x)*g(x))=[f'(x)g(x)-f(x)g'(x)]/(g(x)*g(x))x（14）h(x)=f(g(x))h'(x)=lim[f(g(x+Δx))-f(g(x))]/Δx=lim[f(g(x+Δx)-g(x)+g(x))-f(g(x))]/Δx（另g(x)=u，g(x+Δx)-g(x)=Δu）=lim(f(u+Δu)-f(u))/Δx=lim(f(u+Δu)-f(u))*Δu/(Δx*Δu)=limf'(u)*Δu/Δx=limf'(u)*(g(x+Δx)-g(x))/Δx=f'(u)*g'(x)=f'(g(x))g'(x)一下

（x^n）'=nx^(n-1)（sinx）'=cosx（cosx）'=-sinx（a^x）'=a^xlna（e^x）'=e^x（loga^x）'=1/(xlna)（lnx）'=1/x(tanx)'=(secx)^2=1+(tanx)^2(cotx)'=-(cscx)^2=-1-(cotx)^2(secx)'=tanx*secx(cscx)'=-cotx*cscx(x^x)'=(lnx+1)*x^x

[f(x)g(x)]'=f'(x)g(x)+f(x)g'(x)[f(x)/g(x)]'=[f'(x)g(x)-f(x)g'(x)]/(g(x)*g(x))[f(g(x))]'=f'(g(x))g'(x)

第4篇：数列求和公式证明

1）1^2+2^2+3^2+......+n^2=n(n+1)(2n+1)/6从左边推到右边

数学归纳法可以证

也可以如下做比较有技巧性

n^2=n(n+1)-n

1^2+2^2+3^2+......+n^

2=1*2-1+2*3-2+....+n(n+1)-n

=1*2+2*3+...+n(n+1)-(1+2+...+n)

由于n(n+1)=[n(n+1)(n+2)-(n-1)n(n+1)]/

3所以1*2+2*3+...+n(n+1)

=[1*2*3-0+2*3*4-1*2*3+....+n(n+1)(n+2)-(n-1)n(n+1)]/3

[前后消项]

=[n(n+1)(n+2)]/3

所以1^2+2^2+3^2+......+n^2

=[n(n+1)(n+2)]/3-[n(n+1)]/2

=n(n+1)[(n+2)/3-1/2]

=n(n+1)[(2n+1)/6]

=n(n+1)(2n+1)/6

2）1×2+2×3+3×4+...+n×（n+1）=？设n为奇数，1*2+2*3+3*4+...+n(n+1)=

=(1*2+2*3)+(3*4+4*5)+...+n(n+1)

=2(2^2+4^2+6^2+...(n-1)^2)+n(n+1)

=8(1^2+2^2+3^2+...+[(n-1)/2]^2)+n(n+1)

=8*[(n-1)/2][(n+1)/2]n/6+n(n+1)

=n(n+1)(n+2)/3

设n为偶数，请你自己证明一下！所以，1*2+2*3+3*4+...+n(n+1)=n(n+1)(n+2)/3

设an=n×（n+1）=n^2+n

Sn=1×2+2×3+3×4+...+n×（n+1）

=(1^2+2^2+3^2+……+n^2)+(1+2+3+……+n)=n(n+1)(2n+1)/6+n(n+1)/2=n(n+1)(n+2)/3

数列求和的几种方法

1.公式法：等差数列求和公式:

Sn=n(a1+an)/2=na1+n(n-1)d/2

等比数列求和公式：

Sn=na1(q=1)Sn=a1(1-q^n)/(1-q)=(a1-an×q)/(1-q)(q≠1)

2.错位相减法

适用题型：适用于通项公式为等差的一次函数乘以等比的数列形式{an}、{bn}分别是等差数列和等比数

列.Sn=a1b1+a2b2+a3b3+...+anbn

例如：an=a1+(n-1)dbn=a1·q^(n-1)Cn=anbn

Tn=a1b1+a2b2+a3b3+a4b4....+anbn

qTn=a1b2+a2b3+a3b4+...+a(n-1)bn+anb(n+1)

Tn-qTn=a1b1+b2(a2-a1)+b3(a3-a2)+...bn[an-a(n-1)]-anb(n+1)

Tn(1-q)=a1b1-anb(n+1)+d(b2+b3+b4+...bn)

=a1b1-an·b1·q^n+d·b2[1-q^(n-1)]/(1-q)Tn=上述式子/(1-q)

3.倒序相加法

这是推导等差数列的前n项和公式时所用的方法，就是将一个数列倒过来排列（反序），再把它与原数列相加，就可以得到n个(a1+an)Sn=a1+a2+a3+......+anSn=an+a(n-1)+a(n-3)......+a1上下相加得到2Sn即Sn=（a1+an)n/

24.分组法

有一类数列，既不是等差数列，也不是等比数列，若将这类数列适当拆开，可分为几个等差、等比或常见的数列，然后分别求和，再将其合并即可.例如：an=2^n+n-1

5.裂项法

适用于分式形式的通项公式，把一项拆成两个或多个的差的形式，即an=f(n+1)－f(n)，然后累加时抵消中间的许多项。常用公式：（1）1/n(n+1)=1/n-1/(n+1)

（2）1/(2n-1)(2n+1)=1/2[1/(2n-1)-1/(2n+1)]

（3）1/n(n+1)(n+2)=1/2[1/n(n+1)-1/(n+1)(n+2)]

（4）1/(√a+√b)=[1/(a-b)](√a-√b)

（5）n·n!=(n+1)!-n![例]求数列an=1/n(n+1)的前n项和.解：an=1/n(n+1)=1/n-1/(n+1)（裂项）

则Sn=1-1/2+1/2-1/3+1/4…+1/n-1/(n+1)（裂项求和）＝1-1/(n+1)＝n/(n+1)

小结：此类变形的特点是将原数列每一项拆为两项之后，其中中间的大部分项都互相抵消了。只剩下有限的几项。注意：余下的项具有如下的特点1余下的项前后的位置前后是对称的。2余下的项前后的正负性是相反的。6.数学归纳法

一般地，证明一个与正整数n有关的命题，有如下步骤：

（1）证明当n取第一个值时命题成立；

（2）假设当n=k（k≥n的第一个值，k为自然数）时命题成立，证明当n=k+1时命题也成立。例：求证：1×2×3×4+2×3×4×5+3×4×5×6+……+n(n+1)(n+2)(n+3)=

[n(n+1)(n+2)(n+3)(n+4)]/5证明：当n=1时，有：1×2×3×4+2×3×4×5=2×3×4×5×(1/5+1)=2×3×4×5×6/5假设命题在n=k时成立，于是：1×2×3×4+2×3×4×5+3×4×5×6+……+k(k+1)(k+2)(k+3)=

[k(k+1)(k+2)(k+3)(k+4)]/5则当n=k+1时有：1×2×3×4+2×3×4×5+3×4×5×6+……+(k+1)(k+2)(k+3)(k+4)=1×2×3×4+2×3×4*5+3×4×5×6+……+k(k+1)(k+2)(k+3)+(k+1)(k+2)(k+3)(k+4)=

[k(k+1)(k+2)(k+3)(k+4)]/5+(k+1)(k+2)(k+3)(k+4)=

(k+1)(k+2)(k+3)(k+4)*(k/5+1)=[(k+1)(k+2)(k+3)(k+4)(k+5)]/5即n=k+1时原等式仍然成立，归纳得证

7.通项化归

先将通项公式进行化简，再进行求和。如：求数列1，1+2，1+2+3，1+2+3+4,……的前n项和。此时先将an求出，再利用分组等方法求和。8.并项求和：例：1－2+3－4+5－6+……+（2n-1）-2n（并项）

求出奇数项和偶数项的和，再相减。当a不变时，(2)表示匀变速直线运动。只要知道质点的运动方程r=r(t)，它的一切运动规律就可知了。(二)：质点动力学：

(1)牛一：不受力的物体做匀速直线运动。(2)牛二：物体加速度与合外力成正比与质量成反比。F=ma=mdv/dt=dp/dt

(3)牛三：作用力与反作与力等大反向作用在同一直线上。(4)万有引力：两质点间作用力与质量乘积成正比，与距离平方成反比。F=GMm/r2,G=6.67259*10-11m3/(kg*s2)

动量定理：I=∫Fdt=p2-p1(合外力的冲量等于动量的变化)

动量守恒：合外力为零时，系统动量保持不变。动能定理：W=∫Fds=Ek2-Ek1(合外力的功等于动能的变化)

机械能守恒：只有重力做功时，Ek1+Ep1=Ek2+Ep2

(注：牛顿力学的核心是牛二：F=ma,它是运动学与动力学的桥梁，我们的目的是知道物体的运动规律，即求解运动方程r=r(t),若知受力情况，根据牛二可得a,再根据运动学基本公式求之。同样，若知运动方程r=r(t),可根据运动学基本公式求a，再由牛二可知物体的受力情况。)二：

狭义相对论力学：(注：γ=1/sqr(1-u2/c2),β=u/c,u为惯性系速度。)

(一)基本原理：(1)相对性原理：所有惯性系都是等价的。(2)光速不变原理：真空中的光速是与惯性系无关的常数。(此处先给出公式再给出证明)

(二)洛仑兹坐标变换：

X=γ(x-ut)

Y=y

Z=z

T=γ(t-ux/c2)

(三)速度变换：

V(x)=(v(x)-u)/(1-v(x)u/c2)

V(y)=v(y)/(γ(1-v(x)u/c2))

V(z)=v(z)/(γ(1-v(x)u/c2))

(四)尺缩效应：△L=△l/γ或dL=dl/γ

(五)钟慢效应：△t=γ△τ或dt=dτ/γ

(六)光的多普勒效应：ν(a)=sqr((1-β)/(1+β))ν(b)

(光源与探测器在一条直线上运动。)

(七)动量表达式：P=Mv=γmv,即M=γm.(八)相对论力学基本方程：F=dP/dt

(九)质能方程：E=Mc2

(十)能量动量关系：E2=E02+P2c2

(注：在此用两种方法证明，一种在三维空间内进行，一种在四维时空中证明，实际上他们是等价的。)三：

三维证明：

(一)由实验总结出的公理，无法证明。(二)洛仑兹变换：

设(x,y,z,t)所在坐标系(A系)静止，(X,Y,Z,T)所在坐标系(B系)速度为u,且沿x轴正向。在A系原点处，x=0,B系中A原点的坐标为X=-uT,即X+uT=0。可令x=k(X+uT),(1).又因在惯性系内的各点位置是等价的，因此k是与u有关的常数(广义相对论中，由于时空弯曲，各点不再等价，因此k不再是常数。)同理，B系中的原点处有X=K(x-ut),由相对性原理知，两个惯性系等价，除速度反向外，两式应取相同的形式，即k=K.故有X=k(x-ut),(2).对于y,z,Y,Z皆与速度无关，可得Y=y,(3).Z=z(4).将(2)代入(1)可得：x=k2(x-ut)+kuT,即T=kt+((1-k2)/(ku))x,(5).(1)(2)(3)(4)(5)满足相对性原理，要确定k需用光速不变原理。当两系的原点重合时，由重合点发出一光信号，则对两系分别有x=ct,X=cT.代入(1)(2)式得：ct=kT(c+u),cT=kt(c-u).两式相乘消去t和T得：k=1/sqr(1-u2/c2)=γ.将γ反代入(2)(5)式得坐标变换：

X=γ(x-ut)

Y=y

Z=z

T=γ(t-ux/c2)

(三)速度变换：

V(x)=dX/dT=γ(dx-ut)/(γ(dt-udx/c2))=(dx/dt-u)/(1-(dx/dt)u/c2)

=(v(x)-u)/(1-v(x)u/c2)

同理可得V(y),V(z)的表达式。(四)尺缩效应：

B系中有一与x轴平行长l的细杆，则由X=γ(x-ut)得：△X=γ(△x-u△t),又△t=0(要同时测量两端的坐标)，则△X=γ△x,即：△l=γ△L,△L=△l/γ(五)钟慢效应：

由坐标变换的逆变换可知，t=γ(T+Xu/c2),故△t=γ(△T+△Xu/c2),又△X=0,(要在同地测量)，故

△t=γ△T.(注：与坐标系相对静止的物体的长度、质量和时间间隔称固有长度、静止质量和固有时，是不随坐标变换而变的客观量。)(六)光的多普勒效应：(注：声音的多普勒效应是：ν(a)=((u+v1)/(u-v2))ν(b).)

B系原点处一光源发出光信号，A系原点有一探测器，两系中分别有两个钟，当两系原点重合时，校准时钟开始计时。B系中光源频率为ν(b),波数为N，B系的钟测得的时间是△t(b),由钟慢效应可知，A△系中的钟测得的时间为△t(a)=γ△t(b),(1).探测器开始接收时刻为t1+x/c,最终时刻为t2+(x+v△t(a))/c,则△t(N)=(1+β)△t(a),(2).相对运动不影响光信号的波数，故光源发出的波数与探测器接收的波数相同，即

ν(b)△t(b)=ν(a)△t(N),(3).由以上三式可得：ν(a)=sqr((1-β)/(1+β))ν(b).(七)动量表达式:(注：dt=γdτ,此时，γ=1/sqr(1-v2/c2)因为对于动力学质点可选自身为参考系，β=v/c)

牛二在伽利略变换下，保持形势不变，即无论在那个惯性系内，牛二都成立，但在洛伦兹变换下，原本简洁的形式变得乱七八糟，因此有必要对牛顿定律进行修正，要求是在坐标变换下仍保持原有的简洁形式。牛顿力学中，v=dr/dt,r在坐标变换下形式不变，（旧坐标系中为（x,y,z）新坐标系中为(X,Y,Z)）只要将分母替换为一个不变量（当然非固有时dτ莫属）就可以修正速度的概念了。即令V=dr/dτ=γdr/dt=γv为相对论速度。牛顿动量为p=mv,将v替换为V，可修正动量，即p=mV=γmv。定义M=γm(相对论质量)则p=Mv.这就是相对论力学的基本量：相对论动量。（注：我们一般不用相对论速度而是用牛顿速度来参与计算）

(八)相对论力学基本方程：

由相对论动量表达式可知：F=dp/dt,这是力的定义式，虽与牛二的形式完全一样，但内涵不一样。（相对论中质量是变量）

(九)质能方程：

Ek=∫Fdr=∫(dp/dt)*dr=∫dp*dr/dt=∫vdp=pv-∫pdv

=Mv2-∫mv/sqr(1-v2/c2)dv=Mv2+mc2*sqr(1-v2/c2)-mc2

=Mv2+Mc2(1-v2/c2)-mc2

=Mc2-mc2

即E=Mc2=Ek+mc2

(十)能量动量关系：

E=Mc2,p=Mv,γ=1/sqr(1-v2/c2),E0=mc2,可得：E2=E02+p2c

2四：

四维证明：

(一)公理，无法证明。(二)坐标变换：由光速不变原理：dl=cdt,即dx2+dy2+dz2+(icdt)2=0在任意惯性系内都成立。定义dS为四维间隔，dS2=dx2+dy2+dz2+(icdt)2,(1).则对光信号dS恒等于0，而对于任意两时空点的dS一般不为0。dS2>0称类空间隔，dS2n由数学的旋转变换公式有：（保持y,z轴不动，旋转x和ict轴）

X=xcosφ+(ict)sinφ

icT=-xsinφ+(ict)cosφ

Y=y

Z=z

当X=0时，x=ut,则0=utcosφ+ictsinφ

得：tanφ=iu/c,则cosφ=γ,sinφ=iuγ/c反代入上式得：

X=γ(x-ut)

Y=y

Z=zT=γ(t-ux/c2)

(三)(四)(五)(六)(八)(十)略。(七)动量表达式及四维矢量：(注：γ=1/sqr(1-v2/c2),下式中dt=γdτ)

令r=(x,y,z,ict)则将v=dr/dt中的dt替换为dτ，V=dr/dτ称四维速度。则V=(γv,icγ)γv为三维分量，v为三维速度，icγ为第四维分量。（以下同理）

四维动量：P=mV=(γmv,icγm)=(Mv,icM)

四维力：f=dP/dτ=γdP/dt=(γF,γicdM/dt)(F为三维力)

四维加速度：ω=/dτ=(γ4a,γ4iva/c)

则f=mdV/dτ=mω

(九)质能方程：

fV=mωV=m(γ5va+i2γ5va)=0

故四维力与四维速度永远“垂直”，（类似于洛伦兹磁场力）

由fV=0得：γ^2mFv+γic(dM/dt)(icγm)=0(F,v为三维矢量，且Fv=dEk/dt(功率表达式))故dEk/dt=c2dM/dt即∫dEk=c^2∫dM,即:Ek=Mc2-mc2

故E=Mc2=Ek+mc2

关于第六条：

通过速度变换和质能方程（E=Mc2）可以导出两个坐标系间的能量变换公式（证明很简单，但很繁琐，就不写了）：E'=γE(1-u*v/c2)(注：u、v都是矢量，u为参考系速度，v为光源速度，*表示点乘，也可以写做：E'=γE(1-uv（x）/c2))

上式对任意粒子都成立，对于光子：E=hν代入得：

ν'=γν（1-ucosθ/c）(普遍公式)

对于θ=0可得：ν'=νsqr((1-β)/（1+β）)（特例）

利用速度变换和动量关系（p=Mv）一样可导出两坐标系之间的动量变换公式：

p(x)'=γp(x)(1-u/v(x))

p(y)'=p(y)

p(z)'=p(z)

动量变换与能量变换不仅仅适用于光子，对所有的粒子都是适用的。第7篇：高中数学立体几何证明公式

线线平行→线面平行如果平面外一条直线和这个平面内的一条直线平行，那么这条直线和这个平面平行。线面平行→线线平行如果一条直线和一个平面平行，经过这条直线的平面和这个平面相交，那么这条直线就和交线平行。线面平行→面面平行如果一个平面内有两条相交直线都平行于另一个平面，那么这两个平面平行。面面平行→线线平行如果两个平行平面同时和第三个平面相交，那么它们的交线平行。线线垂直→线面垂直如果一条直线和一个平面内的两条相交直线垂直，那么这条直线垂直于这个平面。线面垂直→线线平行如果连条直线同时垂直于一个平面，那么这两条直线平行。线面垂直→面面垂直如果一个平面经过另一个平面的一条垂线，那么这两个平面互相垂直。线面垂直→线线垂直线面垂直定义：如果一条直线a与一个平面α内的任意一条直线都垂直，我们就说直线a垂直于平面α。面面垂直→线面垂直如果两个平面互相垂直，那么在一个平面内垂直于它们交线的直线垂直于另一个平面。三垂线定理如果平面内的一条直线垂直于平面的血现在平面内的射影，则这条直线垂直于斜线。第8篇：立体几何证明的向量公式和定理证明

高考数学专题——立体几何

遵循先证明后计算的原则，即融推理于计算之中，突出模型法，平移法等数学方法。注重考查转化与化归的思想。立体几何证明的向量公式和定理证明

附表2

第9篇：圆的切线方程公式证明已知:圆的方程为:(xb)²=r²,圆上一点P(x0,y0)解:圆心C(a,b)

直线CP的斜率:k1=(y0a)当a不变时，(2)表示匀变速直线运动。只要知道质点的运动方程r=r(t)，它的一切运动规律就可知了。(二)：质点动力学：

(1)牛一：不受力的物体做匀速直线运动。(2)牛二：物体加速度与合外力成正比与质量成反比。F=ma=mdv/dt=dp/dt

(3)牛三：作用力与反作与力等大反向作用在同一直线上。(4)万有引力：两质点间作用力与质量乘积成正比，与距离平方成反比。F=GMm/r^2,G=6.67259*10^(-11)m^3/(kg*s^2)

动量定理：I=∫Fdt=p2-p1(合外力的冲量等于动量的变化)

动量守恒：合外力为零时，系统动量保持不变。动能定理：W=∫Fds=Ek2-Ek1(合外力的功等于动能的变化)

机械能守恒：只有重力做功时，Ek1+Ep1=Ek2+Ep2

(注：牛顿力学的核心是牛二：F=ma,它是运动学与动力学的桥梁，我们的目的是知道物体的运动规律，即求解运动方程r=r(t),若知受力情况，根据牛二可得a,再根据运动学基本公式求之。同样，若知运动方程r=r(t),可根据运动学基本公式求a，再由牛二可知物体的受力情况。)二：

狭义相对论力学：(注：γ=1/sqr(1-u^2/c^2),β=u/c,u为惯性系速度。)

(一)基本原理：(1)相对性原理：所有惯性系都是等价的。(2)光速不变原理：真空中的光速是与惯性系无关的常数。(此处先给出公式再给出证明)

(二)洛仑兹坐标变换：

X=γ(x-ut)

Y=y

Z=z

T=γ(t-ux/c^2)

(三)速度变换：

V(x)=(v(x)-u)/(1-v(x)u/c^2)

V(y)=v(y)/(γ(1-v(x)u/c^2))

V(z)=v(z)/(γ(1-v(x)u/c^2))

(四)尺缩效应：△L=△l/γ或dL=dl/γ

(五)钟慢效应：△t=γ△τ或dt=dτ/γ

(六)光的多普勒效应：ν(a)=sqr((1-β)/(1+β))ν(b)

(光源与探测器在一条直线上运动。)

(七)动量表达式：P=Mv=γmv,即M=γm.(八)相对论力学基本方程：F=dP/dt

(九)质能方程：E=Mc^2

(十)能量动量关系：E^2=(E0)^2+P^2c^2

(注：在此用两种方法证明，一种在三维空间内进行，一种在四维时空中证明，实际上他们是等价的。)三：

三维证明：

(一)由实验总结出的公理，无法证明。(二)洛仑兹变换：

设(x,y,z,t)所在坐标系(A系)静止，(X,Y,Z,T)所在坐标系(B系)速度为u,且沿x轴正向。在A系原点处，x=0,B系中A原点的坐标为X=-uT,即X+uT=0。可令x=k(X+uT),(1).又因在惯性系内的各点位置是等价的，因此k是与u有关的常数(广义相对论中，由于时空弯曲，各点不再等价，因此k不再是常数。)同理，B系中的原点处有X=K(x-ut),由相对性原理知，两个惯性系等价，除速度反向外，两式应取相同的形式，即k=K.故有X=k(x-ut),(2).对于y,z,Y,Z皆与速度无关，可得Y=y,(3).Z=z(4).将(2)代入(1)可得：x=k^2(x-ut)+kuT,即T=kt+((1-k^2)/(ku))x,(5).(1)(2)(3)(4)(5)满足相对性原理，要确定k需用光速不变原理。当两系的原点重合时，由重合点发出一光信号，则对两系分别有x=ct,X=cT.代入(1)(2)式得：ct=kT(c+u),cT=kt(c-u).两式相乘消去t和T得：k=1/sqr(1-u^2/c^2)=γ.将γ反代入(2)(5)式得坐标变换：

X=γ(x-ut)

Y=y

Z=z

T=γ(t-ux/c^2)

(三)速度变换：

V(x)=dX/dT=γ(dx-ut)/(γ(dt-udx/c^2))

=(dx/dt-u)/(1-(dx/dt)u/c^2)

=(v(x)-u)/(1-v(x)u/c^2)

同理可得V(y),V(z)的表达式。(四)尺缩效应：

B系中有一与x轴平行长l的细杆，则由X=γ(x-ut)得：△X=γ(△x-u△t),又△t=0(要同时测量两端的坐标)，则△X=γ△x,即：△l=γ△L,△L=△l/γ(五)钟慢效应：由坐标变换的逆变换可知，t=γ(T+Xu/c^2),故△t=γ(△