Maths Olympiad Prep

Library / /25 of 34

Combinatorics Difficulty 6.0 AIME, harder Prove it Mongolia

For a positive integer nn, denote by cnc_n the number of triples (x,y,z)(x, y, z) of integers such that 0xyzx+y0 \le x \le y \le z \le x+y and x+y+z=nx+y+z=n. Prove that, for n2n \ge 2,
ncn9(c0+c1++cn2). n \cdot c_n \le 9 \cdot (c_0 + c_1 + \dots + c_{n-2}).

Solution

Let Xn:={(x,y,z)Z30xyzx+y and x+y+z=n}X_n := \{(x, y, z) \in \mathbb{Z}^3 \mid 0 \le x \le y \le z \le x+y \text{ and } x+y+z=n\}. Then cn=Xnc_n = |X_n|. Let Yn:={(p,q,r)Z30p,q,r and 2p+3q+4r=n}Y_n := \{(p, q, r) \in \mathbb{Z}^3 \mid 0 \le p, q, r \text{ and } 2p+3q+4r=n\} and define the maps f:XnYnf: X_n \to Y_n by
f(x,y,z):=(yx,x+yz,zy) f(x, y, z) := (y - x, x + y - z, z - y)
and g:YnXng: Y_n \to X_n by
g(p,q,r):=(q+r,p+q+r,p+q+2r). g(p, q, r) := (q + r, p + q + r, p + q + 2r).
Then ff and gg are inverse to each other, and therefore cn=Ync_n = |Y_n|, i.e. cnc_n is the number of ways in which nn can be expressed as a sum of 2, 3 and 4. Thus
ncn=(p,q,r)Yn2p+3q+4r. n \cdot c_n = \sum_{(p,q,r) \in Y_n} 2p + 3q + 4r.
For m0m \ge 0, the number of elements of YnY_n such that pmp \ge m is cn2mc_{n-2m}. So there are exactly cn2mcn2(m+1)c_{n-2m} - c_{n-2(m+1)} elements with p=mp=m. Here we mean ck=0c_k = 0 if k<0k < 0. Thus 2 is added m1cn2m\sum_{m \ge 1} c_{n-2m} times in the sum above. Similarly, we can compute the coefficient of 3 and 4 and hence
ncn=k=24m=1[n/k]kcnkm=j=2n(2k4kjk)cnj9m=0n2cm. \begin{aligned} n \cdot c_n &= \sum_{k=2}^{4} \sum_{m=1}^{[n/k]} k c_{n-km} \\ &= \sum_{j=2}^{n} \left( \sum_{\substack{2 \le k \le 4 \\ k \mid j}} k \right) c_{n-j} \le 9 \sum_{m=0}^{n-2} c_m. \end{aligned}

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.