如图，将矩形ABCD沿直线EF折叠，使点C与点A重合，折痕交AD于点E、交BC于点F，连接AF、CE．

(1)求证：四边形AFCE为菱形；
(2)设AE=a，ED=b，DC=c.请写出一个a、b、c三者之间的数量关系式，并说明理由。