MathDB
Polynomials commuting with z^2+c

Source: Iranian National Olympiad (3rd Round) 2003

February 18, 2009
algebrapolynomialinductionalgebra proposed

Problem Statement

Let cC c\in\mathbb C and A_c \equal{} \{p\in \mathbb C[z]|p(z^2 \plus{} c) \equal{} p(z)^2 \plus{} c\}. a) Prove that for each cC c\in C, Ac A_c is infinite. b) Prove that if pA1 p\in A_1, and p(z_0) \equal{} 0, then z0<1.7 |z_0| < 1.7. c) Prove that each element of Ac A_c is odd or even. Let f_c \equal{} z^2 \plus{} c\in \mathbb C[z]. We see easily that B_c: \equal{} \{z,f_c(z),f_c(f_c(z)),\dots\} is a subset of Ac A_c. Prove that in the following cases A_c \equal{} B_c. d) c>2 |c| > 2. e) cQ\Z c\in \mathbb Q\backslash\mathbb Z. f) c c is a non-algebraic number g) c c is a real number and c\not\in [ \minus{} 2,\frac14].