平面几何定理和证明大全
sss定理的推导？
sss定理的推导？
边边边定理，简称SSS，是平面几何中的重要定理之一。边边边定理的内容是：有三边对应相等的两个三角形全等。它用于证明两个三角形全等。该定理最早由欧几里得证明。
1、SSS（Side-Side-Side）（边、边、边）：各三角形的三条边的长度都对应相等的话，该两个三角形就是全等三角形。
2、SAS（Side-Angle-Side）（边、角、边）：各三角形的其中两条边的长度都对应相等，且这两条边的夹角（即这两条边组成的角）都对应相等的话，该两个三角形就是全等三角形。
3、ASA（Angle-Side-Angle）（角、边、角）：各三角形的其中两个角都对应相等，且这两个角的夹边（即公共边，）都对应相等的话，该两个三角形就是全等三角形。
难证明的几何定理？
中值定理三个：罗尔定理，拉格朗日种值，柯西中值
费马引理
零点定理
单调性证明不等式
泰勒公式
常考的是这几个，比较抽象，得分教难。
几何证明分类？
几何证明
在数学上，证明是在一个特定的公理系统中，根据一定的规则或标准，由公理和定理推导出某些命题的过程，起作用为减少计算量。比起证据，数学证明一般依靠演绎推理，而不是依靠自然归纳和经验性的理据。这样推导出来的命题也叫做该系统中的定理。
常见的证明方法
分为直接证明和间接证明。
反证法
反证法是一种古老的证明方法，其思想为：欲证明某命题是假命题，则反过来假设该命题为真。在这种情况下，若能通过正确有效的推理导致逻辑上的矛盾（如导出该命题自身为假，于是陷入命题既真且假的矛盾），又或者与某个事实或公理相悖，则能证明原来的命题为假。无矛盾律和排中律是反证法的逻辑基础。反证法的好处是在反过来假设该命题为真的同时，等于多了一个已知条件，这样对题目的证明常有帮助。
数学归纳法
数学归纳法是一种证明可数无穷个命题的技巧。欲证明以自然数编号的一串命题，先证明命题1成立，并证明当命题 ( )成立时命题 ( 1)也成立，则对所有的命题都成立。在皮亚诺公理系统中，自然数集合的公理化定义就包括了数学归纳法。数学归纳法有不少变体，比如从0以外的自然数开始归纳，证明当命题对小于等于 的自然数成立时命题 ( 1)也成立，反向归纳法，递降归纳法等等。广义上的数学归纳法也可以用于证明一般良基结构，例如集合论中的树。另外，超限归纳法提供了一种处理不可数无穷个命题的技巧，是数学归纳法的推广。
构造法
构造法一般用于证明存在性定理，运用构造法的证明称为构造性证明。具体做法是构造一个带有命题里所要求的特定性质的实例，以显示具有该性质的物体或概念的存在性。也可以构造一个反例，来证明命题是错误的。
有些构造法证明中并不直接构造满足命题要求的例子，而是构造某些辅助性的工具或对象，使得问题更容易解决。一个典型的例子是常微分方程稳定性理论中的李亚普诺夫函数的构造。又如许多几何证明题中常常用到的添加辅助线或辅助图形的办法。
非构造性证明
与构造法证明相对的是非构造性证明，即不给出具体的构造而证明命题所要求对象的存在性的证明方法。
穷举法
穷举法是一种列举出命题所包含的所有情况从而证明命题的方法。显然，使用穷举法的条件是命题所包含的可能情况为有限种，否则无法一一罗列。例如证明“所有两位数中只有25和76的平方是以自己作为尾数”，只需计算所有两位数：10至99的平方，一一验证即可。
换质位法
在谓词逻辑里，若同时否定一个命题的主词和谓词，则其结果称为原命题的 换质。若交换主词和谓词的位置，则其结果被称作 换位。先换质再换位则被称为 换质位，同理先换位再换质则被称为 换位质。例如“所有的 是 ”的换质位是“所有不是 的不是 ”。换质位法是指利用换质或换位，将一个命题改为一个与其逻辑等价的命题，因此只要证明了后者就证明了原来的命题。例如，要证明鸽笼原理：“如果 个鸽笼里装有多于 只鸽子，那么至少有一个笼子里有两只鸽子”，可以转证与其等价的逆否命题：“如果 个鸽笼的每一个中至多装有一只鸽子，那么 个鸽笼里至多装有 只鸽子”。而后者是显然的。