组合恒等式证明（高中数学）

​

诱导公式

诱导公式记背诀窍：奇变偶不变，符号看象限

万能公式

sinα=2tan(α/2)/[1+tan^(α/2)]

cosα=[1-tan^(α/2)]/1+tan^(α/2)]

tanα=2tan(α/2)/[1-tan^(α/2)]

其它公式

(1)(sinα)^2+(cosα)^2=1

(2)1+(tanα)^2=(secα)^2

(3)1+(cotα)^2=(cscα)^2

证明下面两式，只需将一式，左右同除(sinα)^2，第二个除(cosα)^2即可

(4)对于任意非直角三角形，总有

tanA+tanB+tanC=tanAtanBtanC

证：

A+B=π-C

tan(A+B)=tan(π-C)

(tanA+tanB)/(1-tanAtanB)=(tanπ-tanC)/(1+tanπtanC)

整理可得

tanA+tanB+tanC=tanAtanBtanC

得证

同样可以得证，当x+y+z=nπ(n∈Z)时，该关系式也成立

由tanA+tanB+tanC=tanAtanBtanC可得出以下结论

(5)cotAcotB+cotAcotC+cotBcotC=1

(6)cot(A/2)+cot(B/2)+cot(C/2)=cot(A/2)cot(B/2)cot(C/2)

(7)(cosA)^2+(cosB)^2+(cosC)^2=1-2cosAcosBcosC

(8)(sinA)^2+(sinB)^2+(sinC)^2=2+2cosAcosBcosC

(9)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

平面几何

有向线段，椭圆双曲抛物线，参数方程极坐标，数形结合称典范。

笛卡尔的观点对，点和有序实数对，两者—一来对应，开创几何新途径。

两种思想相辉映，化归思想打前阵;都说待定系数法，实为方程组思想。

三种类型集大成，画出曲线求方程，给了方程作曲线，曲线位置关系判。

四件工具是法宝，坐标思想参数好;平面几何不能丢，旋转变换复数求。

解析几何是几何，得意忘形学不活。图形直观数入微，数学本是数形学。

排列组合二项式

加法乘法两原理，贯穿始终的法则。与序无关是组合，要求有序是排列。

两个公式两性质，两种思想和方法。归纳出排列组合，应用问题须转化。

排列组合在一起，先选后排是常理。特殊元素和位置，首先注意多考虑。

不重不漏多思考，捆绑插空是技巧。排列组合恒等式，定义证明建模试。

关于二项式定理，中国杨辉三角形。两条性质两公式，函数赋值变换式。

复数

虚数单位i一出，数集扩大到复数。一个复数一对数，横纵坐标实虚部。

对应复平面上点，原点与它连成箭。箭杆与X轴正向，所成便是辐角度。

箭杆的长即是模，常将数形来结合。代数几何三角式，相互转化试一试。

代数运算的实质，有i多项式运算。i的正整数次慕，四个数值周期现。

一些重要的结论，熟记巧用得结果。虚实互化本领大，复数相等来转化。

利用方程思想解，注意整体代换术。几何运算图上看，加法平行四边形，

减法三角法则判;乘法除法的运算，逆向顺向做旋转，伸缩全年模长短。

三角形式的运算，须将辐角和模辨。利用棣莫弗公式，乘方开方极方便。

辐角运算很奇特，和差是由积商得。四条性质离不得，相等和模与共轭，

两个不会为实数，比较大小要不得。复数实数很密切，须注意本质区别。

数列

等差等比两数列，通项公式N项和。两个有限求极限，四则运算顺序换。

数列问题多变幻，方程化归整体算。数列求和比较难，错位相消巧转换，

取长补短高斯法，裂项求和公式算。归纳思想非常好，编个程序好思考：

一算二看三联想，猜测证明不可少。还有数学归纳法，证明步骤程序化：

首先验证再假定，从 K向着K加1，推论过程须详尽，归纳原理来肯定。

不等式

解不等式的途径，利用函数的性质。对指无理不等式，化为有理不等式。

高次向着低次代，步步转化要等价。数形之间互转化，帮助解答作用大。

证不等式的方法，实数性质威力大。求差与0比大小，作商和1争高下。

直接困难分析好，思路清晰综合法。非负常用基本式，正面难则反证法。

还有重要不等式，以及数学归纳法。图形函数来帮助，画图建模构造法。