Integral Properties – Definition, Process, and Proof

Learning about the integral properties is essential if we want to evaluate integrals faster. These properties come in handy when we need to strategically manipulate expressions when proving inequalities and confirming equations.Mastering the integral properties will help when working with complex integrals. Learning how to prove them also shows how closely related derivatives and integrals are with each other.In this article, we’ll study the common properties of indefinite and definite integrals. Our discussion will use concepts we’ve learned from our previous discussions, so review the following topics or make sure that you have a strong grip on the following topics:
  • Recall how we’ve defined definite integrals from our discussion on the theorem of fundamental calculus.
  • When proving these properties, we’ll be using some fundamental derivative rules, so take a quick look at this article in case you need a quick refresher.
  • Refresh your knowledge of antiderivatives here as well.
We’ll begin by understanding the three fundamental properties of indefinite integrals. We can then move on to exploring more complex properties for definite integrals. Our discussion is going to be thorough, so take your time absorbing each section before moving on to the next. Are you ready? Let’s go ahead and dive in!

What are the properties of integrals?

The properties of integrals help us in evaluating indefinite and definite integrals of functions that contain multiple terms. These properties will also help break down definite integrals so that we can evaluate them more efficiently.Recall that when we differentiate complex functions, we use properties to simplify our process (ie ddxkf(x)=kddxf(x)). We use similar properties to simplify process of evaluating indefinite and definite integrals.Let’s say we have the following real numbers: a, b, k, A, and B. Given that f(x) and g(x) are integrable over the interval, [a,b], the functions will satisfy the following properties for indefinite integrals:
Properties of Indefinite Integrals
Constant Multiple Propertykf(x)xdx=kf(x)xdx
Sum Property[f(x)+g(x)]xdx=f(x)xdx+g(x)xdx
Difference Property[f(x)g(x)]xdx=f(x)xdxg(x)xdx
The sum and difference properties extend to definite integrals as well. Below are essential properties that we’ll need when simplifying expressions with definite integrals.
Properties of Definite Integrals
Sum or Differenceab[f(x)±g(x)]xdx=abf(x)xdx±abg(x)xdx
Constant Multipleab[kf(x)]xdx=kabf(x)xdx
Reverse Intervalabf(x)xdx=baf(x)xdx
Zero-length Intervalaaf(x)xdx=0
Combining Intervalsabf(x)xdx+bcf(x)xdx=acf(x)xdx
Comparison Propertyi) When f(x)0 for x[a,b], abf(x)xdx0.ii) When f(x)g(x) for x[a,b], abf(x)xdxabf(x)xdx.iii) When mf(x)M and x[a,b], m(ba)abf(x)xdxM(ba).
We’ll show you how to apply these indefinite and definite integral properties. We’ll also show you how some of these properties were derived.  Before we move to the next part of our discussion, review all nine properties once again. When you’re ready, let’s move on to understanding how these properties were derived.

How to apply the different integral properties?

The best way to understand and master these integral properties is by learning the conditions required by these properties and knowing the best time to apply them. We’ll break down the steps for each property and show you examples of how each of these properties is applied.

Understanding the constant multiple property of integrals

The constant multiple property applies to both indefinite and definite integrals. This means that when we’re evaluating the integral of a function, f(x), and a constant factor, c, the resulting expression is simply equal to the product of the constant and the integral of f(x).kf(x)xdx=kf(x)xdxabkf(x)xdx=kabf(x)xdxLet’s go ahead and apply this property to simplify the integral shown below. Make sure to review your knowledge of antiderivative formulas here or bring out your notes since we’ll be applying them to simplify the expression.This means that if we have 3x2xdx, we can factor out 3 then simply evaluate x2xdx using the power rule, xnxdx=xn+1n+1+C.3x2xdx=3x2xdx=3(x2+12+1)+C=3x33+C=x3+CWe can also apply a similar process when evaluating definite integrals. Just keep in mind that according to the fundamental theorem of calculus, we have abf(x)xdx=F(b)F(a), where F(x) is the antiderivative of f(x).

Understanding the sum and difference properties of integrals

