Prove a very original version of Descartes's circle theorem

523 Views Asked by At

Prove: I define the radius of three mutually externally tangent to be $d,e,f$ respectively. The circle with radius $x$ is internally tangent to all three circles. Then

$$ddeeff+ddeexx+ddffxx+eeffxx = \\2(deffxx+ddeffx+deefxx+ddeefx+ddefxx+deeffx)$$

[Reference: p.189-190 of The Changing Shape of Geometry.]

(Image in case you didn't see the google book here.)