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

1. （1） 求证：∠DBC＝∠BDF；
3. （2） 求代数式的值．