I'm not particularly good at geometry but I think I've devised one approach to the problem. Without loss of generality let the unit circle of triangle
ABC be the circumcircle. Let
A=−i,
B=a+bi and
C=c+di.
First, let's consider the equation of line through points. Suppose
Z is an arbitrary point on the line through
W1 and
W2. Since the vector from
W1 to
Z is a multiple of the vector from
W1 to
W2, in terms of complex numbers we have
Z−W1=λ(W2−W1) for some real
λ. Now
λ=λˉ hence
W2−W1Z−W1=W2−W1ˉZˉ−W1ˉand any
Z satisfying the above equation corresponds to a point on the line through
W1 and
W2. Next, consider the line passing through a point
C and perpendicular to the line through
W1 and
W2. Let
Z be on this line. Then the vector from
C to
Z is perpendicular to the vector from
W1 to
W2. In terms of complex numbers, we get
Z−C=iλ(W2−W1) for some real
λ.
Hence
i(W2−W1)Z−C=−i(W2ˉ−W1ˉ)Zˉ−Cˉ.
In the case when
W1 and
W2 are on the unit circle we have
W1W1ˉ=W2W2ˉ=1. Multiplying the numerators and denominators of the right side of the two equations above by
W1W2 we can simplify them as
Z+W1W2Zˉ=W1+W2 and
Z−W1W2Zˉ=C−W1W2Cˉ
Now since
A,
Band
C are points on the unit circle these formulas can be applied immediately to compute
Q and
P.
The line through
C perpendicular to
AB is given by
Z−ABZˉ=C−ABCˉ
And the line through
0 and
−i is
Z=−Zˉ. Since these two lines intersect at
Q, solving this system of equations for
Z gives us
Q. Hence
Q=1+ABC−ABCˉ
Similarly, the line through
B perpendicular to
AC is
Z−ACZˉ=B−ACBˉ
And this line intersects
Z=−Zˉ at
P. Hence
P=1+ACB−ACBˉ
Now with complex numbers, the orthocenter
H=A+B+C. Hence each vertices of the triangle
HPQ can be computed and a similar method could now be used to determine
O′. Now
M=2B+Cand we must show that
M,O′ and
A are colinear. In other words that
O′−MA−O′=λ∈R