# Questions tagged [alternative-proof]

Looking for a proof different from the standard proof(s) of a result

85 questions
Filter by
Sorted by
Tagged with
4k 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 ...
67 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 ...
239 views

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$, ...
2k 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 ...
3k 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 ...
92 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. ...
285 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 ...
570 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. ...
1 vote
106 views

602 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$” ...
1k views

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 ...