初等幾何の個人的未解決問題

784

3月ぐらいに見つけたもので何かコンテスト等に使おうと思っていたのですが自力で証明できず,学業でいそがしくて手を付けられない状態にいてこのままでは埒があかないと思ったので公開することにしました.

三角形 $A B C$ の外接円を $Γ$ とし $Γ$ 上に動点 $P$ を取る. $P$ から三角形 $A B C$ の各辺に下ろした垂線が $Γ$ と再び交わる点をそれぞれ $D, E, F$ とする. $D, E, F$ それぞれについての三角形 $A B C$ に関するシムソン線で囲まれる三角形の外心,垂心をそれぞれ $O, H$ とする. $P$ を動かした時 $O, H$ の軌跡は一致し三角形 $A B C$ の $9$ 点円の中心を中心とする円となる.