代数基本定理

逻辑代数中的基本定律和公式

1.逻辑代数的公理：（1）若A不等于零,则A=1；若A不等于1,则
A=0.（2）0+0=0；1+1=1；0+1=1；1+0=1；
（3）0*0=0；1*1=1；1*0=0；0*1=0；
（4）0的非门=1；1的非门=0；
2.逻辑代数定理；
（1）A+0=A；A+1=1；A+A=A；（2）A与0=0；A与1=A；A与A=A；
（3）A+A非门=1；A与A非门=0；（4）A的非门的非门=A
3.逻辑代数的定律：
（1）交换律：A与门B=B与门A；A+B=B+A；
（2）分配律：A与门（B+C）=A与门B+A与门C；
A+B与门C=（A+B）与门(A+C)
(3)结合律:A与门(B与门C)=(A与门B)与门C;A+(B+C)=(A+B)+C
(4)吸收律:A+A与门C=A
(5)德摩根定律:(A+B)的非=(A非门)与(B非门)

逻辑代数基本公式

逻辑代数基本公式：A+AB=A（1+B）=A1。逻辑代数是一种用于描述客观事物逻辑关系的数学方法，由英国科学家乔治·布尔（George·Boole）于19世纪中叶提出，因而又称布尔代数。
逻辑关系（logicrelationship）即“依赖关系”，是指在项目管理中，指表示两个活动（前导活动和后续活动）中一个活动的变更将会影响到另一个活动的关系。

代数基本定理

代数学基本定理：任何复系数一元n次多项式 方程在复数域上至少有一根(n≥1)，由此推出，n次复系数多项式方程在复数域内有且只有n个根（重根按重数计算）。代数基本定理在代数乃至整个数学中起着基础作用。 据说，关于代数学基本定理的证明，现有200多种证法。介绍:代数学基本定理说明，任何复系数一元n次多项式方程在复数域上至少有一根。由此推出,n次复系数多项式方程在复数域内有且只有n个根（重根按重数计算）。有时这个定理表述为：任何一个非零的一元n次复系数多项式，都正好有n个复数根。这似乎是一个更强的命题，但实际上是“至少有一个根”的直接结果，因为有一个根xa，只要不断把多项式除以(x-xa)，即可从有一个根推出有n个根。尽管这个定理被命名为“代数基本定理”，但它还没有纯粹的代数证明，许多数学家都相信这种证明不存在。另外，它也不是最基本的代数定理；因为在那个时候，代数基本上就是关于解实系数或复系数多项式方程，所以才被命名为代数基本定理。

代数基本定理

代数学基本定理，指任何复系数一元多次多项式方程在复数域上至少有一根，由此推出，多次复系数多项式方程在复数域内有且只有多个根，重根按重数计算。代数基本定理在代数乃至整个数学中起着基础作用。 据说，关于代数学基本定理的证明，现有200多种证法；

2、尽管这个定理被命名为“代数基本定理”，但它还没有纯粹的代数证明，许多数学家都相信这种证明不存在。另外，它也不是最基本的代数定理；因为在发现的时代，代数基本上就是关于解实系数或复系数多项式方程，所以才被命名为代数基本定理。

逻辑代数基本定律规则及常用公式

在四则运算中，我们知道有交换律、结合律以及分配律等。那么在逻辑运算中，也有它自己的基本定律，下面将介绍逻辑代数运算中的基本定理。

1.0、1定律

0、1定律描述的是单个变量A和0、1之间的运算规则。其中有以下四条定律：（1）A·0=0，即A和0相与始终为0；（2）A·1=A，即A与1相与结果为A；（3）A+0=A，即A和0相或结果为A；（4）A+1=1，即A和1相或始终为1。

2.重叠律

重叠率描述逻辑变量A和其自身的运算。（1）A·A=A，即A和自己相与等于它本身；（2）A+A=A，即A和自己相或亦等于它本身。

3.互补律

互补律描述A和自身的反变量¬A之间的关系。（1）A·¬A=0，即A和自身反变量相与始终为0；（2）A+¬A=1，即A和自身反变量相或始终为1。证明：由于A和¬A之间至少有一个为0，即二者不可能全为1，所以相与得0；同时，A和¬A之间至少有一个为1，满足或运算的“有1出1”，所以相或得0。

4.还原律

A的反变量再取反，等于本身，即¬(¬A)=A。

5.交换律

在此定律及之后的定律中，都将会涉及到两个及以上的逻辑变量。交换律即两个逻辑变量运算时交换位置，结果不变。（1）A·B=B·A，即A与B等于B与A；（2）A+B=B+A，即A或B等于B或A。

6.结合律

结合律指三个及以上变量相与或相或时，可以使任意两个变量先进行运算，再去和别的变量进行运算。（1）(A·B)·C=A·(B·C)，即A与B后再与C，等于B与C后再与A。（2）(A+B)+C=A+(B+C)，即A或B后再或C，等于B或C后再或A。