These two properties tell us that if a function can be broken down as a sum or difference of simpler functions, we can find the function’s integral by adding or subtracting the integrals of the simpler functions.[f(x)±g(x)]xdx=f(x)xdx±g(x)xdxab[f(x)±g(x)]xdx=abf(x)xdx±abg(x)xdxWe’ll show you two examples: one is an application of the sum property on an indefinite integral and the second is an application of the difference on a definite integral.
Indefinite Integral2x2+x=(2x2+x)xdx=2x2xdx+xxdx=2x2xdx+xxdx,xConstant Multiple Property=2(x2+12+1)+x1+11+1+C,xPower Rule=2x33+x22+C
Definite Integral043x26x=04(3x26x)xdx=043x2xdx046xxdx=3x2xdx6xxdx,xConstant Multiple Property=3(x2+12+1)6(x1+11+1)+C,xPower Rule=3x336x22+C=x33x2+C
This property is quite similar to the addition and subtraction rules for differentiation and this makes since integration and differentiation are closely related to each other. Use a similar process to prove the different properties of definite and indefinite integrals.

Understanding the properties helpful in manipulating definite integrals

Let’s now understand how to apply the three properties:  reversal interval, combining interval, and zero-length interval properties. The three properties focus on how the upper and lower limits affect a definite integral’s value.
  • Using the reverse interval property, we can rewrite the definite integral of a function as the negative definite integral of the same function when we reverse the positions of its lower and upper limits.
abf(x)xdx=baf(x)xdx
  • When the lower and upper limits of a function’s definite integral are equal, its value is equal to zero. We call this the zero-length interval property.
aaf(x)xdx=0
  • Through the combining interval property, we can combine two or more definite integrals sharing the same function. This can be possible the two definite integrals being combined have identical upper and lower limits.
abf(x)xdx+bcf(x)xdx=acf(x)xdxHere are examples of definite integrals where we can use each of these properties to simplify the expressions shown below.
Reverse Interval044xxdx=404xxdx22(5x21)xdx=22(5x21)xdx14x21x+3xdx=41x21x+3xdx
Zero-Length Interval44(4x3)xdx=022x24x+4xdx=0331x2+1xdx=0
Combining Interval20(2x+5)xdx+02(2x+5)xdx=22(2x+5)xdx42x+4xdx+24x+4xdx=44x+4xdx25xx2+4xdx+510xx2+4xdx=210xx2+4xdx
There are instances when we need to manipulate intervals and positions on the integrals’ lower and upper limits in order for us to evaluate definite integrals. Knowing these three properties by heart will also fasten the time it takes us to evaluate complex definite integrals.

Understanding the comparison property of integrals

We’ll now work on properties that involve comparing the definite integrals using inequalities.
  • When the function is above or along the x-axis throughout the interval, [a,b], then the definite integral of f(x) throughout this interval will always be positive.
f(x)0abf(x)xdx0
  • If the function, f(x), is lying below the function, g(x), within the interval of [a,b], the f(x)‘s definite integral will be less than that of g(x)‘s definite integrals when they share the same lower and upper limits: x=a and x=b, respectively.
f(x)g(x)abf(x)xdxabg(x)xdx
  • Use the fact that m and M are the minimum and maximum values possible for f(x) throughout the interval, [a,b]. The definite integral of f(x) throughout the interval will have a minimum and maximum values of m(ba) and M(ba), respectively.
mf(x)Mm(ba)abf(x)xdxM(ba)For example, we can use the second inequality to prove that 011+x2xdx011+xxdx.comparing two inequalities

How to prove the integral properties?             

Now that we’ve learned about the properties that can help us in simplifying indefinite and definite integrals, it’s time that we learn how some of these properties were derived. In this section, we’ll show you the proof for the addition, constant multiple, and reverse interval properties of integrals.kf(x)xdx=kf(x)xdx[f(x)+g(x)]xdx=f(x)xdx+g(x)xdxabf(x)xdx=baf(x)xdxWe’ll need some of the properties and derivative rules we’ve learned from our differential calculus classes, so make sure to refresh your knowledge. In addition, recall that differentiation’s process is the inverse of integration.ddxf(x)xdx=f(x)f(x)xdx=f(x)+CKeep this relationship in mind when deriving the rest of the formulas discussed in the previous section. For now, let’s begin by deriving the constant multiple property of integrals.

Proving the constant multiple property of integrals

To prove this property, we’ll need to use the constant multiple property of derivatives, ddxkf(x)=kddxf(x). What we’ll do here is take the derivative of kf(x)xdx and kf(x)xdx with respect to x.ddx[kf(x)xdx]=kf(x)ddx[kf(x)xdx]=kddxf(x)xdx=kf(x)ddx[kf(x)xdx]=ddx[kf(x)xdx]For the two sides of the equation to be true, kf(x)xdx must be equal to , kf(x)xdx. Hence, confirming the constant multiple property of integrals.Proving the sum property of integralsWe’ll apply a similar process to prove the sum property of integrals using the sum rule for derivatives, ddx[f(x)+g(x)]=ddxf(x)+ddxg(x). Take the derivative of [f(x)+g(x)]xdx and f(x)xdx+f(x)xdx.ddx[f(x)+g(x)]xdx=f(x)+g(x)ddx[f(x)xdx+g(x)xdx]=ddxf(x)xdx+ddxg(x)xdx=f(x)+g(x)ddx[f(x)+g(x)]xdx=ddx[f(x)xdx+g(x)xdx]Since both sides of the equation are equal, the integral expressions will also be equal.[f(x)+g(x)]xdx=f(x)xdx+g(x)xdxThis confirms the sum property of indefinite integrals. We can apply a similar process to confirm the sum property of definite integrals, ab[f(x)+g(x)]xdx=abf(x)xdx+g(x)xdx.

