已知正方形ABCD的边长为4，一个以点A为顶点的45°角绕点A旋转，角的两边分别与边BC、DC的延长线交于点E、F，连接EF．设CE=a，CF=b．