正方形ABCD的边长为1㎝,AC是对角线,AE平分角BAC,EF⊥AC于F求证:BE=CF求BE的长