Maths Olympiad Prep

Library / /11 of 45

, 2008

Number theory Difficulty 5.2 AIME, harder Prove it Slovenia

Let KK be a subset of the set N\mathbb{N} of all natural numbers with the property that for any two numbers aa and bb in KK either aa divides bb or bb divides aa. Prove that every cKc \in K is greater than the sum of all those numbers in KK that are smaller than cc.

Solution

Denote the elements of the set KK by a1,a2,a3,a_1, a_2, a_3, \dots, so that a1<a2<a3<a_1 < a_2 < a_3 < \dots. We will prove the claim by induction. Obviously, the sum of all numbers less than a2a_2 is equal to a1a_1 and is therefore less than a2a_2.

Now, assume that for a positive integer nn we have an>an1+an2++a2+a1a_n > a_{n-1} + a_{n-2} + \dots + a_2 + a_1. We show that a similar estimate holds for n+1n+1.

We have an<an+1a_n < a_{n+1}, so an+1a_{n+1} cannot be a divisor of ana_n and ana_n is a divisor of an+1a_{n+1}. So, there exists a positive integer kk such that an+1=kana_{n+1} = k a_n. Since ana_n and an+1a_{n+1} are not equal, we have k2k \ge 2 and
an+1=kan2an=an+an>an+(an1+an2++a2+a1) a_{n+1} = k a_n \ge 2 a_n = a_n + a_n > a_n + (a_{n-1} + a_{n-2} + \dots + a_2 + a_1)
by induction hypothesis. This inequality shows that the claim is true for n+1n+1 and, by induction, for all positive integers.

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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.