Split a rational function into simple pieces, then integrate each. 59 problems with worked solutions; in 31 of them every
equation is proved by a computer algebra system.
19 worked problems
Try each one before opening the solution. Every line is labeled with what checked it; 19 of these also have a second solution, written separately and checked the same way. How we verify
Top: the graph of F = 2log(x)/3 - log(x + 1)/3. A tangent line slides along it, and its slope is plotted below as it goes, tracing f = (3x + 6)/(3x + (3x + 1)² - 1).
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \int \frac{3 x + 6}{3 x + \left(3 x + 1\right)^{2} - 1}\, dx \]
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Top: the graph of F = -log(x)/4 + 3log(x + 1)/4. A tangent line slides along it, and its slope is plotted below as it goes, tracing f = (2x - 1)/(2x·(2x + 2)).
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \int \frac{2 x - 1}{2 x \left(2 x + 2\right)}\, dx \]
integral✓ Proved
\[ = \int \frac{2 x - 1}{4 x \left(x + 1\right)}\, dx \]
simplifyCombine constants in the denominator.✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Top: the graph of F = 2log(x) - log(x + 3). A tangent line slides along it, and its slope is plotted below as it goes, tracing f = (x + 6)/(x + (x + 1)² - 1).
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Answer \( x + 2 \ln{\left(x - 2 \right)} - \ln{\left(x - 1 \right)} + C \)
Top: the graph of F = x + 2log(x - 2) - log(x - 1). A tangent line slides along it, and its slope is plotted below as it goes, tracing f = ((x - 1)² + 1)/((x - 2)·(x - 1)).
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Top: the graph of F = 3log(x)/4 + log(x + 1)/4. A tangent line slides along it, and its slope is plotted below as it goes, tracing f = (4x + 3)/((2x + 1)² - 1).
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \int \frac{4 x + 3}{\left(2 x + 1\right)^{2} - 1}\, dx \]
integral✓ Proved
\[ = \int \frac{4 x + 3}{4 x \left(x + 1\right)}\, dx \]
rewriteRewrite the denominator as 4*x*(x+1).✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Top: the graph of F = 2log(x) + log(x + 1). A tangent line slides along it, and its slope is plotted below as it goes, tracing f = (3x + 2)/(-x + (x + 1)² - 1).
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \int \frac{3 x + 2}{- x + \left(x + 1\right)^{2} - 1}\, dx \]
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Answer \( x + 2 \ln{\left(x \right)} - \ln{\left(x + 1 \right)} + C \)
Top: the graph of F = x + 2log(x) - log(x + 1). A tangent line slides along it, and its slope is plotted below as it goes, tracing f = ((x + 1)² + 1)/(x·(x + 1)).
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Top: the graph of F = -log(x + 1)/2 + 3log(x + 3)/2. A tangent line slides along it, and its slope is plotted below as it goes, tracing f = x/((x + 1)·(x + 3)).
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Top: the graph of F = 2log(x - 2) + log(x - 1). A tangent line slides along it, and its slope is plotted below as it goes, tracing f = (3x - 4)/(-x + (x - 1)² + 1).
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \int \frac{3 x - 4}{- x + \left(x - 1\right)^{2} + 1}\, dx \]
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Top: the graph of F = log(x)/2 + 3log(x - 2)/2. A tangent line slides along it, and its slope is plotted below as it goes, tracing f = (2x - 1)/((x - 1)² - 1).
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
antiderivativesimplifyIntegrate 1/x and 1/(x+1). Combine the terms.✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Top: the graph of F = log(x)/4 + 3log(x - 1)/4. A tangent line slides along it, and its slope is plotted below as it goes, tracing f = (4x - 1)/((2x - 1)² - 1).
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \int \frac{4 x - 1}{\left(2 x - 1\right)^{2} - 1}\, dx \]
integral✓ Proved
\[ = \int \frac{4 x - 1}{4 x \left(x - 1\right)}\, dx \]
rewriteRewrite the denominator (2*x - 1)**2 - 1 as 4*x*(x - 1).✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Top: the graph of F = -log(x + 1)/4 + 3log(x + 2)/4. A tangent line slides along it, and its slope is plotted below as it goes, tracing f = (2x + 1)/((2x + 2)·(2x + 4)).
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \int \frac{2 x + 1}{\left(2 x + 2\right) \left(2 x + 4\right)}\, dx \]
integral✓ Proved
\[ = \int \left(\frac{3}{4 x + 8} - \frac{1}{4 x + 4}\right)\, dx \]
partial-fractions✓ Proved
\[ = \int \left(- \frac{1}{4 x + 4}\right)\, dx + \int \frac{3}{4 x + 8}\, dx \]
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Top: the graph of F = log(x - 1)/4 - log(x + 3)/4. A tangent line slides along it, and its slope is plotted below as it goes, tracing f = 1/((x + 1)² - 4).
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Top: the graph of F = log(x - 2)/3 - log(x + 1)/3. A tangent line slides along it, and its slope is plotted below as it goes, tracing f = 1/((x - 2)·(x + 1)).
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
antiderivativeIntegrate each term: ∫1/(x-2)dx = log(x-2), ∫1/(x+1)dx = log(x+1)✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify