在RT三角形ABC中.角C等于90度.D是AB的中点.E,F分别在.AC和BC上.且DE垂直于DF求证EF平在RT三角形ABC中.角C等于90度.D是AB的中点。E，F分别在.AC和BC上。且DE垂直于DF求证EF平方＝AE平方＋BF平方。(图片有点乱....请别介意)
网友回答
连接EF过点B作BG垂直于BC,BG=BC
连接GF因为D是AB的中点
所以AD=BD
又因为角ACB=90
所以AC平行BG
所以角A=角GBD
又因为角ADE=角BDG
所以三角形ADE全等于三角形BDC
所以EF=FG
BG=AE在直角三角形FBG中
FG^2=BF^2+BG^2
所以AE平方+BF平方=EF平方