Maths Olympiad Prep

Library / /302 of 520

Number theory Difficulty 6.2 National olympiad Prove it

Theorem 1 (Mathematical Induction) Let P(n)P(n) be a property or proposition concerning the natural number nn. If
(i) P(1)P(1) is true when n=1n=1;
(ii) the truth of P(n)P(n) implies the truth of P(n+1)P(n+1), then P(n)P(n) is true for all natural numbers nn.

Solution

Proof: Let the set of all natural numbers nn for which P(n)P(n) holds be SS. SS is a subset of N\boldsymbol{N}. From condition (i), we know 1S1 \in S; from condition (ii), we know that if nSn \in S, then n+1Sn+1 \in S. Therefore, by the principle of induction, S=NS=N. Proof completed.

The theory of divisibility and the basic content of elementary number theory were established long before the Peano axioms were proposed, and of course did not use the induction axiom or mathematical induction. At that time, people relied on "universally recognized" correct properties, which are the least natural number principle and the greatest natural number principle below.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.