7.分配律

逻辑代数的分配律和四则运算的分配律很类似，但是有一些不同。（1）A·(B+C)=A·B+A·C，即A和B或C相与，等于A和B、C分别相与，然后进行或运算；（2）(A+B)·(A+C)=A+B·C，这一条定律显得有一些特殊，它的结果并不像四则运算中展开后有四项的形式，实际上，我们可以这样的得到：(A+B)·(A+C)=A·A+A·C+A·B+B·C=A+AC+AB+BC=A(1+B+C)+BC=A·1+BC=A+BC。这一定律对之后的逻辑函数化简有很大的帮助。

8.反演律

反演律描述的是两个变量的与、或运算以及他们取反后的运算之间的关系。（1）¬(AB)=¬A+¬B，如果用标准的横线来表示取反，我们可以将这个定律理解为“断开，变号”，即断开两个变量上面的非号，然后将两变量中间的与号变为或号；（2）¬(A+B)=¬A¬B，与上一个定律一样，也是“断开，变号”，只是这里是或号变与号。反演律可以用真值表来进行验证。

以上就是所有逻辑代数的基本定律。在化简逻辑函数时，除了需要应用以上的基本定律，还需要用到一些更加进阶的公式，这样我们化简时就可以更加的轻松。

（1）A+AB=A、A(A+B)=A

这两个个公式又称为“吸收律”，其中第一个表示两个乘积项相加时，若其中一项以另一项为因子，则该项是多余的，可以删去。这说明变量A和包含A的和项相乘时，和项可以删去。第二个式子可以由第一个推出。

（2）A+¬AB=A+B

这个公式被称为补吸收律，即变量A和自身的反变量与其它变量的乘积相加时，等于自身加上其它变量。

（3）AB+¬AC+BC=AB+¬AC

这个公式并没有官方称呼，我愿称它为“消去律”，它表示乘积项相加时，若两个乘积项中分别包含A和¬A这两个因子，而这两个项的其余因子组成第三个乘积项时，则第三个乘积项是多余的，可以消去。

以上就是这篇文章的全部内容，下一篇文章我将会介绍逻辑函数的最小、最大项表达式，以及如何利用它们和上面介绍的公式对复杂的逻辑函数进行化简。

代数基本定理的证明

代数基本定理的证明如下：代数拓扑方法：视S2=C∪{}SymboleB@}，f（z）可以延拓为一个连续映射：F：S2=C∪{SymboleB@}→S2=C∪{SymboleB@}；F（z）=f（z），z∈C;F（SymboleB@）=SymboleB@。由此可知，只要证明0∈ImF即可。伯努利在1702 年的文章“关于积分学问题的解答”的开头得出一个结论：有理微积分总是可以约化为双曲线的求积（如果对数是实的）或圆的求积（如果对数是虚的）。

谁能给一个代数基本定理的代数证明

所有的证明都包含了一些数学分析，至少是实数或复数函数的连续性概念。有些证明也用到了可微函数，甚至是解析函数。
定理的某些证明仅仅证明了任何实系数多项式都有复数根。这足以推出定理的一般形式，这是因为，给定复系数多项式p(z)，以下的多项式
就是一个实系数多项式，如果z是q(z)的根，那么z或它的共轭复数就是p(z)的根。
许多非代数证明都用到了“增长引理”：当|z|足够大时，首系数为1的n次多项式函数p(z)的表现如同z。一个更确切的表述是：存在某个正实数R，使得当|z| > R时，就有： 证明一
寻找一个中心为原点，半径为r的闭圆盘D，使得当|z| ≥ r时，就有|p(z)| > |p(0)|。因此，|p(z)|在D内的最小值（一定存在，因为D是紧致的），是在D的内部的某个点z0取得，但不能在边界上取得。于是，根据最小模原理，p(z0) = 0。也就是说，z0是p(z)的一个零点（根）。
证明二
由于在D之外，有|p(z)| > |p(0)|，因此在整个复平面上，|p(z)|的最小值在z0取得。如果|p(z0)| > 0，那么1/p在整个复平面上是有界的全纯函数，这是因为对于每一个复数z，都有|1/p(z)| ≤ |1/p(z0)|。利用刘维尔定理（有界的整函数一定是常数），可知1/p是常数，因此p是常数。于是得出矛盾，所以p(z0) = 0。
证明三
这个证明用到了辐角原理。设R为足够大的正实数，使得p(z)的每一个根的绝对值都小于R；这个数一定存在，因为n次多项式函数最多有n个根。对于每一个r > R，考虑以下的数：
其中c(r)是中心为0，半径为r的逆时针方向的圆；于是辐角原理表明，这个数是p(z)在中心为0、半径为r的开圆盘内的零点的数目N，由于r > R，所以它也是p(z)的零点的总数目。另一方面，n/z沿着c(r)的积分除以2πi，等于n。但这两个数的差为：

