Are You Inside Or Not?

I'm back with another mathematical fallacy which I found to be dangerously devious when I saw it for the first time. To be honest, I couldn't spot the mistake in this one until I'd drawn an accurate picture. Before we dive into this fallacious proof, a word of advice: never assume anything without proof!

Imgur Imgur

We have a circle with center AA and radius rr. CC is a point inside the circle. BB is a point such that ABAC=r2AB\cdot AC=r^2. We're going to draw the perpendicular bisector of BCBC and let that bisector intersect the circle at EE and DD. FF is the midpoint of BCBC.

Now on to the proof!

r2=ABACr^2=AB\cdot AC

r2=(AF+BF)(AFCF)=(AF+CF)(AFCF)=AF2CF2(1)\Rightarrow r^2=(AF+BF)(AF-CF)=(AF+CF)(AF-CF)=AF^2-CF^2 \cdots(1)

Now we're going to use the Pythagorean theorem.

AF2=AE2EF2=r2EF2AF^2=AE^2-EF^2=r^2-EF^2 and


Let's make these substitutions in (1)(1).

We have,


Now, if you do the calculations, you have :


Take a moment to understand what this statement is saying. Take a look at the picture if you have to.

I know it's hard to believe but this means that CC is actually on the circle. But that is insane. By definition, CC is a point inside the circle. What went wrong?

Before you read the rest of the article, think about this for a while. Review the steps. And most importantly, don't assume anything without proof.

Now how do we solve this apparent contradiction? As I said earlier, if you try to draw an accurate picture, you'll see what's happening here. But I find the picture here a bit uninteresting. So, draw an accurate picture if you want to. I'm not going to do that here. Instead, we're going solve this with pure logic. Let's begin!

Okay, since r>ACr>AC, we have (rAC)2>0(r-AC)^2>0.

Rewrite this as r2+AC2>2rACr^2+AC^2>2\cdot r \cdot AC.

Multiply both the sides by 12×AC\frac{1}{2 \times AC} to get:

12(r2AC+AC)>r\frac{1}{2}(\frac{r^2}{AC} +AC)>r

Remember that r2AC=AB\frac{r^2}{AC}=AB. So, we have:


12(AC+BC+AC)>r\Rightarrow \frac{1}{2} (AC+BC+AC)>r

AC+12×BC>r\Rightarrow AC+\frac{1}{2}\times BC>r

AC+CF>r\Rightarrow AC+CF>r

AF>r\Rightarrow AF>r

This actually solves the whole thing! Because it tells us that the point FF is actually outside the circle and the points DD and EE don't even exist! We only assumed they existed but we never proved it. If these points don't exist, all the arguments mentioned above are meaningless.

As we'll see again and again, implicit [& incorrect] assumptions will come back to haunt us.

Note by Mursalin Habib
7 years, 4 months ago

No vote yet
2 votes

  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]( 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}


Sort by:

Top Newest

so coool!!

Jordi Bosch - 7 years, 3 months ago

Log in to reply

I got a little suspicious when I saw that FF was assumed to be inside the circle. Since as CC approaches AA, then BB approaches infinity; surely FF cannot go left of the intersection of ABAB and the circle...

Turns out I was right :)

Daniel Liu - 7 years, 4 months ago

Log in to reply

I didnt think of it that way...nice!!

Tanya Gupta - 7 years, 1 month ago

Log in to reply

That is actually a great way to think about it. The more time you spend with fallacies like these, the better you get spotting the fallacious steps. Good job!

Mursalin Habib - 7 years, 4 months ago

Log in to reply

So we can't argue with no proof before. Really nice post!

Muh. Amin Widyatama - 7 years, 4 months ago

Log in to reply

Nice one :) Got me trick for a while too :)

Happy Melodies - 7 years, 4 months ago

Log in to reply

I'm back with another post. Feel free to post your feedback in the comments section.

I see that Cosines Group is "For Level 2-3 members, an immersion in concepts beyond the standard curriculum". So, also let me know if this falls outside the Cosines Group range.

Mursalin Habib - 7 years, 4 months ago

Log in to reply

Hi Mursalin, can you suggest me good way to start studying Euclidean geometry?

Snehal Shekatkar - 7 years, 4 months ago

Log in to reply

Sure! I had my beginning in geometry from my school textbooks. The geometry curriculum in our country is good. And the books had a lot of problems for us to work on.

For starters, I'd recommend the 'Geometry for Americans' section in Paul Zeitz's book, "The Art & Craft of Problem Solving" (2nd edition). For solving Olympiad level problems, THE book I can recommend you is 'Geometry Revisited' by Coxeter and Greitzer.

The most important thing while studying geometry is making sure that you understand formal proof structures and checking if you can apply the theorems you've learnt. For example, when you have an angle bisector and anything with ratios, you have to start thinking about the angle bisector theorem. And there's no better way to do that than solving problems, lots of them.

I hope this helps!

Mursalin Habib - 7 years, 4 months ago

Log in to reply

@Mursalin Habib Thanks Mursalin.. but I can see that these books are quite expensive.. how did you get them?

Snehal Shekatkar - 7 years, 4 months ago

Log in to reply

@Snehal Shekatkar Geometry revisited is the second link on the first page of a google search. I'm not sure if it's legal or not. Anyway, I contacted the BdMO [Bangladesh Mathematical Olympiad] and ordered the books.

If you don't want to buy the books, no problem! All you need is the index or the 'contents' page. And you can view that on Amazon. Then you can learn about those topics from free sources like Wikipedia, Mathworld or Aops. Yes, that way you can't learn the topics from the author's own words, but you can learn. There are free resources all over the internet.

Mursalin Habib - 7 years, 4 months ago

Log in to reply


Problem Loading...

Note Loading...

Set Loading...