1. ## induction

Hi,
can any one give me proof for mathematical induction?

2. Hmmm...That's a tough one. What do you mean? Can it be proven that Mathematical Induction works or is valid? The fundamentals lie in the logic. Do you mean just any old proof using Mathematical Induction? It may help if you would provide the actual wording of an actual problem statement. If this is a personal exploration, you're going to have to get substantially more clear.

3. The principle of mathematical induction is usually stated as an axiom of the natural numbers. However, it can be proved in some logical systems. For instance, it can be proved if one assumes:

The set of natural numbers is well-ordered.
Every natural number is either zero, or n+1 for some natural number n.
For any natural number n, n+1 is greater than n.
To derive simple induction from these axioms, we must show that if P(n) is some proposition predicated of n, and if:

P(0) holds and
whenever P(k) is true then P(k+1) is also true
then P(n) holds for all n.

4. ## induction

I mean how can you say the method of mathematical induction is true.

5. Originally Posted by ksssudhanva
I mean how can you say the method of mathematical induction is true.
Well-Ordering Principle: Let $\displaystyle S$ be a non-empty set of natural numbers. Then $\displaystyle S$ has a smallest element!

Induction: Let $\displaystyle S$ be a set. Given $\displaystyle 0 \in S$ and that if $\displaystyle n\in S\implies n+1\in S$. Then $\displaystyle S=\mathbb{N}$.

Proof: Let $\displaystyle T = \{ x\in \mathbb{N} | x\not \in S \}$. Our goal is to show that $\displaystyle T$ is an empty set. Now assume that $\displaystyle T$ is non-empty. By the Well-Ordering Principle there exists a minimial element $\displaystyle a\in T$. Now $\displaystyle a\not = 0$ since $\displaystyle 0\in S$. So $\displaystyle a\geq 1$. That means it has a predecessor $\displaystyle a-1$. Since $\displaystyle a-1<a$ it must and $\displaystyle a$ is minimal it means $\displaystyle (a-1)\in S$. But then $\displaystyle (a-1)+1 = a\in S$. A contradiction! Thus, $\displaystyle T$ must be empty. Q.E.D.