We place ourselves in the particular case where $E = \mathbb{R}_{2m}[X]$, with $m \geq 2$ a fixed natural integer. This vector space is equipped with the scalar product $$\forall (P,Q) \in E^2, \quad (P \mid Q) = \int_{-1}^{1} P(t)Q(t)\,dt$$ We set $$\mathbb{R}_{2m-1}^0[X] = \{P \in \mathbb{R}_{2m-1}[X] \mid P(-1) = 0 \text{ and } P(1) = 0\}$$
Show that $$\forall P \in \mathbb{R}_{2m-1}^0[X], \quad (P \mid P) \leq 4 (P' \mid P')$$ with strict inequality if $P$ is non-zero.
We place ourselves in the particular case where $E = \mathbb{R}_{2m}[X]$, with $m \geq 2$ a fixed natural integer. This vector space is equipped with the scalar product
$$\forall (P,Q) \in E^2, \quad (P \mid Q) = \int_{-1}^{1} P(t)Q(t)\,dt$$
We set
$$\mathbb{R}_{2m-1}^0[X] = \{P \in \mathbb{R}_{2m-1}[X] \mid P(-1) = 0 \text{ and } P(1) = 0\}$$

Show that
$$\forall P \in \mathbb{R}_{2m-1}^0[X], \quad (P \mid P) \leq 4 (P' \mid P')$$
with strict inequality if $P$ is non-zero.