如图,在正方形ABCD中,对角线AC与BD交于点O,AE平分∠BAC于E,交BO于F.求证:EC=2FO