This articleneeds additional citations forverification. Please helpimprove this article byadding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Constant of integration" – news ·newspapers ·books ·scholar ·JSTOR(August 2020) (Learn how and when to remove this message)

Incalculus, theconstant of integration, often denoted by${\displaystyle C}$ (or${\displaystyle c}$), is aconstant term added to anantiderivative of a function${\displaystyle f(x)}$ to indicate that theindefinite integral of${\displaystyle f(x)}$ (i.e., theset of all antiderivatives of${\displaystyle f(x)}$), on aconnected domain, is only definedup to an additive constant.^[1][2][3] This constant expresses an ambiguity inherent in the construction of antiderivatives.

More specifically, if a function${\displaystyle f(x)}$ is defined on aninterval, and${\displaystyle F(x)}$ is an antiderivative of${\displaystyle f(x),}$ then the set ofall antiderivatives of${\displaystyle f(x)}$ is given by the functions${\displaystyle F(x)+C,}$ where${\displaystyle C}$ is an arbitrary constant (meaning thatany value of${\displaystyle C}$ would make${\displaystyle F(x)+C}$ a valid antiderivative). For that reason, the indefinite integral is often written as$\int f(x)dx=F(x)+C,$^[4] although the constant of integration might be sometimes omitted inlists of integrals for simplicity.

Thederivative of any constant function is zero. Once one has found one antiderivative${\displaystyle F(x)}$ for a function${\displaystyle f(x),}$ adding or subtracting any constant${\displaystyle C}$ will give us another antiderivative, because${\displaystyle \frac{d}{dx}(F(x)+C)=\frac{d}{dx}F(x)+\frac{d}{dx}C=F^{\prime }(x)=f(x).}$ The constant is a way of expressing that every function with at least one antiderivative will have an infinite number of them.

Let${\displaystyle F:\mathbb{R}\to \mathbb{R}}$ and${\displaystyle G:\mathbb{R}\to \mathbb{R}}$ be two everywhere differentiable functions. Suppose that${\displaystyle F{}^{\prime }(x)=G{}^{\prime }(x)}$ for every real numberx. Then there exists a real number${\displaystyle C}$ such that${\displaystyle F(x)-G(x)=C}$ for every real numberx.

To prove this, notice that${\displaystyle [F(x)-G(x){]}^{\prime }=0.}$ So${\displaystyle F}$ can be replaced by${\displaystyle F-G,}$ and${\displaystyle G}$ by the constant function${\displaystyle 0,}$ making the goal to prove that an everywhere differentiable function whose derivative is always zero must be constant:

Choose a real number${\displaystyle a,}$ and let${\displaystyle C=F(a).}$ For anyx, thefundamental theorem of calculus, together with the assumption that the derivative of${\displaystyle F}$ vanishes, implying that

thereby showing that${\displaystyle F}$ is a constant function.

Two facts are crucial in this proof. First, the real line isconnected. If the real line were not connected, one would not always be able to integrate from our fixeda to any givenx. For example, if one were to ask for functions defined on the union of intervals [0,1] and [2,3], and ifa were 0, then it would not be possible to integrate from 0 to 3, because the function is not defined between 1 and 2. Here, there will betwo constants, one for eachconnected component of thedomain. In general, by replacing constants withlocally constant functions, one can extend this theorem to disconnected domains. For example, there are two constants of integration for$\int dx/x$, and infinitely many for$\int \tan xdx$, so for example, the general form for the integral of 1/x is:^[5][6]

Second,${\displaystyle F}$ and${\displaystyle G}$ were assumed to be everywhere differentiable. If${\displaystyle F}$ and${\displaystyle G}$ are not differentiable at even one point, then the theorem might fail. As an example, let${\displaystyle F(x)}$ be theHeaviside step function, which is zero for negative values ofx and one for non-negative values ofx, and let${\displaystyle G(x)=0.}$ Then the derivative of${\displaystyle F}$ is zero where it is defined, and the derivative of${\displaystyle G}$ is always zero. Yet it's clear that${\displaystyle F}$ and${\displaystyle G}$ do not differ by a constant, even if it is assumed that${\displaystyle F}$ and${\displaystyle G}$ are everywhere continuous andalmost everywhere differentiable the theorem still fails. As an example, take${\displaystyle F}$ to be theCantor function and again let${\displaystyle G=0.}$

It turns out that adding and subtracting constants is the only flexibility available in finding different antiderivatives of the same function. That is, all antiderivatives are the same up to a constant. To express this fact for${\displaystyle \cos (x),}$ one can write:$${\displaystyle \int \cos (x)dx=\sin (x)+C,}$$where${\displaystyle C}$ isconstant of integration. It is easily determined that all of the following functions are antiderivatives of${\displaystyle \cos (x)}$:

The inclusion of the constant of integration is necessitated in some, but not all circumstances. For instance, when evaluatingdefinite integrals using thefundamental theorem of calculus, the constant of integration can be ignored as it will always cancel with itself.

However, different methods of computation of indefinite integrals can result in multiple resulting antiderivatives, each implicitly containing different constants of integration, and no particular option may be considered simplest. For example,${\displaystyle 2\sin (x)\cos (x)}$ can be integrated in at least three different ways.

Additionally, omission of the constant, or setting it to zero, may make it prohibitive to deal with a number of problems, such as those withinitial value conditions. A general solution containing the arbitrary constant is often necessary to identify the correct particular solution. For example, to obtain the antiderivative of${\displaystyle \cos (x)}$ that has the value 400 atx = π, then only one value of${\displaystyle C}$ will work (in this case${\displaystyle C=400}$).

The constant of integration also implicitly or explicitly appears in the language ofdifferential equations. Almost all differential equations will have many solutions, and each constant represents the unique solution of a well-posed initial value problem.

An additional justification comes fromabstract algebra. The space of all (suitable) real-valued functions on thereal numbers is avector space, and thedifferential operator$\frac{d}{dx}$ is alinear operator. The operator$\frac{d}{dx}$ maps a function to zero if and only if that function is constant. Consequently, thekernel of$\frac{d}{dx}$ is the space of all constant functions. The process of indefinite integration amounts to finding a pre-image of a given function. There is no canonical pre-image for a given function, but the set of all such pre-images forms acoset. Choosing a constant is the same as choosing an element of the coset. In this context, solving aninitial value problem is interpreted as lying in thehyperplane given by theinitial conditions.

• Integral calculus

• Articles with short description
• Short description is different from Wikidata
• Articles needing additional references from August 2020
• All articles needing additional references