在学习矩形的过程中,小明遇到了一个问题:在矩形ABCD中,E是AD边上的一点,试说明△BCE的面积与矩形ABCD的面积之间的关系.他的思路是:首先过点E作BC的垂线,将其转化为证明三角形全等,然后根据全等三角形的面积相等使问题得到解决.请根据小明的思路完成下面的作图与填空:
证明:用直尺和圆规,过点E作BC的垂线EF,垂足为F(只保留作图痕迹).
在△BAE和△EFB中,
∵EF⊥BC,
∴∠EFB=90°.
又∠A=90°,
∴ ①
∵AD∥BC,
∴ ②
又 ③
∴△BAE≌△EFB(AAS).
同理可得 ④
∴ .