1.如图(左),已知AE是正方形ABCD中∠BAC的平分线,AE交BD、BC于点E、F,AC、BD相交于点O.求证:OF