Proving the reverse length property of integrals

For this property, let’s recall the second part of the fundament theorem of calculus: abf(x)xdx=F(b)F(a), where F(x) is the antiderivative of f(x). We can use this theorem to rewrite baf(x)xdx.baf(x)xdx=[F(a)F(b)]=F(a)+F(b)=F(b)F(a)=abf(x)xdxHence, we’ve shown that reversing the limits’ positions will simply change the resulting value of the definite integral.We can use similar processes when proving the rest of the properties. But we left that for you to work on your own and some, we have included in the exercises shown below!Make sure to keep your notes handy though when working on the rest of the problems.Example 1Use the fact that 06f(x)xdx=12 and 60f(x)xdx=20 to determine the value of 66f(x)xdx.SolutionWe begin by recalling the definite integral property, abf(x)xdx+bcf(x)xdx=acf(x)xdx. We can use this property to combine the two given definite integrals.06f(x)xdx+60f(x)xdx=60f(x)xdx+06f(x)xdx=66f(x)xdxWe’ve shown that we can find the value of 66f(x)xdx by adding the values of the definite integrals, 06f(x)xdx=12 and 60f(x)xdx=20.66f(x)xdx=12+20=32Hence, we have 66f(x)xdx=32.Example 2Use the fact that 03f(x)xdx=18 and 010f(x)xdx=40 to determine the value of 310f(x)xdx.SolutionWe’ll also be using the same property, abf(x)xdx+ intbcf(x)xdx=acf(x)xdx, to answer this problem.Rewrite the expression so that we can expression 310f(x)xdx in terms of 03f(x)xdx and 010f(x)xdx.010f(x)xdx=03f(x)xdx+310f(x)xdxSubstitute the values of the two definite integrals then isolate 310f(x)xdx on one side of the equation.40=18+310f(x)xdx4018=310f(x)xdx310f(x)xdx=22This means that by combining intervals, we were able to determine the value of 310f(x)xd. In fact, it’s equal to 22.Example 3Prove the definite integral property, abf(x)xdx+bcf(x)xdx=acf(x)xdx.SolutionRecall that when F(x) is the antiderivative of f(x), we have abf(x)xdx=F(b)F(a). Use the second part of the fundamental theorem of calculus to rewrite the right-hand side of the equation.abf(x)xdx+bcf(x)xdx=[F(b)F(a)]+[F(c)F(b)]=F(b)F(a)+F(c)F(b)=F(c)F(a)Rewrite F(c)F(a) back into a definite integral.abf(x)xdx+bcf(x)xdx=F(c)F(a)=acf(x)xdxThis confirms the definite integral property we use to combine intervals is indeed true.Example 4Use the fact that the definite integrals of f(x) and g(x) have the following values with the lower and upper limits shown below:06f(x)xdx=603f(x)xdx=206g(x)xdx=403g(x)xdx=1Compute the following definite integrals.a. 06[f(x)+g(x)]xdx b. 03[f(x)g(x)]xdx c. 36[f(x)+g(x)]xdx d. 36[f(x)g(x)]xdx e. 06[2f(x)+3g(x)]xdx f. 03[3f(x)4g(x)]xdx g. 36[2f(x)+6g(x)]xdxSolutionApply the sum property of definite integrals, ab[f(x)+g(x)]xdx=abf(x)xdx+abg(x)xdx, to determine the value of 06[f(x)+g(x)]xdx.06[f(x)+g(x)]xdx=06f(x)xdx+06g(x)xdxUse the given values for the two definite integrals to find the value of 06[f(x)+g(x)]xdx.a. This means that 06[f(x)+g(x)]xdx is equal to 2.We’ll apply a similar process to evaluate the definite integral, 03[f(x)g(x)]xdx. This time, we’ll use the difference property of definite integrals, ab[f(x)g(x)]xdx=abf(x)xdxabg(x)xdx.06[f(x)g(x)]xdx=06f(x)xdx06g(x)xdx=6(4)=10b. Hence, 06[f(x)g(x)]xdx is equal to 10.The given lower and upper limits of the definite integral, 36[f(x)+g(x)]xdx, are the result of the four given definite integrals being combined. Rewrite 36[f(x)+g(x)]xdx in terms of the four given definite integrals and by applying the different properties for definite integrals.
  • Use the sum property to distribute the definite integral operation.
  • Expand 36f(x)xdx and 36g(x)xdx by reversing the process of combining a definite integral’s intervals, abf(x)xdx+bcf(x)xdx=acf(x)xdx.
  • Reverse the limits of 30f(x)xdx and 30g(x)xdx using the reverse interval property, abf(x)xdx=baf(x)xdx.
