Maths Olympiad Prep

Library / Bay Area Mathematical Olympiad /30 of 79

Bay Area Mathematical Olympiad

Algebra Difficulty 6.4 National Olympiad Prove it United States

Problem:
Find all polynomials ff that satisfy the equation
f(3x)f(x)=729(x−3)x−243 \frac{f(3x)}{f(x)} = \frac{729(x-3)}{x-243}
for infinitely many real values of xx.

Solution

Solution:
The above equation holds for infinitely many xx if and only if
(x−243)f(3x)=729(x−3)f(x) (x-243) f(3x) = 729(x-3) f(x)
for all x∈Cx \in \mathbb{C}, because (x−243)f(3x)−729(x−3)f(x)(x-243) f(3x) - 729(x-3) f(x) is a polynomial, which has infinitely many zeroes if and only if it is identically 00.

We now plug in different values to find various zeroes of ff:
x=3⟹f(9)=0x=9⟹f(27)=0x=27⟹f(81)=0x=81⟹f(243)=0 \begin{aligned} x=3 & \Longrightarrow f(9)=0 \\ x=9 & \Longrightarrow f(27)=0 \\ x=27 & \Longrightarrow f(81)=0 \\ x=81 & \Longrightarrow f(243)=0 \end{aligned}
We may write f(x)=(x−243)(x−81)(x−27)(x−9)p(x)f(x) = (x-243)(x-81)(x-27)(x-9) p(x) for some polynomial p(x)p(x). We want to solve
(x−243)(3x−243)(3x−81)(3x−27)(3x−9)p(3x)=729(x−3)(x−243)(x−81)(x−27)(x−9)p(x). \begin{aligned} & (x-243)(3x-243)(3x-81)(3x-27)(3x-9) p(3x) \\ & \quad = 729(x-3)(x-243)(x-81)(x-27)(x-9) p(x). \end{aligned}
Dividing out common factors from both sides, we get p(3x)=9p(x)p(3x) = 9 p(x), so the polynomial pp is homogeneous of degree 22. Therefore p(x)=ax2p(x) = a x^{2} and thus f(x)=a(x−243)(x−81)(x−27)(x−9)x2f(x) = a(x-243)(x-81)(x-27)(x-9)x^{2}, where a∈Ca \in \mathbb{C} is arbitrary.

Alternative solution:
As above, we wish to find polynomials ff such that
(x−243)f(3x)=729(x−3)f(x). (x-243) f(3x) = 729(x-3) f(x).
Suppose ff is such a polynomial and let ZZ be its multiset of zeroes.
Both (x−243)f(3x)(x-243) f(3x) and 729(x−3)f(x)729(x-3) f(x) have the same multiset of zeroes, i.e. {243}∪13Z={3}∪Z\{243\} \cup \frac{1}{3} Z = \{3\} \cup Z or {729}∪Z={9}∪3Z\{729\} \cup Z = \{9\} \cup 3Z. Thus
9∈Z⇒27∈3Z⇒27∈Z⇒81∈3Z⇒81∈Z⇒243∈3Z⇒243∈Z \begin{aligned} 9 \in Z & \Rightarrow 27 \in 3Z \\ & \Rightarrow 27 \in Z \\ & \Rightarrow 81 \in 3Z \\ & \Rightarrow 81 \in Z \\ & \Rightarrow 243 \in 3Z \\ & \Rightarrow 243 \in Z \end{aligned}
Let YY be the unique multiset with Z={9,27,81,243}∪YZ = \{9,27,81,243\} \cup Y. This gives
{9,27,81,243,729}∪Y={9,27,81,243,729}∪3Y \{9,27,81,243,729\} \cup Y = \{9,27,81,243,729\} \cup 3Y
so Y⊂CY \subset \mathbb{C} is a finite multiset, invariant under multiplication by 33. It follows that Y={0,0,…,0}Y = \{0,0,\ldots,0\} with some multiplicity kk. Hence
f(x)=axk(x−9)(x−27)(x−81)(x−243) f(x) = a x^{k}(x-9)(x-27)(x-81)(x-243)
for some constant a∈Ca \in \mathbb{C}. Plugging this back into the original equation, we see that k=2k=2 and that a∈Ca \in \mathbb{C} can be arbitrary.

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.