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

r4=r1r2r3r1r2+r1r3+r2r3+2r1r2r3(r1+r2+r3){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})}}

R4=r1r2r3r1r2+r1r3+r2r32r1r2r3(r1+r2+r3){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
4 years, 10 months ago

No vote yet
1 vote

  Easy Math Editor

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.
  • Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. 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 1

paragraph 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×3 2 \times 3
2^{34} 234 2^{34}
a_{i-1} ai1 a_{i-1}
\frac{2}{3} 23 \frac{2}{3}
\sqrt{2} 2 \sqrt{2}
\sum_{i=1}^3 i=13 \sum_{i=1}^3
\sin \theta sinθ \sin \theta
\boxed{123} 123 \boxed{123}

Comments

Sort by:

Top Newest

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 Imgur

This should be helpful.

Cheers!

Mursalin Habib - 4 years, 10 months ago

Log in to reply

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.

tytan le nguyen - 4 years, 10 months ago

Log in to reply

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

Samuraiwarm Tsunayoshi - 4 years, 10 months ago

Log in to reply

me neither

Curtis Clement - 4 years, 10 months ago

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 - 4 years, 10 months ago

Log in to reply

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

Calvin Lin Staff - 4 years, 9 months ago

Log in to reply

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.

Steven Zheng - 4 years, 9 months ago

Log in to reply

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

Ashutosh Kumar - 4 years, 9 months ago

Log in to reply

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

Ronak Agarwal - 4 years, 8 months ago

Log in to reply

×

Problem Loading...

Note Loading...

Set Loading...