Uploaded April 2026 | Updated September 2026, 2 weeks ago
This is a video I've been meaning to do for a long, long time. I've used the parity of permutations in quite a few videos and I've repeatedly promised to give a proper explanation in a separate video. This is it!
Parity of permutations, the distinction between even and odd permutations or rearrangements, is one of the simplest nontrivial invariants in mathematics, yet it has far-reaching consequences across many areas. This seemingly modest idea underpins the structure of the alternating group, a fundamental object in group theory that plays a key role in understanding symmetry.
In linear algebra, parity is built directly into the definition of the determinant, where alternating signs ensure that the determinant correctly captures orientation and volume. Without this distinction, the determinant would lose its essential properties. In geometry and topology, parity governs orientation: even permutations preserve orientation, while odd ones reverse it, a concept central to integration and manifold theory.
In combinatorics, parity enables powerful cancellation arguments, where terms paired by opposite parity eliminate each other, simplifying complex counts. It also appears in algorithms and puzzles, where parity acts as a hidden invariant determining whether certain configurations are reachable. In algebra, it influences objects such as polynomial discriminants and the structure of Galois groups.
Overall, parity serves as a unifying principle, linking symmetry, orientation, and invariance across mathematics. (Part of) the ying and yang of mathematics :)
Here is the link to my javascript app:
qedcat.com/parity
Things to watch out for: In the permutation diagrams you sometimes get less crossings than inversions. This is because of the presence of multi-crossings (more than two arrows forming a crossing). Usually you can resolve these multi-crossings with the "resolve multicross" button.
One thing that I missed out on mentioning in the present video is that originally the 15-puzzle was sold with the 14 and 15 swapped, thereby making it into an impossible puzzle that took the world by storm very much like the Rubkik's cube one hundred years later. Find out about the history of the 15-puzzle in the early Mathologer video mentioned below.
At some point I say that no matter how many tiles we are shuffling there will always be the same number of odd and even permutations. Of course that's not true if there is only one tile.
00:00 Intro
01:21 Permutations, inversions and parity
03:55 Identity permutation and swaps flip parity
08:48 odd + odd = even
11:08 The 15-puzzle
16:41 My permutation visualiser app
18:49 The Rubik's cube (corners)
22:38 The Rubik's cube (edges)
25:00 The Rubik's cube (corners & edges)
29:27 The determinant
31:54 The proof
35:56 Postscript
36:43 Thank you!
Here are relevant earlier Mathologer videos for you to check out:
I Built an Original One-Glance Proof from Dice youtu.be/QbKMSH5CLZ8
If you take out the corner and edge pieces from a Rubik's cube and fit them in randomly into the leftover 3d cross there is only a 1/12 chance that the resulting permutation is solvable with legal moves/twists. 12=2x2x3. Among other things, this video justifies where the 3 comes from.
Why did they prove this amazing theorem in 200 different ways? Quadratic Reciprocity MASTERCLASS
youtu.be/X63MWZIN3gM
In this video I demonstrate how the quadratic reciprocity has the parity of permutations at its core.
The 15 puzzle - solving the unsolvable 19th century Rubik's square
youtu.be/GXJOVoyZcXQ
A whole video about the 15-puzzle and its history.
The parity of permutations and the Futurama theorem
youtu.be/w0mxdo5ur_A
A different visual proof for why parities add like numbers motivated by an argument I used in one of the earliest Mathologer videos.
The Futurama Theorem
youtu.be/J65GNFfL94c
One of the earliest Mathologer videos. All about permutations ... and Futurama :)
Music at the end by Ian Post: Dream instrumantal version
T-shirt: https://www.zazzle.com.au/math_i_cant_even_t_shirt-235002184636303112
Enjoy!
Burkard
This is a video I've been meaning to do for a long, long time. I've used the parity of permutations in quite a few videos and I've repeatedly promised to give a proper explanation in a separate video. This is it!
Parity of permutations, the distinction between even and odd permutations or rearrangements, is one of the simplest nontrivial invariants in mathematics, yet it has far-reaching consequences across many areas. This seemingly modest idea underpins the structure of the alternating group, a fundamental object in group theory that plays a key role in understanding symmetry.
In linear algebra, parity is built directly into the definition of the determinant, where alternating signs ensure that the determinant correctly captures orientation and volume. Without this distinction, the determinant would lose its essential properties. In geometry and topology, parity governs orientation: even permutations preserve orientation, while odd ones reverse it, a concept central to integration and manifold theory.
In combinatorics, parity enables powerful cancellation arguments, where terms paired by opposite parity eliminate each other, simplifying complex counts. It also appears in algorithms and puzzles, where parity acts as a hidden invariant determining whether certain configurations are reachable. In algebra, it influences objects such as polynomial discriminants and the structure of Galois groups.
Overall, parity serves as a unifying principle, linking symmetry, orientation, and invariance across mathematics. (Part of) the ying and yang of mathematics :)
Here is the link to my javascript app:
qedcat.com/parity
Things to watch out for: In the permutation diagrams you sometimes get less crossings than inversions. This is because of the presence of multi-crossings (more than two arrows forming a crossing). Usually you can resolve these multi-crossings with the "resolve multicross" button.
One thing that I missed out on mentioning in the present video is that originally the 15-puzzle was sold with the 14 and 15 swapped, thereby making it into an impossible puzzle that took the world by storm very much like the Rubkik's cube one hundred years later. Find out about the history of the 15-puzzle in the early Mathologer video mentioned below.
At some point I say that no matter how many tiles we are shuffling there will always be the same number of odd and even permutations. Of course that's not true if there is only one tile.
00:00 Intro
01:21 Permutations, inversions and parity
03:55 Identity permutation and swaps flip parity
08:48 odd + odd = even
11:08 The 15-puzzle
16:41 My permutation visualiser app
18:49 The Rubik's cube (corners)
22:38 The Rubik's cube (edges)
25:00 The Rubik's cube (corners & edges)
29:27 The determinant
31:54 The proof
35:56 Postscript
36:43 Thank you!
Here are relevant earlier Mathologer videos for you to check out:
I Built an Original One-Glance Proof from Dice youtu.be/QbKMSH5CLZ8
If you take out the corner and edge pieces from a Rubik's cube and fit them in randomly into the leftover 3d cross there is only a 1/12 chance that the resulting permutation is solvable with legal moves/twists. 12=2x2x3. Among other things, this video justifies where the 3 comes from.
Why did they prove this amazing theorem in 200 different ways? Quadratic Reciprocity MASTERCLASS
youtu.be/X63MWZIN3gM
In this video I demonstrate how the quadratic reciprocity has the parity of permutations at its core.
The 15 puzzle - solving the unsolvable 19th century Rubik's square
youtu.be/GXJOVoyZcXQ
A whole video about the 15-puzzle and its history.
The parity of permutations and the Futurama theorem
youtu.be/w0mxdo5ur_A
A different visual proof for why parities add like numbers motivated by an argument I used in one of the earliest Mathologer videos.
The Futurama Theorem
youtu.be/J65GNFfL94c
One of the earliest Mathologer videos. All about permutations ... and Futurama :)
Music at the end by Ian Post: Dream instrumantal version
T-shirt: https://www.zazzle.com.au/math_i_cant_even_t_shirt-235002184636303112
Enjoy!
Burkard

