如图,正方形ABCD,AE平分∠BAC交BD于F点,交BC于E点.(1)求证:OF=1/2 CE; (2)若BF=√2,