# Inscribing Triangles in Curves (Part 1)

Some of you may have heard about the unsolved geometry problem called "Inscribed Square Problem" or "Toeplitz' conjecture". It states that in any closed curve, there exists 4 points on the curve that form a square. It sounds like a really simple problem, yet mathematicians have failed to prove it.

In this note, we will attack a similar problem: finding three points on a curve that are the vertices of an equilateral triangle. Unlike the square problem, this one is solvable.

First try it on your own. Can you devise a fool-proof way to find three points on a curve that make an equilateral triangle? Don't read on until you give it a try.

The key insight we need to think of in order to find an equilateral triangle inscribed in this curve is rotations. Here's how:

First, we take our curve. Although I will use a polygon in my examples, the idea is the same. Imgur

Now we pick any point on our polygon. It doesn't matter which; we can always find an equilateral triangle inscribed in the curve with this point as a vertex. Imgur

Using this point as the center of revolution, turn the polygon $60^{\circ}$. It doesn't matter which direction. Imgur

Now we can see that we have some points of intersection. Mark one of these points of intersection. Then, rotate it back $60^{\circ}$ in the opposite direction of how you rotated the polygon. Imgur

We can get rid of our rotated polygon now, and connect these two marked points with our point of rotation: Imgur

And we're done! We have find an equilateral triangle inscribed in the curve.

In fact, this is only one of the many inscribed equilateral triangles in this curve. We could have picked any of the intersections and created a whole new equilateral triangle.

In addition, we could have picked any point on the entire curve to begin with, and found equilateral triangles. Thus, there is an infinite number of equilateral triangles that can be inscribed in a random closed curve.

Now that we've found a way to inscribe equilateral triangles, can we do the same thing for other triangles? Yes, we can! The method of inscribing any arbitrary isosceles triangle is similar to the equilateral triangle; just change the number of degrees you rotate the curve by. For example, rotating the curve by $90^{\circ}$ will give you $45-45-90$ triangles inscribed in the curve. As an example, here is one inscribed in the same curve we used: Imgur

This is cool and all, but here's the finale: we can actually inscribe any arbitrary triangle in any arbitrary closed curve! However, you'll have to wait until the next note in order to find out how. Try to figure it out yourself in the meantime.

Daniel $\ddot\smile$ Note by Daniel Liu
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.

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:

This may be dumb but what if there are no intersection points after the rotation?

- 6 years, 4 months ago

Don't worry, your question isn't trivial.

This isn't possible, as long as the rotation is not $180^{\circ}$. To see this, note that on any curve, the region very close to the point of rotation can be approximated by a straight line. Thus, after rotating, we must have that one half of this straight line is in the curve, and one half is outside. But the curve is closed, so by the Jordan Curve Theorem, the part of the rotated curve inside the original curve must cross the original curve at another place to reach the part of the rotated curve outside the original curve. Thus there must be at least one point of intersection.

Does this make sense to you?

- 6 years, 4 months ago

Yup, I see.

- 6 years, 4 months ago

lol pretty legit solution m8

- 6 years, 4 months ago

And you are a troll.

- 6 years, 4 months ago

If $C$ is a simple closed curve and $T$ is any triangle, we can always find a triangle inscribed in $C$ similar to $T$.

- 6 years, 4 months ago

Yes, that is what I will show. In fact, I can show that there exists infinitely many triangles inscribed in $C$ similar to $T$.

- 6 years, 4 months ago

There's a more general transformation called the spiral similarity which is basically a combination of rotation and homothety, we can use that to prove the general case.

Funny enough I've actually known this conjecture for quite a long time eversince I saw it in the list of unsolved problems on wiki. and tried to tackle it. Here's an even more interesting question: Out of the infinitely many triangles inscribed in $C$ similar to $T$, are there two that are congruent. This step is essential to proving(or disproving) the larger conjecture, eventhough it's a small one.

btw the only progress that I made back then when I trid to solve this was that we could use translation to obtain parallelograms :) a step closer I guess, next step: rectangles.

- 6 years, 4 months ago

@Xuming Liang I think that has already been proven. It takes some knowledge about topology. If you know topology you should give it another try.

- 6 years, 4 months ago

Yes, @Xuming Liang the case of rectangles has also been proven.

- 6 years, 4 months ago

Awesome note, @Daniel Liu . Very insightful.

- 6 years, 4 months ago

good proof for the question, mine was similar to this

- 6 years, 4 months ago