∵四边形ABCD是正方形
∴∠ABD=∠ACD=45º,BD=DC·√2
又∵∠EDF=∠BDC
∴∠EDF-∠BDF=∠BDC-∠BDF即∠EBD=∠HDC
∵∠ABD=∠ACD即∠EBD=∠HCD﹙已证﹚
∴⊿EBD∽⊿HCD﹙两角对应相等的三角形相似﹚
∴BE/CH=BD/DC 又∵BD=DC·√2
∴BE/CH=√2
∴BE=CH·√2
∵四边形ABCD是正方形
∴∠ABD=∠ACD=45º,BD=DC·√2
又∵∠EDF=∠BDC
∴∠EDF-∠BDF=∠BDC-∠BDF即∠EBD=∠HDC
∵∠ABD=∠ACD即∠EBD=∠HCD﹙已证﹚
∴⊿EBD∽⊿HCD﹙两角对应相等的三角形相似﹚
∴BE/CH=BD/DC 又∵BD=DC·√2
∴BE/CH=√2
∴BE=CH·√2