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

37
votes
10answers
3k 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 ...
21
votes
6answers
905 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 ...
0
votes
1answer
148 views

On a certain basis of an order of a quadratic number field

Let $K$ be an algebraic number field of degree $n$. An order of $K$ is a subring $R$ of $K$ such that $R$ is a free $\mathbb{Z}$-module of rank $n$. Let $\alpha_1, \cdots, \alpha_n$ be a basis of $R$ ...
84
votes
1answer
4k 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 ...
4
votes
3answers
1k views

$p=4n+3$ never has a Decomposition into $2$ Squares, right?

Primes of the form $p=4k+1\;$ have a unique decomposition as sum of squares $p=a^2+b^2$ with $0<a<b\;$, due to Thue's Lemma. Is it correct to say that, primes of the form $p=4n+3$, never have ...
6
votes
3answers
725 views

Is this proof that $\sqrt 2$ is irrational correct?

Suppose $\sqrt 2$ were rational. Then we would have integers $a$ and $b$ with $\sqrt 2 = \frac ab$ and $a$ and $b$ relatively prime. Since $\gcd(a,b)=1$, we have $\gcd(a^2, b^2)=1$, and the fraction ...
5
votes
1answer
2k views

Characterization of positive definite matrix with principal minors

A symmetric matrix $A$ is positive definite if $x^TAx>0$ for all $x\not=0$. However, such matrices can also be characterized by the positivity of the principal minors. A statement and proof can, ...
8
votes
1answer
463 views

Proof that a certain entire function is a polynomial

Let $n\in\mathbf{N}$ be fixed, and $f$ entire and $|f^{-1}(\left\lbrace w\right\rbrace)|\leq n$ for every $w\in\mathbf{C}$. Then $f$ is a polynomial of degree at most $n$. I try to prove this ...
3
votes
1answer
167 views

How to show that $\lfloor n/1\rfloor+\lfloor n/2 \rfloor+…+\lfloor n/n\rfloor+\lfloor{\sqrt{n}}\rfloor$ is even?

Let $n$ is a natural number. Prove that $$\left\lfloor\frac{n}{1}\right\rfloor+\left\lfloor\frac{n}{2}\right\rfloor+....+\left\lfloor\frac{n}{n}\right\rfloor+\left\lfloor{\sqrt{n}}\right\rfloor$$ ...
2
votes
1answer
377 views

Another point of view that $\mathbb{Z}/m\mathbb{Z} \times\mathbb{Z}/n\mathbb{Z}$ is cyclic.

I was thinking that the product of groups $\mathbb{Z}/2\mathbb{Z} \times\mathbb{Z}/2\mathbb{Z}$ is not cyclic, but $\mathbb{Z}/2\mathbb{Z} \times\mathbb{Z}/p\mathbb{Z}$ is cyclic if p is an odd prime. ...
12
votes
3answers
576 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 ...
8
votes
5answers
650 views

Proving $\sum_{k=1}^n k\cdot k! = (n+1)!-1$ without using mathematical Induction. [duplicate]

Possible Duplicate: Summation of a factorial This equation is given: $$ 1\cdot1! + 2\cdot2! + 3\cdot3! + \ldots + n\cdot n! = (n+1)! - 1 $$ I've solved it using mathematical induction but ...
-4
votes
1answer
167 views

Canonical basis of an ideal of a quadratic order

Let $K$ be a quadratic number field. Let $R$ be an order of $K$, $D$ its discriminant. I am interested in the ideal theory on $R$ because it is closely related to the theory of binary quadratic forms ...
15
votes
1answer
2k 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 ...
-1
votes
1answer
90 views

Condition for $a, b + \omega$ to be the canonical basis of an ideal of a quadratic order

Let $K$ be a quadratic number field. Let $R$ be an order of $K$, $D$ its discriminant. By this question, $1, \omega = \frac{(D + \sqrt D)}{2}$ is a basis of $R$ as a $\mathbb{Z}$-module. Let $I$ be a ...
31
votes
12answers
823 views

What are the theorems in mathematics which can be proved using completely different ideas?

I would like to know about theorems which can give different proofs using completely different techniques. Motivation: When I read from the book Proof from the Book, I saw there were many ...
12
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? ...
4
votes
5answers
293 views

