What Is Integration Of Irrational Functions?
Integration of irrational functions is the set of methods for finding antiderivatives of algebraic functions that contain a root, such as , or . A function is called irrational here when it cannot be written as a ratio of two polynomials, because a variable sits under a radical or carries a fractional power. The standard strategy, called rationalisation, picks a substitution that turns the integrand into a rational function of a new variable.
A question that keeps appearing on homework help sites reads: "Explain the integration of irrational algebraic functions." The short answer is the rationalisation idea above. In symbols, most school and first-year problems have the shape
where:
is a rational function of its two arguments (built from them using only addition, subtraction, multiplication and division),
are real constants, with in the first form so the fraction is not a constant,
is a whole number, the index of the root.
The square root is by far the most common radical, so most of this page deals with it. Every answer below is an indefinite integral and carries a constant of integration .
How Do You Choose The Right Method For An Irrational Integral?
Pick the method from the radical, not from the outside of the expression. A Quora question asks, "What is the process for simplifying an integral with a square root?" The process is to read what sits under the root, then match it to a row of the table below, which is the decision guide used throughout this page.
What the integrand contains | Method | What the root becomes |
|---|---|---|
only | Substitute | A power of |
Several roots of , such as and | Substitute , = LCM of the indices | Whole powers of |
Substitute | A rational function of | |
times a power of | Plain substitution | A power of |
, , | Trigonometric or hyperbolic substitution | A single trig or hyperbolic function |
or | Split using the derivative of the quadratic | Two standard forms |
Substitute | A standard form in | |
Any | Euler substitution | A rational function of |
How Do You Integrate Roots Of Linear Expressions?
When the only radical is , make the whole radical the new variable. Set
Every in the integrand becomes a polynomial in , the root becomes , and the integral turns into a rational integral. This is integration by substitution with one extra habit: write in terms of before touching anything else. Actually, the habit starts one line earlier: solve for first, because comes straight from differentiating that expression.
Two variations come up often.
Several roots of the same expression. For and together, use , since 6 is the least common multiple of 2 and 3. Then and , both whole powers.
A root of a fraction. For , set and solve for . The result is a rational function of , and so is .
If the new integrand is a rational function with a higher-degree numerator, divide first, then use integration by partial fractions on what remains. Example 3 below runs this full chain.
When Is Plain Substitution Enough?
Plain substitution is enough whenever the derivative of the expression under the root already sits outside it. For instance, has (up to a factor) next to , so gives .
Check for this pattern before reaching for anything heavier. A Brainly question asks for trigonometric substitution on , yet (with ) is shorter and gives .
The pattern also explains a Quora question: "Why can't we solve the integral of the square root of x2+1 using the fundamental theorem of calculus? Why can't I use the substitution method?" In there is no outside the root to cancel the from , so stalls. The fundamental theorem still applies once an antiderivative is known; finding that antiderivative needs or , which gives the row of the standard table.
How Does Trigonometric Substitution Handle The Three Square Root Forms?
The three pure quadratic radicals each match a Pythagorean identity, and the matching substitution removes the root completely. The full method, reference triangles and back-substitution are worked through on the trigonometric substitution page, so here is only the map:
Radical (with ) | Substitution | Identity used | Root becomes |
|---|---|---|---|
(for ) |
There is a second route that many textbooks skip. Hyperbolic functions satisfy , so handles and handles . That route explains why the answers for those two radicals contain a natural logarithm rather than an inverse trig function: .
What Are The Standard Forms Of Irrational Integrals?
Six results cover most problems once the quadratic has been reduced to one of the three pure forms. Here , and each result holds on the interval where its root is real.
Integral | Result | Valid for |
|---|---|---|
all real | ||
all real | ||
Each row can be checked by differentiating. For the first row, the derivatives of inverse trigonometric functions give directly. The absolute value in the rows matters: for , the quantity is negative, and the logarithm needs its absolute value.
How Do You Integrate A Linear Expression Over The Square Root Of A Quadratic?
Write the linear numerator as a multiple of the quadratic's derivative plus a constant, then split. Question pages titled "Integral of polynomial/sqrt(quadratic) or " are among the most searched shapes in this topic.
The method has three steps.
Match the derivative. Find and with . Comparing coefficients gives and .
Split the integral. The first piece has the form , which integrates to . The second piece is .
Complete the square in the second piece and read off a standard form.
Put together,
The last integral needs completing the square: becomes , and one of the standard forms in the table above finishes the job.
What If The Square Root Is In The Numerator?
A Quora thread asks, "How do I find the integral of type (px+q)(ax²+bx+c)^(1/2) dx?" The same split works. With ,
and the last integral, after completing the square, is one of the three rows of the standard table.
What About One Over A Linear Factor Times A Square Root?
A homework question that turns up often asks for . The move here is the reciprocal substitution . It turns the linear factor into a power of and leaves a single square root of a quadratic in .
For example, with and , the integral becomes , so the answer is . The restriction matters: it keeps , which the simplification needs.
What Are Euler Substitutions And When Do You Use Them?
Euler substitutions turn any integral of the form into the integral of a rational function. They are the general tool. Trigonometric substitution is faster for pure forms, but Euler substitutions work even when nothing else fits.
The three substitutions, with :
First substitution, when : set (or ). Squaring cancels the terms, so comes out as a rational function of .
Second substitution, when : set (or ). Squaring cancels the constant, and dividing by leaves rational in .
Third substitution, when the quadratic has real roots and : set . Squaring and dividing by leaves a linear equation in .
A Physics Forums thread titled "Integration using Euler Substitution" asks for "a derivation or justification of Euler's substitution formulas", and in particular "when to use t+x as opposed to t−x." The justification is geometric. The equation is a conic. Any line through a known point of that conic meets it in exactly one more point, and the coordinates of that second point are rational functions of the line's slope. Each Euler substitution is one choice of known point:
The first substitution uses a "point at infinity" in the direction of the asymptote , which exists only when .
The second uses the point , which lies on the curve only when .
The third uses the point where the curve crosses the -axis.
So the plus or minus sign is a free choice. Both signs give valid rational substitutions. Pick the one that keeps the algebra shorter, which is usually the sign that makes the denominator of simpler. The sign rule took me a while to accept for exactly this reason: textbooks print one sign as if it were the rule, when it is only a convenience.
Which Irrational Integrals Have No Elementary Answer?
Not every irrational function has an antiderivative made of elementary functions, and no substitution will change that. The cleanest test covers the binomial differential with rational . Its integral is elementary only when at least one of these is an integer:
Take . Here , , , so the three numbers are , and . None is an integer, so this integral is non-elementary (it is an elliptic integral).
A definite value still exists: , found numerically. Compare , where is an integer, and the substitution finishes it in one line.
Square roots of cubics and quartics are the usual source of these dead ends (computer algebra systems settle the general question with the Risch algorithm). Recognising them saves you from hunting for a substitution that does not exist.
Examples Of Integration Of Irrational Functions
Example 1
Find .
Let , so and :
Substitute back .
Final answer:
Example 2
Find .
The tempting move is to match the shape to the arcsin formula and write
Differentiate that answer to check it:
That is the derivative for , not . The guess also breaks for , where arcsin is undefined, even though is defined for every .
The sign inside the root decides the form. A sum of squares calls for or , and the standard table gives
Check: the derivative of is .
Final answer: , equivalently
Example 3
Find for .
The indices are 2 and 3, with LCM 6. Let , so , , and :
Divide the polynomials:
Integrate term by term:
Final answer:
Example 4
Find .
The derivative of is , so write :
The first integral is . For the second, complete the square:
Final answer:
Example 5
Find .
Complete the square with the negative leading coefficient handled first:
This is the form with and :
The result holds for , where the root is real.
Final answer:
Example 6
Use Euler's second substitution to find .
Here . Set and square:
Cancel the 1, divide by :
Then
Substitute and simplify:
Back-substitute :
Final answer:
Some tables print instead. The two answers differ by the constant , so both are correct. A Brainly question makes the same point about integrals in general: "The indefinite integral can be found in more than one way." Different methods may print different forms, and a constant difference is the test that they agree.
Why Do We Rationalise Instead Of Inventing New Rules?
"Trade the root for a fraction, then use what already works." That idea is the reason this topic exists, and it is economical. Integration has a complete method for rational functions: divide, then use partial fractions, and the answer is always built from polynomials, logarithms and arctangents. Rather than inventing a separate rulebook for every radical, mathematicians looked for substitutions that move a radical problem into that solved territory.
It reuses a finished theory. Once the integrand is rational, nothing new is needed. The hard thinking happens in choosing the substitution.
It tells you when to stop. If no substitution can rationalise the integrand, the binomial test above often proves that no elementary answer exists, which is useful knowledge in itself.
It feeds measurement. Arc length, surface area and many physics integrals produce square roots by their nature, so a reliable way to remove them was a practical need.
Leonhard Euler made this a systematic programme in his Institutiones calculi integralis (1768 to 1770), a two-volume work that investigated which integrals can be expressed in elementary functions. The substitutions that carry his name come from that tradition.
Where Is Integration Of Irrational Functions Used In Real Life?
Square roots enter real formulas whenever a distance or a length is involved, so these integrals turn up across applied work.
Arc length. The length of a curve is . For the parabola from 0 to 1, that is , a direct use of the form. The arc length of a curve page builds this formula.
Hanging cables and chains. The length of a cable that hangs in a catenary comes from a root of the form , which simplifies thanks to the hyperbolic identity.
Electric and gravitational fields. The field of a straight line charge or rod produces integrals like , a power of the radical.
Pendulums and orbits. Large-swing pendulum periods and orbit timing lead to square roots of cubics and quartics, which are the elliptic integrals catalogued by NIST in the Digital Library of Mathematical Functions. These are exactly the cases the binomial test flags as non-elementary.
Where Do Students Trip Up On Integration Of Irrational Functions?
Mistake 1: Forgetting To Convert The Differential
Where it slips in: The first line of a linear-root substitution such as .
Don't do this: Replace the root with and the terms with , but leave as . The factor disappears and every later step is wrong.
The correct way: Write the three-line block , , before substituting anything. The rusher skips this block, and that is precisely where the missing factor comes from.
Mistake 2: Choosing The Form From The Outline, Not The Sign
Where it slips in: Any integral, such as .
Don't do this: Reach for arcsin because the expression "looks like" .
The correct way: Read the sign between the squares first. The first instinct on is arcsin, and the only thing that should decide is whether is subtracted or added. Minus gives arcsin; plus gives a logarithm. The memoriser who learned the table as pictures rather than signs falls into this one most often.
Mistake 3: Completing The Square Wrongly With A Negative Leading Term
Where it slips in: Quadratics like or .
Don't do this: Write or any form where the sign of has flipped.
The correct way: Factor out the minus sign first: . Expand your answer once to check that it returns the original quadratic. Students who always expand back catch this error before it costs anything.
Mistake 4: Dropping The Absolute Value Or The Domain
Where it slips in: Answers with , or substitutions that use .
Don't do this: Write and then evaluate it at with , where the argument is negative.
The correct way: Keep the absolute value, and state the interval where each step is valid, as Example 5 and the reciprocal substitution above do.
Mistake 2 has a famous real-world cousin: judging a curve by its outline. In Two New Sciences (1638), Galileo wrote that a hanging chain is only approximately a parabola. Joachim Jungius proved it is not a parabola at all (published in 1669), and the exact curve, the catenary, was derived in 1691 by Leibniz, Huygens and Johann Bernoulli. Two curves that look alike, like two radicals that look alike, can need completely different mathematics.
Practice Problems On Integration Of Irrational Functions
Find .
Answer to Question 1:Find for .
Answer to Question 2:Find .
Answer to Question 3:Find , where .
Answer to Question 4:Find .
Answer to Question 5:Find .
Answer to Question 6:
Key Takeaways
Integration of irrational functions works by choosing a substitution that turns the radical into a rational function, then integrating that.
A root of a linear expression becomes the new variable, and several roots of use the least common multiple of their indices.
Linear over a square root of a quadratic splits into a derivative piece and a completed-square standard form.
Euler substitutions rationalise any , and each one comes from a line through a known point of a conic.
The sign inside the root, not its outline, decides between arcsin and a logarithm.
Where To Go From Here
Work through practice problems 1 to 6 in order; if the conversion or the sign of the square trips you up, return to the section on roots of linear expressions or the standard forms table and rework Example 1 or Example 2 before trying again.
Book a free demo class to practise these substitutions with a live trainer.
Read More
Was this article helpful?
Your feedback helps us write better content