被积分的有理表达式中的分子，次数最多是n 1，而分母的次数是n + 1。因此，当r趋于+∞时，以上的数趋于0。但这个数也等于N n，因此有N = n。
证明四
这个证明结合了线性代数和柯西积分定理。为了证明每一个n > 0次复系数多项式都有一个根，只需证明每一个方块矩阵都有一个复数特征值。证明用到了反证法。
设A为大小n > 0的方块矩阵，并设In为相同大小的单位矩阵。假设A没有特征值。考虑预解函数

它在复平面上是亚纯函数，它的值位于矩阵的向量空间内。A的特征值正好是R(z)的极点。根据假设，A没有特征值，因此函数R(z)是整函数，根据柯西积分定理可知：

另一方面，把R(z)展开为几何级数，可得：

这个公式在半径为||A||的闭圆盘的外部（A的算子范数）成立。设r > ||A||。那么：

（仅当k = 0时，积分才不等于零）。于是得出矛盾，因此A一定有一个特征值。 设z0 ∈ C为使|p(z)|在z0取得最小值的数; 从用到刘维尔定理的证明中，可以看到这样一个数一定存在。我们可以把p(z)写成z z0的多项式：存在某个自然数k和一些复数，使得，以及：
可推出如果a是的一个k重根，且t是足够小的正数，那么|p(z0 + ta)| < |p(z0)|，这是不可能的，因为|p(z0)|是|p|在D内的最小值。
对于另外一个用到反证法的拓扑学证明，假设p(z)没有根。选择一个足够大的正数R，使得对于|z| = R，p(z)的第一项z大于所有其它的项的和；也就是说，|z| > |an 1z + ··· + a0|。当z依逆时针方向绕过方程为|z| = R的圆一次时，p(z)，像z那样，依逆时针方向绕过零n次。在另外一个极端，|z| = 0时，“曲线” p(z)仅仅是一个（非零的）点p(0)，它的卷绕数显然是0。如果z所经过的回路在这两个极端中被连续变形，那么p(z)的路径也连续变形。我们可以把这个变形记为，其中t大于或等于0，而小于或等于1。如果我们把变量t视为时间，那么在时间为零时，曲线为p(z)，时间为1时，曲线为p(0)。显然在每一个点t，根据原先的假设p(z)都不能是零，因此在变形的过程中，曲线一直都没有经过零。因此曲线关于0的绕数应该不变。然而，由于绕数在一开始是n，结束时是0，因此得出矛盾。所以，p(z)至少有一个根。 这个证明需要依赖实数集的如下事实：正实数R在上有实平方根，以及任何奇次多项式在上有一个根（这可以用介值定理证明）。
首先。经过简单的计算可以证明在开平方运算下是封闭的（利用事实1）。结合。得出不存在二阶扩张。
由于，于是任何的扩张都是可分的，从而任何的代数扩张都可以被包含在一个伽罗瓦扩张内。假设是一个伽罗瓦扩张。考虑伽罗瓦群的西罗2-子群H。那么是奇数。由本原元定理得出，K存在本原元，它的极小多项式是奇次的。但是利用实数集的事实2，任何奇次数多项式在实数上有一个根，于是不存在奇次的且次数>1的不可约多项式。于是是2的幂次。
假设并且r>0，再次利用西罗定理，G存在一个阶为2的子群N。这时。这和先前不存在二阶扩张矛盾。因此的任何代数扩张都是本身，代数基本定理得证。

初中数学代数部分知识点总结

