（1）如图，正方形AEFG的顶点E、G在正方形ABCD的边AB、AD上，连接BF、DF．求证：BF=DF；
（2）如图，在▱ABCD中，AD=4，AB=8，∠A=30°，以点A为圆心，AD的长为半径画弧交AB于点E，连接CE，求阴影部分的面积．（结果保留π）