平分线交BD于点G,过点G作GH⊥EF于H,过点D作DN⊥EF于N。求证:HG+DN=AD.
先证△EFD为等腰直角三角形,这一步你不会不会吧!推出DF=√2DM,∠DFH=45°;
作GP⊥AB于P,GQ⊥BC于Q,边GF;
由角平分线性质知GP=GH,又正方形对角线BD平分∠ABC,则∠QBD=45°,GQ=GP=GH,则又知GF平分∠QFH,∠QFG=∠GFH;
△BFG外角∠FGD=∠FBD+∠BFH,∠GFD=∠GFH+∠DFH,∠FBD=∠DFH=45°,∠BFH=∠GFH,得证∠FGD=∠GFD,推出DF=DG=√2DM;
正方形PBQG中,PG=HG,BG=√2PG=√2HG,
正方形ABCD中BD=√2AD=BG+DG=√2HG+√2DM,化简得HG+DN=AD。
怎样推出DF=√2DM?
追答图中右下角的E点应该是C点。先证△EDA≌FDC,推出ED=DF,推出DF=√2DN,过程中有几处DN错写成了DM,大晚上有些糊涂,惭愧,抱歉!