How to prove $3^\pi>\pi^3$ using algebra or geometry?

It's a question of a some time ago test, I've found a way to solve the problem using calculus, but always I've thought that exist a solution with algebra and geometry. Thank you for your time.
15
votes
6answers
718 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, ...
-1
votes
1answer
246 views

Criterion on whether a given ideal of a quadratic order is regular or not

Let $K$ be an algebraic number field of degree $n$. Let $\mathcal{O}_K$ be the ring of algebraic integers. Let $R$ be an order of $K$, i.e. a subring of $K$ which is a free $\mathbb{Z}$-module of rank ...
21
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 ...
36
votes
3answers
1k 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 ...
5
votes
1answer
464 views

Excessive use of the Yoneda lemma

In a MathOverflow thread on "nuking mosquitos", Andrej Bauer offered the following proof: If two elements in a poset have the same lower bounds then they are equal by Yoneda lemma. I understand ...
0
votes
3answers
1k views

for $1<p<2$, prove the p-series is convergent without concerned with integral and differential knowledge and geometry series

for $1<p<2$, prove the p-series: $\sum_{n=1}^{\infty}n^{-p}$ is convergent. please use Cauchy Rule (edit: that is, by showing directly that the sequence of partial sums is a Cauchy sequence) ...
11
votes
0answers
293 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 ...
5
votes
1answer
143 views

Proof that $\frac{2}{3} < \log(2) < \frac{7}{10}$

