在矩形ABCD中,点E在CD上,BF垂直AE,垂足为F