已知:如图,在矩形ABCD中,点E在CD上,BF垂直AE,垂足为F