Suppose EF intersects BC at D′. Let (ωA) be the circle with diameter DD′. By the angle bisector theorem, one can get
DCDB=ABAC,EAEC=BCAB,FBFA=CABC.
Based on Ceva's theorem, AD,BE,CF are concurrent and (DD′,BC)=−1. If AU,AV are the internal, external angle bisectors of triangle ABC, then (UV,BC)=−1. Through the reflection over the center M, then (DV′,CB)=−1 with V′ being the symmetric point to V through M. From there, D′≡V′ so (ωA) is the reflection of the A-Apollonius circle through the perpendicular bisector of BC.
Suppose that A-Apollonius circle intersects (O) at K then KCKB=ACAB so ABKC is harmonic, entailing AK is the symmetric line of triangle ABC. Therefore, (ωA) intersects (O) at A′,R will be the points symmetric to A,K through the perpendicular bisector BC. Therefore, KR∥BC so AK,AR are isogonal in angle A, which implies that AR is the median of triangle ABC or R∈AM. Suppose AR intersects (ωA) at S, then by the property of power of a point and Newton's formula, we have
MR⋅MS=MD⋅MD′=MB2=−MB⋅MC=−MR⋅MA.
From there, we deduce MS=−MA or M is the midpoint of AS. Here we have
PG/(ωA)PG/(O)=GR⋅GSGR⋅GA=GSGA=4/3⋅MS2/3⋅MA=−21.
Therefore PG/(ωA)=−2PG/(O) is equal between vertices A,B,C. Therefore we have G has the same power to the three circles (ωA),(ωB),(ωC).
On the other hand, OA is tangent to the Apollonius circle at vertex A so OA′ is tangent to (ωA). From there we have
PO/(ωA)=OA′2=R2
with R being the radius of (O). Also because of this symmetry, G has the same power to the three circles (ωA),(ωB),(ωC). Let X be the projection of D onto EF then X∈DH and X∈(ωA). Then, PH/(ωA)=HX⋅HD. Obviously, this quantity is also symmetric between the vertices D,E,F in triangle DEF, so H also has the same power to the three circles (ωA),(ωB),(ωC). From that we immediately have H∈OG.