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

（1）求证：四边形AFCE为菱形；
（2）设AE=a，ED=b，DC=c．请写出一个a、b、c三者之间的数量关系式．