Maths Olympiad Prep

Library / /3 of 4

Algebra Difficulty 6.3 National olympiad Prove it Bulgaria

Let nn be positive integer and f(x)f(x) be a polynomial of degree nn with nn distinct real positive roots. Are there positive integer k2k \ge 2 and a real polynomial g(x)g(x) such that
x(x+1)(x+2)(x+4)f(x)+1=(g(x))k? x(x+1)(x+2)(x+4)f(x) + 1 = (g(x))^k?

Solution

Let α1<α2<<αn\alpha_1 < \alpha_2 < \dots < \alpha_n be the roots of f(x)f(x). Assume that
x(x+1)(x+2)(x+4)f(x)+a=gk(x). x(x+1)(x+2)(x+4)f(x) + a = g^k(x).
Note that a=bk=gk(0)a = b^k = g^k(0).
If k3k \ge 3 is odd then the polynomial gk(x)bkg^k(x)-b^k has n+4n+4 distinct real roots which will be also roots of g(x)bg(x)-b. However, the degree of g(x)bg(x)-b is (n+4)/k<n+4(n+4)/k < n+4, i.e. g(x)=bg(x) = b, which is impossible.
Now it is enough to prove that k=2k=2 is also impossible. We have a=b2a = b^2, where we can assume that b>0b > 0. Then
x(x+1)(x+2)(x+4)f(x)=g1(x)g2(x), x(x+1)(x+2)(x+4)f(x) = g_1(x)g_2(x),
where g1(x)=g(x)+bg_1(x) = g(x)+b and g2(x)=g(x)bg_2(x) = g(x)-b. The roots of g1(x)g_1(x) and g2(x)g_2(x) are the numbers 4,2,1,0,α1,,αn-4, -2, -1, 0, \alpha_1, \dots, \alpha_n. Since g1(x)>g2(x)g_1(x) > g_2(x) for every xx, the number 4-4 is a root of g1(x)g_1(x). Since the derivatives of g1(x)g_1(x) and g2(x)g_2(x) coincide, the Rolle's theorem shows that 2-2 and 1-1 are roots of g2(x)g_2(x) while 00 is a root of g1(x)g_1(x).
Let g1(x)=x(x+4)j=1s(xαj)g_1(x) = x(x+4) \prod_{j=1}^{s}(x - \alpha_j). Then
g1(1)=3j=1s(1+αj)<4j=1s(2+αj)=g1(2), |g_1(-1)| = 3 \prod_{j=1}^{s}(1 + \alpha_j) < 4 \prod_{j=1}^{s}(2 + \alpha_j) = |g_1(-2)|,
which contradicts to g1(1)=g1(2)=g(1)+b=2bg_1(-1) = g_1(-2) = g(-1) + b = 2b.

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.