Need help with a simple integral proof

  • Context: Undergrad 
  • Thread starter Thread starter tolove
  • Start date Start date
  • Tags Tags
    Integral Proof
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
2 replies · 2K views
tolove
Messages
164
Reaction score
1
f is a positive decreasing function of x, f(n) = an for all n:

[itex]\int\stackrel{n+1}{1} f(x) dx[/itex] [itex]\leq[/itex] a[itex]_{1}[/itex] + a[itex]_{2}[/itex] + [itex]\cdots[/itex] + a[itex]_{n}[/itex]

Why is this true? I think I'm missing a fundamental understanding of summation, since the reasoning for this step was left out in my book.

[edited out some nonsense]

Thanks for any help!
 
Last edited:
Physics news on Phys.org
Write the left side of the inequality as [itex]\int^{2}_{1}f(x)dx+\int^{3}_{2}f(x)dx+\dots\int^{n+1}_{n}f(x)dx[/itex] and the right side as [itex]\int^{2}_{1}a_{1}dx+\int^{3}_{2}a_{2}dx+\dots\int^{n+1}_{n}a_{n}dx[/itex] and show that each term on the LHS is smaller than the corresponding term on the RHS. Note that [itex]\int^{b}_{a}f(x)dx\leq\int^{b}_{a}g(x)dx[/itex] if [itex]f(x)\leq g(x)[/itex] on interval [a,b].
 
hilbert2 said:
Write the left side of the inequality as [itex]\int^{2}_{1}f(x)dx+\int^{3}_{2}f(x)dx+\dots\int^{n+1}_{n}f(x)dx[/itex] and the right side as [itex]\int^{2}_{1}a_{1}dx+\int^{3}_{2}a_{2}dx+\dots\int^{n+1}_{n}a_{n}dx[/itex] and show that each term on the LHS is smaller than the corresponding term on the RHS. Note that [itex]\int^{b}_{a}f(x)dx\leq\int^{b}_{a}g(x)dx[/itex] if [itex]f(x)\leq g(x)[/itex] on interval [a,b].

Alright. I've got this, I think.

In order to make sense of the series, I should represent it as a piecewise graph with height an and a width Δx, where Δx is always 1. The area of each piece of such a graph will be an*Δx, which is just an.

If Ʃ an is continuous, etc, then I can compare it to a function, f. f(x) is always going to dip underneath (in the case of decreasing functions) or be equal to the horizontal line y = an for each interval. Thus the area of f(x) is always less than the area of the piecewise graph. And, when calculating the area of f(x), I need to go out one more step, n+1, since the Δx from the piecewise graph steps out one further.

Thank you very much!