∵ABCD是正方形
∴∠D=∠ABC=90°
AB=AD=CD=BC
∵△ABC△ACD是等腰直角三角形
∴AD²+CD²=AC²
AC²=2AD²
∴AC=√2AD=√2AB=√2BC
∵AEFC是菱形
∴AE=AC=√2BC
∵BC⊥AB(AE)
∴S菱形AEFC=AE×BC=√2BC×BC=√2BC²
∴√2BC²=9√2
BC²=9
BC=3
∴正方形边长为3
∵ABCD是正方形
∴∠D=∠ABC=90°
AB=AD=CD=BC
∵△ABC△ACD是等腰直角三角形
∴AD²+CD²=AC²
AC²=2AD²
∴AC=√2AD=√2AB=√2BC
∵AEFC是菱形
∴AE=AC=√2BC
∵BC⊥AB(AE)
∴S菱形AEFC=AE×BC=√2BC×BC=√2BC²
∴√2BC²=9√2
BC²=9
BC=3
∴正方形边长为3