[alogo] Inversion property

Consider a circle (c) with diameter |FG| = 2b and an arbitrary point E on that diameter. Erect orthogonals (e), (f), (g) to that diameter at E, F and G respectively. Draw circle (m) with the property to be simultaneous tangent to (f), (e), (c) and invert this circle with respect to the circle w(E, r), to obtain circle (m*) with center A and radius (z). Then z = r/(4b) is independent of the location of E on FG, provided r and b remain constant.
Corollary: If (n) is the circle simultaneously tangent to (e), (g) and (c) then its inverse (n*) with respect to w is congruent to (m*). This remark proves Archimedes' Circles porism illustrated in Archimedes.html .

[0_0] [0_1] [0_2]
[1_0] [1_1] [1_2]

The proof follows from the remarks:
1) (a/2 + b) = (b-a/2) + ED = > ED = 2ab.
2) ED EB = r = > EB = rsqrt(2ab).
3) z/(a/2) = EB/ED = (r/sqrt(2ab)) / sqrt(2ab) = r/(2ab).
4) z = r/(4b) independent of a! Hence, for fixed b, r and E moving on FG, z is constant.
Switch to the pick-move tool (CTRL+2), catch and move E to see that circles m*, n* remain congruent all the time.

Produced with EucliDraw©