9
$\begingroup$

Let $a=x_0<\ldots<x_n=b$ be equidistant sampling points with $n$ being an even number.

How can one show that $$\int_a^b \prod_{k=0}^n(x-x_k) \ \text{d}x=0$$ in a fast way? I showed it by proving that $\prod_{k=0}^n(x-x_k)$ is an odd function w.r.t. $\frac{a+b}{2}$ and then substituting to shift the boundaries of integration. This was quite tedious and I thought maybe there is a quick and smart argument to show it's zero.

$\endgroup$

3 Answers 3

12
$\begingroup$

Your way was actually quite smart. Why was it long and tedious? I think after an appropriate choice of notation it's going to sound quite trivial. In any case, your idea is the best approach, that's for sure.

Hope that helps,

$\endgroup$
6
$\begingroup$

Take an arbitrary monic polynomial $f(x)$ of degree $n+1$ and consider the $n$-th degree interpolating polynomial $p(x)$ through the $n+1$ points $$(x_0,f(x_0)),\ldots,(x_n,f(x_n)).$$ We have $f^{(n+1)}(x)\equiv (n+1)!$ so by the interpolation error formula $$f(x)-p(x)=\prod_{k=0}^n(x-x_k).$$ The function $f(x)-p(x)$ has $n+1$ zeros evenly spaced along the interval $[a,b]$. We can take the Newton-Cotes evenly-spaced approximation with those $n+1$ sample points for the integral of this function, which is exact for polynomials up to degree at least $n+1$. But $f-p$ is a polynomial of degree at most $n+1$, and is zero at all sample points, so $$\int_a^b \prod_{k=0}^n(x-x_k)\,\mathrm{d}x=\int_a^b f(x)-p(x)\;\mathrm{d}x=0$$ QED.

$\endgroup$
1
  • 5
    $\begingroup$ This is kind of a sledgehammer... but a nice sledgehammer. +1 $\endgroup$ Commented Jun 30, 2014 at 3:17
4
$\begingroup$

You can shift by $(a+b)/2$ first. Then the product of the first and last factors is of the form $(x - c)(x + c) = x^2 - c^2$, as is the product of the second and second to last factors, and so on. But in addition, there's one "middle" factor which is just $x$, so the overall product is odd. Since the domain of integration is now from $-(a+b)/2$ to $(a+b)/2$, the integral of this odd function is zero.

$\endgroup$
12
  • $\begingroup$ That's exactly what he said he did, isn't it? $\endgroup$
    – jwg
    Commented Jun 30, 2014 at 15:42
  • $\begingroup$ I think you're capable of reading his answer. So no. $\endgroup$
    – Zarrax
    Commented Jul 1, 2014 at 4:31
  • $\begingroup$ Can you explain how this is different to what the OP did? $\endgroup$
    – jwg
    Commented Jul 1, 2014 at 5:27
  • $\begingroup$ Yeah sure. He didn't shift by $(a + b)/2$ first. Also, he didn't say how he showed the product was symmetric about $(a + b)/2$. Since it's simple the way I described it, I doubt he did it the same way since he complained about it being tedious. $\endgroup$
    – Zarrax
    Commented Jul 1, 2014 at 13:24
  • $\begingroup$ "I showed it by proving that [it] is an odd function w.r.t. $\frac{a+b}{2}$". Clearly for you, this is very different to 'shifting first' and then showing something is an odd function. $\endgroup$
    – jwg
    Commented Jul 1, 2014 at 13:48

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .