3. For APPLICANTS IN $\left\{ \begin{array} { l } \text { MATHEMATICS } \\ \text { MATHEMATICS \& STATISTICS } \\ \text { MATHEMATICS \& PHILOSOPHY } \\ \text { MATHEMATICS \& COMPUTER SCIENCE } \end{array} \right\}$ ONLY.
Computer Science and Computer Science \& Philosophy applicants should turn to page 14.
In this question we fix a real number $\alpha$ which will be the same throughout. We say that a function $f$ is bilateral if
$$f ( x ) = f ( 2 \alpha - x )$$
for all $x$.
(i) Show that if $f ( x ) = ( x - \alpha ) ^ { 2 }$ for all $x$ then the function $f$ is bilateral.
(ii) On the other hand show that if $f ( x ) = x - \alpha$ for all $x$ then the function $f$ is not bilateral.
(iii) Show that if $n$ is a non-negative integer and $a$ and $b$ are any real numbers then
$$\int _ { a } ^ { b } x ^ { n } \mathrm {~d} x = - \int _ { b } ^ { a } x ^ { n } \mathrm {~d} x$$
(iv) Hence show that if $f$ is a polynomial (and $a$ and $b$ are any reals) then
$$\int _ { a } ^ { b } f ( x ) \mathrm { d } x = - \int _ { b } ^ { a } f ( x ) \mathrm { d } x$$
(v) Suppose that $f$ is any bilateral function. By considering the area under the graph of $y = f ( x )$ explain why for any $t \geqslant \alpha$ we have
$$\int _ { \alpha } ^ { t } f ( x ) \mathrm { d } x = \int _ { 2 \alpha - t } ^ { \alpha } f ( x ) \mathrm { d } x$$
If $f$ is a function then we write $G$ for the function defined by
$$G ( t ) = \int _ { \alpha } ^ { t } f ( x ) \mathrm { d } x$$
for all $t$.
(vi) Suppose now that $f$ is any bilateral polynomial. Show that
$$G ( t ) = - G ( 2 \alpha - t )$$
for all $t$.
(vii) Suppose $f$ is a bilateral polynomial such that $G$ is also bilateral. Show that $G ( x ) = 0$ for all $x$.
If you require additional space please use the pages at the end of the booklet