
Solution:
Use complex coordinates and the standard convention where O is the origin of the complex plane, and γ is the unit circle; as usual, a lower case Roman letter denotes the complex coordinate of the point denoted by the corresponding upper case Roman letter.
Begin by expressing t in terms of p,q and their complex conjugates. Since p′pˉ=1 and q′qˉ=1, the equations of the lines PQ′ and QP′ are
qˉ(1−pˉq)z−q(1−pqˉ)zˉ+pˉq−pqˉ=0andpˉ(1−qˉp)z−p(1−qpˉ)zˉ+qˉp−qpˉ=0,
so the two cross at
t=(1−ppˉqqˉ)2p+q−pq(pˉ+qˉ).
Next, we turn to isogonal conjugates in the triangle ABC. Two points U and V in the plane ABC, not lying on γ, are isogonally conjugate in the triangle ABC if and only if u+v+abcuˉvˉ=a+b+c; for completeness, a proof of this fact is provided at the end of the solution. In particular, p+q+abcpˉqˉ=a+b+c.
Now, r=p+q, and the center of the nine-point circle has complex coordinate (a+b+c)/2, so s=a+b+c−p−q=abcpˉqˉ; since ssˉ=ppˉqqˉ<1, the point S does not lie on γ.
Let U be the isogonal conjugate of S in the triangle ABC to write s+u+abcsˉuˉ=a+b+c, and refer to the above expressions of s to get u+pquˉ=p+q. Elimination of uˉ from the latter and its complex conjugate yields
u=1−ppˉqqˉp+q−pq(pˉ+qˉ)=t,
and the conclusion follows.
For completeness, we show that two points U and V in the plane ABC, not lying on γ, are isogonally conjugate in the triangle ABC if and only if u+v+abcuˉvˉ=a+b+c.
If U and V are isogonally conjugate in the triangle ABC, isogonality at A implies that the product of (u−a)/(b−a) and (v−a)/(c−a) is real, so it is equal to its complex conjugate. Alternatively, but equivalently, (u−a)(v−a)=a2bc(uˉ−aˉ)(vˉ−aˉ), so uv−a(u+v)+a2=a2bcuˉvˉ−abc(uˉ+vˉ)+bc. Similarly, isogonality at B yields uv−b(u+v)+b2=ab2cuˉvˉ−abc(uˉ+vˉ)+ca. Subtract the two, factor a−b out and rearrange terms to get the desired relation.
Conversely, let W be the isogonal conjugate of U in the triangle ABC to write u+w+abcuˉwˉ=a+b+c. Elimination of u from the latter and u+v+abcuˉvˉ=a+b+c yields v−w+abcuˉ(vˉ−wˉ)=0, and elimination of vˉ−wˉ from the latter and its complex conjugate yields (1−uuˉ)(v−w)=0. Since U does not lie on γ, the first factor is different from zero, so v=w. This establishes the converse and completes the proof.