# Fallacy of the Isosceles Triangle

Throughout the last of couple of weeks, we've been having some fun with geometrical fallacies. We've seen what makes them work and how to spot the wrong arguments that constitute the fallacious proofs. Today we're going to end the series with a classic geometrical fallacy; one that is possibly the most popular when it comes to geometric fallacies: the "proof" that all triangles are isosceles.

This fallacy has been attributed to Charles Dodgson who is better known as Lewis Carroll. Most people know Carroll as the author of the children's book, Alice's Adventure In Wonderland. But what some people don't know is Carroll was also a noted mathematician and logician who loved some recreational mathematics.

This post is going to be pretty much like the earlier ones. I first present you with the "proof". Then I ask you think about what went wrong and why. Finally I walk you through the steps and reveal the invalid argument. So let's get on with it!

Imgur

Let $ABC$ be a triangle. Draw the angle bisector of $\angle A$ and the perpendicular bisector of $BC$. Notice that if they are the same line, $\triangle ABC$ is isosceles. If they are not the same line, they're going to intersect at a point. Let's call that $D$.

Let $E$ be the midpoint of $BC$. $F$ and $G$ are the feet of perpendiculars from $D$ to $AB$ and $AC$ respectively. Join $B, D$ and $C, D$.

Notice that $\triangle BDE$ and $\triangle CDE$ are congruent [SAS], because $BE=CE$, $DE=DE$ and $\angle DEB=\angle DEC$ since they are equal to a right angle.

So, now we can write $BD=CD$ $\cdots (1)$.

Triangles $ADF$ and $ADG$ are also congruent [AAS] as $\angle DFA=\angle DGA=90^\circ$, $\angle FAD=\angle GAD$ [remember that $AD$ was the angle bisector of $\angle BAC$] and $AD=AD$.

From that we can write $DF=DG$ $\cdots (2)$

And $AF=AG$ $\cdots (3)$.

Now we move on to triangles $DBF$ and $DCG$.

From $(1)$ and $(2)$ and from the fact that $\angle DFB$ and $\angle DGC$ are right angles, we can conclude that triangles $DBF$ and $DCG$ are also congruent.

And that means $FB=GC$ $\cdots (4)$.

Now add $(3)$ and $(4)$ together and see what happens.

$AF+FB=AG+GC$

$\Rightarrow AB=AC$

That means $\triangle ABC$ is isosceles! How did that happen? You can use the similar arguments to prove $BC=AC$ and prove that all triangles are actually equilateral!

Now comes the slightly over-asked question: what went wrong? Go back to the steps and try to figure it out. Don't continue reading if you don't want to know the solution without giving it a shot.

I take it that you've thought about the fallacy for a while. Have you figured it out? If repeatedly talking about fallacies taught us one thing, it's this: drawing a sufficiently accurate picture always helps. And that advice isn't restricted only to fallacies like this. You can use this even while solving normal geometry problems. An accurate figure helps you make good educated guesses [for example, "the lines sure look like they're parallel, let's prove it! And that angle looks like a right angle. Can I prove it?...]. So, let's take a look at a more accurate picture:

Imgur

This actually makes sense. The point $D$ is actually outside the triangle. We never proved where $D$ was. We only assumed [incorrectly] that it was inside. This also tells us that everything up to the last step was absolutely correct. The lengths were equal. The triangles were congruent as well. Even $AF+FB=AG+GC$ was correct. But the transition to the final step was not. We made an incorrect assumption that $AG+GC=AC$. If $AB>AC$, $AC=AG-GC$, not $AG+GC$. This is what made us arrive at a wrong conclusion.

So, there you have it! This is the last post of the geometric fallacies series. I hope you had as much fun reading the posts as I had writing them. And thank you for staying with me till the end. If you missed one or two posts, you can check out my feed here or try the #mathematicalfallacies tag.

Until next time!

Note by Mursalin Habib
6 years, 4 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.
• 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. 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:

