Theorem: (Circle Inversion)

    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.