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