Getting a bit philosophical on us, here...

Quote:

Could you go into a little more detail on how the assumption that the value exists, and how it is that by making this assumption, we can later prove that it, in fact, does exist.

Take a bucket outside and fill it with an arbitrary amount of water. How many liters is it? Even though you don't know exactly, certainly this figure *exists*, right? Since it exists, give it a name, A. Now take a measuring cup and pour the water into the cup, exactly one cup at a time, counting how many cups it holds. This simple measuring system gives you 1 cup, 2 cups, 3 cups, etc., and with each "iteration" as a mathematician would call it, the number gets closer and closer to A. Voila, when the iteration is complete, we have calculated A exactly.

This is not so different than what we are doing here. We look at a curve and we know that there is area under it, and that the amount of area is an unquestionably unique number. We're coming up with an iterative system of approximating this area which after a sufficient number of iterations, gives us the answer to any level of accuracy. So no, we are not assuming A exists and using this assumption to prove it does indeed exist. We know it exists, and we are attempting to calculate it to an arbitrary level of accuracy.

Quote:

Also, how would you ever be able to choose an

if you don't choose the correct value of A?

Here you are correct. In general, given a it is not possible to determine how many rectangles are necessary to find A with an accuracy within . This changes for different functions.

A "tangible" example, whatever that may mean

Let , , , and . (Keep in mind the sum goes from to , where .)

=

Now recall the formula we all learned in discrete math, the story that little Gauss discovered a shortcut to adding all the numbers from 1 to 100 with this formula:

So, = =

Now, remember , so...

= = = **1**

Ergo, A=1 QED.

*Note: the invention of integrals and calculus was intended as a cohesive system of legal shortcuts to allow us to have to do these kinds of calculations.

**Notice the second to last step, that . So if we want to know A within an accuracy of , well, . So in this case, for this function, .

They say a picture is worth a thousand words. Well this post is getting a little convoluted even for me. (Giggle)

Generalizing your example

Backing up through the proof, remember the last few steps, where ? Well, on the interval . Observe:

= = =

So

This slightly more technical definition is shorthanded by . Again, the proofs are more technical than you think.