Proof of bizarre form of Cavalieri's Principle?

359 Views Asked by At

In a book I'm really enjoying, The Irrationals by Julian Havil, in Chapter 2 he mentions that John Wallis often used Cavalieri's Principle, which he explains.

However, he then says that "in modern terms" it can be stated in 2 dimensions as $$\int_0^1f(x)dx = \lim_{N\to\infty}\frac{\sum_{r=0}^Nf(r)}{M_N(N+1)}$$ where $M_N = \max\{ f(x) | x\in [0, N]\}$ and where $f(x)$ is a positive- and real-valued continuous function defined on the positive real axis, without any justification.

I can see that this is an incredibly useful idea, but why on earth is it true?! Why would the values of $f$ attained arbitrarily far away from the interval $[0,1]$ (e.g. in the sum $\sum^N_{r=0}f(r)$ in as $N$ grows large) have any effect on the area under $f(x)$ on that interval?

3

There are 3 best solutions below

0
On BEST ANSWER

Isky, the equation as others have said, is simply wrong there's no way getting around it (e.g. test for (absolute) convergence). It is mostly likely a typo, but having read a review of the book:

'The book has a fair number of proofreading errors. Some sentences don't make any sense. There are some formatting errors in the equations. There are some occasional minor errors in the proofs, but they are geneally easy to correct. The proof that pi is transcendental contains a serious error, and it took some work for me to modify it to something correct'

Daniele

0
On

For f(x)=5 , the LHS is $5$ and the RHS is $1$

0
On

What is true here is that $$\int_0^1 f(x)\,dx = \lim_{N\to \infty}\sum_{r=0}^{N}\frac{f\left(\frac r{N+1}\right)}{N+1}$$when $f$ is continuous. This is just the definition of the Cauchy Integral. Riemann modified to allow for the interval sizes to vary and the points where the interval heights are measured to also vary. This allowed the requirement that $f$ be continuous to be relaxed.

Your version is evidently mistyped just in the fact that it is supposedly calculating the integral of $f(x)$ between $0$ and $1$ by using values of $f$ taken far away from that interval.

What the author was intending for this expression to be is unclear. I cannot see how it relates to Cavalieri's principle at all.