同意,小明的说法是正确的。
由折叠可知A点落在D点,得∠ODF=∠2 AO=DO
又因为沿AD折叠,AC落在AB上,所以∠1=∠2,所以得到∠ODF=∠1,
∠AOE=∠DOF(对顶角相等)
所以△AOE≌△DOF(ASA),得到DF=AE,因为AF=DF 所以AE=AF
所以△AEF是等腰三角形