第一章 中学几何证明第一节 分析法与综合法在逻辑学中，所谓分析，就是把思维对象分解为各个组成部分、方面和要素，分别加以 研究的思维方法它在思维方式上的特点，在于它从事物的整体上深入地认识事物的各个组 成部分，从而认识事物的内在本质或整体规律；所谓综合，是在思维中把对象的各个组成部 分、方面、要素联结和统一起来进行考察的方法它在思维方式方面的特点是在分析的基础 上，进行科学的概括，把对各个部分、各种要素的认识统一为对事物整体的认识，从而达到 从总体上把握事物的本质和规律的目的在数学研究及学习中，把分析与综合的思维方法运用到几何的逻辑证明或推导中，就形 成了求解几何问题的分析法与综合法分析法是由命题的结论入手，承认它是正确的，执果索因，寻求在什么情况下结论才是 正确的这样一步一步逆而推之，直到与题设会合，于是就得出了由题设通往结论的思维过 程综合法则是由命题的题设人手，通过一系列正确推理，逐步靠近目标，最终获得结论。无论是分析法还是综合法，都要经历一段认真思考的过程分析法先认定结论为真，倒 推而上，容易启发思考，每一步推理都有较明确的目的，知道推理的依据，了解思维的过程 综合法由题设推演，支路较多，可以应用的定理也较多，往往不知应如何迈步，这是它的缺 点，而优点在于叙述简明，容易使人理解解题的步骤1 分析法在由结论向已知条件的寻求追溯过程中，由于题设条件的不同，或已知条件之间关系的 隐蔽程度的不同等，寻求追溯的形式、程度有差异，因而分析法常分为选择型分析法、可逆 型分析法、构造型分析法、设想型分析法等几种类型1.1 选择型分析法选择型分析法解题，就是从要求解的结论B出发，希望能一步步把问题转化但又难以互 逆转化，进而转化为分析要得到结论 B 需要什么样（充分）的条件，并为此在探求的“三岔口”作方向猜想和方向择优假设有条件C就有结论B,即C就为选择找到的使B成立的（充分） 条件（C = B）；同样地，再分析在什么样的条件下能选择得到C,即D = C,，最终追溯至 此结论成立或原命题的某一充分条件（或充分条件组）恰好是已知条件或已知结论A为止.在运用选择型分析法解题时，常使用一系列短语：“只需M.-DC即可”来刻画。具体来说，若可找到D = B,而题目欲证“A = B”, 则只需证“A = D”即可.例1如图1,四边形ABCD的一条对角线BD平行于两对对 边之交点的连线EF,求证：AC平分BD.分析 欲证的是线段等量关系,可试运用成比例线段转化为 探讨,但又不易直接证（若作辅助线证另当别论）,从而运用分析法 来求解BM MD证明：设AC交BD于M,交EF于N,贝9 二EN NF BM MD要证明BM=MD，作为方向猜测，只须证明EN=NF或二 二1即可.EN NFBM MD但是这并不容易，调整方向：欲证BM=MD，只须证明BM2=MD2或二 即可.MD BMBMENMDNF从而BMMDENNFMD EN 从而只须证明而二丽即可.这又只须证明曙N二CN二NF即可，而BD EF，故结论获证. EN CN NF注：在寻找追溯中间环节的充分条件时，若某一环节的充分条件不止一个，常表明这道题的证法不止一种.例 2 如图 2,已知ZACE=ZCDE=90，点 B 在 CE 上, CA=CB=CD,过 A, C, D 三点的圆交AB于F.求证：FCDE的内心.分析 要证FCDE的内心，只需要证（1） DF 平分ZCDE； （2） CF 平分ZDCB.对于（1）比较容易：由于 A, C, F, D 四点共圆，则ZCDF=ZA，而题设知ZA=45,即可得证；对于（2）只须证明ZDCF=ZFCB,要证明这两个角相等，你有几种思路?1）只需证明DCFBCF即可.因为 CD=CB,ZFDC=ZFBC=45，还需证明 DF=BF.U ZBDF=ZDBFU ZBDC=ZDBC UCB=CD 是已知的.故结论获证.12)只需证明ZDCF= - ZDCB即可.而Z DCF=180Z CDFZ CFD=135ZCFD，即 ZCFD=135 ZDCF,1只需证明ZCFD=135 - ZDCB即可.由于 A， C， F， D 四点共圆，有ZCFD=180ZCAD图31=180 (90-ZACD)211=90 +2 ZACD=90 +2 (90ZDCF) =135ZDCF.故结论得证.3）设BC交圆于M,则只需证明弧DF= 0,b 0,c 0.b例3直角 ABC中，a, b为直角边长，c为斜边长.求证:欲证不等式o a + b x 2c o (a + b)2 2c 2 o a 2 + 2ab + b 2 0 o (a b)2 0.这最后的不等式显然成立，故命题得证.例4凸四边形的四边边长分别为a，b，c，d,两对角线长为e，f,则四边形的面积为1S = 44e2f 2 一 （a2 + c2 一b2 一 d2）2 .1 1证明：欲证 S - 4 v 4e 2 f 2 (a 2 + c 2 b 2 d 2)2，则需证16S2 二 4e2 f 2 (a2 + c2 b2 d2)2.注意计算四边形的另一种形式的面积公式（由三角形面积公式推导而来）两对角线夹角1为 a 时，S 二一ef sin a，则需证明 4e 2 f 2 sin2 a二 4e 2 f 2 （a 2 + c 2 b 2 d 2）2.2即(a2 + c2 b2 d2)2 二 4e2 f 2 cos2 ao a 2 + c 2 b2 d 2 二 2ef cos a .再注意到三角形中的余弦定理，对于图6有a 2 二 f22 + e2 2e2 f2 C0S a，b 2 = fi2 + e 厂 2 e 2 f1 COS(180。-a 八c2 = f 2 + e2 2e f cos a , d 2 = f 2 + e 2 2e f cos(180。 a)1 1 1 1 2 1 1 2则 a 2 + c 2 b 2 d 2 二(2e f 2e f 2e f 2e f ) cos a2 2 2 1 1 1 1 2=2 cos ae (f + f ) + e (f + f ) = 2 cos a - (e + e )(f + f ) = 2ef cos a2 1 2 1 1 2 1 2 1 2当两对角线夹角为 a 的补角时，a2 + c2 b2 d2 = 2ef cos(180。 a) = 2ef cos a注：此例的结论称为布瑞须莱德尔公式.1.3 构造型分析法如果在从结论向已知条件追溯的过程中，在寻找新的充分条件的转化“三岔口”处，需 采取相应的构造型措施：如构造一些条件，作某些辅助图形等，进行探讨、推导，才能追溯 到原命题的已知条件（或稍作变形处理）的分析法又叫做构造分析法.例5如图7, AD是厶ABC的中线，任意引直线CF交AB于F,交AD于E,求证：AE _ 2 AFFB 分析：注意到题设中有中点，而求证式是一个比较特殊的比例式，需要转化来求解.AE 2AF证法1欲证ED FAE 只需证明2EDAFFB即可.若延长ED至H使得DH=ED,则只须证明FEBH.而由题设可知BC与EH互相平分，所以BHEC, 即BHFE.故命题得证.图72 AFFBAE只需证明匸EDAF-1即可.-FB2若取FB的中点N,则只需证明DNEF.因为D是BC的中点，所以DNCF,即DNEF.故命题得证.例6设凸四边形ABCD的边长分别为a, b, c, d两条对角线长为e, f.求证：e2 f 2 = a2c2 + b2d 2 - 2abcd cos(A + C).分析：欲证 e2f2 = a2c2 + b2d2 2abcdcos(A + C)，只需证明ac bd ac bde 2 = ( )2 + ()2 2- cos( A + C)与例 4类似,这种形式符合三角形中的余弦定理的形式,只是需要对原图形分析比较,在构造出一个顶角大小为 A+C 的三角形,且这个角的两夹边应等于ac bdf, f.而这只需作相似三角形即可.如图8,在BC, CD边上向外作 BECsCDA，作CFDsABC，则有EZFCE=ZA+ZC,FC =竺,于是EF 2 = EC 2 + FC 2 2EC FC cos ZEDFac bd ac bd=()2 + ( )2 2 cos( A + C)此时，只需证明EF=BD即可.这又只需证明DBEF是平行四边形即可.DF c BE而由 BECsACDA,ACFDsaBC 可得到= n DF = BE.bfb另外还需证明BEDF,这又只需证明ZEBD+ZBDF=180即可.因为 ZEBD+ZBDF=ZEBC+ZCBD+ZBDC+ZCDF= ZACD+ZACB+ZCBD+ZBDC=ZBDC+ZCDB+ZCBD=180 .故原命题得证.注：（1）此例是布瑞须莱德尔发现的“四边形余弦定理”；（2）由此定理可得托勒密定理：在四边形中，f ac + bd，并且等号当且仅当四边形内接于圆时成立.1.4 设想型分析法在向已知条件追溯的过程中，借助于有根据的设想、假定，形成“言之成理”的新构想 再进行“持之有据”的验证，逐步找出正确途径的分析法又称为设想型分析法.在求解一些关于位置关系、轨迹、作图等问题时，常采用这种方法.例 7 在一个已知锐角三角形的三边上各找一点，使以这三点为顶点的三角形周长最小.分析：我们设想所求的三点组成的周长最小的DEF是一个特殊的三角形，即D，E，F是厶ABC三边 上的特殊点，比如三边的中点，三高的垂足，三条角平 分线与对边的交点等.又从题