Descartesin neljän ympyrän lause

Descartesin neljän ympyrän lauseen mukaan neljän pareittain toistensa ulkopuolella olevien toisiaan sivuavien ympyröiden säteille r1, r2, r3, r4 on voimassa:

Jos määritellään ki = 1/ri (eli k on kaarevuus), niin lause saa muodon:

Analyyttinen geometria
René Descartes