Maths Olympiad Prep

Library / /281 of 520

Number theory Difficulty 6.1 National olympiad Prove it

1. Let k0k_{0} be a given integer, and P(n)P(n) be a property or proposition concerning the integer nn. If
(i) P(k0)P\left(k_{0}\right) holds when n=k0n=k_{0};
(ii) P(n)P(n) holding implies that P(n+1)P(n+1) holds,

then P(n)P(n) holds for all integers nk0n \geqslant k_{0}.

Solution

1. Make a variable substitution: n=m+k01.P(n)=P(m+k01)=P(m)n=m+k_{0}-1 . P(n)=P\left(m+k_{0}-1\right)=P^{*}(m). Apply Theorem 1 of §1 to P(m)P^{*}(m).

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.