I noticed that many people have been posting problems involving Descartes' Four Circle Theorem, but this site has no documentation on it (especially the proof of it). It seems that all the proofs presented online are by Coxeter, which is short but non-elementary. I will attempt to prove the theorem from scratch and see where I get in the next few days. For the time being, here is Coxeter's proof.

**Interesting Trivia**

Descartes found the theorem without proof and sent it to Princess Elizabeth of Bohemia in 1643. The theorem was first proven by Jakob Steiner nearly 200 years later in 1826. Interestingly, this theorem was known to the Japanese around 1830 in Hashimoto Masataka's book *Sanpo Tenzan Shogakusho* (筭法點竄初學抄).

**Key Equations**

\[{r}_{4}=\frac{{r}_{1}{r}_{2}{r}_{3}}{{r}_{1}{r}_{2}+{r}_{1}{r}_{3}+{r}_{2}{r}_{3}+2\sqrt{{r}_{1}{r}_{2}{r}_{3}({r}_{1}+{r}_{2}+{r}_{3})}}\]

\[{R}_{4}=\frac{-{r}_{1}{r}_{2}{r}_{3}}{{r}_{1}{r}_{2}+{r}_{1}{r}_{3}+{r}_{2}{r}_{3}-2\sqrt{{r}_{1}{r}_{2}{r}_{3}({r}_{1}+{r}_{2}+{r}_{3})}}\]

## Comments

Sort by:

TopNewestYou can help the community by contributing a wiki article on it! Just click on 'post something' and start from there.

Imgur

This should be helpful.

Cheers! – Mursalin Habib · 2 years, 4 months ago

Log in to reply

@Steven Zheng Unfortunately, some people don't take the time to look at notes. So putting it in a wiki will help people find this theorem easier and quicker. Also, the wiki is pretty much permanent and can be edited and revised as well. – Tytan Le Nguyen · 2 years, 4 months ago

Exactly.Log in to reply

Check my proof of Desecartes Theorom, in the Desecartes Theorom wiki. – Ronak Agarwal · 2 years, 2 months ago

Log in to reply

Gogeometry right!!!!!!!!!!!! – Ashutosh Kumar · 2 years, 3 months ago

Log in to reply

Could you help add to the Descartes Circle Theorem Wiki? Thanks – Calvin Lin Staff · 2 years, 4 months ago

Log in to reply

– Steven Zheng · 2 years, 4 months ago

Sorry, I have been very busy lately with school and extracurricular activities. I've tried using Heron's formula to calculate the radius of the incircle, but to no avail. However I am writing notes on quantum mechanics. Perhaps those can be turned into wikis.Log in to reply

It would also be nice to see proofs of formulas relating to excircles of triangles because I can't them anywhere! – Curtis Clement · 2 years, 4 months ago

Log in to reply

sighs... I still don't understand the proof... – Samuraiwarm Tsunayoshi · 2 years, 4 months agoLog in to reply

– Curtis Clement · 2 years, 4 months ago

me neitherLog in to reply