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 .

The proof follows from the remarks:

1) (a/2 + b)² = (b-a/2)² + ED² = > ED² = 2ab.

2) ED EB = r² = > EB = r²sqrt(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© |