Paul's Online Math Notes
     
 
Online Notes / Calculus I / Extras / Proof of Various Integral Properties
Calculus I

You can navigate through this E-Book using the menu to the left. For E-Books that have a Chapter/Section organization each option in the menu to the left indicates a chapter and will open a menu showing the sections in that chapter. Alternatively, you can navigate to the next/previous section or chapter by clicking the links in the boxes at the very top and bottom of the material.

Also, depending upon the E-Book, it will be possible to download the complete E-Book, the chapter containing the current section and/or the current section. You can do this be clicking on the E-Book, Chapter, and/or the Section link provided below.

For those pages with mathematics on them you can, in most cases, enlarge the mathematics portion by clicking on the equation. Click the enlarged version to hide it.

 Proof of Various Integral Facts/Formulas/Properties

In this section we’ve got the proof of several of the properties we saw in the Integrals Chapter as well as a couple from the Applications of Integrals Chapter.

 

Separator5

 

Proof of :  where k is any number.

This is a very simple proof.  Suppose that  is an anti-derivative of , i.e. .  Then by the basic properties of derivatives we also have that,

 

and so  is an anti-derivative of , i.e. .  In other words,

                                           

Pf_Box

 

 

Separator5

 

Proof of :  

This is also a very simple proof  Suppose that  is an anti-derivative of  and that  is an anti-derivative of .  So we have that  and .  Basic properties of derivatives also tell us that

 

and so  is an anti-derivative of  and  is an anti-derivative of .    In other words,

                          

Pf_Box

 

 

Separator5

 

Proof of :  

From the definition of the definite integral we have,

                             

 

and we also have,

                             

 

Therefore,

                                   

Pf_Box

 

 

Separator5

 

Proof of :  

From the definition of the definite integral we have,

                          

 Pf_Box

 

 

Separator5

 

Proof of :  

From the definition of the definite integral we have,

                                                

 

Remember that we can pull constants out of summations and out of limits.

Pf_Box

 

 

Separator5

 

Proof of :  

First we’ll prove the formula for “+”.  From the definition of the definite integral we have,

                              

 

To prove the formula for “-” we can either redo the above work with a minus sign instead of a plus sign or we can use the fact that we now know this is true with a plus and using the properties proved above as follows.

                                   

Pf_Box

 

 

Separator5

 

Proof of : , c is any number.

If we define  then from the definition of the definite integral we have,

                                   

Pf_Box

 

 

Separator5

 

Proof of : If  for  then .

From the definition of the definite integral we have,

                                   

 

Now, by assumption  and we also have  and so we know that

                                                            

So, from the basic properties of limits we then have,

                                                    

 

But the left side is exactly the definition of the integral and so we have,

                                               

Pf_Box

 

 

Separator5

 

Proof of : If  for  then .

Since we have  then we know that  on