Maths Olympiad Prep

Library / /367 of 377

Algebra Difficulty 6.0 AIME, harder Prove it United States

Problem:
Suppose that there are 16 variables {ai,j}0i,j3\{a_{i, j}\}_{0 \leq i, j \leq 3}, each of which may be 0 or 1. For how many settings of the variables ai,ja_{i, j} do there exist positive reals ci,jc_{i, j} such that the polynomial
f(x,y)=0i,j3ai,jci,jxiyj f(x, y) = \sum_{0 \leq i, j \leq 3} a_{i, j} c_{i, j} x^{i} y^{j}
(x,yR)(x, y \in \mathbb{R}) is bounded below?

Solution

Solution:
Answer: 126

For some choices of the ai,ja_{i, j}, let S={(i,j)ai,j=1}S = \{(i, j) \mid a_{i, j} = 1\}, and let S=S{(0,0)}S' = S \cup \{(0,0)\}. Let C(S)C(S') denote the convex hull of SS'. We claim that the problem conditions are satisfied (there exist positive coefficients for the terms so that the polynomial is bounded below) if and only if the vertices of C(S)C(S') all have both coordinates even.

For one direction, suppose that C(S)C(S') has a vertex v=(i,j)v = (i', j') with at least one odd coordinate; WLOG, suppose it is ii'. Since vv is a vertex, it maximizes some objective function ai+bja i + b j over C(S)C(S') uniquely, and thus also over SS'. Since (0,0)S(0,0) \in S', we must have ai+bj>0a i' + b j' > 0. Now consider plugging in (x,y)=(ta,tb)(x, y) = (-t^{a}, t^{b}) (t>0t > 0) into ff. This gives the value
f(ta,tb)=(i,j)S(1)ici,jtai+bj f(-t^{a}, t^{b}) = \sum_{(i, j) \in S} (-1)^{i} c_{i, j} t^{a i + b j}
But no matter what positive ci,jc_{i, j} we choose, this expression is not bounded below as tt grows infinitely large, as there is a ci,jtai+bj-c_{i', j'} t^{a i' + b j'} term, with ai+bj>0a i' + b j' > 0, and all other terms have smaller powers of tt. So the polynomial cannot be bounded below.

For the other direction, suppose the vertices of C(S)C(S') all have both coordinates even. If all points in SS' are vertices of C(S)C(S'), then the polynomial is a sum of squares, so it is bounded below. Otherwise, we assume that some points in SS' are not vertices of C(S)C(S'). It suffices to consider the case where there is exactly one such point. Call this point w=(i,j)w = (i', j'). Let V(S)V(S') denote the set of the vertices of C(S)C(S'), and let n=V(S)n = |V(S')|. Enumerate the points of V(S)V(S') as v1,v2,,vnv_1, v_2, \ldots, v_n. Let ik,jki_k, j_k denote the ii and jj coordinates of vkv_k, respectively.

Since wC(S)w \in C(S'), there exist nonnegative constants λ1,λ2,,λn\lambda_1, \lambda_2, \ldots, \lambda_n such that k=1nλk=1\sum_{k=1}^n \lambda_k = 1 and k=1nλkvk=w\sum_{k=1}^n \lambda_k v_k = w. (Here, we are treating the ordered pairs as vectors.) Then, by weighted AM-GM, we have
k=1nλkxikyjkxiyj \sum_{k=1}^n \lambda_k |x|^{i_k} |y|^{j_k} \geq |x|^{i'} |y|^{j'}
Let cc be the λ\lambda-value associated with (0,0)(0,0). Then by picking cik,jk=λkc_{i_k, j_k} = \lambda_k and ci,j=1c_{i', j'} = 1, we find that p(x,y)cp(x, y) \geq -c for all x,yx, y, as desired.

We now find all possible convex hulls C(S)C(S') (with vertices chosen from (0,0),(0,2),(2,0)(0,0), (0,2), (2,0), and (2,2)(2,2)), and for each convex hull, determine how many possible settings of ai,ja_{i, j} give that convex hull. There are 8 such possible convex hulls: the point (0,0)(0,0) only, 3 lines, 3 triangles, and the square. The point has 2 possible choices, each line has 4 possible choices, each triangle has 16 possible choices, and the square has 64 possible choices, giving 2+34+316+64=1262 + 3 \cdot 4 + 3 \cdot 16 + 64 = 126 total choices.

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.