如图，四边形ABCD为矩形（对边相等，四个角是直角），过点D作对角线BD的垂线，交BC的延长线于点E，在BE上取一点F，使DF＝EF＝4，设AB＝x，AD＝y．