# The Difference Quotient and Integral Calculus

1. Nov 14, 2012

### Vodkacannon

I'm just a high school senior who noticed that the derivative has a general formula that we all know is,
$\frac{f(x+h)-f(x)}{h}$
but that there is no general formula (at least I haven't heard of it yet) for the integral of a function.
I know I cannot simply just take the inverse of the difference quotient.
Is it impossible to generalize a formula for the integral?

2. Nov 14, 2012

### micromass

Sure there is a formula for the integral of a function.

For example, let $f:[a,b]\rightarrow \mathbb{R}$, then we can write (if the integral exists)

$$\int_a^b fdx=\lim_{n\rightarrow +\infty} \left[\sum_{k=1}^n f\left(a+k\frac{b-a}{n}\right)\frac{b-a}{n}\right]$$

This is a possible formula for the integral. Of course, there are some issues, for example, I partitioned [a,b] in a certain way and I let f act on the partition in a certain way. It must be clarified that these choice don't matter (and for which functions they don't matter!). But all in all, this formula can be used for most functions.

3. Nov 14, 2012

### Vodkacannon

Interesting. I had never seen that before. I can see why you're using a summation operator because integration is just, in geometric terms, summing up infinitsimaly small parts to make a whole.

Thanks. That was a fast reply.

So I don't start another thread, may I ask if you were to compose the functions of the integral and derivative of a function, f(g(x)) or g(f(x)), you should receive the origional function right?
If this is true then this is one way to proove that integration and derivation are inverses.

Last edited: Nov 14, 2012
4. Nov 15, 2012

### Staff: Mentor

This is in part what the Fundamental Theorem of Calculus says, that differentiation and integration are essentially inverse processes (not inverse functions - these processes operate on functions). One part of this theorem says
$$\frac{d}{dx} \int_a^x f(t)~dt = f(x)$$
There's some fine print about the continuity of f and such, but the punch line is as above.