几 何 证 明 基 础.docx

几 何 证 明 基 础.docx

《几 何 证 明 基 础.docx》由会员分享，可在线阅读，更多相关《几 何 证 明 基 础.docx（17页珍藏版）》请在冰点文库上搜索。

几何证明基础

几何证明基础

第一部分：

命题的四种形式

一、命题的定义：

判断一件事情的句子叫做命题。

二、命题的结构：

命题＝条件（题设）+结论

三、命题的基本表述方式：

1、“如果——那么——”2、“若——则——”3、“已知——求（证）——”等形式。

四、命题的分类

五、命题的四种形式：

【注】1、“互逆”和“互否”的命题不一定同“真”或同“假”；

2、“互为逆否”的两个命题必同“真”或同“假”。

第二部分：

证明的基本常识

一、证明的意义必要性（仅凭观察、猜测、度量都是不够的）。

二、证明的定义：

陈述某一判断的充足理由的思维形式，即用已知的真实的理由推出一个判断的真实性。

三、证明的结构和要求

1、证明结构包括：

　①论题：

真实性待证明的判断，又叫待证命题。

　②论据：

证明的依据和理由。

　③论证：

利用论据来证明论题的推理过程。

2、证明的基本要求：

论据充分层次分明步骤完整

四、证明的规则：

五、证明的依据

主要有：

定义、公理、定理及其推论、已知条件、己证明的结论、等量性质、等式（不等式）性质等

六、证明的一般步骤

七、证明方法

1、证明的入手方式

（重点介绍反证法）

①直角三角形斜边的中线等于斜边长的一半。

②一个三角形中，最多只有一个直角。

③一个三角形中，至少有一个角大于或等于60°（同一法简析）

例：

正方形ABCD内有一点，使△ADE为等腰△，且＜DAE=＜ADE=15°

证明：

△BCE是等边三角形。

2、证题的思路

3、从推理形式归纳法：

由特殊到一般的一种推理形式

八、基本几何命题

第三部分:

几何证明方法和问题归类

1、命题证明的不同流派

在几何命题的证明研究曾出现过不同风格特点的各种流派，如：

变换派，计算派，结论派，图形派，杂派。

2、几种常见几何命题的证明

【A】证明两线段或两角相等

一、常用的定理等依据

二、基本方法合同三角形法：

利用两三角形全等或相似的有关定理证明两线段或两角相等。

转借代换法：

根据适当的定理，添加若干辅助线以它们为媒介代换成待证结论。

【B】证明线段或角的和差倍分

一、常用定理

1、有关线段的定理：

2、有关角的定理：

q=a-c

q=a+c

二、常用的证明方法：

1、截长补短法；证明线段a=b±c可作一线段p=b±c，然后证a＝p或者作一线段，

再证b＝q

对于角的有关命题身份此可证，称为“割补法”。

2、加倍折半法：

若证明线段a＝2b，可将线段b加倍，即作线段c＝2b，再证a＝c，或者作线段p＝

，b＝p（角变同理可仿证）

3、直接运用有知定理或化为三角形有关的面积问题解决。

三：

练习作业

1.平等四边形ABCD中，自钝角A作AF⊥BC于F，BD交AF于E，DE=2AB

证明＜ABD=＜2EBC

2.平行四边形ABCD中，BC=2AB,M为AD中点，CE⊥AB于E，则＜DME=3＜AEM

【C】证明两线段或两角的不等关系

一、常用的定理

1.△中两边之和大于第三边。

2.两个△中，若有两组对边对应相等，而夹角不等，则夹角大的所对边也较大；反之第三边大的所对夹角也大。

3.△中大边对大角，大角对大边。

4.△的外角定理

5.垂线与斜线，切线与切线的比较定理。

6.同圆或等圆中，两弧或两弦的比较定理。

7.不等量公理。

8.某些代数不等式。

二、常用证明方法

1.利用有关定理及不等量公理。

2.利用和等换集中分散的条件

3.利用比例，面积的计算证明

三、练习作业

1.边长为1的正△内有五个点，证明：

至少有两点间的距离小于

2.在△ABC中,AB=2AC，则最小边与三角形的周长之比界于

与

之间。

3.设M是等腰△ABC底边BC的中点。

P是△ABM内部一点，则＜APB＞＜APC

4.三角形任一角的平分线小于两夹角边的半和。

【D】证两线垂直或平行

一、常用定理

1.有关垂直的定理

①垂直的定义

②等腰△顶角平分线（底边中线）是底边上的高。

③菱形（正方形）的两条对角线互相垂直

④半圆周角是直角

⑤平分弦（非直径）的直线垂直弦。

⑥二圆的连心线垂直平分公共弦。

2.有关平行的定理

①平行线的定义，及判定公理，定理

②三角形（梯形）中位线定理

③平行（垂直）于同一直线的二直线平行

④关于同圆内不相交二弦间的弧相等，则二弦平行

5平行线截得比例线段定理。

二、常用证法

1.直接应用有关定理

2.过渡氏换

三、练习作业

1.自圆外一点A引切线，切点为B，过AB中点M作割线交圆于C,D，连AB,AD又交圆于EF,则AB∥EF

