Maths Olympiad Prep

Library / /2 of 9

Algebra Difficulty 8.0 Shortlist Prove it Belarus

Given nNn \in \mathbb{N}. Consider polynomials of degree nn of the form P(x)=xn+an1xn1++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+an1xn1++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+bm1xm1++b1x+b0)(xk+ck1xk1++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 mk1m \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, bici100b_i \cdot c_i \le 100 for any ii from 00 to k1k-1. This means that for a fixed ii from 00 to k1k-1 the number of possible pairs (bi,ci)(b_i, c_i) does not exceed
211101<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 bm1,bm2,,bkb_{m-1}, b_{m-2}, \dots, b_k can be chosen in no more than 101mk101^{m-k} ways, and the numbers b0,c0,b1,c1,,bk1,ck1b_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]101mk(10124)k=101nk=1[n/2]14k<101n1/411/4=13101n \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+an1xn1++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 23101n\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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.