如图，在直角梯形ABCD中，AD∥BC，AB⊥AD，BC＝CD，BE⊥CD，垂足为E，点F在BD上，连接AF、EF．

求证：DA＝DE；
如果AF∥CD，求证：四边形ADEF是菱形．