数与代数A、数与式：1、有理数有理数：①整数→正整数/0/负整数②分数→正分数/负分数
数轴：①画一条水平直线，在直线上取一点表示0（原点），选取某一长度作为单位长度，规定直线上向右的方向为正方向，就得到数轴。②任何一个有理数都可以用数轴上的一个点来表示。③如果两个数只有符号不同，那么我们称其中一个数为另外一个数的相反数，也称这两个数互为相反数。在数轴上，表示互为相反数的两个点，位于原点的两侧，并且与原点距离相等。④数轴上两个点表示的数，右边的总比左边的大。正数大于0，负数小于0，正数大于负数。
绝对值：①在数轴上，一个数所对应的点与原点的距离叫做该数的绝对值。②正数的绝对值是他的本身、负数的绝对值是他的相反数、0的绝对值是0。两个负数比较大小，绝对值大的反而小。
有理数的运算：加法：①同号相加，取相同的符号，把绝对值相加。②异号相加，绝对值相等时和为0；绝对值不等时，取绝对值较大的数的符号，并用较大的绝对值减去较小的绝对值。③一个数与0相加不变。
减法：减去一个数，等于加上这个数的相反数。
乘法：①两数相乘，同号得正，异号得负，绝对值相乘。②任何数与0相乘得0。③乘积为1的两个有理数互为倒数。
除法：①除以一个数等于乘以一个数的倒数。②0不能作除数。
乘方：求N个相同因数A的积的运算叫做乘方，乘方的结果叫幂，A叫底数，N叫次数。
混合顺序：先算乘法，再算乘除，最后算加减，有括号要先算括号里的。
2、实数 无理数：无限不循环小数叫无理数
平方根：①如果一个正数X的平方等于A，那么这个正数X就叫做A的算术平方根。②如果一个数X的平方等于A，那么这个数X就叫做A的平方根。③一个正数有2个平方根/0的平方根为0/负数没有平方根。④求一个数A的平方根运算，叫做开平方，其中A叫做被开方数。
立方根：①如果一个数X的立方等于A，那么这个数X就叫做A的立方根。②正数的立方根是正数、0的立方根是0、负数的立方根是负数。③求一个数A的立方根的运算叫开立方，其中A叫做被开方数。
实数：①实数分有理数和无理数。②在实数范围内，相反数，倒数，绝对值的意义和有理数范围内的相反数，倒数，绝对值的意义完全一样。③每一个实数都可以在数轴上的一个点来表示。
3、代数式
代数式：单独一个数或者一个字母也是代数式。
合并同类项：①所含字母相同，并且相同字母的指数也相同的项，叫做同类项。②把同类项合并成一项就叫做合并同类项。③在合并同类项时，我们把同类项的系数相加，字母和字母的指数不变。
4、整式与分式
整式：①数与字母的乘积的代数式叫单项式，几个单项式的和叫多项式，单项式和多项式统称整式。②一个单项式中，所有字母的指数和叫做这个单项式的次数。③一个多项式中，次数最高的项的次数叫做这个多项式的次数。
整式运算：加减运算时，如果遇到括号先去括号，再合并同类项。
幂的运算：AM+AN=A（M+N）
（AM）N=AMN
（A/B）N=AN/BN 除法一样。
整式的乘法：①单项式与单项式相乘，把他们的系数，相同字母的幂分别相乘，其余字母连同他的指数不变，作为积的因式。②单项式与多项式相乘，就是根据分配律用单项式去乘多项式的每一项，再把所得的积相加。③多项式与多项式相乘，先用一个多项式的每一项乘另外一个多项式的每一项，再把所得的积相加。
公式两条：平方差公式/完全平方公式
整式的除法：①单项式相除，把系数，同底数幂分别相除后，作为商的因式；对于只在被除式里含有的字母，则连同他的指数一起作为商的一个因式。②多项式除以单项式，先把这个多项式的每一项分别除以单项式，再把所得的商相加。
分解因式：把一个多项式化成几个整式的积的形式，这种变化叫做把这个多项式分解因式。
方法：提公因式法、运用公式法、分组分解法、十字相乘法。
分式：①整式A除以整式B，如果除式B中含有分母，那么这个就是分式，对于任何一个分式，分母不为0。②分式的分子与分母同乘以或除以同一个不等于0的整式，分式的值不变。
分式的运算：
乘法：把分子相乘的积作为积的分子，把分母相乘的积作为积的分母。
除法：除以一个分式等于乘以这个分式的倒数。
加减法：①同分母分式相加减，分母不变，把分子相加减。②异分母的分式先通分，化为同分母的分式，再加减。
分式方程：①分母中含有未知数的方程叫分式方程。②使方程的分母为0的解称为原方程的增根。
B、方程与不等式
1、方程与方程组
一元一次方程：①在一个方程中，只含有一个未知数，并且未知数的指数是1，这样的方程叫一元一次方程。②等式两边同时加上或减去或乘以或除以（不为0）一个代数式，所得结果仍是等式。
解一元一次方程的步骤：去分母，移项，合并同类项，未知数系数化为1。
二元一次方程：含有两个未知数，并且所含未知数的项的次数都是1的方程叫做二元一次方程。
二元一次方程组：两个二元一次方程组成的方程组叫做二元一次方程组。
适合一个二元一次方程的一组未知数的值，叫做这个二元一次方程的一个解。
二元一次方程组中各个方程的公共解，叫做这个二元一次方程的解。
解二元一次方程组的方法：代入消元法/加减消元法。
一元二次方程：只有一个未知数，并且未知数的项的最高系数为2的方程
1）一元二次方程的二次函数的关系
大家已经学过二次函数（即抛物线）了，对他也有很深的了解，好像解法，在图象中表示等等，其实一元二次方程也可以用二次函数来表示，其实一元二次方程也是二次函数的一个特殊情况，就是当Y的0的时候就构成了一元二次方程了。那如果在平面直角坐标系中表示出来，一元二次方程就是二次函数中，图象与X轴的交点。也就是该方程的解了
2）一元二次方程的解法
大家知道，二次函数有顶点式（-b/2a,4ac-b2/4a），这大家要记住，很重要，因为在上面已经说过了，一元二次方程也是二次函数的一部分，所以他也有自己的一个解法，利用他可以求出所有的一元一次方程的解
(1）配方法
利用配方，使方程变为完全平方公式，在用直接开平方法去求出解
(2)分解因式法
提取公因式，套用公式法，和十字相乘法。在解一元二次方程的时候也一样，利用这点，把方程化为几个乘积的形式去解
(3)公式法
这方法也可以是在解一元二次方程的万能方法了，方程的根X1={-b+√[b2-4ac)]}/2a，X2={-b-√[b2-4ac)]}/2a
3）解一元二次方程的步骤：
（1）配方法的步骤：
先把常数项移到方程的右边，再把二次项的系数化为1，再同时加上1次项的系数的一半的平方，最后配成完全平方公式
(2)分解因式法的步骤：
把方程右边化为0，然后看看是否能用提取公因式，公式法（这里指的是分解因式中的公式法）或十字相乘，如果可以，就可以化为乘积的形式
(3)公式法
就把一元二次方程的各系数分别代入，这里二次项的系数为a，一次项的系数为b，常数项的系数为c
4）韦达定理
利用韦达定理去了解，韦达定理就是在一元二次方程中，二根之和=-b/a，二根之积=c/a
也可以表示为x1+x2=-b/a,x1x2=c/a。利用韦达定理，可以求出一元二次方程中的各系数，在题目中很常用
5）一元一次方程根的情况
利用根的判别式去了解，根的判别式可在书面上可以写为“△”，读作“diao ta”，而△=b2-4ac，这里可以分为3种情况：
I当△>0时，一元二次方程有2个不相等的实数根；
II当△=0时，一元二次方程有2个相同的实数根；
III当△<0时，一元二次方程没有实数根（在这里，学到高中就会知道，这里有2个虚数根）
2、不等式与不等式组
不等式：①用符号〉，=，〈号连接的式子叫不等式。②不等式的两边都加上或减去同一个整式，不等号的方向不变。③不等式的两边都乘以或者除以一个正数，不等号方向不变。④不等式的两边都乘以或除以同一个负数，不等号方向相反。
不等式的解集：①能使不等式成立的未知数的值，叫做不等式的解。②一个含有未知数的不等式的所有解，组成这个不等式的解集。③求不等式解集的过程叫做解不等式。
一元一次不等式：左右两边都是整式，只含有一个未知数，且未知数的最高次数是1的不等式叫一元一次不等式。
一元一次不等式组：①关于同一个未知数的几个一元一次不等式合在一起，就组成了一元一次不等式组。②一元一次不等式组中各个不等式的解集的公共部分，叫做这个一元一次不等式组的解集。③求不等式组解集的过程，叫做解不等式组。
一元一次不等式的符号方向：
在一元一次不等式中，不像等式那样，等号是不变的，他是随着你加或乘的运算改变。
在不等式中，如果加上同一个数（或加上一个正数），不等式符号不改向；例如：A>B,A+C>B+C
在不等式中，如果减去同一个数（或加上一个负数），不等式符号不改向；例如：A>B，A-C>B-C
在不等式中，如果乘以同一个正数，不等号不改向；例如：A>B，A*C>B*C（C>0）
在不等式中，如果乘以同一个负数，不等号改向；例如：A>B，A*C<B*C（C<0）
如果不等式乘以0，那么不等号改为等号
所以在题目中，要求出乘以的数，那么就要看看题中是否出现一元一次不等式，如果出现了，那么不等式乘以的数就不等为0，否则不等式不成立；
3、函数
变量：因变量，自变量。
在用图象表示变量之间的关系时，通常用水平方向的数轴上的点自变量，用竖直方向的数轴上的点表示因变量。
一次函数：①若两个变量X，Y间的关系式可以表示成Y=KX+B（B为常数，K不等于0）的形式，则称Y是X的一次函数。②当B=0时，称Y是X的正比例函数。
一次函数的图象：①把一个函数的自变量X与对应的因变量Y的值分别作为点的横坐标与纵坐标，在直角坐标系内描出它的对应点，所有这些点组成的图形叫做该函数的图象。②正比例函数Y=KX的图象是经过原点的一条直线。③在一次函数中，当K〈0，B〈O，则经234象限；当K〈0，B〉0时，则经124象限；当K〉0，B〈0时，则经134象限；当K〉0，B〉0时，则经123象限。④当K〉0时，Y的值随X值的增大而增大，当X〈0时，Y的值随X值的增大而减少。
二空间与图形
A、图形的认识
1、点，线，面
点，线，面：①图形是由点，线，面构成的。②面与面相交得线，线与线相交得点。③点动成线，线动成面，面动成体。
展开与折叠：①在棱柱中，任何相邻的两个面的交线叫做棱，侧棱是相邻两个侧面的交线，棱柱的所有侧棱长相等，棱柱的上下底面的形状相同，侧面的形状都是长方体。②N棱柱就是底面图形有N条边的棱柱。
截一个几何体：用一个平面去截一个图形，截出的面叫做截面。
视图：主视图，左视图，俯视图。
多边形：他们是由一些不在同一条直线上的线段依次首尾相连组成的封闭图形。
弧、扇形：①由一条弧和经过这条弧的端点的两条半径所组成的图形叫扇形。②圆可以分割成若干个扇形。
2、角
线：①线段有两个端点。②将线段向一个方向无限延长就形成了射线。射线只有一个端点。③将线段的两端无限延长就形成了直线。直线没有端点。④经过两点有且只有一条直线。
比较长短：①两点之间的所有连线中，线段最短。②两点之间线段的长度，叫做这两点之间的距离。
角的度量与表示：①角由两条具有公共端点的射线组成，两条射线的公共端点是这个角的顶点。②一度的1/60是一分，一分的1/60是一秒。
角的比较：①角也可以看成是由一条射线绕着他的端点旋转而成的。②一条射线绕着他的端点旋转，当终边和始边成一条直线时，所成的角叫做平角。始边继续旋转，当他又和始边重合时，所成的角叫做周角。③从一个角的顶点引出的一条射线，把这个角分成两个相等的角，这条射线叫做这个角的平分线。
平行：①同一平面内，不相交的两条直线叫做平行线。②经过直线外一点，有且只有一条直线与这条直线平行。③如果两条直线都与第3条直线平行，那么这两条直线互相平行。
垂直：①如果两条直线相交成直角，那么这两条直线互相垂直。②互相垂直的两条直线的交点叫做垂足。③平面内，过一点有且只有一条直线与已知直线垂直。
垂直平分线：垂直和平分一条线段的直线叫垂直平分线。
垂直平分线垂直平分的一定是线段，不能是射线或直线，这根据射线和直线可以无限延长有关，再看后面的，垂直平分线是一条直线，所以在画垂直平分线的时候，确定了2点后（关于画法，后面会讲）一定要把线段穿出2点。
垂直平分线定理：
性质定理：在垂直平分线上的点到该线段两端点的距离相等；
判定定理：到线段2端点距离相等的点在这线段的垂直平分线上
角平分线：把一个角平分的射线叫该角的角平分线。
定义中有几个要点要注意一下的，就是角的角平分线是一条射线，不是线段也不是直线，很多时，在题目中会出现直线，这是角平分线的对称轴才会用直线的，这也涉及到轨迹的问题，一个角个角平分线就是到角两边距离相等的点
性质定理：角平分线上的点到该角两边的距离相等
判定定理：到角的两边距离相等的点在该角的角平分线上
正方形：一组邻边相等的矩形是正方形
性质：正方形具有平行四边形、菱形、矩形的一切性质
判定：1、对角线相等的菱形2、邻边相等的矩形
二、基本定理
1、过两点有且只有一条直线
2、两点之间线段最短
3、同角或等角的补角相等
4、同角或等角的余角相等
5、过一点有且只有一条直线和已知直线垂直
6、直线外一点与直线上各点连接的所有线段中，垂线段最短
7、平行公理 经过直线外一点，有且只有一条直线与这条直线平行
8、如果两条直线都和第三条直线平行，这两条直线也互相平行
9、同位角相等，两直线平行
10、内错角相等，两直线平行
11、同旁内角互补，两直线平行
12、两直线平行，同位角相等
13、两直线平行，内错角相等
14、两直线平行，同旁内角互补
15、定理 三角形两边的和大于第三边
16、推论 三角形两边的差小于第三边
17、三角形内角和定理 三角形三个内角的和等于180°
18、推论1 直角三角形的两个锐角互余
19、推论2 三角形的一个外角等于和它不相邻的两个内角的和
20、推论3 三角形的一个外角大于任何一个和它不相邻的内角
21、全等三角形的对应边、对应角相等
22、边角边公理(SAS) 有两边和它们的夹角对应相等的两个三角形全等
23、角边角公理( ASA)有两角和它们的夹边对应相等的 两个三角形全等
24、推论(AAS) 有两角和其中一角的对边对应相等的两个三角形全等
25、边边边公理(SSS) 有三边对应相等的两个三角形全等
26、斜边、直角边公理(HL) 有斜边和一条直角边对应相等的两个直角三角形全等
27、定理1 在角的平分线上的点到这个角的两边的距离相等
28、定理2 到一个角的两边的距离相同的点，在这个角的平分线上
29、角的平分线是到角的两边距离相等的所有点的集合
30、等腰三角形的性质定理 等腰三角形的两个底角相等 (即等边对等角）
31、推论1 等腰三角形顶角的平分线平分底边并且垂直于底边
32、等腰三角形的顶角平分线、底边上的中线和底边上的高互相重合
33、推论3 等边三角形的各角都相等，并且每一个角都等于60°
34、等腰三角形的判定定理 如果一个三角形有两个角相等，那么这两个角所对的边也相等（等角对等边）
35、推论1 三个角都相等的三角形是等边三角形
36、推论 2 有一个角等于60°的等腰三角形是等边三角形
37、在直角三角形中，如果一个锐角等于30°那么它所对的直角边等于斜边的一半
38、直角三角形斜边上的中线等于斜边上的一半
39、定理 线段垂直平分线上的点和这条线段两个端点的距离相等
40、逆定理 和一条线段两个端点距离相等的点，在这条线段的垂直平分线上
41、线段的垂直平分线可看作和线段两端点距离相等的所有点的集合
42、定理1 关于某条直线对称的两个图形是全等形
43、定理 2 如果两个图形关于某直线对称，那么对称轴是对应点连线的垂直平分线
44、定理3 两个图形关于某直线对称，如果它们的对应线段或延长线相交，那么交点在对称轴上
45、逆定理 如果两个图形的对应点连线被同一条直线垂直平分，那么这两个图形关于这条直线对称
46、勾股定理 直角三角形两直角边a、b的平方和、等于斜边c的平方，即a2+b2=c2
47、勾股定理的逆定理 如果三角形的三边长a、b、c有关系a2+b2=c2，那么这个三角形是直角三角形
48、定理 四边形的内角和等于360°
49、四边形的外角和等于360°
50、多边形内角和定理 n边形的内角的和等于（n-2）×180°
51、推论 任意多边的外角和等于360°
52、平行四边形性质定理1 平行四边形的对角相等
53、平行四边形性质定理2 平行四边形的对边相等
54、推论 夹在两条平行线间的平行线段相等
55、平行四边形性质定理3 平行四边形的对角线互相平分
56、平行四边形判定定理1 两组对角分别相等的四边形是平行四边形
57、平行四边形判定定理2 两组对边分别相等的四边 形是平行四边形
58、平行四边形判定定理3 对角线互相平分的四边形是平行四边形
59、平行四边形判定定理4 一组对边平行相等的四边形是平行四边形
60、矩形性质定理1 矩形的四个角都是直角
61、矩形性质定理2 矩形的对角线相等
62、矩形判定定理1 有三个角是直角的四边形是矩形
63、矩形判定定理2 对角线相等的平行四边形是矩形
64、菱形性质定理1 菱形的四条边都相等
65、菱形性质定理2 菱形的对角线互相垂直，并且每一条对角线平分一组对角
66、菱形面积=对角线乘积的一半，即S=（a×b）÷2
67、菱形判定定理1 四边都相等的四边形是菱形
68、菱形判定定理2 对角线互相垂直的平行四边形是菱形
69、正方形性质定理1 正方形的四个角都是直角，四条边都相等
70、正方形性质定理2正方形的两条对角线相等，并且互相垂直平分，每条对角线平分一组对角
71、定理1 关于中心对称的两个图形是全等的
72、定理2 关于中心对称的两个图形，对称点连线都经过对称中心，并且被对称中心平分
73、逆定理 如果两个图形的对应点连线都经过某一点，并且被这一点平分，那么这两个图形关于这一点对称
74、等腰梯形性质定理 等腰梯形在同一底上的两个角相等
75、等腰梯形的两条对角线相等
76、等腰梯形判定定理 在同一底上的两个角相等的梯 形是等腰梯形
77、对角线相等的梯形是等腰梯形
78、平行线等分线段定理 如果一组平行线在一条直线上截得的线段相等，那么在其他直线上截得的线段也相等
79、推论1 经过梯形一腰的中点与底平行的直线，必平分另一腰
80、推论2 经过三角形一边的中点与另一边平行的直线，必平分第三边
81、三角形中位线定理 三角形的中位线平行于第三边，并且等于它的一半
82、梯形中位线定理 梯形的中位线平行于两底，并且等于两底和的一半 L=（a+b）÷2 S=L×h
83、(1)比例的基本性质：如果a:b=c:d,那么ad=bc 如果 ad=bc ,那么a:b=c:d
84、(2)合比性质：如果a／b=c／d,那么(a±b)／b=(c±d)／d
85、(3)等比性质：如果a／b=c／d=…=m／n(b+d+…+n≠0),
那么(a+c+…+m)／(b+d+…+n)=a／b
86、平行线分线段成比例定理 三条平行线截两条直线，所得的对应线段成比例
87、推论 平行于三角形一边的直线截其他两边（或两边的延长线），所得的对应线段成比例
88、定理 如果一条直线截三角形的两边（或两边的延长线）所得的对应线段成比例，那么这条直线平行于三角形的第三边
89、平行于三角形的一边，并且和其他两边相交的直线， 所截得的三角形的三边与原三角形三边对应成比例
90、定理 平行于三角形一边的直线和其他两边（或两边的延长线）相交，所构成的三角形与原三角形相似
91、相似三角形判定定理1 两角对应相等，两三角形相似（ASA）
92、直角三角形被斜边上的高分成的两个直角三角形和原三角形相似
93、判定定理2 两边对应成比例且夹角相等，两三角形相似（SAS）
94、判定定理3 三边对应成比例，两三角形相似（SSS）
95、定理 如果一个直角三角形的斜边和一条直角边与另一个直角三角形的斜边和一条直角边对应成比例，那么这两个直角三角形相似
96、性质定理1 相似三角形对应高的比，对应中线的比与对应角平分线的比都等于相似比
97、性质定理2 相似三角形周长的比等于相似比
98、性质定理3 相似三角形面积的比等于相似比的平方
99、任意锐角的正弦值等于它的余角的余弦值，任意锐角的余弦值等于它的余角的正弦值
100、任意锐角的正切值等于它的余角的余切值，任意锐角的余切值等于它的余角的正切值
101、圆是定点的距离等于定长的点的集合
102、圆的内部可以看作是圆心的距离小于半径的点的集合
103、圆的外部可以看作是圆心的距离大于半径的点的集合
104、同圆或等圆的半径相等
105、到定点的距离等于定长的点的轨迹，是以定点为圆心，定长为半径的圆
106、和已知线段两个端点的距离相等的点的轨迹，是着条线段的垂直平分线
107、到已知角的两边距离相等的点的轨迹，是这个角的平分线
108、到两条平行线距离相等的点的轨迹，是和这两条平行线平行且距离相等的一条直线
109、定理 不在同一直线上的三点确定一个圆。
110、垂径定理 垂直于弦的直径平分这条弦并且平分弦所对的两条弧
111、推论1
①平分弦（不是直径）的直径垂直于弦，并且平分弦所对的两条弧
②弦的垂直平分线经过圆心，并且平分弦所对的两条弧
③平分弦所对的一条弧的直径，垂直平分弦，并且平分弦所对的另一条弧
112、推论2 圆的两条平行弦所夹的弧相等
113、圆是以圆心为对称中心的中心对称图形
114、定理 在同圆或等圆中，相等的圆心角所对的弧相等，所对的弦相等，所对的弦的弦心距相等
115、推论 在同圆或等圆中，如果两个圆心角、两条弧、两条弦或两弦的弦心距中有一组量相等那么它们所对应的其余各组量都相等
116、定理 一条弧所对的圆周角等于它所对的圆心角的一半
117、推论1 同弧或等弧所对的圆周角相等；同圆或等圆中，相等的圆周角所对的弧也相等
118、推论2 半圆（或直径）所对的圆周角是直角；90°的圆周角所对的弦是直径
119、推论3 如果三角形一边上的中线等于这边的一半，那么这个三角形是直角三角形
120、定理 圆的内接四边形的对角互补，并且任何一个外角都等于它的内对角
121、①直线L和⊙O相交 d＜r
②直线L和⊙O相切 d=r
③直线L和⊙O相离 d＞r
122、切线的判定定理 经过半径的外端并且垂直于这条半径的直线是圆的切线
123、切线的性质定理 圆的切线垂直于经过切点的半径
124、推论1 经过圆心且垂直于切线的直线必经过切点
125、推论2 经过切点且垂直于切线的直线必经过圆心
126、切线长定理 从圆外一点引圆的两条切线，它们的切线长相等圆心和这一点的连线平分两条切线的夹角
127、圆的外切四边形的两组对边的和相等
128、弦切角定理 弦切角等于它所夹的弧对的圆周角
129、推论 如果两个弦切角所夹的弧相等，那么这两个弦切角也相等
130、相交弦定理 圆内的两条相交弦，被交点分成的两条线段长的积相等
131、推论 如果弦与直径垂直相交，那么弦的一半是它分直径所成的两条线段的比例中项
132、切割线定理 从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项
133、推论 从圆外一点引圆的两条割线，这一点到每条 割线与圆的交点的两条线段长的积相等
134、如果两个圆相切，那么切点一定在连心线上


135、①两圆外离 d＞R+r ②两圆外切 d=R+r③两圆相交 R-r＜d＜R+r(R＞r)
④两圆内切 d=R-r(R＞r) ⑤两圆内含 d＜R-r(R＞r)
136、定理 相交两圆的连心线垂直平分两圆的公共弦
137、定理 把圆分成n(n≥3):
⑴依次连结各分点所得的多边形是这个圆的内接正n边形
⑵经过各分点作圆的切线，以相邻切线的交点为顶点的多边形是这个圆的外切正n边形
138、定理 任何正多边形都有一个外接圆和一个内切圆，这两个圆是同心圆
139、正n边形的每个内角都等于（n-2）×180°／n
140、定理 正n边形的半径和边心距把正n边形分成2n个全等的直角三角形
141、正n边形的面积Sn=pnrn／2 p表示正n边形的周长
142、正三角形面积√3a／4 a表示边长
143、如果在一个顶点周围有k个正n边形的角，由于这些角的和应为360°，因此k×(n-2)180°／n=360°化为（n-2）(k-2)=4
144、弧长计算公式：L=n兀R／180
145、扇形面积公式：S扇形=n兀R^2／360=LR／2
146、内公切线长= d-(R-r) 外公切线长= d-(R+r)