Algebra Etc. Profile picture
Apr 1 6 tweets 3 min read Read on X
Napolean's theorem

Start with any triangle and draw equilateral triangles on each side. Then connect the centroids of the added triangles. The resulting triangle will be equilateral.

🧵 1/n Image
The added triangles don't have to face outward. They could also face inward, though this makes a messier image.

2/n Image
Napolean's theorem starts with an arbitrary triangle and adds equilateral triangles on the sides.

So a natural question is what happens if you start with a quadrilateral and draw squares on each side. If you connect the centers of the squares, do you get a square?

3/n
No, but Van Aubel’s theorem says that if you connect the centers of squares on opposite faces of the quadrilateral (dashed lines below), the two line segments are the same length and perpendicular to each other.

4/n Image
There is another variation on Napolean's theorem discovered recently. It takes a little more than 280 characters to state, so I'll link to the statement. You can get an idea of the theorem from the illustration.



5/n johndcook.com/blog/2023/02/2…Image
This thread was a condensed version of blog posts. See the posts for more information and references.

Napolean's theorem
johndcook.com/blog/2022/11/3…

Van Aubel's theorem
johndcook.com/blog/2023/01/2…

6/n

• • •

Missing some Tweet in this thread? You can try to force a refresh
 

Keep Current with Algebra Etc.

Algebra Etc. Profile picture

Stay in touch and get notified when new unrolls are available from this author!

Read all threads

This Thread may be Removed Anytime!

PDF

Twitter may remove this content at anytime! Save it as PDF for later use!

Try unrolling a thread yourself!

how to unroll video
  1. Follow @ThreadReaderApp to mention us!

  2. From a Twitter thread mention us with a keyword "unroll"
@threadreaderapp unroll

Practice here first or read more on our help page!

More from @AlgebraFact

Sep 23, 2024
The error in approximating the perimeter of an ellipse increases with the eccentricity of the ellipse for every practical approximation as far as I know.

🧵 1/n
I say practical because here's a useless approximation that is exact in the limit as eccentricity goes to infinity:

perimeter ≈ 4 * semi-major axis

You wouldn't want to use this approximation on, say, the orbit of a planet.

2/n
Here's my favorite approximation for the perimeter of an ellipse with semi-major axis a and semi-minor axis b:

3/n Image
Read 10 tweets
Jun 10, 2024
A polyhedron is called harmonic if the number of vertices is the harmonic mean of the number of edges and faces.

🧵 1/n Image
The notion of a harmonic polyhedron goes back to Philolaus (c. 470 – c. 385 BC). Philolaus was a Pythagorean, as depicted in the medieval woodcut below.

2/n Image
You could call the definition of harmonic polyhedron above vertex-harmonic, and call a polyhedron face-harmonic if the number of faces is the harmonic mean of the number of vertices and faces.

3/n
Read 9 tweets
Jun 10, 2024
What is the significance of the number 10^10^10^34?

🧵 1/n Image
The number 10^10^10^34 is known as Skewes' number. When Skewes defined this number in 1933 it was the largest "useful" number that had been defined. What was it useful for?

2/n
It has to do with the prime number theorem.

The function π(x) is the number of primes less than or equal to x. The prime number theorem says that π(x) is asymptotically equal to li(x).

3/n Image
Read 10 tweets
Nov 25, 2023
You can use the quadratic formula without understanding the problem that lead to using it.

But the formula gives two roots, and you have to know which one makes sense in context. Now you do need to understand the application.

This is a simple example of a common pattern.
A sighting of the sun or of a planet at a particular time determines a circle of possible locations.

A second sighting at a different time gives a second circle.

These two circles generally intersect in two points, one of which hopefully you know cannot be your location.
Functions of a complex variable commonly have branch points, and you have to know from context which one is appropriate.

Sometimes the choice is obvious, say when one branch is real, the other is not, and you know your solution must be real.

But sometimes it isn't obvious.
Read 6 tweets
Feb 9, 2023
Necessary conditions for a number ending in yz to be a square.

z must be 0, 1, 4, 5, 6, or 9.

If z = 1, 4, or 9, y must be even.

If z = 6, y must be odd.

If z = 0, y must be 0.

If z = 5, y must be 2.
For example, can 2194 be a square? No, because 9 is odd.

Can 2184 be a square? Possibly, because 8 is even.

(In fact it's not a square. These are necessary conditions, but not sufficient.)
Another way to test whether a number is a square is by casting out nines.

2184 mod 9 = 6.

But squares must equal 0, 1, 4, or 7 mod 9, so 2184 is not a square.
Read 7 tweets
Dec 23, 2021
The observation below led Marcel Golay to discover what’s now called the Golay code.
The code uses blocks of 23 bits, 12 for data and 11 added for error detection.

It can correct up to 3 erroneous bits per block.
The Golay code is “perfect,” meaning that its packing radius equals its covering radius.

One of only a few nontrivial perfect codes.
Read 10 tweets

Did Thread Reader help you today?

Support us! We are indie developers!


This site is made by just two indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member ($3/month or $30/year) and get exclusive features!

Become Premium

Don't want to be a Premium member but still want to support us?

Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal

Or Donate anonymously using crypto!

Ethereum

0xfe58350B80634f60Fa6Dc149a72b4DFbc17D341E copy

Bitcoin

3ATGMxNzCUFzxpMCHL5sWSt4DVtS8UqXpi copy

Thank you for your support!

Follow Us!

:(