{"id":4093,"date":"2026-07-14T12:48:08","date_gmt":"2026-07-14T12:48:08","guid":{"rendered":"https:\/\/www.mathros.net.ua\/en\/?p=4093"},"modified":"2026-07-14T15:43:11","modified_gmt":"2026-07-14T15:43:11","slug":"indefinite-integral","status":"publish","type":"post","link":"https:\/\/www.mathros.net.ua\/en\/indefinite-integral.html","title":{"rendered":"Indefinite Integral: Formula, Properties, and Examples"},"content":{"rendered":"<p>The indefinite integral is one of the fundamental topics in <a title=\"What is calculus\" href=\"https:\/\/en.wikipedia.org\/wiki\/Calculus\" target=\"_blank\" rel=\"nofollow noopener noreferrer\">calculus<\/a>. It is closely related to the <a title=\"Derivative of a function\" href=\"https:\/\/www.mathros.net.ua\/en\/derivative-of-a-function.html\">derivative<\/a>, but it works in the opposite direction. While a derivative shows how a function changes, an indefinite integral helps us recover a function from its derivative.<\/p>\n<p>At first, this topic may seem purely theoretical. However, it becomes much easier to understand once you recognize the main idea: we are not looking for a numerical value but for the general form of an antiderivative. This is why an arbitrary constant always appears after integration.<\/p>\n<h2>Indefinite Integral: Definition and Basic Formula<\/h2>\n<p>Let us begin with the main definition. The indefinite integral of a function \\( f(x) \\) is the family of all antiderivatives of that function. In other words, we need to find a function \\( F(x) \\) whose derivative is equal to \\( f(x) \\).<\/p>\n<p>How do we write this? If \\( F'(x)=f(x) \\), then<\/p>\n<p>\\[<br \/>\n\\int f(x)\\,dx=F(x)+C.<br \/>\n\\]<\/p>\n<p>Here, the symbol \\( \\int \\) represents integration, the function \\( f(x) \\) is called the integrand, and ( dx ) shows the variable with respect to which the integration is performed. In addition, \\( C \\) is an arbitrary constant.<\/p>\n<p>Why is this constant necessary? The reason is that different functions can have the same derivative. For example, the functions \\( x^2 \\), \\( x^2+5 \\), and \\( x^2-10 \\) all have the same derivative, \\( 2\\cdot x \\). Therefore, when we find the integral of \\( 2\\cdot x \\), we cannot give only one answer. We need to write the general form of the antiderivative:<\/p>\n<p>\\[<br \/>\n\\int 2\\cdot x\\,dx=x^2+C.<br \/>\n\\]<\/p>\n<p>Thus, an indefinite integral does not represent one specific function. It describes all functions whose derivatives are equal to the given integrand.<\/p>\n<p>Therefore, integration can be viewed as the reverse operation of differentiation. But is it always enough simply to recognize an antiderivative? Of course not. More complex functions require special integration methods. However, the main principle remains the same: we need to find a function whose derivative gives the integrand.<\/p>\n<h2>Properties of the Indefinite Integral: Explained Using Derivatives<\/h2>\n<p>Next, let us move on to the properties of the indefinite integral. They help simplify integrals and work with more complex integrands. Without these properties, even basic calculations would quickly become cumbersome.<\/p>\n<p>First, consider the constant multiple rule. If \\( k \\) is a constant, then<\/p>\n<p>\\[<br \/>\n\\int k\\cdot f(x)\\,dx=k\\cdot \\int f(x)\\,dx.<br \/>\n\\]<\/p>\n<p>Why is this true? Let \\( F(x) \\) be an antiderivative of \\( f(x) \\). Then<\/p>\n<p>\\[<br \/>\nF'(x)=f(x).<br \/>\n\\]<\/p>\n<p>Now consider the function \\( k\\cdot F(x) \\). Its derivative is<\/p>\n<p>\\[<br \/>\n(k\\cdot F(x))&#8217;=k\\cdot F'(x)=k\\cdot f(x).<br \/>\n\\]<\/p>\n<p>Therefore, \\( k\\cdot F(x) \\) is an antiderivative of \\( k\\cdot f(x) \\). This means that the indefinite integral of \\( k\\cdot f(x) \\) has the form<\/p>\n<p>\\[<br \/>\n\\int k\\cdot f(x)\\,dx=k\\cdot F(x)+C.<br \/>\n\\]<\/p>\n<p>Now let us look at the right-hand side of the rule. Since \\( F(x) \\) is an antiderivative of \\( f(x) \\), multiplying this antiderivative by the constant \\( k \\) gives \\( k\\cdot F(x) \\). We have just shown that \\( k\\cdot F(x) \\) is an antiderivative of \\( k\\cdot f(x) \\). Therefore, a constant factor can be taken outside the integral sign:<\/p>\n<p>\\[<br \/>\n\\int k\\cdot f(x)\\,dx=k\\cdot \\int f(x)\\,dx.<br \/>\n\\]<\/p>\n<p>Now consider the sum rule. The integral of the sum of two functions is equal to the sum of their integrals:<\/p>\n<p>\\[<br \/>\n\\int (f(x)+g(x))\\,dx=\\int f(x)\\,dx+\\int g(x)\\,dx.<br \/>\n\\]<\/p>\n<p>Let us prove this using derivatives. Let \\( F(x) \\) be an antiderivative of \\( f(x) \\), and let \\( G(x) \\) be an antiderivative of \\( g(x) \\). Then<\/p>\n<p>\\[<br \/>\nF'(x)=f(x), \\qquad G'(x)=g(x).<br \/>\n\\]<\/p>\n<p>Now consider the function \\( F(x)+G(x) \\). Its derivative is<\/p>\n<p>\\[<br \/>\n(F(x)+G(x))&#8217;=F'(x)+G'(x)=f(x)+g(x).<br \/>\n\\]<\/p>\n<p>Therefore, \\( F(x)+G(x) \\) is an antiderivative of \\( f(x)+g(x) \\). Thus,<\/p>\n<p>\\[<br \/>\n\\int (f(x)+g(x))\\,dx=F(x)+G(x)+C.<br \/>\n\\]<\/p>\n<p>On the other hand,<\/p>\n<p>\\[<br \/>\n\\int f(x)\\,dx=F(x)+C_1,<br \/>\n\\]<\/p>\n<p>and<\/p>\n<p>\\[<br \/>\n\\int g(x)\\,dx=G(x)+C_2.<br \/>\n\\]<\/p>\n<p>The sum of these integrals is then<\/p>\n<p>\\[<br \/>\nF(x)+G(x)+C_1+C_2.<br \/>\n\\]<\/p>\n<p>Since \\( C_1+C_2 \\) is also an arbitrary constant, we can denote it by \\( C \\). Therefore, we obtain the same formula:<\/p>\n<p>\\[<br \/>\n\\int (f(x)+g(x))\\,dx=\\int f(x)\\,dx+\\int g(x)\\,dx.<br \/>\n\\]<\/p>\n<p>The difference rule is proved in the same way:<\/p>\n<p>\\[<br \/>\n\\int (f(x)-g(x))\\,dx=\\int f(x)\\,dx-\\int g(x)\\,dx.<br \/>\n\\]<\/p>\n<p>Indeed, if \\( F'(x)=f(x) \\) and \\( G'(x)=g(x) \\), then<\/p>\n<p>\\[<br \/>\n(F(x)-G(x))&#8217;=F'(x)-G'(x)=f(x)-g(x).<br \/>\n\\]<\/p>\n<p>Therefore, \\( F(x)-G(x) \\) is an antiderivative of \\( f(x)-g(x) \\). This means that the integral of a difference can be written as the difference of the integrals.<\/p>\n<p>Thus, the main properties of the indefinite integral follow directly from the rules of differentiation. This is an important point. We are not simply memorizing formulas\u2014we can also see why they work. In the practical section, these properties will help us break more complex integrals into simpler and more convenient parts.<\/p>\n<h2>Indefinite Integral in Practice: How to Apply Its Properties<\/h2>\n<p>Now let us move on to practice. Here, it is important not only to write down the answer but also to see exactly how the properties of the indefinite integral work. First, we will break the integrand into simpler parts and then integrate each part separately.<\/p>\n<blockquote><p>Before solving the examples, let us recall the basic formula for integrating a power function:<br \/>\n\\[<br \/>\n\\int x^n\\,dx=\\frac{x^{n+1}}{n+1}+C,\\qquad n\\ne -1.<br \/>\n\\]<br \/>\nWe will also need the basic antiderivatives of trigonometric functions:<br \/>\n\\[<br \/>\n\\int \\cos(x)\\,dx=\\sin(x)+C,\\qquad \\int \\sin(x)\\,dx=-\\cos(x)+C.<br \/>\n\\]<\/p><\/blockquote>\n<h3 class=\"example\">Example 1. Find the indefinite integral<br \/>\n\\[<br \/>\n\\int 4\\cdot x^3\\,dx.<br \/>\n\\]<\/h3>\n<p>The function \\( x^3 \\) is multiplied by the constant \\( 4 \\). According to the constant multiple rule, we can take it outside the integral sign:<\/p>\n<p>\\[<br \/>\n\\int 4\\cdot x^3\\,dx=4\\cdot \\int x^3\\,dx.<br \/>\n\\]<\/p>\n<p>Now integrate the power function:<\/p>\n<p>\\[<br \/>\n\\int x^3\\,dx=\\frac{x^4}{4}.<br \/>\n\\]<\/p>\n<p>Therefore,<\/p>\n<p>\\[<br \/>\n4\\cdot \\int x^3\\,dx=4\\cdot \\frac{x^4}{4}+C.<br \/>\n\\]<\/p>\n<p>Simplify the constant factor:<\/p>\n<p>\\[<br \/>\n4\\cdot \\frac{x^4}{4}=x^4.<br \/>\n\\]<\/p>\n<p>Thus,<\/p>\n<p>\\[<br \/>\n\\int 4\\cdot x^3\\,dx=x^4+C.<br \/>\n\\]<\/p>\n<blockquote><p>This example can easily be checked by differentiation:<br \/>\n\\[<br \/>\n(x^4+C)&#8217;=4\\cdot x^3.<br \/>\n\\]<br \/>\nThis confirms that the antiderivative we found corresponds to the integrand.<\/p><\/blockquote>\n<h3 class=\"example\">Example 2. Find the indefinite integral<br \/>\n\\[<br \/>\n\\int (3\\cdot x^2+2\\cdot x)\\,dx.<br \/>\n\\]<\/h3>\n<p>The integrand is the sum of two terms. Therefore, we use the sum rule:<\/p>\n<p>\\[<br \/>\n\\int (3\\cdot x^2+2\\cdot x)\\,dx=\\int 3\\cdot x^2\\,dx+\\int 2\\cdot x\\,dx.<br \/>\n\\]<\/p>\n<p>Now take the constant factor outside each integral:<\/p>\n<p>\\[<br \/>\n\\int 3\\cdot x^2\\,dx+\\int 2\\cdot x\\,dx<br \/>\n=<br \/>\n3\\cdot \\int x^2\\,dx+2\\cdot \\int x\\,dx.<br \/>\n\\]<\/p>\n<p>Find each antiderivative separately:<\/p>\n<p>\\[<br \/>\n\\int x^2\\,dx=\\frac{x^3}{3},<br \/>\n\\]<\/p>\n<p>and<\/p>\n<p>\\[<br \/>\n\\int x\\,dx=\\frac{x^2}{2}.<br \/>\n\\]<\/p>\n<p>Substitute these expressions:<\/p>\n<p>\\[<br \/>\n3\\cdot \\frac{x^3}{3}+2\\cdot \\frac{x^2}{2}+C.<br \/>\n\\]<\/p>\n<p>After simplifying, we get<\/p>\n<p>\\[<br \/>\nx^3+x^2+C.<br \/>\n\\]<\/p>\n<p>Thus,<\/p>\n<p>\\[<br \/>\n\\int (3\\cdot x^2+2\\cdot x)\\,dx=x^3+x^2+C.<br \/>\n\\]<\/p>\n<h3 class=\"example\">Example 3. Find the indefinite integral<br \/>\n\\[<br \/>\n\\int (5\\cdot x^4-6\\cdot x^2)\\,dx.<br \/>\n\\]<\/h3>\n<p>Here, we have the difference of two functions. Therefore, we first split the integral into two integrals:<\/p>\n<p>\\[<br \/>\n\\int (5\\cdot x^4-6\\cdot x^2)\\,dx<br \/>\n=<br \/>\n\\int 5\\cdot x^4\\,dx-\\int 6\\cdot x^2\\,dx.<br \/>\n\\]<\/p>\n<p>Next, take the constant factors outside the integral signs:<\/p>\n<p>\\[<br \/>\n\\int 5\\cdot x^4\\,dx-\\int 6\\cdot x^2\\,dx<br \/>\n=<br \/>\n5\\cdot \\int x^4\\,dx-6\\cdot \\int x^2\\,dx.<br \/>\n\\]<\/p>\n<p>Now find the antiderivatives of the power functions:<\/p>\n<p>\\[<br \/>\n\\int x^4\\,dx=\\frac{x^5}{5},\\qquad \\int x^2\\,dx=\\frac{x^3}{3}.<br \/>\n\\]<\/p>\n<p>Substitute them:<\/p>\n<p>\\[<br \/>\n5\\cdot \\frac{x^5}{5}-6\\cdot \\frac{x^3}{3}+C.<br \/>\n\\]<\/p>\n<p>Simplify each term:<\/p>\n<p>\\[<br \/>\n5\\cdot \\frac{x^5}{5}=x^5,\\qquad 6\\cdot \\frac{x^3}{3}=2\\cdot x^3.<br \/>\n\\]<\/p>\n<p>Therefore,<\/p>\n<p>\\[<br \/>\n\\int (5\\cdot x^4-6\\cdot x^2)\\,dx=x^5-2\\cdot x^3+C.<br \/>\n\\]<\/p>\n<h3 class=\"example\">Example 4. Find the indefinite integral<br \/>\n\\[<br \/>\n\\int (2\\cdot \\cos(x)+3\\cdot \\sin(x))\\,dx.<br \/>\n\\]<\/h3>\n<p>In this example, the integrand is the sum of trigonometric functions. Therefore, we first apply the sum rule:<\/p>\n<p>\\[<br \/>\n\\int (2\\cdot \\cos(x)+3\\cdot \\sin(x))\\,dx<br \/>\n=<br \/>\n\\int 2\\cdot \\cos(x)\\,dx+\\int 3\\cdot \\sin(x)\\,dx.<br \/>\n\\]<\/p>\n<p>Now take the constant factors outside the integrals:<\/p>\n<p>\\[<br \/>\n\\int 2\\cdot \\cos(x)\\,dx+\\int 3\\cdot \\sin(x)\\,dx<br \/>\n=<br \/>\n2\\cdot \\int \\cos(x)\\,dx+3\\cdot \\int \\sin(x)\\,dx.<br \/>\n\\]<\/p>\n<p>Recall the basic antiderivatives:<\/p>\n<p>\\[<br \/>\n\\int \\cos(x)\\,dx=\\sin(x),\\qquad \\int \\sin(x)\\,dx=-\\cos(x).<br \/>\n\\]<\/p>\n<p>Substitute these expressions:<\/p>\n<p>\\[<br \/>\n2\\cdot \\sin(x)+3\\cdot (-\\cos(x))+C.<br \/>\n\\]<\/p>\n<p>Thus,<\/p>\n<p>\\[<br \/>\n\\int (2\\cdot \\cos(x)+3\\cdot \\sin(x))\\,dx<br \/>\n=<br \/>\n2\\cdot \\sin(x)-3\\cdot \\cos(x)+C.<br \/>\n\\]<\/p>\n<h3 class=\"example\">Example 5. Find the indefinite integral<br \/>\n\\[<br \/>\n\\int (x^3-4\\cdot x+7)\\,dx.<br \/>\n\\]<\/h3>\n<p>The integrand consists of three terms. Therefore, we use the sum and difference rules:<\/p>\n<p>\\[<br \/>\n\\int (x^3-4\\cdot x+7)\\,dx<br \/>\n=<br \/>\n\\int x^3\\,dx-\\int 4\\cdot x\\,dx+\\int 7\\,dx.<br \/>\n\\]<\/p>\n<p>In the second integral, take the constant factor \\( 4 \\) outside:<\/p>\n<p>\\[<br \/>\n\\int x^3\\,dx-\\int 4\\cdot x\\,dx+\\int 7\\,dx<br \/>\n=<br \/>\n\\int x^3\\,dx-4\\cdot \\int x\\,dx+\\int 7\\,dx.<br \/>\n\\]<\/p>\n<p>Now find each antiderivative separately:<\/p>\n<p>\\[<br \/>\n\\int x^3\\,dx=\\frac{x^4}{4},\\qquad \\int x\\,dx=\\frac{x^2}{2},\\qquad \\int 7\\,dx=7\\cdot x.<br \/>\n\\]<\/p>\n<p>Substitute them:<\/p>\n<p>\\[<br \/>\n\\frac{x^4}{4}-4\\cdot \\frac{x^2}{2}+7\\cdot x+C.<br \/>\n\\]<\/p>\n<p>Simplify the middle term:<\/p>\n<p>\\[<br \/>\n4\\cdot \\frac{x^2}{2}=2\\cdot x^2.<br \/>\n\\]<\/p>\n<p>Thus,<\/p>\n<p>\\[<br \/>\n\\int (x^3-4\\cdot x+7)\\,dx<br \/>\n=<br \/>\n\\frac{x^4}{4}-2\\cdot x^2+7\\cdot x+C.<br \/>\n\\]<\/p>\n<blockquote><p>In each example, we followed the same sequence of steps. First, we applied the properties of the indefinite integral. Then, we found the antiderivatives of simpler functions. Finally, we added the arbitrary constant \\( C \\). Following this sequence helps avoid confusion during calculations.<\/p><\/blockquote>\n<h2>Further Steps in Integration: Topics to Explore<\/h2>\n<p>After learning about the indefinite integral, it is best to move forward gradually. The following topics will help you work with different types of integrals and understand which method to choose for a particular problem.<\/p>\n<ol>\n<li><a title=\"Table of integrals\" href=\"https:\/\/www.mathros.net.ua\/en\/\">Table of Integrals: Basic Integration Formulas<\/a> \u2014 This article will cover the basic integrals most commonly used when solving problems.<\/li>\n<li><a title=\"Integration by substitution\" href=\"https:\/\/www.mathros.net.ua\/en\/\">Integration by Substitution: How the Method Works<\/a> \u2014 This article will explain how achange of variable helps simplify the integrand.<\/li>\n<li><a title=\"Integration by parts\" href=\"https:\/\/www.mathros.net.ua\/en\/\">Integration by Parts: Formula and Step-by-Step Examples<\/a> \u2014 This article will examine a method that is especially useful for products of functions.<\/li>\n<\/ol>\n<h2>Indefinite Integral in Code: Turn the Algorithm into a Program<\/h2>\n<p>If you enjoy programming, try using your knowledge of the indefinite integral not only in a notebook but also in your own code. The flowchart below shows an algorithm that accepts the coefficients of a polynomial, finds an antiderivative for each term, and produces the final answer as a complete expression.<\/p>\n<p>Implement this algorithm in <em>Pascal<\/em>, <a title=\"What is Python\" href=\"https:\/\/www.mathros.net.ua\/en\/what-is-python.html\"><em>Python<\/em><\/a>, <em>C++<\/em>, <em>JavaScript<\/em>, or any other programming language you would like to work with. This task is a great way to combine the mathematical rule of integration with loops, conditions, arrays, and string processing.<\/p>\n<p><img fetchpriority=\"high\" decoding=\"async\" class=\"size-full wp-image-4114 aligncenter\" src=\"https:\/\/www.mathros.net.ua\/en\/wp-content\/uploads\/2026\/07\/indefinite-integral1.jpg\" alt=\"Flowchart of an algorithm for a program that calculates the indefinite integral of a polynomial from the entered coefficients\" width=\"765\" height=\"829\" srcset=\"https:\/\/www.mathros.net.ua\/en\/wp-content\/uploads\/2026\/07\/indefinite-integral1.jpg 765w, https:\/\/www.mathros.net.ua\/en\/wp-content\/uploads\/2026\/07\/indefinite-integral1-277x300.jpg 277w\" sizes=\"(max-width: 765px) 100vw, 765px\" \/><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The indefinite integral is one of the fundamental topics in calculus. It is closely related to the derivative, but it<\/p>\n","protected":false},"author":1,"featured_media":4116,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"template-centered.php","format":"standard","meta":{"footnotes":""},"categories":[562],"tags":[564,539,563,565,566],"class_list":["post-4093","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-integral-calculus","tag-antiderivative","tag-calculus","tag-indefinite-integral","tag-integral-properties","tag-integration-examples"],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/www.mathros.net.ua\/en\/wp-json\/wp\/v2\/posts\/4093","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.mathros.net.ua\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.mathros.net.ua\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.mathros.net.ua\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.mathros.net.ua\/en\/wp-json\/wp\/v2\/comments?post=4093"}],"version-history":[{"count":20,"href":"https:\/\/www.mathros.net.ua\/en\/wp-json\/wp\/v2\/posts\/4093\/revisions"}],"predecessor-version":[{"id":4115,"href":"https:\/\/www.mathros.net.ua\/en\/wp-json\/wp\/v2\/posts\/4093\/revisions\/4115"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.mathros.net.ua\/en\/wp-json\/wp\/v2\/media\/4116"}],"wp:attachment":[{"href":"https:\/\/www.mathros.net.ua\/en\/wp-json\/wp\/v2\/media?parent=4093"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.mathros.net.ua\/en\/wp-json\/wp\/v2\/categories?post=4093"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.mathros.net.ua\/en\/wp-json\/wp\/v2\/tags?post=4093"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}