![What does this prove? Some of the most gorgeous visual shrink proofs ever invented
Bit of a mystery Mathologer today with the title of the video not giving away much. Anyway it all starts with the quest for equilateral triangles in square grids and by the end of it we find ourselves once more in the realms of irrationality. This video contains some extra gorgeous visual proofs that hardly anybody seems to know about.
0:00 Intro
0:47 First puzzle
2:24 Second puzzle
3:50 Edward Lucas
4:41 Equilateral triangles
13:15 3d & 3rd puzzle
19:52 30 45 60
29:31 Credits
Here are links to/references of some of the things I mention in the video:
Joel Hamkins blog posts that inspired this video:
http://jdh.hamkins.org/no-regular-polygons-in-the-integer-lattice/
http://jdh.hamkins.org/no-regular-polygons-in-the-hexagonal-lattice/
There is also a whole chapter about all this and much more related maths in his new book
https://www.amazon.com/Proof-Mathematics-Joel-David-Hamkins/dp/0262539799
Here is another really good article which includes a nice characterisation of the triangles that can be found in square grids plus a very good survey of relevant results:
Michael J. Beeson, Triangles with Vertices on Lattice Points, The American Mathematical Monthly 99 (1992), 243-252, https://www.jstor.org/stable/2325060?seq=1
Scherrers and Hadwingers articles:
Scherrer, Willy, Die Einlagerung eines regulären Vielecks in ein Gitter, Elemente der Mathematik 1 (1946), 97-98.
https://tinyurl.com/y45p64t7
https://gdz.sub.uni-goettingen.de/id/PPN378850199_0001?tify={%22pages%22:[101]}
Hadwiger, Hugo Über die rationalen Hauptwinkel der Goniometrie, Elemente der Mathematik 1 (1946), 98-100.
https://tinyurl.com/yx98kkqt
https://gdz.sub.uni-goettingen.de/id/PPN378850199_0001?tify={%22pages%22:[102],%22view%22:%22info%22}
Another, nice paper on rational (and algebraic) cosines
https://arxiv.org/pdf/1006.2938.pdf
Here is a solution to the first puzzle (one way to find the general formula):
https://nrich.maths.org/657/solution
The music in this video is by Chris Haugen, Fresh Fallen Snow (playing in the video) and Morning Mandolin (for the credits)
A couple of remarks:
1. Probably the simplest way to deduce the sin and tan parts of the rational trig ratio theorem is to realise that they follow from the cos part via the trigonometric identities: sin(x)=cos(90-x) and tan^2(x) = (1-cos(2x))/(1+cos(2x)). Note that the second identity implies that if tan(x) is rational, then cos(2x) is rational (if tan(x)=c/d, then tan^2(x)=c^2/d^2=C/D and cos(2x)=(D-C)/(D+C)).
2. Bug report.
a) Here I redefine cos(120◦) = 1.
https://youtu.be/sDfzCIWpS7Q?t=1362
Remarkable :(
b) This transition to the good stuff I clearly did not think through properly.
https://youtu.be/sDfzCIWpS7Q?t=1018
Its possible to make this work for all regular n-gons. There is only one complication that occurs for ns that are of the form 2 * odd. For the corresponding regular n-gons, if you pick up the edges in the order that they appear around the n-gon and assemble them into a star, things close up into (n/2)-stars. For all other n, things work exactly as I showed in the video. Having said that you can also assemble the edges of one of the exceptions into stars. Have a look at this https://imgur.com/68A3fEe and youll get the idea. Anyway lots more nice side puzzles to be explored here if you are interested :)
Enjoy!
Burkard
Two ways to support Mathologer
Mathologer Patreon: https://www.patreon.com/mathologer
Mathologer PayPal: paypal.me/mathologer
(see the Patreon page for details)
14. Sep. 2021: Thank you very much Michael Didenko for your Russian subtitles. What does this prove? Some of the most gorgeous visual shrink proofs ever invented](https://i.ytimg.com/vi/sDfzCIWpS7Q/mqdefault.jpg)








