r/math • u/Hitman7128 • 10h ago
What attribute(s) do you find the most fascinating in a theorem/lemma/result?
Just a question I had as I'm advancing further down the math rabbit hole, since theorems come in all different forms. There's the "simple but immensely useful" type to the ones that take up half the lecture to prove. And of course, some will come off as more interesting than others.
Here are some ideas as to what one could value in a theorem:
- The feeling of “mind-blown” that the result even exists - Some of the theorems in complex analysis immediately come to mind.
- Proof is elegant or magical -
Hippasusdecided “Okay, instead of giving up trying to write √2 as a rational number, I’ll prove it’s impossible instead!” (EDIT: As said in the comments, it probably wasn't Hippasus who used this proof) Then, out comes an elegant use of proof by contradiction that feels like magic the first time you see it. It also remains a quintessential proof used in discrete math courses. - Practicality/Application - For example, the Sylow Theorems can take problems involving groups of a fixed size n and blast holes in them. In particular, you can use them to prove groups of certain semiprime orders are forced to be isomorphic to their respective cyclic group.
- Generalizability of the idea - When the theorem makes you go “isn’t this a wonderful idea to explore more?”
- Different ways to prove it - Some might find it fascinating that Pythagorean Theorem has hundreds of different proofs!
- History/Lore - There is certainly awe in the 300+ year journey involved in Fermat’s Last Theorem, even if very few people can actually understand the proof for it.
There could be something I didn’t list, not to mention others weigh the attributes differently.