2.点P，Q，R是△ABC的边BCCA，AB的中点，PR中点M，AM与PQ交于N，则BM∥CN

3设.BE，CF是△ABC的高，在高线BE上截取BP=AC，在高线CF上取CQ=AB，求证：

AP⊥AQ

4.⊙0.⊙0′交于A,B。

在⊙0上取点D，设DA，DB的延长线交⊙0′于Q,R则OD⊥QR

【E】线段成比例式或等积式的证明

一、常用定理

1.平行线截得比例线段定理

2.三角形内，外角平分线定理

3，相似形对应线段成比例

4射影定理

5.圆幕定理

二、常用方法

1.利用相似三角形或有关其它定理。

2.利用中间比作桥梁

3.利用比例，面积或其它计算方法证明

4.若待证等式为多项式

5.证明若干比之和（或积）等于1或其它常数

①设法把各比化为分母相同的比（或等比），使之相加后分子等于分母（或相乘后约分为1）

②利用面积比的有关性质，将这几个比化为分母相同的面积比（或相等的面积比，使之相加（或相乘）后分子等于分母（或约分为1）

（思考作业二）

（1）非钝角△的外心到三边的距离之和，等于外接圆与内切圆半径之和。

（2）不能内接圆的凸四边形中,两对角线之积小于两双对边乘积之和,而大于其差.

（3）0为△ABC内一点,过0点作EF,QP,GH分别平行BC,CA,AB

求证:

①

②

（4）0为△ABC内一点,AO,BO,CO与BC,CA,AB分别交于D,E,F

求证:

【F】关于面积计算的证法

一、常用定理

1.等（同）底（同）高的两个△（或平行四边形）的面积相等

2.面积公式

①等高（底）的△面积比

②相似△面积比

③等（补）角△面积之比

3.勾股定理

4.有关面积之比的定理

二、常用证法

1.直接引用腾定理

2.利用等积变换

依赖于两个公理:

3.转化为线段计算来证明

【G】定值问题

一、什么是定值问题?

二、常用证法（通法）:

特殊位置求定值,一般情况证结论

三、思考练习:

1、设OA,OB为⊙0任两条半径,作BE⊥OA,垂足为E;EP⊥AB,垂足为P,

求证:

OP2+EP2为定值（R2）

2、在一园中,随便取两条互相垂直的弦AB,CD.P为垂足,则PA2+PB2+PC2+PD2为定值（4R2）

3、

在园内定点P作互相垂直的二弦AB.CD,则它们的平方和是一个常数.

4、定弦AB的同侧有二名形弧APB,ACB,由A和B引任意弦APD与BPC交APB于P,则AC与BD的交角一定.

【H】点共线的证明

一、证明三点共线是最基本的问题,常用方法有:

1.利用等角或补角

2.利用平行线或垂直线

3.连结AB再证CE,AB（C在AB上）

4.证其三点所成△等的面积为零

5.利用menelaus定理

二、例题讲析

三、思考练习题

1.三角形两角的平分线及第三角的外角平分线各与边对所在直线的交点共线.

2.过三角形的顶点所作外接园的切线各与对边所在直线的交点共线.

3.将一顶点P与正三角形ABC的顶点相连.求证:

三连续的中垂线各与对边所在直线的交点共线.

4.证明园内接六边形三双对边所在直线的交点共线.

【I】关于线共点的证法

一、常用证明方法

1.证明其中两线交点在第三线上（如△中”诸心”问题）

2.先确定两线交点,然后在第三线上找两点,再证明这三点共线（此法称作”一致法”）

3.先确定两线交点,然后在第三线上找出一点与交点相连,再证明连线与第三线重合.

4.证明各线都通过一点

5.利用已知的线共点的定理（变更原题）

6.利用cwa定理:

设X,Y,E各是△ABC三边（所在直线上的点）BC,CA,BA上的点,则AX,BY,CE共点或平行的充要条件是:

二、例习题选析

1.以非正△ABC的三边分别向外作正△BCA′正△CAB′,正△ABC′求证:

AA′,BB′

CC′三共点（该点为△的负等角中心）

2.在一四边形中,若有一双对角的平分线与他的对角线共点,则其他双对角平线与另一对角线也共点.

3.设△ABC中,BC边在＜A的外角平分线上的投影为B′C′,则BC′,CB′与＜A的平分线共点.

4.在△ABC中,以BC为直径作圆交AB,AC于E,F.求证:

圆在E,F的切线与高线AD共点.

下面介绍值行注意的”两点”,”三线”,”五定理”

两点

三线

托列迷（ptolerny）定理:

园内接凸四边形,两双对边乘积的和等于两对角线的乘积.

西摩松（simson）定理:

三角形外接圆周上任一点在三边所在直线上的投影共线.

笛沙格（desargues）定理:

两三角形对应顶点连线会于点,则对应边所在的直线的交点共线

梅涅芳氏（menelaus）定理:

即梅氏定理:

设X,Y,EG各是△ABC三边BC,CA,AB或其延长线上的点，则它们共线的充要条件是-______或

