Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-oxford/2021/prelims/mathematics-iv/1/c/solution

Write , with because the triangle is nondegenerate. Let be its circumcenter. Equality of the complex modulus values gives . Equality of , after expanding the squares, gives
Thus the real part and imaginary part determine
Using the complex conjugate , we also have
Therefore
The nonzero denominator is exactly the nondegeneracy condition. If is real, the three distinct collinear points do not have a finite circumcenter.

New to topics? Read the docs here!