Questions tagged [alternative-proof]
Looking for a proof different from the standard proof(s) of a result
94
questions
8
votes
1
answer
580
views
Measure without measurable sets
This question is a little on the softer and speculative side, so bear with me.
Usually a measurable space is $(\Omega, \Sigma)$, a set $\Omega$ and sigma algebra $\Sigma$ of subsets. A measurable ...
- 3,366
4
votes
1
answer
440
views
Are the irrotational and solenoidal parts of a smooth vector field linearly independent?
Let $\textbf{F}\in \mathbb{R}^3$ be a smooth vector field for all space. It is well known using Helmholtz decomposition that we can decompose $\textbf{F}$ into two vector fields in $V$: $$\textbf{F} = ...
- 175
-1
votes
1
answer
72
views
Companion matrices must have geometric multiplicity one, linear recurrence sequence view [closed]
I posted this question on math stackexchange weeks ago, and it have not receive an answer yet after a bounty offer...
I've been recently playing around with the linear recurrence sequences. Consider ...
- 109
26
votes
1
answer
1k
views
A simple proof of the fundamental theorem of Galois theory
Update. It's now on the arXiv.
Some time ago I found my "own" proof of the fundamental theorem of Galois theory. You can find a pdf with the proof (link removed, see arXiv). It is quite ...
- 58.7k
3
votes
0
answers
89
views
Examples of "proof by generalising" [duplicate]
In a previous post I asked (Which theorems have Pythagoras' Theorem as a special case?).
Are there any compelling examples where it is significantly "easier"/"simpler" to prove ...
- 166
2
votes
1
answer
549
views
Alternative proofs of Euclid-Euler theorem
What are some alternative methods of proof for the necessity direction of the above theorem, ie $n$ an even perfect number $\Rightarrow n$ is of form $2^{a-1} (2^a - 1)$ where $2^a - 1$ is a Mersenne ...
3
votes
0
answers
127
views
Closed form for $\sum_{k=1}^\infty\frac{H_k^{(m)}}{k^n}$
Let's define
$$\sigma(m,n)=\sum_{k=1}^\infty\frac{H_k^{(m)}}{k^n}$$
where $H_k^{(m)}=\sum_{n=1}^{k}\frac{1}{n^m}$ is the k-th generalized harmonic number of order $m$.
In mathworld site Eq (20), I ...
- 131
9
votes
1
answer
541
views
Has Goedel's Second Incompleteness Theorem been proven using Lawvere's Fixed Point Theorem?
This question is a request for assistance in surveying the existing literature on applications of Lawvere's Fixed Point Theorem (LFPT).
Yanofsky [0] has demonstrated several applications of LFPT to ...
- 93
1
vote
1
answer
176
views
Why can any open subset $U$ of $\mathbb{Q}^\infty$ be written as disjoint union of basic clopen subsets?
I am reading Engelen´s paper and have trouble with this proof of Lemma 2.1 (a) (link is below).
It is easily seen that any non-empty open subspace $U$ of $\mathbb{Q}^\infty$ can be
written as an ...
- 113
33
votes
16
answers
5k
views
Which theorems have Pythagoras' Theorem as a special case?
Loomis famously wrote hundreds of proofs of Pythagoras' Theorem (reference below), but these are all basically proofs "from below". Today on Twitter @panlepan mentioned Carnot's theorem ...
0
votes
0
answers
79
views
Verification of a certain computation of VC dimension
Disclaimer: I'm not very familiar with the concept of VC dimensions and how to manipulate such objects. I'd be grateful if expects on the subject (learning theory, probability), could kindly proof ...
- 6,338
9
votes
1
answer
267
views
Quadrisecants of knots
Recall that a quadrisecant of a knot is a line that passes thru four points on it.
If the points appear on the line in the order $a$, $b$, $c$, $d$ and on the knot in the order $a$, $c$, $b$, $d$, ...
- 41k
15
votes
4
answers
3k
views
Collecting alternative proofs for the oddity of Catalan
Consider the ubiquitous Catalan numbers $C_n=\frac1{n+1}\binom{2n}n$. In this post, I am looking for your help in my attempt to collect alternative proofs of the following fact: $C_n$ is odd if and ...
- 40.2k
40
votes
11
answers
4k
views
Results with short, advanced proofs or long, elementary proofs
Recently I was preparing an undergrad-level proof of (a form of) the Jordan Curve Theorem, and I had forgotten just how much work is involved in it. The proof stored my head was just using Alexander ...
2
votes
1
answer
102
views
A question on the applicability Chebyshev inequality for sequence of random quantities
Let $(X_n)_n$ and $(Y_n)_n$ be two mutually independent sequences of random tensors (i.e scalars, vectors, matrices, etc.) defined on the same probability space, and let $f$ be a measurable function.
...
- 6,338
4
votes
1
answer
306
views
Which step is wrong in the following simplification of Silver's forcing?
Theorem: If M is a countable transitive model of ZFC, and $\kappa$ is a supercompact cardinal in M, and $2^\kappa=\kappa^+$. Then there exists a forcing extension M[G] such that $\kappa$ becomes a ...
7
votes
1
answer
787
views
An alternate definition of Sobolev space $W^{1,p}(\Omega)$ when $1<p\leq\infty$ and consequences
Suppose that we define the Sobolev space $W^{1,p}(\Omega)$ with $1<p\leq \infty$, where $\Omega\subset\mathbb{R}^d$ ($d\geq 1$) is an open set (not necessarily bounded), in the following manner.
...
- 547
1
vote
1
answer
130
views
Generalizing Bottema's theorem
Can you provide another proof for the claim given below?
Claim. In any triangle $\triangle ABC$ construct triangles $\triangle ACE$ and $\triangle BDC$ on sides $AC$ and $BC$ such that $\frac{AE}{AC}...
- 2,643
55
votes
9
answers
6k
views
Proofs of theorems that proved more or deeper results than what was first supposed or stated as the corresponding theorem
Recently, I figured out that a colleague of mine has had published during recent years a proof of a theorem in which he was actually proving a deeper result which we both thought to be still open. ...
23
votes
2
answers
1k
views
Slick proof of Stirling's Formula?
In Upper Limit on the Central Binomial Coefficient, Noam Elkies and David Speyer have given a nice proof that the central binomial coefficient $\binom{2n}{n} \sim \frac{4^n}{\sqrt{\pi n}}$. This can ...
- 31.5k
16
votes
6
answers
2k
views
Alternative proofs sought after for a certain identity
Here is an identity for which I outlined two different arguments. I'm collecting further alternative proofs, so
QUESTION. can you provide another verification for the problem below?
Problem. Prove ...
- 40.2k
17
votes
0
answers
629
views
Picture of Lambert's proof that $\pi$ is irrational?
With a suitably generous notion of "picture proof" or "proof without words" or "geometric proof," there do exist such proofs of the irrationality of square roots and even ...
- 72.9k
2
votes
1
answer
369
views
Theorems with many proofs
Q. What are the characteristics of theorems that seem to invite (or possess) several or even many distinct proofs?
What I have in mind are examples such as these:
Proofs that there are infinitely ...
4
votes
2
answers
664
views
Katz's proof of Cartier's (descent) theorem
I am trying to understand the proof of Cartier’s theorem on pages 370-371 (pages 17-18 of the PDF file) of Katz’s “Nilpotent connections and the monodromy theorem: applications of a result of ...
- 111
1
vote
0
answers
73
views
What are some interesting applications of the Archimedean Property?
So a wile back I managed to prove the The Remainder Theorem starting from the Archimidean property and since then I've thought what could be other results which can be proved using it. But I haven't ...
16
votes
1
answer
1k
views
Topological proof that a Vitali set is not Borel
This question is purely out of curiosity, and well outside my field — apologies if there is a trivial answer. Recall that a Vitali set is a subset $V$ of $[0,1]$ such that the restriction to $V$ of ...
- 35.7k
22
votes
4
answers
2k
views
What's the use of countable ordinals? (prompted by a remark of Tim Gowers)
In a typically lucid and helpful page of notes for students, A beginner’s guide to countable ordinals, Tim Gowers explains how the countable ordinals can be “constructed rigorously in a way that ...
- 1,509
-1
votes
1
answer
172
views
Any simplification of this inequality if it is true? :For $t\geq 1.22$: $|\zeta(0.5+it)|\leq 0.5 \frac{|\Gamma(0.5+it)|}{|\Gamma(-0.5+it)|}$
When I tried to give bounds for $\zeta(0.5+it)$ using some transformations over Gamma function using the function $f(x)=\exp(-n x)$ over the range $(0,+\infty)$ , For $ Re(s)=\frac12 $ and $t >0$ ...
- 2,198
10
votes
0
answers
436
views
Including alternative proofs
Suppose I have found two or even more proofs of a theorem and I prepare a paper on it. Is it considered to be a good practice to write down all of them? Or is it considered to be my job as an author ...
3
votes
0
answers
333
views
Understanding a part of Friedberg’s Priority Argument Paper
This is Richard Friedberg’s original 1957 proof of the Friedberg-Muchnik Theorem, the origin of the ground-breaking priority argument. (The result proven is that there are two recursively enumerable ...
- 4,401
7
votes
3
answers
1k
views
Euler's rotation theorem revisited - Elementary geometric proofs
This is a very elementary topic but I thought it might be worth giving it a try here, I would be very interested in any comments - I originally posted it to Maths SE.
Euler's Rotation Theorem, proved ...
2
votes
0
answers
180
views
Proof of non-solvability of general equations of one unknown in elementary terms (finite terms)?
This question relates to the solvability of equations of one unknown in elementary terms (finite terms) according to Liouville and Ritt.
Elementary equations and closed-form solutions can be ...
- 21
13
votes
0
answers
1k
views
Is there a slick proof of the fundamental theorem of dimension theory?
The fundamental theorem of dimension theory in commutative algebra states that given a module $M$ over a noetherian local ring $A$, we have $s(M)=\text{dim}(M)=d(M)$ (where $s(M)$ is the infimum of ...
- 1,394
4
votes
0
answers
839
views
A closed set which is the closure of its interior points
This is a cross-post to MSE to this question
https://math.stackexchange.com/questions/3267497/a-set-which-is-the-closure-of-its-interior-points
There is a related question in MO:
Closure of the ...
- 293
6
votes
1
answer
300
views
Severi Formula for Intersection Multiplicities
I say in advance that I am a novice in Intersection Theory, so forgive me if my question is trivial.
Let $X\subseteq\mathbb{P}^N$ be a smooth irreducible projective variety of dimension $n$ and $V, W\...
- 1,232
4
votes
2
answers
606
views
Hard implications that become easy with the right intermediate step
I’m interested in examples of theorems of the form “If $P$ then $Q$“ that were either unsolved or thought to require difficult arguments until someone came up with an $X$ for which “If $P$ then $X$” ...
17
votes
5
answers
1k
views
Closed-form expression for certain product
$\mathrm G$ is Catalan's constant.
I recently found the product
$$
\alpha=\prod_{n=1}^{\infty}\frac{E_n(\frac12)E_n(\frac7{12})E_n(\frac1{20})E_n(\frac{13}{20})}{E_n(\frac14)E_n(\frac1{12})E_n(\...
- 283
11
votes
2
answers
917
views
Deuring's result on elliptic curves. Any proof reference
I have heard of this result from Deuring 1941 paper: Given $\mathbb F_p$ ($p$ prime number) and any number $n$ in the Hasse interval $[p+1-2\sqrt p, p+1+2\sqrt p]$ there is an elliptic curve over $\...
- 347
4
votes
2
answers
475
views
Orthogonal Polynomials and Sturm Liouville operators
Classical Orthogonal polynomials (e.g., Hermite, Legendre) are eigenfunctions of Sturm Liouville operators. For example, define $L[u]=u''-xu'$, then the $n$-th order Hermite polynomial satisfies $...
- 3,366
0
votes
1
answer
369
views
Fibers and Push-forward
Let $f\colon X\longrightarrow Y$ be a surjective morphism of projective varieties. Consider a non-singular irreducible projective curve $T$ and surjective morphism $p_Y\colon Y\longrightarrow T$. Then ...
- 1,232
29
votes
2
answers
2k
views
Why did Dedekind claim that $\sqrt{2}\cdot\sqrt{3}=\sqrt{6}$ hadn't been proved before?
In a letter to Lipschitz (1876) Dedekind doubts that $\sqrt{2}\cdot\sqrt{3}=\sqrt{6}$ had been proved before:
quoted from Leo Corry, Modern algebra, German original:
Why did Dedekind doubt that $(\...
- 9,452
3
votes
2
answers
334
views
Alternate descriptions of finite fields
The finite field of order $p^n$ is isomorphic to $(\mathbb Z/p \mathbb Z)[X]/(P)$, where $P$ is an irreducible polynomial in $(\mathbb Z/p \mathbb Z)[X]$ of degree $n$. This describes every finite ...
- 4,415
3
votes
2
answers
310
views
A direct proof that every $r$-colored complete graph on $n=(r+1)m-(r-1)$ vertices has a monochromatic matching of size $m$?
Cockayne and Lorimer ("The Ramsey number for stripes" 1975) prove that in every $r$-colored complete graph on $n=\sum_{i=1}^rm_i+m_1-(r-1)$ vertices, where $m_1\geq \dots\geq m_r\geq 1$, has a ...
- 1,616
7
votes
1
answer
257
views
If $M \otimes -$ is continuous, why is $M$ f.g. projective? Alternative proof
Let $R$ be a commutative ring and $M$ be some $R$-module such that $M \otimes -$ is continuous (i.e. preserves all limits). Then one can show that $M$ is f.g. projective.
One way to prove this is to ...
- 5,354
13
votes
1
answer
629
views
What was Smith's proof of Smith's theorem on Hamilton cycles in cubic graphs?
In a short 1946 paper "On Hamiltonian Circuits", Tutte proved the famous result that an edge in a cubic graph lies in an even number of Hamilton circuits.
He attributed the result to his friend CAB ...
- 11.4k
0
votes
0
answers
164
views
Simple proof for Riemann/Hurwitz ζ functional equation
For the purpose of formalisation, I am looking for a simple proof of the function equation of the Riemann ζ function or the generalisation thereof, the Hurwitz's formula for the Hurwitz ζ function.
...
- 1,159
0
votes
1
answer
298
views
How can i justify this multinomial coefficient identity? [closed]
$$\sum_{ k\ge 1 } \sum_{ (s_1,...,s_k) } \binom h{ s_1 ,..., s_k }=\binom{m-1}{h-1}$$
where the second summation is taken over all choices of the numbers
$${ s }_{ 1 },...,{ s }_{ k-1 }\ge 0,\quad {s ...
54
votes
12
answers
4k
views
Examples of advance via good definitions
In my research I came across a case where I could derive a known theorem with rather straightforward way by choosing "non-standard" definitions using my knowledge from a related field. This particular ...
26
votes
4
answers
7k
views
Where to publish a new proof of an old theorem?
A few months ago I came up with a proof for an old theorem. After being excited for a moment, I then tried to find my proof in the literature. Since I did not find it, then I started to wonder if it ...
11
votes
1
answer
754
views
On Selberg's Proof of the Selberg Integral Formula
I'm attempting to read through Mehta's write-up of Selberg's proof of the formula for the Selberg integral formula given below:
$$
\begin{align}
\operatorname{S}_n(\alpha,\ \beta,\ \gamma) & = \...
- 431