如图，沿折痕AE叠矩形ABCD的一边，使点D落在BC边上的点F处，若AB=8，且△ABF的面积为24，求EC的长．

如图，将矩形ABCD沿直线EF折叠，使点C与点A重合，折痕交AD于点E、交BC于点F，连接AF、CE.
(1)求证：四边形AFCE为菱形；
(2)设AE=a，ED=b，DC=c.请写出一个a、b、c三者之间的数量关系式．

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

(1)求证：四边形AFCE为菱形；

(2)设AE=a，ED=b，DC=c.请写出一个a、b、c三者之间的数量关系式．