Problem

Source: Iran 2005

Tags: geometry, circumcircle, Euler, power of a point, radical axis, geometry proposed



Suppose $O$ is circumcenter of triangle $ABC$. Suppose $\frac{S(OAB)+S(OAC)}2=S(OBC)$. Prove that the distance of $O$ (circumcenter) from the radical axis of the circumcircle and the 9-point circle is \[\frac {a^2}{\sqrt{9R^2-(a^2+b^2+c^2)}}\]