Solution:
The above equation holds for infinitely many x if and only if
(x−243)f(3x)=729(x−3)f(x)
for all x∈C, because (x−243)f(3x)−729(x−3)f(x) is a polynomial, which has infinitely many zeroes if and only if it is identically 0.
We now plug in different values to find various zeroes of f:
x=3x=9x=27x=81⟹f(9)=0⟹f(27)=0⟹f(81)=0⟹f(243)=0
We may write f(x)=(x−243)(x−81)(x−27)(x−9)p(x) for some polynomial 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).
Dividing out common factors from both sides, we get p(3x)=9p(x), so the polynomial p is homogeneous of degree 2. Therefore p(x)=ax2 and thus f(x)=a(x−243)(x−81)(x−27)(x−9)x2, where a∈C is arbitrary.
Alternative solution:
As above, we wish to find polynomials f such that
(x−243)f(3x)=729(x−3)f(x).
Suppose f is such a polynomial and let Z be its multiset of zeroes.
Both (x−243)f(3x) and 729(x−3)f(x) have the same multiset of zeroes, i.e. {243}∪31Z={3}∪Z or {729}∪Z={9}∪3Z. Thus
9∈Z⇒27∈3Z⇒27∈Z⇒81∈3Z⇒81∈Z⇒243∈3Z⇒243∈Z
Let Y be the unique multiset with Z={9,27,81,243}∪Y. This gives
{9,27,81,243,729}∪Y={9,27,81,243,729}∪3Y
so Y⊂C is a finite multiset, invariant under multiplication by 3. It follows that Y={0,0,…,0} with some multiplicity k. Hence
f(x)=axk(x−9)(x−27)(x−81)(x−243)
for some constant a∈C. Plugging this back into the original equation, we see that k=2 and that a∈C can be arbitrary.