36[f(x)+g(x)]xdx=36f(x)xdx+36g(x)xdx=[30f(x)xdx+06f(x)xdx]+[30g(x)xdx+06g(x)xdx]=[03f(x)xdx+06f(x)xdx]+[03g(x)xdx+06g(x)xdx]=[06f(x)xdx03f(x)xdx]+[06g(x)xdx03g(x)xdx]We’ve now expressed the definite integral in term of the following:06f(x)xdx=603f(x)xdx=206g(x)xdx=403g(x)xdx=1We’ll substitute these values into our last expression to find the value of 36[f(x)+g(x)]xdx.36[f(x)+g(x)]xdx=[06f(x)xdx03f(x)xdx]+[06g(x)xdx03g(x)xdx]=[6(2)]+[4(1)]=85=3c. This means that 36[f(x)+g(x)]xdx is equal to 3.We’ll apply the same process to evaluate the fourth definite integral, 36[f(x)g(x)]xdx.36[f(x)g(x)]xdx=36f(x)xdx36g(x)xdx,xDifference Property=[30f(x)xdx+06f(x)xdx][30g(x)xdx+06g(x)xdx],xCombining Interval=[03f(x)xdx+06f(x)xdx][03g(x)xdx+06g(x)xdx],xReverse Interval=[06f(x)xdx03f(x)xdx][06g(x)xdx03g(x)xdx]Use the same values to determine the value of 36[f(x)g(x)]xdx.36[f(x)g(x)]xdx=[06f(x)xdx03f(x)xdx][06g(x)xdx03g(x)xdx]=[6(2)][4(1)]=8(5)=13d. Hence, we have 36[f(x)g(x)]xdx=13.Use the sum and difference property followed by the constant multiple property to evaluate the next two definite integrals. Once we’ve rewritten the two definite integrals, substitute the given values into our new expression.
06[2f(x)+3g(x)]xdx06[2f(x)+3g(x)]xdx=062f(x)xdx+063g(x)xdx,xSum Property=206f(x)xdx+306g(x)xdx,xConstant Multiple Property=2(6)+3(4)=1212=0
03[3f(x)4g(x)]xdx03[3f(x)4g(x)]xdx=033f(x)xdx034g(x)xdx,xDifference Property=303f(x)xdx403g(x)xdx,xConstant Multiple Property=3(2)4(1)=64=10
This shows that through different definite integral properties, we can manipulate definite integrals to evaluate them and find their actual values. For our case, we have the following values:e. 06[2f(x)+3g(x)]xdx=0 f. 03[3f(x)4g(x)]xdx=10The last definite integral that we need to evaluate is 36[2f(x)+6g(x)]xdx. This is also a quick review to make sure you understand how we were able to evaluate and simplify the last five items.
  • Apply the sum and constant multiple properties.
  • Rewrite the integrals so they lower and upper limits that we can work with.
  • Substitute the values that we know to simplify the expression and return an actual value.
36[2f(x)+6g(x)]xdx=362f(x)xdx+366g(x)xdx,xSum Property=236f(x)xdx+636g(x)xdx,xConstant Multiple Property=2[30f(x)xdx+06f(x)xdx]+6[30g(x)xdx+06g(x)xdx],xCombining Interval=2[03f(x)xdx+06f(x)xdx]+6[03g(x)xdx+06g(x)xdx],xReversing Interval=2[06f(x)xdx03f(x)xdx]+6[06g(x)xdx03g(x)xdx]=2[6(2)]+6[4(1)]=2(8)+6(5)=1630=14g. This means that 36[2f(x)+6g(x)]xdx is equal to 14.Example 5Show that 011+2x4xdx<1.4. Use the fact that 1+xxdx=13(1+2x)32+C.SolutionSince we’re working with definite integrals with lower and upper limits at x=0 and x=1. Let’s evaluate the definite integral, 011+xxdx using the indefinite integral given from the problem.011+2xxdx=13(1+2x)32|01=13[(1+2)32(1+0)32]=13(3321)1.399When x is within the interval, [0,1], x4 will be less than or equal to x. Let’s manipulate the inequality, x4x, so that we end up comparing 1+2x4 and 1+2x.x4x2x42x1+2x41+2x1+2x41+2xNow that we’ve shown that 1+2x41+2x, we can use the comparison property to estimate its value. Recall that when f(x)g(x)forx \in [a, b],\int_{a}^{b} f(x)\phantom{x}dx \geq \int_{a}^{b} f(x)\phantom{x}dx .1+2x41+2x011+2x4xdx011+2xxdx011+2x4xdx011+2xxdx<1.4Hence,wevejustshownthat\int_{0}^{1} \sqrt{1 + 2x^4} \phantom{x}dx < 1.4$.

