A non-negative integer p is a 3-choice if p=k(k−1)(k−2)/6 for some positive integer k. Let p and q be 3-choices with p<q. Show there is an integer n such that p≤n2<q.
Solution
The 3-choices are exactly the binomial coefficients p=(3k) with k≥1. Without loss of generality we can consider consecutive p and q, so that p=(3k) and q=(3k+1) for k≥1. For k=1,2,3,4 the required statement is true, because (31)=0(32)=0(33)=1(34)=4 are perfect squares. It therefore suffices to show for all k≥5 that between (3k) and (3k+1) there is at least one perfect square.
Solution 1. Let n be the largest integer for which n2 does not exceed (3k), i.e. n2≤(3k)<(n+1)2. We are going to prove that (n+1)2−n2=2n+1<(3k+1)−(3k)=(2k) which will then imply the claim. This inequality is equivalent to 2n<(2k)−1. Since both sides are positive this is equivalent to 4n2<(2k)2−2(2k)+1. Because n2≤(3k) it will be sufficient to show 4(3k)<(2k)2−2(2k)+1or32k(k−1)(k−2)<4k2(k−1)2−k(k−1)+1. When we multiply by 12 and rearrange, this becomes k(k−1)(3k(k−1)−12−8(k−2)+k(k−1)12)>0. Since k(k−1)12>0, it suffices to prove that 3k(k−1)−12−8(k−2)=3k2−11k+4=k(3k−11)+4≥0 for all k≥5. But this is obvious, since 3k>11 whenever k≥4.
Solution 2. (Owen Barron) For any function h we let Δh(m):=h(m+1)−h(m). For f(n)=n2 and g(k)=(3k) we then have Δf(n)Δg(k)=(n+1)2−n2=2n+1=(3k+1)−(3k)=(2k)Δ2f(n)Δ2g(k)=Δf(n+1)−Δf(n)=2=(2k+1)−(2k)=k.
In particular, Δ2f(n)<Δ2g(k) for all n≥0 and all k≥3 and Δg(k) grows faster than Δf(n). We will now prove by induction that for all k≥1 there exists an integer m such that g(k)≤f(m)<g(k+1). Above, before solution 1, we have seen that this holds true for k=1,2,3,4. Moreover, we even have (34)≤22<32<(35)i.e.g(4)≤f(2)<f(3)<g(5).
The inductive steps in our proof will proceed from stepping stone to stepping stone. Suppose now that k≥4 is a stepping stone and let n≥m be the largest integer for which g(k)≤f(n−1)<f(n)<g(k+1),(5) then g(k+1)≤f(n+1). From (5) we get f(n)<g(k+1) and Δf(n)<Δg(k+1) and now prove f(n+r)<g(k+r+1)andΔf(n+r)<Δg(k+r+1)for all r≥0. The statement is true for r=0 and to carry out induction we suppose it holds true for a fixed value of r≥0. We then have f(n+r+1)=f(n+r)+Δf(n+r)<g(k+r+1)+Δg(k+r+1)=g(k+r+2) and also Δf(n+r+1)=Δf(n+r)+Δ2f(n+r)=Δf(n+r)+2<Δg(k+r+1)+k+r+1=Δg(k+r+1)+Δ2g(k+r+1)=Δg(k+r+2) as required.
If for all r≥0 we also have g(k+r)≤f(n+r) the problem is solved. Otherwise, there exists an integer s≥1 such that g(k+r)g(k+s)≤f(n+r)<g(k+r+1)for 1≤r≤sand≤f(n+s)<f(n+s+1)<g(k+s+1). This means that k+s is a stepping stone greater than k which completes the proof by induction that for all k≥1 there exists an integer m such that g(k)≤f(m)<g(k+1).
Solution 3. We are going to show that (3k+1)−(3k)≥1 which implies that the interval [(3k),(3k+1)) contains an integer n. As seen at the start, we only need to prove this for k≥4. Writing k=m+2 we wish to show 6(m+3)(m+2)(m+1)−6(m+2)(m+1)m≥1for m≥1. We rewrite this as (m+2)(m+1)((m+3)−m)≥6 and note that (m+3+m)(m+3−m)=3. After multiplying both sides of the inequality by m+3+m and squaring, we obtain 3(m+2)(m+1)≥2(m+3+m)2=2(2m+3+2m(m+3)). As both sides of the inequality were positive, squaring could be reversed and so this inequality is equivalent to the one we wish to prove. We rearrange to 3m2+5m≥4m(m+3) and square again to obtain the equivalent inequality 9m4+30m3+25m2≥16m2+48m. This rewrites as 9m3+30m2+9m≥48,i.e.9m(m+1)2+12m2≥48 which is true since for m≥1 we have 9m(m+1)2≥36 and 12m2≥12.
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 reproduced verbatim; metadata (topic, difficulty) added by this project.