`a)`
Xét tứ giác `AEIF` có:
`hat{A}=hat{AEI}=hat{AFI}=90^o`
`⇒` tứ giác `AEIF` là hình chữ nhật `(` tứ giác có `3` góc vuông là hình chữ nhật `)(đpcm)`
`b)`
Vì `AEIF` là hình chữ nhật
`⇒AE=IF(` tính chất hình chữ nhật `)`
`AE////IF(` tính chất hình chữ nhật `)`
Vì `AE=IF(cmt)`
Mà `IF=HF(g``t)`
`⇒AE=HF`
Vì `AE////IF(cmt)`
Hay `AE////HF`
Xét tứ giác `AEFH` có:
`AE=HF(cmt)`
`AE////HF(cmt)`
`⇒` tứ giác `AEFH` là hình bình hành `(` tứ giác có `2` cạnh đối song song và bằng nhau là hình bình hành `)(đpcm)`
