Unofficial archive — problems, solutions & results © IMC, reproduced with permission.

IMC / 2005 / Problems / Day 2, P8

IMC 2005 · Day 2 · P8

easy

Let f:RRf : \mathbb{R} \to \mathbb{R} be a function such that (f(x))n(f(x))^n is a polynomial for every n=2,3,n = 2, 3, \dots. Does it follow that ff is a polynomial?

Solution 1 of 2 (official)

Yes, it is even enough to assume that f2f^2 and f3f^3 are polynomials.

Let p=f2p = f^2 and q=f3q = f^3. Write these polynomials in the form of p=ap1a1pkak,q=bq1b1qlbl,p = a \cdot p_1^{a_1} \cdot \dots \cdot p_k^{a_k}, \qquad q = b \cdot q_1^{b_1} \cdot \dots \cdot q_l^{b_l}, where a,bRa, b \in \mathbb{R}, a1,,ak,b1,bla_1, \dots, a_k, b_1, \dots b_l are positive integers and p1,,pk,q1,,qlp_1, \dots, p_k, q_1, \dots, q_l are irreducible polynomials with leading coefficients 1. For p3=q2p^3 = q^2 and the factorisation of p3=q2p^3 = q^2 is unique we get that a3=b2a^3 = b^2, k=lk = l and for some (i1,,ik)(i_1, \dots, i_k) permutation of (1,,k)(1, \dots, k) we have p1=qi1,,pk=qikp_1 = q_{i_1}, \dots, p_k = q_{i_k} and 3a1=2bi1,,3ak=2bik3 a_1 = 2 b_{i_1}, \dots, 3 a_k = 2 b_{i_k}. Hence b1,,blb_1, \dots, b_l are divisible by 3 let

r=b1/3q1b1/3qlbl/3r = b^{1/3} \cdot q_1^{b_1/3} \cdot \dots \cdot q_l^{b_l/3} be a polynomial. Since r3=q=f3r^3 = q = f^3 we have f=rf = r.

Solution 2 of 2 (official)

Let pq\frac{p}{q} be the simplest form of the rational function f3f2\frac{f^3}{f^2}. Then the simplest form of its square is p2q2\frac{p^2}{q^2}. On the other hand p2q2=(f3f2)2=f2\frac{p^2}{q^2} = \left( \frac{f^3}{f^2} \right)^2 = f^2 is a polynomial therefore qq must be a constant and so f=f3f2=pqf = \frac{f^3}{f^2} = \frac{p}{q} is a polynomial.

How the field did

contestants scored
226
average (of 20)
12.34
solved (≥ 80%)
52.7%
near-0 (≤ 10%)
28.8%
discrimination
0.52

Score distribution (field cohort)

Computed on contestants with a meaningful total (field cohort); discrimination is the corrected item–total correlation.

Similar problems

IMC 2014 · Day 1 · P3mediumavg 4.2/10 · solved 40% · near-0 54% · disc 0.53
IMC 2004 · Day 1 · P2easyavg 8.0/10 · solved 69% · near-0 4% · disc 0.29
IMC 2025 · Day 1 · P1easyavg 8.4/10 · solved 82% · near-0 7% · disc 0.40
IMC 2017 · Day 2 · P7very hardavg 1.6/10 · solved 14% · near-0 83% · disc 0.44