梯形ABCD中,中位线EF=4,则梯形下底Y与上底X之间的函数关系式