Given triangle ABC, let X be the euler point opposite side BC. Show that the length AX is equal to the perpendicular distance from the circumcenter O of triangle ABC to side BC. Deduce that (AH)^2=4R^2-a^2 where as usual, H the orthocenter, R the circumradius and a=BC.