已知菱形ABCD的边长为5，∠DAB=60°．将菱形ABCD绕着A逆时针旋转得到菱形AEFG，设∠EAB=α，且0°＜α＜90°，连接DG、BE、CE、CF．

（1）如图（1），求证：△AGD≌△AEB；

（2）当α=60°时，在图（2）中画出图形并求出线段CF的长；

（3）若∠CEF=90°，在图（3）中画出图形并求出△CEF的面积．

如图，在正方形ABCD内有一折线段，其中AE⊥EF，EF⊥FC，并且AE=4，EF=8，FC=12，则正方形与其外接圆形成的阴影部分的面积为{#blank#}1{#/blank#}．

在求解几何图形的面积时，通常会利用割、补等手段．所谓“割”，就是将原图形分为若干个常见的规则图形（如正方形、直角三角形等），分割后各个图形的面积之和等于原图形的面积．

纵观历史，我国著名的数学家赵爽在《勾股圆方图注》中绘制了一张弦图（见下图），并将大正方形中四个完全相同的直角三角形命名为朱实，中间的小正方形命名为黄实．上述规则图形无缝隙、无重叠．

【问题探究】

一张赵爽弦图如下图所示．若四个直角三角形的两条直角边都分别为a和b（即 ， ），且 ．