如图，在正方形ABCD中，边长为a，点O是对角线AC的中点，点E是BC边上的一个动点，OE⊥OF交AB边于点F，点G，H分别是点E，F关于直线AC的对称点，点E从点C运动到点B时，则图中阴影部分的面积是.