（2015秋•江阴市校级期中）如图，将边长为a与b、对角线长为c的长方形纸片ABCD，绕点C顺时针旋转90°得到长方形FGCE，连接AF．通过用不同方法计算梯形ABEF的面积可验证一条我们学过的定理，该定理的名称是    ，请你写出验证的过程．

【考点】勾股定理的证明

【分析】请登陆后查看

【解答】请登陆后查看