That was it! The last post on the geometrical fallacies series! I hope you enjoy this one as well. Feel free to post any feedback in the comments section.

And thank you, thank you, thank you for staying with me.

- 6 years, 4 months ago

Your initial diagram can be made to look more convincing by drawing a triangle closer to isosceles. However, the accurate diagram would be harder to draw.

Other than that, great posts! I loved them.

This makes me want to post more, although I am pretty busy... :P

- 6 years, 4 months ago

Thanks, Daniel, for your kind words. It really does mean a lot!

And about making the diagram more convincing: if my triangle were any closer to an isosceles triangle, point $D$ would be really close to $BC$. And people don't draw diagrams that accurately as well. Ask people to draw a diagram based on the instructions above and if they don't use compasses or rulers, they are going get a picture that is quite similar to mine, specially if you add the line "let the angle bisector of $\angle A$ and the perpendicular bisector of $BC$ intersect at $D$" [this psychologically influences them to assume that $D$ is inside the triangle].

It's interesting that people are discussing about why the picture's wrong when the more important thing is why the argument's wrong. You don't have to draw pictures 100% accurately make geometric arguments.

Once again, thanks for your feedback! I appreciate it a lot! And I'm looking forward to your posts. Keep them coming :)

- 6 years, 4 months ago

How do you think of such things , can you suggest me from where do I have to start?

- 5 years, 4 months ago

I believe he was sharing a well-known incorrect proof. I don't think he was the one who invented it.

- 5 years, 4 months ago

Yes, I think I mentioned that this fallacy's been attributed to Lewis Carroll.

- 5 years, 4 months ago

Sorry I commented here , I was reading all the notes of the set geometric fallacies one by one , i was astonished to see this fallacy - Are you inside or outside

Thanks

- 5 years, 4 months ago

Cool!

- 6 years, 4 months ago

I read your PDF on it in Bengali a month ago and figured out the mistake there instantly when I looked at the picture. The difference between that one and this one is that in that one, you bisected $\angle A$ correctly, but did not point out the midpoint of $BC$ accurately. So anyone could catch the mistake instantly. In fact, before reading the whole, I quickly did a GeoGebra check and found out that the point $D$ is actually outside the triangle.

Comparing to that one, I like the picture in this one as you pointed out the midpoint of $BC$ accurately, but did not bisect $\angle A$ accurately. It's far more difficult to catch the mistake from bisected angle than from the midpoint.

And...... Great posts! I had fun!

- 6 years, 4 months ago

Where on earth did you read that!?

By the way, the point of this [and the other posts on fallacies] was not to find the mistakes in the pictures. The point was to find which arguments were invalid and learn that you should never ever assume anything without proof. You line of thought should be like this: "Yeah, the picture looks fishy, but then again you can't draw anything 100% accurately. So, what is wrong with the arguments presented?" Do you draw diagrams with compasses and rulers whenever you solve a geometry problem or do you just draw something that looks okay.

So, why am I saying this? I'm saying this to emphasize that the "proof" isn't wrong because the picture is wrong. The proof is wrong because we made an implicit assumption. Yes, the inaccurate picture helped us make that assumption but that is not what's wrong. I hope you understand this.

By the way, the picture from the pdf: that was from Wikipedia. So, that's Wikipedia's fault, not mine:)

- 6 years, 4 months ago

"I present you wit the 'proof.'" Typo paragraph 3 :)

- 6 years, 4 months ago

It seems like I can't break the habit of making stupid typos. Thanks for pointing it out!

- 6 years, 4 months ago

This is very interesting. But you don't give any proof or reason to support the fact that D is outside the triangle. The proof is actually an extension of the 'angle bisector theorem' which basically proves that the bisector will never cross the perpendicular bisector of the opposite side (unless it's an isosceles, in which case the angle bisector is also the perpendicular bisector).

- 2 years, 6 months ago

asked me in kvpy interview

- 2 years, 3 months ago