John Carlos Baez on Nostr: A theorem you'll never forget: Napoleon's theorem. Take any triangle. Erect ...
A theorem you'll never forget: Napoleon's theorem.
Take any triangle. Erect equilateral triangles on its three sides. The centers of these triangles are the vertices of another equilateral triangle!
While traditionally attributed to Napoleon, who *was* interested in geometry, there's no good evidence for this. The result first appears in πhπ πΏπππππ ' π·ππππ¦ in 1824, posed as a puzzle by one "Mr. W. Rutherford of Woodburn". William Rutherford is famous for having computed pi to 208 digits, of which the first 152 were correct.
This proof claims to be "geometrical" but is strategy is algebraic:
https://www.slideserve.com/hogan/a-geometric-proof-of-napoleon-s-theoremFind a formula for the length of one side of the would-be equilateral triangle that depends symmetrically on the lengths of all 3 sides of the original triangle. This implies all sides of the would-be equilateral triangle have the same length! So it's indeed equilateral.
Napoleon's theorem has an excellent generalization to n-gons: the Napoleon-Barlotti theorem. The centers of regular n-gons constructed over the sides of an n-gon P form a regular n-gon if and only if P is an affine image of a regular n-gon! Roughly speaking, this means P is a regular n-gon that's been stretched or squashed or sheared in a linear way.
Since every triangle is an affine image of an equilateral triangle, this reduces to Napoleon's theorem when n = 3.
I wonder how Barlotti felt about sharing a result with the Emperor of the French.
(1/2)
Published at
2026-10-04 08:58:59 UTCEvent JSON
{
"id": "3b3b819d735ce84f8d732598fd503843be11d048fdb7b0ae71e6e75a45d86ef6",
"pubkey": "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320",
"created_at": 1791104339,
"kind": 1,
"tags": [
[
"imeta",
"url https://media.mathstodon.xyz/media_attachments/files/117/381/680/474/102/579/original/1644fe1053ff6457.jpg",
"m image/jpeg"
],
[
"proxy",
"https://mathstodon.xyz/@johncarlosbaez/117381814002246282",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/117381814002246282",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/johncarlosbaez/statuses/117381814002246282",
"pink.momostr"
],
[
"-"
]
],
"content": "A theorem you'll never forget: Napoleon's theorem.\n\nTake any triangle. Erect equilateral triangles on its three sides. The centers of these triangles are the vertices of another equilateral triangle!\n\nWhile traditionally attributed to Napoleon, who *was* interested in geometry, there's no good evidence for this. The result first appears in πhπ πΏπππππ ' π·ππππ¦ in 1824, posed as a puzzle by one \"Mr. W. Rutherford of Woodburn\". William Rutherford is famous for having computed pi to 208 digits, of which the first 152 were correct. \n\nThis proof claims to be \"geometrical\" but is strategy is algebraic:\n\nhttps://www.slideserve.com/hogan/a-geometric-proof-of-napoleon-s-theorem\n\nFind a formula for the length of one side of the would-be equilateral triangle that depends symmetrically on the lengths of all 3 sides of the original triangle. This implies all sides of the would-be equilateral triangle have the same length! So it's indeed equilateral.\n\nNapoleon's theorem has an excellent generalization to n-gons: the Napoleon-Barlotti theorem. The centers of regular n-gons constructed over the sides of an n-gon P form a regular n-gon if and only if P is an affine image of a regular n-gon! Roughly speaking, this means P is a regular n-gon that's been stretched or squashed or sheared in a linear way. \n\nSince every triangle is an affine image of an equilateral triangle, this reduces to Napoleon's theorem when n = 3. \n\nI wonder how Barlotti felt about sharing a result with the Emperor of the French.\n\n(1/2)\nhttps://media.mathstodon.xyz/media_attachments/files/117/381/680/474/102/579/original/1644fe1053ff6457.jpg\n",
"sig": "3f2a9918dafc7aa3694b15e25fe7164442b4ff8adbb77419c55abb1dd669ee880615a73dcee0739b0fae48aeffb3476edf38c12adf9fb63b3dd700023920ba7e"
}