Maths Olympiad Prep

Library / /407 of 462

Combinatorics Difficulty 7.0 National Olympiad, round 2 Prove it Ireland

A non-negative integer pp is a 3-choice if p=k(k1)(k2)/6p = k(k-1)(k-2)/6 for some positive integer kk. Let pp and qq be 3-choices with p<qp < q. Show there is an integer nn such that pn2<qp \le n^2 < q.

Solution

The 3-choices are exactly the binomial coefficients p=(k3)p = \binom{k}{3} with k1k \ge 1. Without loss of generality we can consider consecutive pp and qq, so that p=(k3)p = \binom{k}{3} and q=(k+13)q = \binom{k+1}{3} for k1k \ge 1. For k=1,2,3,4k = 1, 2, 3, 4 the required statement is true, because
(13)=0(23)=0(33)=1(43)=4 \binom{1}{3} = 0 \quad \binom{2}{3} = 0 \quad \binom{3}{3} = 1 \quad \binom{4}{3} = 4
are perfect squares. It therefore suffices to show for all k5k \ge 5 that between (k3)\binom{k}{3} and (k+13)\binom{k+1}{3} there is at least one perfect square.

Solution 1. Let nn be the largest integer for which n2n^2 does not exceed (k3)\binom{k}{3}, i.e. n2(k3)<(n+1)2n^2 \le \binom{k}{3} < (n+1)^2. We are going to prove that
(n+1)2n2=2n+1<(k+13)(k3)=(k2) (n+1)^2 - n^2 = 2n + 1 < \binom{k+1}{3} - \binom{k}{3} = \binom{k}{2}
which will then imply the claim.
This inequality is equivalent to 2n<(k2)12n < \binom{k}{2} - 1. Since both sides are positive this is equivalent to 4n2<(k2)22(k2)+14n^2 < \binom{k}{2}^2 - 2\binom{k}{2} + 1. Because n2(k3)n^2 \le \binom{k}{3} it will be sufficient to show
4(k3)<(k2)22(k2)+1or2k(k1)(k2)3<k2(k1)24k(k1)+1. \begin{gathered} 4\binom{k}{3} < \binom{k}{2}^2 - 2\binom{k}{2} + 1 \quad \text{or} \\ \frac{2k(k-1)(k-2)}{3} < \frac{k^2(k-1)^2}{4} - k(k-1) + 1. \end{gathered}
When we multiply by 12 and rearrange, this becomes
k(k1)(3k(k1)128(k2)+12k(k1))>0. k(k-1) \left( 3k(k-1) - 12 - 8(k-2) + \frac{12}{k(k-1)} \right) > 0.
Since 12k(k1)>0\frac{12}{k(k-1)} > 0, it suffices to prove that
3k(k1)128(k2)=3k211k+4=k(3k11)+40 3k(k-1) - 12 - 8(k-2) = 3k^2 - 11k + 4 = k(3k - 11) + 4 \ge 0
for all k5k \ge 5. But this is obvious, since 3k>113k > 11 whenever k4k \ge 4.

Solution 2. (Owen Barron) For any function hh we let
Δh(m):=h(m+1)h(m). \Delta h(m) := h(m+1) - h(m).
For f(n)=n2f(n) = n^2 and g(k)=(k3)g(k) = \binom{k}{3} we then have
Δf(n)=(n+1)2n2=2n+1Δ2f(n)=Δf(n+1)Δf(n)=2Δg(k)=(k+13)(k3)=(k2)Δ2g(k)=(k+12)(k2)=k. \begin{aligned} \Delta f(n) &= (n+1)^2 - n^2 = 2n + 1 & \Delta^2 f(n) &= \Delta f(n+1) - \Delta f(n) = 2 \\ \Delta g(k) &= \binom{k+1}{3} - \binom{k}{3} = \binom{k}{2} & \Delta^2 g(k) &= \binom{k+1}{2} - \binom{k}{2} = k. \end{aligned}

In particular, Δ2f(n)<Δ2g(k)\Delta^2 f(n) < \Delta^2 g(k) for all n0n \ge 0 and all k3k \ge 3 and Δg(k)\Delta g(k) grows faster than Δf(n)\Delta f(n). We will now prove by induction that for all k1k \ge 1 there exists an integer mm such that g(k)f(m)<g(k+1)g(k) \le f(m) < g(k+1). Above, before solution 1, we have seen that this holds true for k=1,2,3,4k = 1, 2, 3, 4. Moreover, we even have
(43)22<32<(53)i.e.g(4)f(2)<f(3)<g(5). \binom{4}{3} \le 2^2 < 3^2 < \binom{5}{3} \quad \text{i.e.} \quad g(4) \le f(2) < f(3) < g(5).