Positive integrals $$\int_{0}^{1}\frac{2x(1-x)^2}{1+x^2}dx=\pi-3$$ and $$\int_0^1\frac{x^4(1-x)^4}{1+x^2}dx=\frac{22}{7}-\pi $$ (http://math.stackexchange.com/a/1618454/134791) prove that ...
3
votes
2answers
291 views

square root of 2 irrational - alternative proof

I have found the following alternative proof online. It looks amazingly elegant but I wonder if it is correct. I mean: should it not state that $(\sqrt{2}-1)\cdot k \in \mathbb{N}$ to be able to ...
1
vote
2answers
1k views

Using inequalities and limits

Is it possible to say: $$ If \ f(x) \ and \ g(x) \ both \ have \ limits \ as \ x\to p\ and \ f(x) \le g(x), \ then \lim_{x \to p} f(x)\le \lim_{x \to p} g(x). $$ My proof(Edit: Proof is wrong due to ...
0
votes
4answers
4k views

Prove that a continuous function on a closed interval attains a maximum

As the title indicates, I'd like to prove the following: If $f:\mathbb R\to\mathbb R$ is a continuous function on $[a,b]$, then $f$ attains its maximum. Now, I do have a working proof: $[a,b]$ ...
1
vote
8answers
482 views

Why Not Define $0/0$ To Be $0$?

For every number $x$, $x\times 0=0$, hence $\dfrac{0}{0}$ can be any number! So $\dfrac{0}{0}$ "is knows as indeterminate" [1]. But what if we define it to be $0$? I already have an answer, but ...
55
votes
15answers
2k views

What is the most unusual proof you know that $\sqrt{2}$ is irrational?

What is the most unusual proof you know that $\sqrt{2}$ is irrational? Here is my favorite: Theorem: $\sqrt{2}$ is irrational. Proof: $3^2-2\cdot 2^2 = 1$. (That's it) That is a ...
35
votes
1answer
642 views

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 ...
19
votes
3answers
2k 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 ...
7
votes
5answers
907 views

Proving $\sum_{k=1}^n{k^2}=\frac{n(n+1)(2n+1)}{6}$ without induction [duplicate]

I was looking at: $$\sum_{k=1}^n{k^2}=\frac{n(n+1)(2n+1)}{6}$$ It's pretty easy proving the above using induction, but I was wondering what is the actual way of getting this equation?
19
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 ...
16
votes
10answers
4k 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 ...
5
votes
4answers
3k views

Insightful proofs for Sherman-Morrison Formula and Matrix Determinant Lemma

There are two statement about a matrix under rank-one updates that I would be grateful if you give me some insightful proofs. Suppose $A$ be a nonsingular $n \times n$ matrix and ...
18
votes
3answers
847 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 ...
6
votes
3answers
100 views

Prove $(x+r_1) \cdots (x+r_n) \geq (x+(r_1 \cdots r_n)^{1/n})^{n}$.

I can show that for $x > 0$ and $r_{i} > 0$ we have $$ \left(\, x + r_{1}\,\right)\ldots\left(\, x + r_{n}\,\right)\ \geq\ \left[\, x + \left(\, r_{1}\ldots r_{n}\,\right)^{1/n}\,\right]^{n}.$$ ...
4
votes
2answers
120 views

Characterize the natural numbers $n$ such that there is a surjective group homomorphism from $S_n$ to $S_{n-1}$.

This has always been one of my most favorite exercises from Group Theory, and I was surprised to see that this hasn't been asked before. To repeat: Characterize the natural numbers $n$ such that ...
4
votes
1answer
202 views

Identity concerning complete elliptic integrals

It can be easily checked that both the complete elliptic integrals $K(k), K'(k)$ satisfy the same second order differential equation $$kk'^{2}\frac{d^{2}y}{dk^{2}} + (1 - 3k^{2})\frac{dy}{dk} - ky = ...
5
votes
1answer
101 views

All $k$-regular subgraphs of $K_{n,n}$ have a perfect matching: a proof without Hall's Marriage Theorem?

There are several ways of describing this result: Theorem: For $k \in \{1,2,\ldots,n\}$, any $k$-regular subgraph of $K_{n,n}$ has a perfect matching (also known as a $1$-factor). I tend to ...
5
votes
2answers
248 views

Is there a proof of the irrationality of $\sqrt{2}$ that involves modular arithmetic?

I was reading Ian Stewart's Concepts of Modern Mathematics. Using congruences, It's possible to explain why all perfect squares end in $0,1,4,5,6,9$ but not in $2,3,7,8$. With this I had the ...
4
votes
2answers
182 views

If $n$ is squarefree, $k\ge 2$, then $\exists f\in\Bbb Z[x_1,\dots,x_k] : f(\overline x)\equiv 0\pmod n\iff \overline x\equiv \overline 0\pmod n$

Starting from this question, we set $n=k=2$ and use the function $f\in\Bbb Z[x,y]$ where $f(x,y)=x\cdot y+x+y$, then the proofs applied to that question satisfy this case. Note that for $k=1$ the ...
3
votes
5answers
226 views

$\sum_{k=1}^nH_k = (n+1)H_n-n$. Why?

This is motivated by my answer to this question. The Wikipedia entry on harmonic numbers gives the following identity: $$ \sum_{k=1}^nH_k=(n+1)H_n-n $$ Why is this? Note that I don't just ...
3
votes
2answers
133 views

Prove: if $f(x) =x\sin (\pi x)$ then $f'(x)$ vanishes at a unique point in $ ( n + 1/2, n) $

Let $ f(x) = x\sin (\pi x), x > 0 $. Then prove that for all natural numbers n, $f'(x)$ vanishes at a unique point in $ ( n + 1/2, n) $ The given solution shows a graph, but is there any algebraic ...
2
votes
3answers
2k views

Combinatorial Proof of Multinomial Theorem - Without Induction or Binomial Theorem

I've been trying to rout out an exclusively combinatorial proof of the Multinomial Theorem with bounteous details but only lighted upon this one - see P2. Any other helpful ones? ...
2
votes
1answer
190 views

Equivalences to “D-finite = finite”

By a D-finite set, we mean a set admitting no injection from the natural numbers (or equivalently, a set not in bijection with any proper subset). I have encountered a proof that the following are ...
4
votes
6answers
470 views

Prove that $x-1$ is a factor of $x^n-1$

Prove that $x-1$ is a factor of $x^n-1$. My problem: I already proved it by factor theorem† and by simply dividing them. I need another approach to prove it. Is there any other third ...
3
votes
4answers
1k views

Axiom of Choice and Right Inverse

I read an Theorem that states: Let $A$ and $B$ be non-empty sets, and let $f:A \to B$ be a function, then the function $f$ has a right inverse if and only if $f$ is surjective. The Theorem ...