直角三角形abc中角a等于90度d为bc中点de垂直df求证ef的平方等于be的平方加cf的平方

Question

直角三角形abc 中角a 等于90度d为bc中点de垂直 df 求证ef 的平方等于be的平方加 cf 的平方

Answer 1

证明：（过程比较复杂,请结合图像仔细对照）
延长ED至G,使DG=DE,连接GF,GC
因为 DG=DE,DE垂直DF（垂直平分）
所以 GF=EF
因为 BD=CD,DE=DG,∠BDE=∠CDG(对顶角)
所以 三角形BDE全等于三角形CDG
所以 GC=BE,∠GCD=∠B
因为 ∠A=90度,所以 ∠B+∠C=90度
因为 ∠GCD=∠B,
所以 ∠GCD+∠C=90度,即∠GCF=90度
所以 GF^2=CG^2+CF^2
因为 GF=EF,CG=BE (已证)
所以 EF^2=AE^2+BF^2