The inductive steps in our proof will proceed from stepping stone to stepping stone. Suppose now that k4k \ge 4 is a stepping stone and let nmn \ge m be the largest integer for which
g(k)f(n1)<f(n)<g(k+1),(5) g(k) \le f(n-1) < f(n) < g(k+1), \quad (5)
then g(k+1)f(n+1)g(k+1) \le f(n+1).
From (5) we get f(n)<g(k+1)f(n) < g(k+1) and Δf(n)<Δg(k+1)\Delta f(n) < \Delta g(k+1) and now prove
f(n+r)<g(k+r+1)andΔf(n+r)<Δg(k+r+1)for all r0. f(n+r) < g(k+r+1) \quad \text{and} \quad \Delta f(n+r) < \Delta g(k+r+1) \quad \text{for all } r \ge 0.
The statement is true for r=0r=0 and to carry out induction we suppose it holds true for a fixed value of r0r \ge 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) \begin{aligned} f(n+r+1) &= f(n+r) + \Delta f(n+r) \\ &< g(k+r+1) + \Delta g(k+r+1) \\ &= g(k+r+2) \end{aligned}
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) \begin{aligned} \Delta f(n+r+1) &= \Delta f(n+r) + \Delta^2 f(n+r) \\ &= \Delta f(n+r) + 2 \\ &< \Delta g(k+r+1) + k+r+1 \\ &= \Delta g(k+r+1) + \Delta^2 g(k+r+1) \\ &= \Delta g(k+r+2) \end{aligned}
as required.

If for all r0r \ge 0 we also have
g(k+r)f(n+r) g(k + r) \le f(n + r)
the problem is solved. Otherwise, there exists an integer s1s \ge 1 such that
g(k+r)f(n+r)<g(k+r+1)for 1rsandg(k+s)f(n+s)<f(n+s+1)<g(k+s+1). \begin{aligned} g(k+r) &\le f(n+r) < g(k+r+1) \quad \text{for } 1 \le r \le s \quad \text{and} \\ g(k+s) &\le f(n+s) < f(n+s+1) < g(k+s+1). \end{aligned}
This means that k+sk + s is a stepping stone greater than kk which completes the proof by induction that for all k1k \ge 1 there exists an integer mm such that g(k)f(m)<g(k+1)g(k) \le f(m) < g(k + 1).

Solution 3. We are going to show that (k+13)(k3)1\sqrt{\binom{k+1}{3}} - \sqrt{\binom{k}{3}} \ge 1 which implies that the interval [(k3),(k+13))[\sqrt{\binom{k}{3}}, \sqrt{\binom{k+1}{3}}) contains an integer nn. As seen at the start, we only need to prove this for k4k \ge 4. Writing k=m+2k = m + 2 we wish to show
(m+3)(m+2)(m+1)6(m+2)(m+1)m61for m1. \sqrt{\frac{(m+3)(m+2)(m+1)}{6}} - \sqrt{\frac{(m+2)(m+1)m}{6}} \ge 1 \quad \text{for } m \ge 1.
We rewrite this as
(m+2)(m+1)((m+3)m)6 \sqrt{(m+2)(m+1)} (\sqrt{(m+3)} - \sqrt{m}) \ge \sqrt{6}
and note that (m+3+m)(m+3m)=3(\sqrt{m+3} + \sqrt{m})(\sqrt{m+3} - \sqrt{m}) = 3. After multiplying both sides of the inequality by m+3+m\sqrt{m+3} + \sqrt{m} and squaring, we obtain
3(m+2)(m+1)2(m+3+m)2=2(2m+3+2m(m+3)). 3(m+2)(m+1) \ge 2(\sqrt{m+3} + \sqrt{m})^2 = 2(2m+3+2\sqrt{m(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+5m4m(m+3) 3m^2 + 5m \ge 4\sqrt{m(m+3)}
and square again to obtain the equivalent inequality
9m4+30m3+25m216m2+48m. 9m^4 + 30m^3 + 25m^2 \ge 16m^2 + 48m.
This rewrites as
9m3+30m2+9m48,i.e.9m(m+1)2+12m248 9m^3 + 30m^2 + 9m \ge 48, \quad \text{i.e.} \quad 9m(m+1)^2 + 12m^2 \ge 48
which is true since for m1m \ge 1 we have 9m(m+1)2369m(m+1)^2 \ge 36 and 12m21212m^2 \ge 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.