塞瓦（cwa）定理:

设X,Y,E分别是△ABC三边（所在直线）过BC,CA,AB上的点,则AX,BY,CE共点或平行的充要条件是_________或

五定理

【尺规作图】

一、几何作图的基本知识

（一）有关概念

2、解作图题?

使用合适的工具和恰当的方法,作出适合条件的几何图形的过程叫做解作图题..

3、几何作图的分类:

4、作图的解及解的个数

对定位作图而言:

凡适合条件图形都称为作图的解,能作出多个这样的图形就称有多少个”解”.

对活位作图而言:

若适合条件的图形彼此合同,则不论有多少都说它只有一个解,当且仅当适合条件的图形彼此不能合同时,才称作不同的解.

对定位/活位作图都有:

所求作的图形不存在时,便说’’无解”.

5、两个重要概念（两种提法）的区别:

“无解”与”作图不能问题”不能混为一谈,所谓”无解”根本就没有,即不存在,重点为”无”;所谓”作图不能问题”,只是在工具和功能限制下,不能作出图形,若取消这些限制就不一定不能解了.

（二）几何作图的地位和作用

1、几何作图的地位_______由几何作图可解决存在问题,从而为几何命题的讨论带来实际可仿的模型,因此几何作图乃为几何中的首要问题.

2、几何作图的作用:

①建立学生由抽象到具体的几何观念;

②作图可推证具体的材料,使学生学以致用,培养独立思考能力和创造力.

③　为制图学奠定理基础

④　培养学生逻辑思维能力和分析问题的能力.

（三）作图的条件要求

每一个作图题都有预先给定的条件,不过如果条件不适当,图形就不一定能作出或准确定地作出.　因此作图条件必须满足三点

需注意的是:

这三点乃作图题的图形确定的必要条件而非充要充要条件,有时条件适合上面三点,但作图仍不能确定.

（四）作图公法

①通过已知两点可以作一条直线.

②已知园心和半径可以作一个圆

③已知两直线,一直线和一圆或两圆,若其相交,则可求其交点.

作图公法实质是说明尺规的功能问题,而尺规的功能问题实质上是解决怎们用直尺/圆规制作图题的问题.在初等几何中,一般是规定以三条公法的有限次结合来解决几何中尺规作图题的.

（1）除以上三条公法外,还另有一条规约___在已知直线上或外可任取点,不得附加任何条件.

（2）根据以上公法,假定直尺和圆规可以并且只可以有如下功能____画直线/作圆/求交点.其中,直线用直尺画,圆用圆规作.交点可单用直尺/圆规作或直圆规兼而用之作.”

（3）规定作图时为三条公法的有限次结合,这个有限次结合很重要,如果取消这一规定,有的尺规作图不能的问题便成为可能的了,至少在理论上是可能的了.

（4）最后,不有一个成明文的”规矩”,就是直尺/圆规两种工具不能同时合并一起使用.否则有的尺规作图不能问题也会变成可能了.

（五）作图的一般步骤:

解作图题时,一般釆用下列步骤:

①已知____详尽写出题中的已知条件

②求作_____把所作图形的特征叙述出来

③分析____可作草图.帮助分析已知和求作的关系

④作法____类似证明,严密地写出作图步骤及方法

⑤证明___因在分析时,往往将条件互换,有时并不一定为等价转化,故需证明.

⑥讨论_____仍人全面着手,从分析/归类/系统地考查图形的有无/多少/解是否确定等问题.

二、作图成法

（一）关于直线型中直线/线段及其比例问题

①在一直线上截取一线段等于已知长线段

②过定点（在直线上或外）作该直线的垂线

③过定点作直线的平行线

④作一线段的垂直平分线

⑤等分一已知线段

⑥作一线段等于已知两线段的和

⑦作一线段等于已知两线段之差

⑧内（外）分一已知线段为另二线段的比

⑨作三条已知线段的第四比例项

⑩作二线段的比例中项

⑾a为已知成段长,

为正有理数,作一线段等于

⑿a,b为二已知线段,作一长为的线段

⒀a.b为已知两线段,且a＞b作长为

的线段.

⒁把一线段内（外）分成中外比（黄金分割）

（二）关于直线型中三角形诸问题

①以一定射线为边.端点为顶点,在其一例作一角等于已知用.

②作一已知角的平分线

③已知两边作Rt△必须

④已知边长作正△

⑤已知下列条件作三角形:

（三）关于圆的有关问题

①已知弦及内接角,作弓形弧

②平分__已知园弧

③作已知半径的两弧的内（外）连接

④过定点作定圆的切线

⑤作两定圆的内（外）公切线

⑥作已知三角形的外接圆/内切圆/旁切圆

⑦作已知园的内接（外切）正△/正方形/正六边形

（四）有关面积及其它问题

①已知对角线长作正方形

②用已知线段为一对应边,作△相似于已知△

③用已知线段为一对应边.作多边形相似于已知多边形

④已知一边及一邻角,作一△,使之与一已知△等积（等积变形）

⑤作一正方形,使之与已知△等积.

三、作图法

这里指具体的数学问题，暂不作。