（1）证明：
∵ED垂直平分BC
∴∠EDC=∠EDB=90°,CD=DB
∴可证得：△CDE≌△EDB（SAS）（哪三个元素不用说了吧）
∴∠ECD=∠B=30°,CE=DB
∴∠ACE=∠CAE=60
∴△ACE为正三角形
∴AE=AC=CE=EB
∴△AED为等腰三角形
又可得角AED为60°
所以△AED为正三角形
就再证四边形ACEF是菱形就行了
∵△CDE为正三角形
四边形ABCD为正方形
∴AB=BC=CD=DE=CE
∴△ADE为顶角为150°的等腰三角形
∴∠AED=15°
可计算出△BOF为一个∠FBO=30°,∠BOF=60°的直角三角形
那么根据直角三角形中30°的对边是斜边的一半（也就是sin30°=0.5）
可得出BF=2*OF=2
再根据勾股定理可得BO=根号3
∴AB=BC=根号6