证明：取AF的中点G，连接OG，∵O、G分别是AC、AF的中点，∴OG=12FC，OG∥FC（三角形的中位线平行于第三边，并且等于第三边的一半），∵正方形ABCD，∴∠OAB=∠ABO=∠OCB=45°，∵AF平分∠BAC，∴∠BAF=∠OAF=22.5°...