Maths Olympiad Prep

Library / /340 of 520

Combinatorics Difficulty 6.7 National olympiad Find the answer

Let n>1n>1 be an integer. In the space, consider the set S={(x,y,z)x,y,z{0,1,,n},x+y+z>0} S=\{(x, y, z) \mid x, y, z \in\{0,1, \ldots, n\}, x+y+z>0\} Find the smallest number of planes that jointly contain all (n+1)31(n+1)^{3}-1 points of SS but none of them passes through the origin. (Netherlands) Answer. 3n3 n planes.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

It is easy to find 3n3 n such planes. For example, planes x=i,y=ix=i, y=i or z=iz=i (i=1,2,,n)(i=1,2, \ldots, n) cover the set SS but none of them contains the origin. Another such collection consists of all planes x+y+z=kx+y+z=k for k=1,2,,3nk=1,2, \ldots, 3 n. We show that 3n3 n is the smallest possible number. Lemma 1. Consider a nonzero polynomial P(x1,,xk)P\left(x_{1}, \ldots, x_{k}\right) in kk variables. Suppose that PP vanishes at all points (x1,,xk)\left(x_{1}, \ldots, x_{k}\right) such that x1,,xk{0,1,,n}x_{1}, \ldots, x_{k} \in\{0,1, \ldots, n\} and x1++xk>0x_{1}+\cdots+x_{k}>0, while P(0,0,,0)0P(0,0, \ldots, 0) \neq 0. Then degPkn\operatorname{deg} P \geq k n. Proof. We use induction on kk. The base case k=0k=0 is clear since P0P \neq 0. Denote for clarity y=xky=x_{k}. Let R(x1,,xk1,y)R\left(x_{1}, \ldots, x_{k-1}, y\right) be the residue of PP modulo Q(y)=y(y1)(yn)Q(y)=y(y-1) \ldots(y-n). Polynomial Q(y)Q(y) vanishes at each y=0,1,,ny=0,1, \ldots, n, hence P(x1,,xk1,y)=R(x1,,xk1,y)P\left(x_{1}, \ldots, x_{k-1}, y\right)=R\left(x_{1}, \ldots, x_{k-1}, y\right) for all x1,,xk1,y{0,1,,n}x_{1}, \ldots, x_{k-1}, y \in\{0,1, \ldots, n\}. Therefore, RR also satisfies the condition of the Lemma; moreover, degyRn\operatorname{deg}_{y} R \leq n. Clearly, degRdegP\operatorname{deg} R \leq \operatorname{deg} P, so it suffices to prove that degRnk\operatorname{deg} R \geq n k. Now, expand polynomial RR in the powers of yy : R(x1,,xk1,y)=Rn(x1,,xk1)yn+Rn1(x1,,xk1)yn1++R0(x1,,xk1) R\left(x_{1}, \ldots, x_{k-1}, y\right)=R_{n}\left(x_{1}, \ldots, x_{k-1}\right) y^{n}+R_{n-1}\left(x_{1}, \ldots, x_{k-1}\right) y^{n-1}+\cdots+R_{0}\left(x_{1}, \ldots, x_{k-1}\right) We show that polynomial Rn(x1,,xk1)R_{n}\left(x_{1}, \ldots, x_{k-1}\right) satisfies the condition of the induction hypothesis. Consider the polynomial T(y)=R(0,,0,y)T(y)=R(0, \ldots, 0, y) of degree n\leq n. This polynomial has nn roots y=1,,ny=1, \ldots, n; on the other hand, T(y)≢0T(y) \not \equiv 0 since T(0)0T(0) \neq 0. Hence degT=n\operatorname{deg} T=n, and its leading coefficient is Rn(0,0,,0)0R_{n}(0,0, \ldots, 0) \neq 0. In particular, in the case k=1k=1 we obtain that coefficient RnR_{n} is nonzero. Similarly, take any numbers a1,,ak1{0,1,,n}a_{1}, \ldots, a_{k-1} \in\{0,1, \ldots, n\} with a1++ak1>0a_{1}+\cdots+a_{k-1}>0. Substituting xi=aix_{i}=a_{i} into R(x1,,xk1,y)R\left(x_{1}, \ldots, x_{k-1}, y\right), we get a polynomial in yy which vanishes at all points y=0,,ny=0, \ldots, n and has degree n\leq n. Therefore, this polynomial is null, hence Ri(a1,,ak1)=0R_{i}\left(a_{1}, \ldots, a_{k-1}\right)=0 for all i=0,1,,ni=0,1, \ldots, n. In particular, Rn(a1,,ak1)=0R_{n}\left(a_{1}, \ldots, a_{k-1}\right)=0. Thus, the polynomial Rn(x1,,xk1)R_{n}\left(x_{1}, \ldots, x_{k-1}\right) satisfies the condition of the induction hypothesis. So, we have degRn(k1)n\operatorname{deg} R_{n} \geq(k-1) n and degPdegRdegRn+nkn\operatorname{deg} P \geq \operatorname{deg} R \geq \operatorname{deg} R_{n}+n \geq k n. Now we can finish the solution. Suppose that there are NN planes covering all the points of SS but not containing the origin. Let their equations be aix+biy+ciz+di=0a_{i} x+b_{i} y+c_{i} z+d_{i}=0. Consider the polynomial P(x,y,z)=i=1N(aix+biy+ciz+di) P(x, y, z)=\prod_{i=1}^{N}\left(a_{i} x+b_{i} y+c_{i} z+d_{i}\right) It has total degree NN. This polynomial has the property that P(x0,y0,z0)=0P\left(x_{0}, y_{0}, z_{0}\right)=0 for any (x0,y0,z0)S\left(x_{0}, y_{0}, z_{0}\right) \in S, while P(0,0,0)0P(0,0,0) \neq 0. Hence by Lemma 1 we get N=degP3nN=\operatorname{deg} P \geq 3 n, as desired. Comment 1. There are many other collections of 3n3 n planes covering the set SS but not covering the origin.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.