If you already have a proof for some result, but want to ask for a different proof (using different methods).

learn more… | top users | synonyms

54
votes
9answers
3k views

Surprisingly elementary and direct proofs

What are some examples of theorems, whose first proof was quite hard and sophisticated, perhaps using some other deep theorems of some theory, before years later surprisingly a quite elementary, ...
44
votes
1answer
2k views

$n!$ is never a perfect square if $n\geq2$. Is there a proof of this that doesn't use Chebyshev's theorem?

If $n\geq2$, then $n!$ is not a perfect square. The proof of this follows easily from Chebyshev's theorem, which states that for any positive integer $n$ there exists a prime strictly between $n$ and ...
31
votes
3answers
819 views

Alternative proofs that $A_5$ is simple

What different ways are there to prove that the group $A_5$ is simple? I've collected these so far: By directly working with the cycles: page 483 of ...
30
votes
3answers
3k views

The Hexagonal Property of Pascal's Triangle

Any hexagon in Pascal's triangle, whose vertices are 6 binomial coefficients surrounding any entry, has the property that: the product of non-adjacent vertices is constant. the greatest common ...
28
votes
3answers
1k views

**Ended Competition:** What is the shortest proof of $\exists x \forall y (D(x) \to D(y)) $?

The competition has ended 6 june 2014 22:00 GMT The winner is Bryan Well done ! When I was rereading the proof of the drinkers paradox (see Proof of Drinker paradox I realised that $\exists x ...
27
votes
9answers
1k views

Proofs of AM-GM inequality

The arithmetic - geometric mean inequality states that $$\frac{x_1+ \ldots + x_n}{n} \geq \sqrt[n]{x_1 \cdots x_n}$$ I'm looking for some original proofs of this inequality. I can find the usual ...
27
votes
1answer
458 views
+100

Visual proof of $\sum_{n=1}^\infty \frac{1}{n^4} = \frac{\pi^4}{90}$?

In a gorgeous paper "How to compute $\sum \frac{1}{n^2}$ by solving triangles", Mikael Passare offers this idea for proving $\sum_{n=1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6}$: Proof of equality ...
21
votes
1answer
508 views

Verify matrix identity $A^tD-C^tB=I$ on certain hypotheses

Given $n\times n$ real matrices $A,B,C,D$ such that: $AB^T$ and $CD^T$ are symmetric $AD^T-BC^T=I$ Prove that $A^TD-C^TB=I$ The solution I have come up with after a very long time is to consider: ...
20
votes
9answers
8k views

What is the simplest proof of the pythagorean theorem you know? [duplicate]

Maybe enough so to explain it to children.
20
votes
1answer
221 views

$\log_2 13$ is irrational

Is it true that $\log_2 13$ is irrational? Let $x=\log_2 13\implies 2^x=13$. So, it will be an irrational number, if not,$$x=\frac p q$$ and $$2^{\frac p q}=13$$ $$\implies 2^p=13^{q}$$ Since, ...
19
votes
4answers
2k views

Proofs that every natural number is a sum of four squares.

I am planning to write a little note detailing several proofs of Lagrange's theorem that every natural number can be written as the sum of four perfect squares. I know of three different proofs so ...
19
votes
1answer
396 views

Easy proof, that $\rm e\notin \mathbb Q$

$\def\e{{\rm e}}$ I recently had the task to explain the proof that $\e$ is irrational as a presentation to my classmates. To prepare this presentation, the teacher gave me a script with a proof that ...
18
votes
6answers
669 views

A limit problem $\lim\limits_{x \to 0}\frac{x\sin(\sin x) - \sin^{2}x}{x^{6}}$

This is a problem from "A Course of Pure Mathematics" by G H Hardy. Find the limit $$\lim_{x \to 0}\frac{x\sin(\sin x) - \sin^{2}x}{x^{6}}$$ I had solved it long back (solution presented in my blog ...
18
votes
1answer
2k views

A proof of Wolstenholme's theorem

This was inspired by this question. I tried to use the identity $${2n \choose n}=\sum_{k=0}^n {n \choose k}^2$$ (see this question) to prove that $$\binom{2p}p\equiv2\pmod{p^3}$$ if $p\gt3$ is ...
18
votes
1answer
424 views

“Novel” proofs of “old” calculus theorems

Every once in a while some mathematicians publish (mostly on the American Mathematical Monthly) a new proof of an old (nowadays considered "basic") result in analysis (calculus). This article is an ...
17
votes
3answers
747 views

A Geometric Proof of $\zeta(2)=\frac{\pi^2}6$? (and other integer inputs for the Zeta)

Is there a known geometric proof for this famous problem? $$\zeta(2)=\sum_{n=1}^\infty n^{-2}=\frac16\pi^2$$ Moreover we can consider possibilities of geometric proofs of the following identity for ...
16
votes
10answers
3k views

Polygons with equal area and perimeter but different number of sides?

Let's say we have two polygons with different numbers of sides. They can be any sort of shape, but they have to have the same area, and perimeter. There could be such possibilities, but can someone ...
16
votes
9answers
365 views

Lesser known derivations of well-known formulas and theorems

What are some lesser known derivations of well-known formulas and theorems? I ask because I recently found a new way to derive the quadratic formula which didn't involve completing the square as is ...
16
votes
3answers
1k views

Prove that $x^3 + y^3 = z^3$ has no integer solutions as briefly as possible

Can someone provide the proof of the special case of Fermat's Last Theorem for $n=3$, i.e., that $$ x^3 + y^3 = z^3, $$ has no positive integer solutions, as briefly as possible? I have seen some ...
16
votes
2answers
442 views

Writing a group element as $ghg^{-1} h^{-1}$ and as $g^2 h^2$

I recently read the elegant paper Generalized Frobenius Schur Numbers, by Bump and Ginzburg, which I learned about here. The results in this paper imply the following: Let $G$ be a finite group ...
15
votes
1answer
91 views

If the Greeks had been four dimensional, would they have been able to derive the pi squared coefficient for the hypersphere volume without calculus?

I was reading about Archimedes' pre-calculus proof of the volume of the sphere and I realized that the trick he uses (volume of hemisphere + volume of cone = volume of cylinder) doesn't generalize to ...
14
votes
6answers
588 views

Fascinating induction problem with numerous interpretations

Problem: Suppose you begin with a pile of $n$ stones and split this pile into $n$ piles of one stone each by successively splitting a pile of stones into two smaller piles. Each time you split a pile, ...
14
votes
4answers
439 views

Easy proof for sum of squares $\approx n^3/3$

I'd like to prove to my (undergraduate, not math-major) students that $$ \lim_{n\to\infty} \frac{1}{n^3}\sum_{k=1}^n k^2 =\frac{1}{3}, $$ to later show them that this can be interpreted as taking ...
14
votes
1answer
1k views

Direct aproach to the Closed Graph Theorem

In the context of Banach spaces, the Closed Graph Theorem and the Open Mapping Theorem are equivalent. It seems that usually one proves the Open Mapping Theorem using the Baire Category Theorem, and ...
14
votes
2answers
1k views

A snappy proof of Fatou's lemma

I'm studying basic real analysis and stumbled across three big results (Fatou's lemma, Lebesgue's Dominated Convergence theorem, and the Monotone Convergence theorem) in the theory of Lebesgue ...
14
votes
1answer
642 views

A simply-connected closed surface is a sphere

From the Classification Theorem for closed (i.e. compact and boundaryless) surfaces, it follows that $S^2$ is the only closed surface with trivial $\pi _1$. That's easy because the fundamental group ...
13
votes
1answer
323 views

A beautiful inequality for convex functions

Let $f\in \mathcal{C}([0,1],\mathbb R_+)$ increasing. Prove that there exist $g,h\in \mathcal{C}([0,1],\mathbb R)$, convexs, such that $g\leqslant f \leqslant h$ and : $$\displaystyle ...
12
votes
3answers
2k views

Show that the product of two consecutive natural numbers is never a square.

I'd like to have my proof verified and if possible, to see other solutions that are interesting. Proof: Suppose $n(n+1)$ is a square. Then we write $$n(n+1) = \prod_{p} p^{c(p)}$$ where $c(p) = a(p) ...
12
votes
3answers
495 views

Can $\displaystyle\lim_{h\to 0}\frac{b^h - 1}{h}$ be solved without circular reasoning?

In many places I have read that $$\lim_{h\to 0}\frac{b^h - 1}{h}$$ is by definition $\ln(b)$. Does that mean that this is unsolvable without using that fact or a related/derived one? I can of course ...
12
votes
3answers
300 views

Simplified form for $\frac{\operatorname d^n}{\operatorname dx^n}\left(\frac{x}{e^x-1}\right)$?

I have found the following formula: $$\frac{\operatorname d^n}{\operatorname ...
12
votes
4answers
217 views

Checking that a $3$-D diagram is commutative

When proving certain results I need to use commutative diagrams, some of which quite complicated. My question is: Do we need to check every small square all the time to make sure that they are all ...
11
votes
1answer
142 views

Seeking a more direct proof for: $m+n\mid f(m)+f(n)\implies m-n\mid f(m)-f(n)$

If $f:\mathbb N\to\mathbb Z$ satisfies: $$\forall n,m\in\mathbb N\,, n+m\mid f(n)+f(m)$$ How to show that this implies: $$\forall n,m\in\mathbb N,\,n-m\mid f(n)-f(m)?$$ I was almost incidentally ...
11
votes
0answers
273 views

Pólya and Szegő, Part I, Ch. 4, 174.

The following is a problem proposed in Pólya and Szegő's book "Problems and Theorems in Analysis" Assume that $0<f(x)<x$ and $$f(x)=x-ax^k+bx^\ell+x^\ell \varepsilon(x),\,\;\;\;\lim_{x\to ...
10
votes
4answers
207 views

Inequality $\binom{2n}{n}\leq 4^n$

I would like to prove the following inequality, for $n=0,1,2,...$, $$ \binom{2n}{n}\leq 4^n.$$ I already proved it by induction, and I'm looking for another proof.
10
votes
2answers
887 views

Algebraic proof of a trig matrix identity?

I'll put the question first, and then the background, because I'm not sure that the background is necessary to answer the question: I have a geometric proof, but is there an elegant algebraic proof ...
10
votes
4answers
543 views

How can I complete this proof by contradiction?

This problem is from Discrete Mathematics and its Applications: Prove that there are no solutions in integers $x$ and $y$ to the equation $2x^2 + 5y^2 = 14$. I am trying to use proof by ...
10
votes
4answers
446 views

Construct quadrangle with given angles and perpendicular diagonals

The following came up when I worked on the answer for a different question (though it was ultimately not used in this form): Proposition. Given positive angles $\alpha,\beta,\gamma,\delta$ with ...
10
votes
1answer
216 views

Direct combinatorial proof of a sum identity on formal Lagrange polynomials

Let $k$ be a field and $K=k(x_0,x_1,\ldots, x_n)[x]$. Define $$\mathcal{L}_k(x)\triangleq \prod_{\substack{j=0\\ j\ne k}}^n\frac{x-x_j}{x_k-x_j}.$$ Is there a purely combinatorial way to show ...
9
votes
6answers
1k views

If $xy$ and $x+y$ are both even integers (with $x,y$ integers), then $x$ and $y$ are both even integers

The title statement can be proven using the contrapositive, note that $x$ odd or $y$ odd means that at least one of $x\cdot y,x+y$ is odd. Is there a way to prove the statement directly? To ...
9
votes
5answers
1k views

Is there an idempotent element in a finite semigroup?

Let $(G,\cdot)$ be a finite semigroup. Is there any $a\in G$ such that: $$a^2=a$$ It seems to be true in view of theorem 2.2.1 page 97 of this book (I'm not sure). But is there an elementary proof? ...
9
votes
3answers
1k views

Prove that there is no smallest positive real number

I have to prove the following: $$\text{Prove that there is no smallest positive real number}$$ Argument by contradiction Suppose there is a smallest positive real number. Let $x$ be the smallest ...
9
votes
1answer
2k views

Solving SAT by converting to disjunctive normal form

The first well-known $NPC$ problem is the Boolean Satisfiability Problem, which has a proof of being $NPC$ done by Cook (Cook-Levin Theorem). The problem can easily be described the following way: ...
9
votes
1answer
189 views

Is my proof correct for: $\sqrt[7]{7!} < \sqrt[8]{8!}$

I have to show that $$\sqrt[7]{7!} < \sqrt[8]{8!}$$ and I did the following steps \begin{align} \sqrt[7]{7!} &< \sqrt[8]{8!} \\ (7!)^{(1/7)} &< (8!)^{(1/8)} \\ (7!)^{(1/7)} - ...
9
votes
1answer
797 views

Hahn-Banach theorem: 2 versions

I have a question regarding the Hahn-Banach Theorem. Let the analytical version be defined as: Let $E$ be a vector space, $p: E \rightarrow \mathbb{R}$ be a sublinear function and $F$ be a subspace of ...
9
votes
3answers
137 views

Please review my question and solution. Thanks in advance.

How many values of x are there such that there exists positive integer solutions for S, such that $S=\sqrt{x(x+p)}$ where $x$ is an integer and $p$ is a prime number $>2$ This is a problem I made ...
8
votes
1answer
1k views

How to deduce open mapping theorem from closed graph theorem?

These two theorems are equivalent but I can not figure out how to deduce the open mapping from the closed graph. Can anyone give a hint or some reference?
8
votes
5answers
252 views

Different ways to prove $\sqrt p$ irrational for $p$ prime.

I know this fact can be proved by contradiction(reductio ad absurdum) but please give proofs by different methods.
8
votes
2answers
238 views

What is it that makes this proof about rational rectangles work fundamentally?

I saw this problem several years ago, and I discovered a solution to it. I've since learned a somewhat more efficient solution based on the same idea. Call a rectangle in the $(x,y)$ plane ...
8
votes
2answers
605 views

“Proof” that $\mathbb{R}^J$ is not normal when $J$ is uncountable

In 'Topology' by Munkres, he leaves as an exercise to prove that $\mathbb{R}^J$ is not normal under the product topology when $J$ is uncountable. The proof outlined as exercise 32.9 is the same one ...
8
votes
1answer
728 views

Uniform Convergence verification for Sequence of functions - NBHM

Following is a list of problems from an exam for admission into Ph.D program. I have just compiled all previous questions on uniform convergence of sequence of functions and i tried to work out . I ...