高中数学竞赛知识点

数学均值不等式被称为均值不等式。·即HYPERLINK调和平均数不超过HYPERLINK几何平均数，几何平均数不超过HYPERLINK算术平均数，算术平均数不超过HYPERLINK平方平均数，简记为“调几算方”。其中：，被称为HYPERLINK调和平均数。，被称为HYPERLINK几何平均数。，被称为HYPERLINK算术平均数。，被称为HYPERLINK平方平均数。一般形式设函数（当r不等于0时）；（当r=0时），有时，。可以注意到，Hn≤Gn≤An≤Qn仅是上述不等式的特殊情形，即。特例⑴对实数a,b，有（当且仅当a=b时取“=”号），（当且仅当a=-b时取“=”号）⑵对非负HYPERLINK实数a,b，有，即⑶对非负实数a,b，有⑷对实数a,b，有⑸对非负实数a,b，有⑹对实数a,b，有⑺对实数a,b,c，有⑻对非负数a,b，有⑼对非负数a,b,c，有在几个特例中，最著名的当属算术—几何均值不等式（AM-GM不等式）：当n=2时，上式即：当且仅当时，等号成立。根据均值不等式的简化，有一个简单结论，即。排序不等式基本形式：排序不等式的证明要证只需证根据基本不等式只需证∴原结论正确棣莫弗定理设两个HYPERLINK复数（用三角形式表示），则：HYPERLINK复数乘方公式：.圆排列定义从n个不同元素中不重复地取出m（1≤m≤n）个元素在一个圆周上，叫做这n个不同元素的圆排列。如果一个m-圆排列旋转可以得到另一个m-圆排列，则认为这两个圆排列相同。计算公式n个不同元素的m-圆排列个数N为：特别地，当m=n时，n个不同元素作成的圆排列总数N为：。费马小定理费马小定理(FermatTheory)是HYPERLINK数论中的一个重要定理，其内容为：假如p是HYPERLINK质数，且(a,p)=1，则a(p-1)≡1（modp）。即：假如a是HYPERLINK整数，p是质数，且a,pHYPERLINK互质(即两者只有一个公约数1)，则a的(p-1)次方除以p的HYPERLINK余数HYPERLINK恒等于1。组合恒等式HYPERLINK组合数C(k,n)的定义：从n个不同元素中选取k个进行组合的个数。基本的组合恒等式nC(k,n)=kC(k-1,n-1)C(n,k)C(m,k)=C(m,n)C(k-m,n-m)∑C(i,n)=2^n∑[(-1)^i]*C(i,n)=0C(m,n+1)=C(m-1,n)+C(m,n)（这个性质叫组合的【聚合性】）C(k,n)+C(k,n+1)+……+C(k,n+m)=C(k+1,n+m+1)-C(k+1,n)C(0,n)C(p,m)+C(1,n)C(p-1,m)+C(2,n)C(p-2,m)+……+C(p-1,n)C(1,m)+C(p,n)C(0,m)=C(p,m+n)韦达定理逆定理如果两数α和β满足如下关系：α+β=，α·β=，则这两个数α和β是方程的根。通过韦达定理的逆定理，可以利用两数的和积关系构造一元二次方程。[5]推广定理韦达定理不仅可以说明一元二次方程根和系数的关系，还可以推广说明一元n次方程根和系数的关系。定理：设（i=1、2、3、……n）是方程：的n个根，记k为整数），则有：。[实系数方程虚根成对定理：实系数一元n次方程的虚根成对出现，即若z=a+bi(b≠0)是方程的一个根，则=a-bi也是一个根。无穷递降法无穷递降法是证明HYPERLINK方程无解的一种方法。其步骤为：假设方程有解，并设X为最小的解。从X推出一个更小的解Y。从而和X的最小性相矛盾。所以，方程无解。孙子定理又称中国剩余定理，中国剩余定理给出了以下的一元线性同余方程组：有解的判定条件，并用HYPERLINK构造法给出了在有解情况下解的具体形式。中国剩余定理说明：假设HYPERLINK整数m1,m2,...,mnHYPERLINK两两互质，则对任意的整数：a1,a2,...,an，方程组有解，并且通解可以用如下方式构造得到：设是整数m1,m2,...,mn的乘积，并设是除了mi以外的n-1个整数的乘积。设为模的数论倒数：方程组的通解形式：在模的意义下，方程组只有一个解：同余同余公式也有许多我们常见的定律,比如相等律,结合律,交换律,传递律….如下面的表示:1)a≡a(modd)2)a≡b(modd)→b≡a(modd)3)(a≡b(modd),b≡c(modd))→a≡c(modd)如果a≡x(modd),b≡m(modd),则4)a+b≡x+m（modd）其中a≡x(modd)，b≡m(modd)5)a-b≡x-m(modd)其中a≡x(modd),b≡m(modd)6)a*b≡x*m(modd)其中a≡x(modd),b≡m(modd)7）a≡b（modd）则a-b整除d欧拉函数φ函数的值通式：φ(x)=x(1-1/p1)(1-1/p2)(1-1/p3)(1-1/p4)…..(1-1/pn),其中p1,p2……pn为x的所有质因数，x是不为0的整数。φ(1)=1（唯一和1HYPERLINK互质的数(小于等于1)就是1本身）。(注意：每种质因数只一个。比如12=2*2*3则φ（12）=12*（1-1/2）*(1-1/3)=4若n是质数p的k次幂，φ(n)=p^k-p^(k-1)=(p-1)p^(k-1)，因为除了p的倍数外，其他数都跟n互质。设n为正整数，以φ(n)表示不超过n且和n互素的正整数的个数，称为n的欧拉函数值，这里函数φ：N→N，n→φ(n)称为欧拉函数。欧拉函数是HYPERLINK积性函数——若m,n互质，φ(mn)=φ(m)φ(n)。特殊性质：当n为奇数时，φ(2n)=φ(n),证明和上述类似。若n为质数则φ(n)=n-1。格点定义数学上把在平面直角坐标系中横纵坐标均为整数的点称为格点(latticepoint)或整点。性质1、格点多边形的面积必为整数或半整数（奇数的一半）。2、格点关于格点的对称点为格点。3、格点多边形面积公式（坐标平面内顶点为格点的三角形称为格点三角形，类似地也有格点多边形的概念。）设某格点多边形内部有格点a个，格点多边形的边上有格点b个，该格点多边形面积为S，则根据HYPERLINK皮克公式有S=a+b/2-1。4，格点正多边形只能是正方形。5，格点三角形边界上无其他格点，内部有一个格点，则该点为此三角形的重心。三面角定义三面角：由三个面构成的HYPERLINK多面角称为三面角，如图中三面角可记作∠O-ABC。特别地，三个面角都是HYPERLINK直角的三面角称为直三面角。三面角的补HYPERLINK三面角：由三条自已知三面角定点发出的HYPERLINK垂直于已知三面角的三个平面的射线组成的三面角叫做已知三面角的补三面角。HYPERLINK\o"三面角"性质1、三面角的任意两个面角的和HYPERLINK大于第三个面角。2、三面角的三个二面角的和大于180°，小于540°。三面角相关定理设三面角∠O-ABC的三个面角∠AOB、∠BOC、∠AOC所对的二面角依次为∠OC，∠OA，∠OB。1、HYPERLINK三面角正弦定理：sin∠OA/sin∠BOC=sin∠OB/sin∠AOC=sin∠OC/sin∠AOB。2、三面角第一余弦定理：cos∠BOC=cos∠OA×sin∠AOB×sin∠AOC+cos∠AOB×cos∠AOC。3、三面角第二余弦定理：cos∠OA=cos∠BOC×sin∠OB×sin∠OC-cos∠OB×cos∠OC。直线方程一般有以下八种描述方式：点斜式，斜截式，两点式，截距式，一般式，法线式，法向式，点向式。点斜式已知直线一点(x1,y1,)并且存在直线的HYPERLINK斜率k，则直线可表示为：y-y1=k(x-x1)。适用范围：斜率K存在的直线。斜截式已知和Y轴的交点（0，b），斜率为K，则直线可表示为：y=kx+b。适用范围：斜率存在的直线。两点式两点式是HYPERLINK解析几何直线理论的重要概念。当已知两点（X1，Y1），（X2，Y2）时，将直线的斜率公式k=(y2-y1)/(x2-x1)代入点斜式时，得到两点式(y-y1)/(y2-y1)=(x-x1)/(x2-x1)。适用范围：不平行于（或者说不垂直于）坐标轴的的直线。截距式已知和坐标轴的交点（a，0），（0，b）时，截距式的一般形式：x/a+y/b=1（a≠0且b≠0）。适用范围：不平行于（或者说不垂直于）坐标轴的直线，不过原点的直线。一般式ax+by+c=0(A、B不同时为0)。斜率：-A/BHYPERLINK截距：-C/B。两直线平行时：A1/A2=B1/B2≠C1/C2，则无解。两直线相交时：A1/A2≠B1/B2；两直线垂直时：A1A2+B1B2=0A1/B1×A2/B2=-1，都只有一个交点。两直线重合时：A1/A2=B1/B2=C1/C2，则有无数解。适用范围：所有直线均可适用。法线式过原点向直线做一条的垂线段，该垂线段所在直线的倾斜角为α，p是该线段的长度。x·cosα+ysinα-p=0。法向式知道直线上一点（x0，y0）和和之垂直的向量（a，b），则a（x-x0）+b（y-y0）=0，法向量n=（a，b）方向向量d=（b，-a）k=a/b。点向式知道直线上一点(x0,y0)和方向向量（u,v），(x-x0)/u=(y-y0)/v(u≠0,v≠0)。极坐标系极坐标系（polarcoordinates）是指在平面内由HYPERLINK极点、HYPERLINK极轴和极径组成的坐标系。在平面上取定一点O，称为极点。从O出发引一条HYPERLINK射线Ox，称为极轴。再取定一个HYPERLINK长度单位，通常规定角度取HYPERLINK逆时针方向为正。这样，平面上任一点P的位置就可以用线段OP的长度ρ以及从Ox到OP的角度HYPERLINKθ来确定，HYPERLINK有序数对（ρ，θ）就称为P点的极坐标，记为P（ρ，θ）；ρ称为P点的极径，θ称为P点的极角。极坐标方程于极点（90°/270°）对称，如果r(θ-α)=r(θ)，则曲线相当于从极点HYPERLINK顺时针方向HYPERLINK旋转α°。圆HYPERLINK方程为r(θ)=1的圆。在极坐标系中，圆心在(r0,φ)半径为a的圆的方程为r^2-2rr0cos(θ-φ)+r0^2=a^2该方程可简化为不同的方法，以符合不同的特定情况，比如方程r(θ)=a表示一个以极点为中心半径为a的圆。直线经过极点的HYPERLINK射线由如下方程表示θ=φ,其中φ为射线的倾斜角度，若k为HYPERLINK直角坐标系的射线的HYPERLINK斜率，则有φ=arctank。任何不经过极点的直线都会和某条射线垂直。这些在点（r0,φ）处的直线和射线θ=φ垂直，其方程为r(θ)=r0sec(θ-φ)圆幂点到圆的幂：设P为⊙O所在平面上任意一点，PO=d，⊙O的半径为r，则d^2－r^2就是点P对于⊙O的幂．过P任作一直线和⊙O交于点A、B，则PA·PB=|d2－r2|．“到两圆等幂的点的轨迹是和此二圆的连心线垂直的一条直线，如果此二圆相交，则该轨迹是此二圆的公共弦所在直线”这个结论．这条直线称为两圆的“根轴”．三个圆两两的根轴如果不互相平行，则它们交于一点，这一点称为三圆的“根心”．三个圆的根心对于三个圆等幂．当三个圆两两相交时，三条公共弦(就是两两的根轴)所在直线交于一点．1．定义从一点A作一圆周的任一割线，从A起到和圆相交为止的两段之积，称为点A于这圆周的幂．2．圆幂定理已知⊙(O,r)，通过一定点P，作⊙O的任一割线交圆于A,B，则PA，PB为P对于⊙O的幂，记为k，则当P在圆外时，k=PO^2-r^2；当P在圆内时，k=r^2-PO^2；当P在圆上时，k=0.图Ⅰ：HYPERLINK相交弦定理。如图，AB、CD为圆O的两条任意弦。相交于点P，连接AD、BC，由于∠B和∠D同为弧AC所对的圆周角，因此由HYPERLINK圆周角定理知：∠B=∠D，同理∠A=∠C，所以。所以有：，即：。图Ⅱ：HYPERLINK割线定理。如图，连接AD、BC。可知∠B=∠D，又因为∠P为公共角，所以有，同上证得。图Ⅲ：HYPERLINK切割线定理。如图，连接AC、AD。∠PAC为切线PA和弦AC组成的弦切角，因此有∠PBC=∠D，又因为∠P为公共角，所以有，易图Ⅳ：PA、PC均为切线，则∠PAO=∠PCO=90°，在直角三角形中：OC=OA=R，PO为公共边，因此。所以PA=PC，所以。综上可知，是普遍成立的。根轴定义HYPERLINK在HYPERLINK\o"平面"平面上任给两不同心的圆，则对两圆HYPERLINK\o"圆幂"圆幂相等的点的HYPERLINK\o"集合"集合是一条直线，这条线称为这两个圆的根轴。

另一角度也可以称两不HYPERLINK\o"同心圆"同心圆的等幂点的轨迹为根轴，或者称作等幂轴。根轴方程HYPERLINK

设两圆O1,O2的方程分别为：

(x-a1)^2+(y-b1)^2-(r1)^2=0(1)

(x-a2)^2+(y-b2)^2-(r2)^2=0(2)

由于根轴上任意点对两圆的HYPERLINK\o"圆幂"圆幂相等，所以根轴上任一点(x,y),有

(x-a1)^2+(y-b1)^2-(r1)^2=HYPERLINK\o"圆幂"圆幂=(x-a2)^2+(y-b2)^2-(r2)^2

两式相减，得根轴的方程(即x,y的方程)为

2(a2-a1)x+2(b2-b1)y+f1-f2=0

其中f1=(a1)^2+(b1)^2-(r1)^2,f2类似。解的不同可能HYPERLINK

(1)(2)连立的解，是两圆的公共点M(x1,y1),N(x2,y2)

如果是两组不等实数解，MN不重合且两圆相交，根轴是两圆的HYPERLINK\o"公共弦"公共弦。

如果是相等实数解，MN重合，HYPERLINK\o"两圆相切"两圆相切，方程表示两圆的HYPERLINK\o"内公切线"内公切线。

如果是共轭虚数解，两圆相离，只有代数规律发挥作用，在坐标系内没有实质。称M,N是共轭虚点。尺规作图HYPERLINK

相交,相切时根轴为两圆交点的连线.内含时,作一适当的圆和两园相交,这圆和两圆的根轴的交点在根轴上.同理

再作一点,两点所在的直线即为根轴(等幂轴)相关定理HYPERLINK

1，平面上任意两圆的根轴垂直于它们的连心线；

2，若两圆相交，则两圆的根轴为公共弦所在的直线；

3，若两圆相切，则两圆的根轴为它们的内公切线；

4，若两圆外离，则两圆的根轴上的点分别引两圆的切线，则切线长相等。

5，蒙日定理（根心定理）：平面上任意三个圆，若这三个圆圆心不共线，则三条根轴相交于一点，这个点叫它们的根心；若三圆圆心共线，则三条根轴互相平行；

6，HYPERLINK\o"反演"反演后的圆和反演圆和被反演的圆3个圆共根轴。容斥原理也可表示为：设S为有限集,则两个集合的容斥关系公式：A∪B=|A∪B|=|A|+|B|-|A∩B|(∩：重合的部分）三个集合的容斥关系公式：|A∪B∪C|=|A|+