正方形ABCD的对角线交点为O,AE平分∠BAC交BC于E,交OB于F求证:EC=2FO