利用全等三角形证明垂直

利用全等三角形证明垂直在平面几何的浩瀚海洋中，证明两条直线垂直是一项常见且重要的任务。垂直，意味着两条直线相交所成的角为直角，这一特殊关系往往是后续推理和计算的基石。在众多证明方法中，利用全等三角形来证明垂直，以其逻辑的严谨性和方法的巧妙性，占据着举足轻重的地位。本文将深入探讨如何运用全等三角形这一强大工具，巧妙地证明两条直线的垂直关系。一、核心思路：全等搭桥，角为直角利用全等三角形证明垂直，其核心思路在于：通过证明两个三角形全等，得到对应角相等的关系，然后借助这些相等的角，结合图形中已知的直角条件或平角、邻补角等几何关系，推导出我们所关注的两条直线的夹角为90度，从而证明它们垂直。简而言之，就是以“全等”为桥梁，实现角的等量转换，最终落脚到“直角”的判定。具体而言，通常需要经历以下几个步骤：首先，仔细分析题目条件和图形，找出可能全等的三角形；其次，根据全等三角形的判定定理（如SSS,SAS,ASA,AAS,HL等），证明所选三角形全等；再次，利用全等三角形的性质，得出对应角相等；最后，运用角的和差、互余、互补等关系，证明目标角为直角。二、典型例题解析为了更好地理解这一方法，我们通过几个典型例题来具体阐述。（一）直接证得夹角为直角例题1：已知：如图，在△ABC中，AB=AC，AD是底边BC上的中线，点E在AD的延长线上，且DE=AD。求证：BE⊥AC。分析：要证BE⊥AC，即要证BE与AC的夹角为90度。观察图形，BE与AC相交于点F（若未给出，可设交点为F），则需证∠AFE=90°或∠BFC=90°。已知AB=AC，AD是中线，根据等腰三角形“三线合一”性质，AD⊥BC，但这是否直接有用？我们再看DE=AD，即AD=DE，BD=DC（中线定义），∠ADB=∠EDC（对顶角相等），因此△ADB≌△EDC（SAS）。由全等可得∠E=∠BAD。接下来，在△AEF和△BDF中（或△AEF和△ADC中）寻找角的关系。注意到∠EFA=∠DFB（对顶角），但或许更直接的是在△AEF中，∠E+∠EAF=∠BAD+∠CAD=∠BAC。而在△ABC中，AB=AC，∠BAC+∠ABC+∠ACB=180°，但似乎还需进一步关联。证明：∵AB=AC，AD是BC边上的中线，∴BD=DC，且AD⊥BC（等腰三角形三线合一），∠BAD=∠CAD。在△ADB和△EDC中，AD=ED（已知），∠ADB=∠EDC（对顶角相等），BD=CD（已证），∴△ADB≌△EDC（SAS）。∴∠E=∠BAD（全等三角形对应角相等）。又∵∠BAD=∠CAD（已证），∴∠E=∠CAD。设BE与AC相交于点F。在△AFE中，∠E+∠EAF+∠AFE=180°（三角形内角和定理）。∵∠E=∠CAD，∠EAF=∠CAD（此处∠EAF即∠CAD，因为E在AD延长线上），∴∠CAD+∠CAD+∠AFE=180°？不，此处需更准确：∠EAF是∠EAC吗？不，点F在AC上，E在AD延长线上，故∠EAF即∠EAC，但AD是∠BAC的平分线，∠EAC=∠CAD。而∠E=∠BAD=∠CAD，所以∠E=∠EAF。因此，在△AFE中，∠E+∠EAF+∠AFE=∠CAD+∠CAD+∠AFE=2∠CAD+∠AFE=180°。同时，在Rt△ADC中，∠CAD+∠ACD=90°（直角三角形两锐角互余），即∠ACD=90°-∠CAD。又∵AB=AC，∴∠ABC=∠ACD=90°-∠CAD。在△BEC中，∠EBC=∠ABC-∠ABE？似乎绕远了。换个思路：∠AFE是△BFC的外角吗？或者看△DFC与△EFA？或许更简洁的是：由△ADB≌△EDC，得EC=AB=AC。所以△AEC是等腰三角形。AD=DE，即D是AE中点。若能证CD⊥AE，则利用等腰三角形三线合一可得CD⊥AE，但AD⊥BC已知，这似乎构成矩形？或者，在△AEF中，∠E=∠EAF，所以△AEF是等腰三角形。但这如何推出直角？（此处原分析略有偏差，调整如下）由△ADB≌△EDC，我们得到的是∠E=∠BAD，以及EC=AB=AC。所以∠E=∠BAD=∠CAD。在△AEC中，EC=AC，所以∠E=∠EAC（等边对等角）。而∠EAC正是∠CAD，因此∠E=∠CAD。那么在△ADC和△EFC中，∠ACD=∠ECF（公共角），∠CAD=∠E，所以∠EFC=∠ADC=90°（三角形内角和定理）。∠EFC即BE与AC的夹角，因此BE⊥AC。得证。点评：本题通过证明△ADB≌△EDC，得到对应角相等和对应边相等（EC=AC），进而利用三角形内角和定理，通过证明另一对三角形（△ADC与△EFC）的对应角相等，得出其中一个角为直角（∠EFC=∠ADC=90°），从而证明了垂直关系。关键在于全等三角形提供的角相等关系，以及对顶角、三角形内角和等性质的综合运用。（二）通过角的和差证得直角例题2：已知：如图，AD是△ABC的高，E是AC上一点，BE交AD于F，且BF=AC，FD=CD。求证：BE⊥AC。分析：要证BE⊥AC，即证∠BEC=90°或∠AEB=90°。已知AD是高，所以∠ADB=∠ADC=90°。BF=AC，FD=CD，这两组边分别在Rt△BDF和Rt△ADC中。因此，Rt△BDF≌Rt△ADC（HL）。由全等可得∠DBF=∠DAC。在Rt△ADC中，∠DAC+∠C=90°（直角三角形两锐角互余），所以∠DBF+∠C=90°。在△BEC中，∠DBF（即∠EBC）+∠C+∠BEC=180°，因此∠BEC=180°-(∠EBC+∠C)=180°-90°=90°，即BE⊥AC。证明：∵AD是△ABC的高，∴∠ADB=∠ADC=90°（垂直定义）。在Rt△BDF和Rt△ADC中，BF=AC（已知），FD=CD（已知），∴Rt△BDF≌Rt△ADC（HL）。∴∠DBF=∠DAC（全等三角形对应角相等）。在Rt△ADC中，∠DAC+∠C=90°（直角三角形的两个锐角互余）。∴∠DBF+∠C=90°（等量代换）。在△BEC中，∠EBC+∠C+∠BEC=180°（三角形内角和定理）。∵∠EBC=∠DBF，∴∠BEC=180°-(∠EBC+∠C)=180°-90°=90°。∴BE⊥AC（垂直定义）。点评：本题是利用全等三角形证明垂直的一个经典范例。其巧妙之处在于，通过HL定理证明两个直角三角形全等，得到一组锐角相等，然后将这个角与另一个直角三角形中的锐角联系起来，利用“同角（或等角）的余角相等”的思想（虽然这里是通过内角和计算），间接证得了目标角为直角。这种通过角的等量代换和和差关系来推导直角的方法非常普遍。三、要点提示与总结利用全等三角形证明垂直，关键在于以下几点：1.善于观察与联想：仔细观察图形，结合已知条件，寻找可能全等的三角形。注意那些分散的条件，思考如何通过辅助线（如果需要的话）将它们集中到同一个或两个三角形中。2.明确目标：时刻记住要证明的是两条直线垂直，即它们的夹角为90度。因此，证明的最终落脚点是某个角等于90度。3.全等的判定与性质：熟练掌握全等三角形的判定定理（SSS,SAS,ASA,AAS,HL），并能准确运用其性质（对应边相等，对应角相等）来转移边和角的关系。4.角的关系转化：证明角为90度，除了直接证明外，更多时候是通过与已知直角的联系，如利用互余（两角和为90度）、互补（两角和为180度，若其中一角为90度则另一角也为90度）、平角的定义（180度的角）等进行转化。例如，证明一个角等于已知直角，或证明两个角的和为90度等。5.规范表达：几何证明要求逻辑严谨，步