Linked Questions
17 questions linked to/from Awfully sophisticated proof for simple facts
216
votes
67
answers
45k
views
Proofs that require fundamentally new ways of thinking
I do not know exactly how to characterize the class of proofs that interests me, so let me give some examples and say why I would be interested in more. Perhaps what the examples have in common is ...
86
votes
6
answers
17k
views
What are the most elegant proofs that you have learned from MO?
One of the things that MO does best is provide clear, concise
answers to specific mathematical questions. I have picked up ideas
from areas of mathematics I normally wouldn't touch, simply because
...
69
votes
3
answers
7k
views
Can you solve the listed smallest open Diophantine equations?
In 2018, Zidane asked What is the smallest unsolved Diophantine equation? The suggested way to measure size is substitute 2 instead of all variables, absolute values instead of all coefficients, and ...
63
votes
4
answers
15k
views
Proof that pi is transcendental that doesn't use the infinitude of primes
I just taught the classical impossible constructions for the first time, and in finding my class a reference for the transcendence of pi, I found a dearth of distinct proofs. In particular, those ...
59
votes
4
answers
7k
views
Has Fermat's Last Theorem per se been used?
There is a long tradition of mathematicians remarking that FLT in itself is a rather isolated claim, attractive only because of its simplicity. And people often note a great thing about current ...
49
votes
4
answers
8k
views
Is there an "elementary" proof of the infinitude of completely split primes?
Let $K$ be a Galois extension of the rationals with degree $n$. The Chebotarev Density Theorem guarantees that the rational primes that split completely in $K$ have density $1/n$ and thus there are ...
20
votes
10
answers
5k
views
Completeness vs Compactness in logic
One standard approach to showing compactness of first-order logic is to show completeness, of which compactness is an easy corollary. I am told this approach is deprecated nowadays, as Compactness is ...
16
votes
5
answers
2k
views
Reference request: Recovering a Riemannian metric from the distance function
Let $M = (M, g)$ be a Riemannian manifold, and let $p \in M$.
Writing $d$ for the geodesic distance in $M$, there is a function
$$
d(-, p)^2 : M \to \mathbb{R}.
$$
This function is smooth near $p$. ...
16
votes
0
answers
739
views
Is there a "natural" proof of the equality $4^2=2^4$?
This question, or rather any answer that it might receive, would probably belong to the realm of Awfully sophisticated proof for simple facts. Still, I claim that I have quite serious motivation for ...
8
votes
1
answer
513
views
Are the following subsets of a Hilbert space always homeomorphic?
Let $F$ be a infinite-dimensional complex Hilbert space, with inner product $\langle\cdot\;| \;\cdot\rangle$, the norm $\|\cdot\|$, the 1-sphere $S(0,1)=\{x\in F;\;\|x\|=1\}$ and let $\mathcal{B}(F)$ ...
7
votes
1
answer
475
views
Combinatorial consequences of de Branges's Theorem?
I'm usually not a proponent of the mentality “here is a tool, what results can we prove with it?” (as I prefer to start at the other end with a well-motivated problem), but this famously entertaining ...
7
votes
0
answers
315
views
Proving infinitely many primes using algebraic geometry ideas
There are at least two well known proofs of the infinitude of primes (Euclid's original one and Euler's proof using L-series) and both of them can be extended to prove more general statements of the ...
5
votes
1
answer
3k
views
Has Stirling’s Formula ever been applied, with interesting consequence, to Wilson’s Theorem?
Pressing the envelope, presumably the best scenario would be a simple proof of the Prime Number Theorem. After all, Wilson’s Theorem gives a necessary and sufficient condition, in terms of the Gamma ...
5
votes
4
answers
4k
views
Non-separable Banach space
The vector space $C_b(\mathbb R)$ of bounded continuous functions on $\mathbb R$ is non-separable: it is possible to produce a direct proof of this fact, mimicking the standard proof for the non-...
5
votes
3
answers
2k
views
When is the graph of a function a dense set?
Let $f: \mathbb R \to \mathbb R$ be any function. When is the graph of $f$ dense in $\mathbb R^2$?
The only examples I know for this are for non-measurable functions, but is that a necessary condition?...