Given three complex values (for example, $2i, 4, i+3$), how would you calculate the equation of the circle that contains those three points? I know it has something to do with the cross ratio of the three points and $z$ and the fact that the cross ratio is a real number, but I don't know what to do with that information.
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
"Might as well flesh out" @Dinesh's comment.
This solution uses algebraic manipulations and consideration of the geometry of the figures. [A more concise solution might leverage vector formality.]
The solution is the equation in the form (x-h)^2+(y-k)^2=r^2, where we give the values of the 3 parameters, h, k, and r.
First, we convert to Cartezian coordinates:
1 -- To find the center of the circle (h,k), we need the equations of two lines that are perpendicular bisectors of any two of the sides of the implied triangle above. The intersection of these lines is the center of the circle.
2 -- A perpendicular bisector will have a slope, M, of -1/m, where m is the slope of the corresponding side of the triangle. We get the slope of a side, m, easily from the two given points for that side. We also can easily derive a point, P, on the perpendicular bisector: the midpoint of the side of the triangle. With a point and slope we essentially have the line equations we need.
3 -- To get the length of the radius, r, we compute the distance between the center of the circle and any of the points on the circle.
The perpendicular bisectors of the sides of a triangle intersect in the center of the circumscribing circle of that triangle. The proof is easy, as we note that every point along one of these perpendicular bisectors is equidistance from each of the two points that form the ends of the corresponding triangle side. Thus, the center of this circle (being the intersection of these perpendicular bisectors) has the property that it is equidistant from each of the 3 points, ie, it is a circumscribing circle. Note that given any 3 points, there is a single triangle implied by them (so we can use the perpendicular bisector argument to conclude that a single circle exists).
Now, for key calculations:
Thus, h = 0 and k = -3
We can calculate distance from (h,k) to (0,2)
More specifically, the equation of the circle is:
Might as well flesh out Theo's comments a bit...
If you have four points $z_i,\quad i=1\dots4$, in the following configuration:
the cross ratio of these four points is
If $\Delta$ is real, this means that
Interpreted geometrically, the angles $\angle z_3 z_1 z_4$ and $\angle z_3 z_2 z_4$ are congruent, and must thus be inscribed angles in a circle; i.e. all four points are concyclic.
If we let $z_4$ be a variable point $z$ tracing the circle and $\Delta$ be a varying parameter, we obtain an equation for the circle through $z_1,z_2,z_3$:
Solving for $z=x+iy$ gives
which as Theo says is a Möbius transformation. Taking real and imaginary parts and eliminating $\Delta$ should yield a Cartesian equation. (Obtaining the center and radius of this circle is a bit messy and is left as an exercise in algebraic manipulation.)