PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very low Entry average rating: No information on entry rating
[parent] derivation of a definite integral formula using the method of exhaustion (Derivation)

The area under an arbitrary function $f(x)$ that is piecewise continuous on $[a,b]$ can be "exhausted" with triangles. The first triangle has vertices at $(a,0)$ and $(b,0)$ , and intersects $f(x)$ at $$ x = a + \frac{b - a}{2}, $$ yielding the estimate $$ A_1 = \frac{1}{2}(b - a)f(a + \frac{b - a}{2}) $$

The second approximation involves two triangles, each sharing two vertices with the original triangle, and intersecting $f(x)$ at $$ x = a + \frac{b - a}{4} $$ and $$ x = a + \frac{3(b - a)}{4}, $$ adding the area: $$ A_2 = \frac{1}{4}(b - a)\{ f(a + \frac{b - a}{4}) - f(a + \frac{b - a}{2}) + f(a + \frac{3(b - a)}{4})\} $$

A third such approximation involves four more triangles, adding the area

\begin{displaymath} \begin{array}{c} A_3 {\rm { }} = \frac{{{\rm { }}1}}{8}(b - ... ...{3(b - a)}{4}) + f(a + \frac{7(b - a)}{8})\} . \ \end{array} \end{displaymath}

This procedure eventually leads to the formula $$ \int\limits_a^b {f(x)dx = \sum\limits_{n = 1}^\infty {A_n } = \left( {b - a} \right)} \sum\limits_{n = 1}^\infty {\sum\limits_{m = 1}^{2^n - 1} {\left( { - 1} \right)^{m + 1} } } 2^{ - n} f\left( {a + m(b - a)/2^n } \right) $$

References

  1. http://arxiv.org/abs/math.CA/0011078.
  2. Int. J. Math. Math. Sci. 31, 345-351, 2002.




"derivation of a definite integral formula using the method of exhaustion" is owned by ruffa.
(view preamble | get metadata)

View style:


This object's parent.

Attachments:
proof of Ruffa's formula for continuous functions (Proof) by rspuzio
Log in to rate this entry.
(view current ratings)

Cross-references: formula, eventually, approximation, estimate, intersects, vertices, triangles, continuous, piecewise, function, area

This is version 19 of derivation of a definite integral formula using the method of exhaustion, born on 2005-01-10, modified 2006-12-12.
Object id is 6634, canonical name is ExampleOfMethodOfExhaustion.
Accessed 7953 times total.

Classification:
AMS MSC26B15 (Real functions :: Functions of several variables :: Integration: length, area, volume)
 30B99 (Functions of a complex variable :: Series expansions :: Miscellaneous)
 78A45 (Optics, electromagnetic theory :: General :: Diffraction, scattering)

Pending Errata and Addenda
None.
[ View all 8 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)