Maths Olympiad Prep

Library / Mongolian National Mathematical Olympiad /24 of 31

Mongolian National Mathematical Olympiad

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 0≤x≤y≤z≤x+y0 \le x \le y \le z \le x+y and x+y+z=nx+y+z=n. Prove that, for n≥2n \ge 2,
n⋅cn≤9⋅(c0+c1+⋯+cn−2). n \cdot c_n \le 9 \cdot (c_0 + c_1 + \dots + c_{n-2}).

Solution

Let Xn:={(x,y,z)∈Z3∣0≤x≤y≤z≤x+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=∣Xn∣c_n = |X_n|. Let Yn:={(p,q,r)∈Z3∣0≤p,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:Xn→Ynf: X_n \to Y_n by
f(x,y,z):=(y−x,x+y−z,z−y) f(x, y, z) := (y - x, x + y - z, z - y)
and g:Yn→Xng: 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=∣Yn∣c_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
n⋅cn=∑(p,q,r)∈Yn2p+3q+4r. n \cdot c_n = \sum_{(p,q,r) \in Y_n} 2p + 3q + 4r.
For m≥0m \ge 0, the number of elements of YnY_n such that p≥mp \ge m is cn−2mc_{n-2m}. So there are exactly cn−2m−cn−2(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 ∑m≥1cn−2m\sum_{m \ge 1} c_{n-2m} times in the sum above. Similarly, we can compute the coefficient of 3 and 4 and hence
n⋅cn=∑k=24∑m=1[n/k]kcn−km=∑j=2n(∑2≤k≤4k∣jk)cn−j≤9∑m=0n−2cm. \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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.