Let K be a circle with center S
and radius k. Let C1 be another circle not
passing through S. Then the inverse
of the points on C1 form another circle,
C2, which is the image
of C1 under the dialation about point S with factor
k2/S(C1).
Proof:
We must show that the image
of C1 is another circle, C2, such that C2's
radius is equal to
(k2/S(C1))(the
radius of C1.
We first construct a line through S
that intersects the circle C1 at arbitrary points P and
Q
such that P does not equal Q.
We know by the Inverse Image that the inverse or P, P', is found on the line SP such that (SP)(SP') = k2.
Similarily, we can find the inverse of Q, Q'.
(1) We know that:
(SP)(SP') = k2
(2) We
also know that (SQ)(SQ') = k2.
(3) We also know that S(C1) = (SP)(SQ).
By dividing equations (1) and (2) by equation (3) we get:
(SP')/(SQ) = k2/S(C1)
(SQ')/(SP) = k2/S(C1)
Since k2/S(C1) is just a constant determined by the size of K and the position of C1 we can call it a.
Now we have that (SP')/(SQ) = c = (SQ')/(SP).
From this we can see that in the inverse of C1 P' corresponds to Q and Q' corresponds to P.
We also know that dialation preserves circles (as well as other shapes).
Therefore, the inverse of C1 is another circle obtained by a dialation of k2/S(C1).
Q.E.D.