Practice Questions

1. Use the fact that 08f(x)xdx=5 and 80f(x)xdx=35 to determine the value of 88f(x)xdx.2. Use the fact that 21g(x)xdx=10 and 12g(x)xdx=12 to determine the value of 22g(x)xdx.3. Use the fact that 05f(x)xdx=4 and 012f(x)xdx=12 to determine the value of 57f(x)xdx.4. Use the fact that 24g(x)xdx=22 and 28g(x)xdx=5 to determine the value of 48g(x)xdx.5. Prove the zero-length interval property, aaf(x)xdx=0.6. Prove the difference property for indefinite integral, ab[f(x)g(x)]xdx=abf(x)xdxabg(x)dx.7. Use the fact that the definite integrals of f(x) and g(x) have the following values with the lower and upper limits shown below: 08f(x)xdx=2404f(x)xdx=1208g(x)xdx=1604g(x)xdx=6 Compute the following definite integrals. a. 08[f(x)+g(x)]xdx b. 04[f(x)g(x)]xdx c. 48[f(x)+g(x)]xdx d. 48[f(x)g(x)]xdx e. 08[4f(x)+g(x)]xdx f. 04[6f(x)5g(x)]xdx g. 48[12f(x)4g(x)]xdx8. Use the fact that the definite integrals of f(x) and g(x) have the following values with the lower and upper limits shown below: 010f(x)xdx=2405f(x)xdx=12010g(x)xdx=805g(x)xdx=6 Compute the following definite integrals. a. 010[f(x)+g(x)]xdx b. 05[f(x)g(x)]xdx c. 510[f(x)+g(x)]xdx d. 510[f(x)g(x)]xdx e. 010[f(x)+6g(x)]xdx f. 05[2f(x)3g(x)]xdx g. 510[3f(x)+g(x)]xdx9. Show that 011+4x3xdx<1.7. Use the fact that 1+4xxdx=16(1+4x)32+C.10. Show that 012+x4xdx<1.6. Use the fact that 2+xxdx=23(2+x)32+C.

Answer Key

1. 88f(x)xdx=30 2. 22g(x)xdx=2 3. 57f(x)xdx=8 4. 48g(x)xdx=27 5. If F(x) is the antiderivative of f(x)xdx, we have the following: abf(x)xdx=F(b)=F(a)aaf(x)xdx=F(a)F(a)=0 This confirms the zero-length interval property for definite integrals, aaf(x)xdx=0. 6. ddx[f(x)g(x)]=ddxf(x)ddxg(x)ddxf(x)dx=f(x)ddx[f(x)g(x)]xdx=f(x)g(x)ddx[f(x)xdxg(x)xdx]=ddxf(x)xdxddxg(x)xdx=f(x)g(x)[f(x)g(x)]xdx=f(x)xdxf(x)xdx 7. a. 08[f(x)+g(x)]xdx=8 b. 04[f(x)g(x)]xdx=18 c. 48[f(x)+g(x)]xdx=14 d. 48[f(x)g(x)]xdx=58 e. 08[4f(x)+g(x)]xdx=80 f. 04[6f(x)5g(x)]xdx=102 g. 48[12f(x)4g(x)]xdx=520 8. a. 010[f(x)+g(x)]xdx=16 b. 05[f(x)g(x)]xdx=18 c. 510[f(x)+g(x)]xdx=22 d. 510[f(x)g(x)]xdx=50 e. 010[f(x)+6g(x)]xdx=24 f. 05[2f(x)3g(x)]xdx=42 g. 510[3f(x)+g(x)]xdx=94 9. 011+4xxdx1.697 x3x1+4x31+4x011+4x3xdx011+4xxdx011+4x3xdx<1.7 10. 012+xxdx1.578 x4x2+x42+x012+x4xdx012+xxdx012+x4xdx<1.6