已知:平行四边形的对边相等:平行四边形的对边相互平行:已知:等量代换:等量代换:对边平行且相等的四边形是平行四边形:平行四边形的对角相等
证明:∵四边形ABCD是平行四边形(已知),
∴DC=AB(平行四边形的对边相等),
DC∥AB(平行四边形的对边相互平行).
又∵BF=DE(已知),
∴AB-BF=DC-DE(等量代换),
即AF=CE(等量代换).
∴AF?CE,
∴四边形AFCE是平行四边形(对边平行且相等的四边形是平行四边形),
∴∠EAF=∠ECF(平行四边形的对角相等).
故答案是:已知;平行四边形的对边相等;平行四边形的对边相互平行;已知;等量代换;等量代换;对边平行且相等的四边形是平行四边形;平行四边形的对角相等.