自作問題53

幾何の問題       難易度      難しい

三角形ABCの外心をO、内心をI、垂心をHとする。A、B、I、Hが同一円周上にある時、Oも同一円周上にあることを証明せよ。

会心の出来の問題です。