End behaviour of rational and radical functions: divide through by the highest power. 62 problems with worked solutions; in 61 of them every
equation is proved by a computer algebra system.
20 worked problems
Try each one before opening the solution. Every line is labeled with what checked it; 20 of these also have a second solution, written separately and checked the same way. How we verify
Evaluate \( \displaystyle \lim_{x \to \infty} \frac{4 \left(2 x - 1\right)^{2} - 1}{2 x + 2 \left(2 x - 1\right)^{2} - 1} \).
\[ \lim_{x \to \infty}\left(\frac{4 \left(2 x - 1\right)^{2} - 1}{2 x + 2 \left(2 x - 1\right)^{2} - 1}\right) \]
limitStarting with the original limit expression.✓ Proved
\[ = \lim_{x \to \infty}\left(\frac{16 x^{2} - 16 x + 3}{8 x^{2} - 6 x + 1}\right) \]
algebraalgebrasimplifyExpand the squared term (2x - 1)^2. Distribute the constants into the parentheses. Combine like terms in the numerator and denominator.✓ Proved
\[ = \lim_{x \to \infty}\left(\frac{16 x^{2}}{8 x^{2} - 6 x + 1} - \frac{16 x}{8 x^{2} - 6 x + 1} + \frac{3}{8 x^{2} - 6 x + 1}\right) \]
limit-lawSplit the limit into three separate parts using limit laws.✓ Proved
simplifyDivide numerator and denominator by x**2✓ Proved
\[ = 2 \]
limitAs x→∞ the terms with 1/x vanish, giving 16/8 = 2✓ 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
algebraDivide numerator and denominator by x**2.✓ Proved
\[ = 3 \]
limitAs x→∞, terms with 1/x vanish.✓ 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
rewriteDivide numerator and denominator by x**2.✓ Proved
\[ = 2 \]
limit✓ 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
Evaluate \( \displaystyle \lim_{x \to \infty} \frac{4 \left(3 x + 1\right)^{2} - 1}{3 x + 2 \left(3 x + 1\right)^{2} + 1} \).
\[ \lim_{x \to \infty}\left(\frac{4 \left(3 x + 1\right)^{2} - 1}{3 x + 2 \left(3 x + 1\right)^{2} + 1}\right) \]
limitStart with the limit of the given function.✓ Proved
\[ = \lim_{x \to \infty}\left(\frac{4 \left(3 x + 1\right)^{2} - 1}{3 x + 2 \left(3 x + 1\right)^{2} + 2}\right) \]
algebraRearrange the denominator terms.✓ Proved
\[ = \lim_{x \to \infty}\left(\frac{36 x^{2} + 24 x + 3}{18 x^{2} + 15 x + 4}\right) \]
simplifyalgebrasimplifyExpand the squared binomial term. Distribute the constants into the parentheses. Combine like terms in the numerator and denominator.✓ Proved
rewriteDivide numerator and denominator by x✓ Proved
\[ = 2 \]
limitEvaluate the limit as x→∞✓ 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
algebrasimplifyDivide both the numerator and the denominator by the highest power of x, which is x**3. Simplify the fractions within the limit.✓ Proved
limitlimitSecond term tends to 0 Evaluate remaining limit✓ Proved
\[ = \frac{1}{2} \]
limitlimit5/(3*x-1)^3 → 0 Final value✓ 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
algebrasimplifyDivide both numerator and denominator by the highest power of x, which is x**3. Simplify the fractions by dividing each term by its power of x.✓ Proved
\[ = \lim_{x \to \infty} \frac{1}{2} \]
limit-lawApply the limit laws as terms with 1/x^n approach zero.✓ Proved
\[ = \frac{1}{2} \]
simplifyReduce the fraction to its simplest form.✓ Proved
Answer \( \frac{1}{2} \)
The graph of f(x) = (-3x + (3x + 1)³ - 1)/(2(3x + 1)³ + 5). A point runs right along the curve; its height settles toward 1/2.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \lim_{x \to \infty}\left(\frac{- 3 x + \left(3 x + 1\right)^{3} - 1}{2 \left(3 x + 1\right)^{3} + 5}\right) \]
limit-lawSeparate the limit of a quotient into two limits.✓ Proved
\[ = \frac{1}{2} \]
limitsimplifyEvaluate each limit: numerator → 27, denominator → 54.✓ 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
rewritelimit-lawDivide the numerator and denominator by x (noting x > 0 as x approaches infinity). Apply the limit law for the quotient of two functions.✓ Proved
factorcancelFactor x**2 out of the sqrt. Cancel the common factor x.✓ Proved
\[ = 1 \]
limitsimplifyAs x→∞, the terms with 1/x vanish. Compute the numeric value.✓ 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
limit-lawApply the quotient rule for limits.✓ Proved
\[ = 1 \]
limitsimplifyEvaluate each limit separately. Simplify the fraction to get the final value.✓ 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
algebraDivide numerator and denominator by (x-1)**2✓ Proved
\[ = 3 \]
limitAs x→∞, 1/(x-1)**2 → 0, so the expression tends to 3✓ 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
limit-lawApply the quotient rule for limits.✓ Proved
\[ = 1 \]
limitsimplifysimplifyEvaluate the limit of each part as x approaches infinity, noting that terms with 1/x vanish. Simplify the square root. Final evaluation.✓ Proved
Answer \( 1 \)
The graph of f(x) = (2x + 2)/sqrt((2x + 1)² + 4). A point runs right along the curve; its height settles toward 1.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \lim_{x \to \infty}\left(\frac{2 x + 2}{\sqrt{\left(2 x + 1\right)^{2} + 4}}\right) \]
limitfactorFactor out the constant 2 from the numerator.✓ Proved
limitAs x→∞, 1/x→0, so the expression tends to 2*1/√(2²+0)=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
rewritealgebrasimplifyFactor out x^2 from the numerator and x from the denominator. Distribute the square root over the product in the numerator. Simplify the square root of x squared.✓ Proved
simplifycancelsqrt((x - 1)**2) = |x - 1|, and for x → ∞, |x - 1| = x - 1. Cancel (x - 1) in numerator and denominator.✓ Proved
\[ = 1 \]
limitAs x → ∞, 1/(x - 1)**2 → 0, so sqrt(1 + 0) = 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
algebrasimplifyTake x out of the square root, noting that x is positive as x approaches infinity. Cancel the common factor of x in the numerator and denominator.✓ Proved
\[ = \lim_{x \to \infty} 1 \]
limit-lawApply the limit to each term inside the expression.✓ Proved
\[ = 1 \]
limitEvaluate the final expression.✓ Proved
Answer \( 1 \)
The graph of f(x) = x/sqrt((x - 1)² + 4). A point runs right along the curve; its height settles toward 1.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
limit-lawApply limit to the inner expression.✓ Proved
\[ = 1 \]
limitsimplifyCompute the inner limit: 1 - 0 + 0 = 1. sqrt(1) = 1, so the limit is 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
algebraDivided numerator and denominator by x**3.✓ Proved
\[ = \frac{1}{2} \]
limitAs x→∞, terms with 1/x vanish.✓ 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
limitthe expression behaves like 1/x as x→∞, so the limit is 0✓ 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
algebraDivide numerator and denominator by (x+1)**2✓ Proved
\[ = 3 \]
limitAs x→∞, 1/(x+1)**2 and 4/(x+1)**2 go to 0✓ 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
\[ = \lim_{y \to 0^+}\left(\frac{16}{2 y + 8}\right) \]
substitutionLet y = 1/x, so x -> oo corresponds to y -> 0✓ Proved
\[ = 2 \]
limitlimitEvaluate the limit as y -> 0 Simplify the fraction✓ 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
algebraFactor out x from numerator and denominator✓ Proved
\[ = \frac{5}{3} \]
limitAs x→∞, 7/x→0 and 4/x→0, so the fraction tends to 15/9 = 5/3✓ 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
factorcancelFactor out x**3 from numerator and denominator. Cancel the common factor x**3.✓ Proved
\[ = \frac{1}{2} \]
limitAs x→∞, the terms with 1/x vanish, giving 1/2.✓ 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
simplifyCancel the common factor 15*x/9*x.✓ Proved
\[ = \frac{5}{3} \]
limit-lawlimitEvaluate the limits of the small terms as x -> oo. Final value of the limit.✓ 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