已知，一张矩形纸片ABCD的边长分别为9cm和3cm，把顶点A和C叠合在一起，得折痕EF（如图）．

猜想四边形AECF是什么四边形，并证明你的猜想
求折痕EF的长．