# Discussion: Descartes Four Circle Theorem

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})}}$

Note by Steven Zheng
6 years, 2 months ago

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

• Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
• Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
• Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold
- bulleted- list
• bulleted
• list
1. numbered2. list
1. numbered
2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in $$ ... $$ or $ ... $ to ensure proper formatting.
2 \times 3 $2 \times 3$
2^{34} $2^{34}$
a_{i-1} $a_{i-1}$
\frac{2}{3} $\frac{2}{3}$
\sqrt{2} $\sqrt{2}$
\sum_{i=1}^3 $\sum_{i=1}^3$
\sin \theta $\sin \theta$
\boxed{123} $\boxed{123}$

Sort by:

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).

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

Imgur

Cheers!

- 6 years, 2 months ago

Exactly. @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.

- 6 years, 2 months ago

sighs... I still don't understand the proof...

- 6 years, 2 months ago

me neither

- 6 years, 2 months ago

It would also be nice to see proofs of formulas relating to excircles of triangles because I can't them anywhere!

- 6 years, 2 months ago

Could you help add to the Descartes Circle Theorem Wiki? Thanks

Staff - 6 years, 1 month 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.

- 6 years, 1 month ago

Gogeometry right!!!!!!!!!!!!

- 6 years ago

Check my proof of Desecartes Theorom, in the Desecartes Theorom wiki.

- 5 years, 11 months ago