Polynomial equation

Let $P \in \mathbb{C}[X]$ such that $P(X^2) = P(X)^2$

1. If $P=c \in \mathbb{R}$
   $$c = c^2 \implies c(c - 1) = 0 \implies c \in \{0, 1\}$$
2. If $P$ is not constant, let $n=\deg(P)$
   We find the leading coefficient of $P$:
   Let $a_n$ be the leading coefficient of $P(X)$. By comparing the leading coefficients on both sides of $P(X^2) = P(X)^2$:
   $$a_n = a_n^{2} \implies a_n \in \{0, 1\}$$Since $\deg(P)=n$, $a_{n} \neq 0$.
   Therefore, $a_{n}=1$

With the leading coefficient known, we can write, using the Euclidean division of $P(X)$ by $X^n$:
$$P(X) = X^n + R(X) \quad \text{where } \deg(R) = q < n$$Substituting this into $P(X^2) = P(X)^2$:
$$X^{2n} + R(X^2) = \left(X^n + R(X)\right)^2 = X^{2n} + 2X^n R(X) + R(X)^2$$Subtracting $X^{2n}$ from both sides gives:
$$R(X^2) = 2X^n R(X) + R(X)^2$$Now, assume $R \neq 0$: The left-hand side has degree $\deg\left(R(X^2)\right) = 2q$. On the right-hand side, $\deg\left(2X^n R(X)\right) = n + q$ and $\deg\left(R(X)^2\right) = 2q$. Since $q < n$, we have $2q < n + q$, so the degree of the right-hand side is strictly $n + q$. Equating the degrees:
$$2q = n + q \implies q = n$$This contradicts the condition $q < n$. Thus, we must have $R = 0$, which implies $P(X) = X^n$.

Conversely, if $P=X^n$, $P(X^2)=X^{2n}=(X^{n})^{2}=(P(X))^{2}$

Conclusion: The set of all polynomial solutions in $\mathbb{C}[X]$ is:
$$\mathcal{S} = \{0\} \cup \{X^n \mid n \in \mathbb{N}\}$$

Analyse :
Soit $P \in \C[X]$ vérifiant $P(X^{2}) = P(X)^{2}$

On vérifie que le polynôme nul est solution puis on se place dans le cas où $P \ne 0$

Ils existent alors $n \in \N$ et $\tilde{P} \in \C[X]$ ne s’annulant pas en $0$ tels que $P = X^{n} \tilde{P}$
En injectant la nouvelle expression de $P$ dans l’équation de départ : $(X^{2})^{n} \tilde{P}(X^{2}) = (X^{n} \tilde{P}(X))^{2}$ qui se simplifie en $\tilde{P}(X^{2}) = \tilde{P}(X)^{2}$.
$\newline$
En évaluant cette nouvelle égalité en $0$ : $\tilde{P}(0) = \tilde{P}(0)^{2}$ et en sachant que $\tilde{P}(0) \ne 0$ par hypothèse on a $\tilde{P}(0) = 1$.
$\newline$
Supposons par l’absurde que $\tilde{P} - 1$ n’est pas le polynôme nul et que $\tilde{P}(0) = 1$, ils existent donc $p \in \N^{*}$ et $Q \in \C[X]$ ne s’annulant pas en $0$ tels que $\tilde{P}(X) - 1 = X^{p} Q(X)$
$\newline$
En injectant la nouvelle expression de $\tilde{P}$ dans l’équation de $\tilde{P}$ , on a $(X^{2})^{p} Q(X^{2}) + 1 = (X^{p} Q(X) + 1)^{2}$
qui se simplifie en : $X^{2p} Q(X^2) = X^{2p}Q(X)^2 + 2X^{p}Q(X)$
$\newline$
Le membre de droite contient un monome de degré $p$ qui est $2Q(0) X^{p}$ mais le membre de gauche a que des monomes de degrés au moins $2p$. Ce qui est absurde. Ainsi $\tilde P - 1 = 0$ autrement dit $\tilde P = 1$
$\newline$
Ainsi $P = X^{n}$
$\newline$
Synthèse :
On vérifie que le polynôme nul est bien solution de l’équation polynomiale $0 = 0^{2}$
Et que les monômes de degré $n \in \N$ sont aussi solutions, en effet $(X^{2})^{n} = (X^{n})^{2}$