Generalising, an even polynomial can only have terms with even powers and an odd polynomial can only have terms with odd powers. Further, if the degree of the polynomial is even then the polynomial
cannot be odd but it
can be even (though it could also be neither odd nor even). Similarly, if the degree of the polynomial is odd then the polynomial
cannot be even but it
can be odd (though it could also be neither odd nor even).
Taking
![](https://latex.codecogs.com/png.latex?\bg_white P(x) = a_0 + a_1 + a_2x^2 + a_3x^3 + ... + a_{2n}x^{2n})
:
is even if and only if ![](https://latex.codecogs.com/png.latex?\bg_white a_1 = a_3 = a_5 = ... = a_{2n-1} = 0)
cannot be odd and a polynomial of degree ![](https://latex.codecogs.com/png.latex?\bg_white 2n)
Taking
![](https://latex.codecogs.com/png.latex?\bg_white Q(x) = a_0 + a_1 + a_2x^2 + a_3x^3 + ... + a_{2n+1}x^{2n+1})
:
is odd if and only if ![](https://latex.codecogs.com/png.latex?\bg_white a_0 = a_2 = a_4 = ... = a_{2n} = 0)
cannot be even and a polynomial of degree ![](https://latex.codecogs.com/png.latex?\bg_white 2n+1)
Any polynomial
![](https://latex.codecogs.com/png.latex?\bg_white P(x))
can be partitioned into two functions:
, an even function, and
, an odd function, such that
. This can be achieved by defining:
![](https://latex.codecogs.com/png.latex?\bg_white P_E(x) = \cfrac{1}{2}\Big[P(x) + P(-x)\Big])
![](https://latex.codecogs.com/png.latex?\bg_white P_O(x) = \cfrac{1}{2}\big[P(x) - P(-x)\big])
In fact, this partition can be used on any function
![](https://latex.codecogs.com/png.latex?\bg_white f(x))
and if
![](https://latex.codecogs.com/png.latex?\bg_white f_E(x) = 0)
then the function is odd, and if
![](https://latex.codecogs.com/png.latex?\bg_white f_O(x) = 0)
then it is even. This partition is not useful for all functions. For example,
![](https://latex.codecogs.com/png.latex?\bg_white f(x) = \sqrt{x})
is neither odd nor even and the partition does not yield a useful / sensible partition into an odd function and an even function. By contrast,
![](https://latex.codecogs.com/png.latex?\bg_white f(\theta) = \theta - \cos\theta + \sin\theta)
is usefully separable into an odd component
![](https://latex.codecogs.com/png.latex?\bg_white f_O(\theta) = \theta + \sin\theta)
and an even component
![](https://latex.codecogs.com/png.latex?\bg_white f_E(\theta) = -\cos\theta)
.
Applying this to the above problem, we need an odd function of degree 3. Starting from
![](https://latex.codecogs.com/png.latex?\bg_white P(x) = ax^3 + bx^2 + cx + d)
we have
![](https://latex.codecogs.com/png.latex?\bg_white \begin{align*} P_O(x) &= \cfrac{1}{2}\Big[P(x) - P(-x)\Big] \\ &= \cfrac{1}{2}\Big[ax^3 + bx^2 + cx + d - \big(a(-x)^3 + b(-x)^2 + c(-x) + d)\big)\Big] \\ &= \cfrac{1}{2}\Big[ax^3 + bx^2 + cx + d - \big(-ax^3 + bx^2 - cx + d\big)\Big] \\ &= \cfrac{1}{2}\Big[ax^3 + bx^2 + cx + d + ax^3 - bx^2 + cx - d\Big] \\ &= \cfrac{1}{2}\Big[2ax^3 + 2cx\Big] \\ &= ax^3 + cx \end{align*})
and we need the even part to be zero, which is how the above solutions established that
![](https://latex.codecogs.com/png.latex?\bg_white bx^2 + d = 0)
. This can be shown as follows:
![](https://latex.codecogs.com/png.latex?\bg_white \begin{align*} P(x) = P_E(x) + P_O(x) \implies P_E(x) &= P(x) - P_O(x) \\ &= ax^3 + bx^2 + cx + d - \big(ax^3 + cx\big) \\ &= ax^3 + bx^2 + cx + d - ax^3 - cx \\ &= bx^2 + d \\ \text{And, since $P(x)$ is odd, $P_E(x) = 0$:} \qquad bx^2 + d &= 0 \end{align*})