Maths Olympiad Prep

Library / Selection Tests of the Belarusian Team to the IMO /1 of 8

Selection Tests of the Belarusian Team to the IMO

Algebra Difficulty 8.0 Shortlist Prove it Belarus

Given n∈Nn \in \mathbb{N}. Consider polynomials of degree nn of the form P(x)=xn+an−1xn−1+⋯+a1x+a0P(x) = x^n + a_{n-1}x^{n-1} + \dots + a_1x + a_0 with non-negative integer coefficients not exceeding 100100. We call such a polynomial expandable if it can be represented as a product of two non-constant polynomials with non-negative integer coefficients, and non-expandable otherwise. Prove that there are at least twice as many non-expandable polynomials as there are expandable ones.

Solution

If the polynomial P(x)=xn+an−1xn−1+⋯+a1x+a0P(x) = x^n + a_{n-1}x^{n-1} + \cdots + a_1x + a_0 is expandable, then it can be represented as
P(x)=(xm+bm−1xm−1+⋯+b1x+b0)⋅(xk+ck−1xk−1+⋯+c1x+c0), P(x) = (x^m + b_{m-1}x^{m-1} + \cdots + b_1x + b_0) \cdot (x^k + c_{k-1}x^{k-1} + \cdots + c_1x + c_0),
where m≥k≥1m \ge k \ge 1, m+k=nm + k = n and numbers bi,cib_i, c_i are all non-negative integers. Since the coefficients of the polynomial P(x)P(x) are not greater than 100100, all these numbers do not exceed 100100 and, moreover, bi⋅ci≤100b_i \cdot c_i \le 100 for any ii from 00 to k−1k-1. This means that for a fixed ii from 00 to k−1k-1 the number of possible pairs (bi,ci)(b_i, c_i) does not exceed
2⋅11⋅101<10124, 2 \cdot 11 \cdot 101 < \frac{101^2}{4},
because at least one of bib_i and cic_i is not greater than 100=10\sqrt{100} = 10.
Thus, the numbers bm−1,bm−2,…,bkb_{m-1}, b_{m-2}, \dots, b_k can be chosen in no more than 101m−k101^{m-k} ways, and the numbers b0,c0,b1,c1,…,bk−1,ck−1b_0, c_0, b_1, c_1, \dots, b_{k-1}, c_{k-1} you can select no more than (10124)k\left(\frac{101^2}{4}\right)^k ways. We find that the number of expandable polynomials can be estimated from above by the expression
∑k=1[n/2]101m−k(10124)k=101n∑k=1[n/2]14k<101n1/41−1/4=13⋅101n \sum_{k=1}^{[n/2]} 101^{m-k} \left(\frac{101^2}{4}\right)^k = 101^n \sum_{k=1}^{[n/2]} \frac{1}{4^k} < 101^n \frac{1/4}{1 - 1/4} = \frac{1}{3} \cdot 101^n

Since the number of polynomials P(x)=xn+an−1xn−1+⋯+a1x+a0P(x) = x^n + a_{n-1}x^{n-1} + \dots + a_1x + a_0 with non-negative integer coefficients not exceeding 100100 is equal to 101n101^n, then there are more than 23⋅101n\frac{2}{3} \cdot 101^n non-expandable polynomials, that is, at least twice as many as expandable ones.

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.