BCDE是一个正方形,三角形BCA是直角三角形,BA=4,AO=6倍的根号2,求AC的长度