Xét tứ giác EHGF có:
EH//GF(cùng vuôn góc BC)
\(\widehat{EHG}=90^0\)(EH⊥HG)
=> EHGF là hình chữ nhật(1)
Xét tam giác EBG có:
EH là đường cao(EH⊥BG)
EH là trung tuyến(BH=HG)
=> Tam giác EBG cân tại E
Mà \(\widehat{EBH}=45^0\)(ABC vuông cân tại A)
=> Tam giác EBG vuông cân tại E
=> \(EH=\dfrac{1}{2}BG=HG\left(2\right)\)(EH là trung tuyến ứng với cạnh huyền)
\(\left(1\right),\left(2\right)\Rightarrow\) EHGF là hình vuông