Multiply by the conjugate to clear a square root that makes the expression 0/0. 45 problems with worked solutions; in 43 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
algebrasimplifycancelExpand the squared term in the numerator. Simplify the numerator. Cancel the common factor (3*x - 1)**2.✓ Proved
\[ = \frac{1}{6} \]
limitalgebrasimplifysimplifyEvaluate the limit by substituting x = 1/3. Simplify the expression inside the square root. Simplify the square root and the sum. Final result.✓ Proved
Answer \( \frac{1}{6} \)
The graph of f(x) = (sqrt((3x - 1)² + 9) - 3)/(3x - 1)². Two points slide along the curve toward x = 1/3, one from each side; their heights close in on 1/6.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \lim_{x \to \frac{1}{3}^+}\left(\frac{\sqrt{\left(3 x - 1\right)^{2} + 9} - 3}{\left(3 x - 1\right)^{2}}\right) \]
limit-lawalgebracancelUse sqrt(1+u) ≈ 1 + u/2 for small u. Simplify the numerator. Cancel t**2 in numerator and denominator.✓ Proved
\[ = \frac{1}{6} \]
limitThe limit evaluates to 1/6.✓ 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
algebrasimplifycancelExpand the squared term in the numerator. Subtract 9 from 9 in the numerator. Cancel the common factor (3*x + 1)**2 from the numerator and denominator.✓ Proved
\[ = \frac{1}{6} \]
substitutionalgebrasimplifysimplifySubstitute x = -1/3 into the expression. Simplify the term inside the parentheses. Evaluate the square root. Final numerical value.✓ Proved
Answer \( \frac{1}{6} \)
The graph of f(x) = (sqrt((3x + 1)² + 9) - 3)/(3x + 1)². Two points slide along the curve toward x = -1/3, one from each side; their heights close in on 1/6.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \lim_{x \to - \frac{1}{3}^+}\left(\frac{\sqrt{\left(3 x + 1\right)^{2} + 9} - 3}{\left(3 x + 1\right)^{2}}\right) \]
rationalizesimplifyMultiply numerator and denominator by the conjugate sqrt(t**2+9)+3. Cancel t**2 in numerator and denominator.✓ Proved
\[ = \frac{1}{6} \]
limitlimitEvaluate the limit by substituting t = 0. Simplify 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
limitEvaluate the remaining expression at x=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
simplifyalgebracancelSimplify the numerator using the difference of squares. Group the terms to prepare for cancellation. Cancel the common factor (3*x + 1).✓ Proved
\[ = \lim_{x \to - \frac{1}{3}^+} \frac{1}{4} \]
limitsimplifysimplifysimplifyEvaluate the limit by substituting x = -1/3. Simplify the expression inside the square root. Calculate the square root. Add the numbers in the denominator.✓ Proved
\[ = \frac{1}{4} \]
simplifyFinal result.✓ Proved
Answer \( \frac{1}{4} \)
The graph of f(x) = (sqrt(3x + 5) - 2)/(3x + 1). Two points slide along the curve toward x = -1/3, one from each side; their heights close in on 1/4.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \lim_{x \to - \frac{1}{3}^+}\left(\frac{\sqrt{3 x + 5} - 2}{3 x + 1}\right) \]
limitrationalizeMultiply numerator and denominator by the conjugate.✓ Proved
simplifysimplifycancelExpand the product in the numerator. Combine like terms in the numerator. Cancel the common factor (3*x + 1).✓ Proved
\[ = \frac{1}{4} \]
limitlimitEvaluate the remaining expression at x = -1/3. 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
algebracancelsimplifySimplify the numerator. Cancel the common factor (3*x - 8). Simplify the remaining expression.✓ Proved
\[ = \frac{1}{6} \]
limitalgebrasimplifysimplifysimplifyEvaluate the limit by substituting x = 8/3. Simplify the expression inside the square root. Calculate the square root. Simplify the denominator. Final result.✓ Proved
Answer \( \frac{1}{6} \)
The graph of f(x) = (sqrt(3x + 1) - 3)/(3x - 8). Two points slide along the curve toward x = 8/3, one from each side; their heights close in on 1/6.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \lim_{x \to \frac{8}{3}^+}\left(\frac{\sqrt{3 x + 1} - 3}{3 x - 8}\right) \]
limitrewriterationalizeWe want the limit as x approaches 8/3. Factor 3 from the denominator. Multiply numerator and denominator by the conjugate.✓ Proved
simplifysimplifycancelExpand the difference of squares. Combine like terms in the numerator. Cancel the common factor (3*x-8).✓ Proved
\[ = \frac{1}{6} \]
limitsimplifyEvaluate the remaining expression at x = 8/3. 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
simplifysimplifycancelExpand the numerator. Simplify the numerator. Cancel the common factor (3*x - 1).✓ Proved
\[ = \frac{1}{4} \]
limitsimplifysimplifysimplifysimplifyEvaluate the limit by substituting x = 1/3. Simplify the expression inside the square root. Calculate the square root. Simplify the denominator. Final result.✓ Proved
Answer \( \frac{1}{4} \)
The graph of f(x) = (sqrt(3x + 3) - 2)/(3x - 1). Two points slide along the curve toward x = 1/3, one from each side; their heights close in on 1/4.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \lim_{x \to \frac{1}{3}^+}\left(\frac{\sqrt{3 x + 3} - 2}{3 x - 1}\right) \]
limitrationalizeMultiply numerator and denominator by the conjugate.✓ Proved
algebraalgebracancelSimplify the numerator. Rewrite 3*x+3-4 as 3*x-1. Cancel the common factor (3*x-1).✓ Proved
\[ = \frac{1}{4} \]
limitsimplifyEvaluate the remaining expression at x = 1/3. 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
algebrasimplifycancelExpand the denominator using the difference of squares. Simplify the denominator. Cancel the common factor (2*x - 3).✓ Proved
\[ = 4 \]
limitalgebrasimplifysimplifysimplifyEvaluate the limit by substituting x = 3/2. Simplify the expression inside the square root. Calculate the square root. Evaluate the square root. Final result.✓ Proved
Answer \( 4 \)
The graph of f(x) = (2x - 3)/(sqrt(2x + 1) - 2). Two points slide along the curve toward x = 3/2, one from each side; their heights close in on 4.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \lim_{x \to \frac{3}{2}^+}\left(\frac{2 x - 3}{\sqrt{2 x + 1} - 2}\right) \]
rationalizecancelMultiply numerator and denominator by the conjugate. Cancel the common factor (2*x - 3).✓ Proved
\[ = 4 \]
limitEvaluate the remaining expression at x = 3/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
algebrasimplifycancelExpand the denominator using the difference of squares. Simplify the expression in the denominator. Cancel the common factor (2*x - 5) from the numerator and denominator.✓ Proved
\[ = 4 \]
limitalgebrasimplifysimplifysimplifyEvaluate the limit by substituting x = 5/2. Simplify the expression inside the square root. Calculate the value inside the square root. Take the square root. Final addition.✓ Proved
Answer \( 4 \)
The graph of f(x) = (2x - 5)/(sqrt(2x - 1) - 2). Two points slide along the curve toward x = 5/2, one from each side; their heights close in on 4.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \lim_{x \to \frac{5}{2}^+}\left(\frac{2 x - 5}{\sqrt{2 x - 1} - 2}\right) \]
limitrationalizeMultiply numerator and denominator by the conjugate.✓ Proved
simplifysimplifycancelExpand the product in the denominator. Combine like terms in the denominator. Cancel the common factor (2*x-5).✓ Proved
\[ = 4 \]
limitEvaluate the remaining expression at x = 5/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
Evaluate \( \displaystyle \lim_{x \to - \frac{1}{3}} \frac{\sqrt{3 x + 2} - 1}{3 x + 1} \).
\[ \lim_{x \to - \frac{1}{3}^+}\left(\frac{\sqrt{3 x + 2} - 1}{3 x + 1}\right) \]
limitalgebraEvaluate the limit at the point of the indeterminate form. Multiply the numerator and denominator by the conjugate of the numerator.✓ Proved
simplifycancelsimplifySimplify the numerator using the difference of squares. Cancel the common factor (3*x + 1) from the numerator and denominator. Simplify the remaining expression.✓ Proved
\[ = \frac{1}{2} \]
limitsimplifysimplifysimplifysimplifySubstitute the value x = -1/3 into the expression. Simplify the expression inside the square root. Evaluate the square root. Simplify the denominator. Final result.✓ Proved
Answer \( \frac{1}{2} \)
The graph of f(x) = (sqrt(3x + 2) - 1)/(3x + 1). Two points slide along the curve toward x = -1/3, one from each side; their heights close in on 1/2.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \lim_{x \to - \frac{1}{3}^+}\left(\frac{\sqrt{3 x + 2} - 1}{3 x + 1}\right) \]
limitrationalizeMultiply numerator and denominator by the conjugate.✓ Proved
simplifycancelsimplifyExpand the product in the numerator. Cancel the common factor (3*x + 1). Result after cancellation.✓ Proved
\[ = \frac{1}{2} \]
limitEvaluate the remaining expression at x = -1/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
limitlimitalgebrarewriteDefine the limit with the specified direction. Remove the direction specification for standard evaluation. Rewrite the numerator using the property sqrt(a)*sqrt(b) = sqrt(a*b). Multiply numerator and denominator by the conjugate.✓ Proved
algebrasimplifySimplify the numerator using the difference of squares. Cancel the common factor (2*x - 9).✓ Proved
\[ = \frac{1}{6} \]
limitsimplifysimplifyEvaluate the limit by substituting x = 9/2. Simplify the square root. Final calculation.✓ Proved
Answer \( \frac{1}{6} \)
The graph of f(x) = (sqrt(2)·sqrt(x) - 3)/(2x - 9). Two points slide along the curve toward x = 9/2, one from each side; their heights close in on 1/6.
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
algebrasimplifycancelExpand the numerator. Simplify the numerator. Cancel the common factor (x + 1)**2.✓ Proved
\[ = \lim_{x \to -1^+} \frac{1}{6} \]
substitutionSubstitute x = -1.✓ Proved
\[ = \frac{1}{6} \]
limitsimplifysimplifyEvaluate the limit. Simplify the square root. Final result.✓ Proved
Answer \( \frac{1}{6} \)
The graph of f(x) = (sqrt((x + 1)² + 9) - 3)/(x + 1)². Two points slide along the curve toward x = -1, one from each side; their heights close in on 1/6.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
simplifysimplifycancelExpand the product in the numerator. Combine terms in the numerator. Cancel the common factor (x+1)**2.✓ Proved
\[ = \frac{1}{6} \]
limitlimitEvaluate the remaining expression at x = -1. Simplify 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
simplifysimplifycancelSimplify the denominator using the difference of squares. Combine the constants in the denominator. Cancel the common factor (x - 5).✓ Proved
\[ = 4 \]
substitutionsimplifysimplifylimitSubstitute x = 5 into the expression. Simplify the expression inside the square root. Calculate the square root. Final result.✓ Proved
Answer \( 4 \)
The graph of f(x) = (x - 5)/(sqrt(x - 1) - 2). Two points slide along the curve toward x = 5, one from each side; their heights close in on 4.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
algebracancelSimplify the product in the denominator. Cancel the common factor (x - 5).✓ Proved
\[ = 4 \]
limitEvaluate the simplified expression at x = 5.✓ 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
algebrasimplifycancelExpand the numerator. Simplify the numerator by subtracting 9. Cancel the common factor (x - 1)**2.✓ Proved
\[ = \frac{1}{6} \]
limitalgebrasimplifysimplifyEvaluate the limit by substituting x = 1. Simplify the expression inside the square root. Take the square root. Final result.✓ Proved
Answer \( \frac{1}{6} \)
The graph of f(x) = (sqrt((x - 1)² + 9) - 3)/(x - 1)². Two points slide along the curve toward x = 1, one from each side; their heights close in on 1/6.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
rationalizecancelMultiply numerator and denominator by the conjugate. Cancel the common factor (x-1)**2.✓ Proved
\[ = \frac{1}{6} \]
limitEvaluate the remaining expression at 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
algebracancelsimplifySimplify the numerator. Cancel the common factor (3*x - 10). Simplify the remaining fraction.✓ Proved
\[ = \frac{1}{6} \]
substitutionsimplifysimplifysimplifySubstitute x = 10/3 into the expression. Simplify the expression inside the square root. Evaluate the square root. Final simplification.✓ Proved
Answer \( \frac{1}{6} \)
The graph of f(x) = (sqrt(3x - 1) - 3)/(3x - 10). Two points slide along the curve toward x = 10/3, one from each side; their heights close in on 1/6.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \lim_{x \to \frac{10}{3}^+}\left(\frac{\sqrt{3 x - 1} - 3}{3 x - 10}\right) \]
limitrationalizeMultiply numerator and denominator by the conjugate.✓ Proved
algebracancelsimplifyExpand the numerator. Factor 3*x-10 from numerator and denominator. Cancel the common factor.✓ Proved
\[ = \frac{1}{6} \]
limitalgebrasimplifysimplifylimitEvaluate the remaining expression at x = 10/3. Simplify inside the square root. Compute the square root. Add the constants. 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
limitlimitSubstitute x=0 Compute 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
algebrasimplifycancelExpand the product in the numerator. Simplify the numerator. Cancel the common x**2 term in the numerator and denominator.✓ Proved
\[ = \frac{1}{6} \]
limitsimplifysimplifyEvaluate the limit by substituting x = 0. Simplify the square root. Final simplification.✓ Proved
Answer \( \frac{1}{6} \)
The graph of f(x) = (sqrt(x² + 9) - 3)/x². Two points slide along the curve toward x = 0, one from each side; their heights close in on 1/6.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
algebracancelExpand the product in the numerator. Cancel the common factor x**2.✓ Proved
\[ = \frac{1}{6} \]
limitlimitEvaluate the remaining expression at x = 0. Simplify 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
algebrasimplifycancelExpand the product in the numerator. Simplify the numerator by subtracting 9. Cancel the common factor of 4*x**2 from the numerator and denominator.✓ Proved
\[ = \frac{1}{6} \]
limitsimplifysimplifyEvaluate the limit by substituting x = 0. Simplify the square root term. Final result.✓ Proved
Answer \( \frac{1}{6} \)
The graph of f(x) = (sqrt(4x² + 9) - 3)/(4x²). Two points slide along the curve toward x = 0, one from each side; their heights close in on 1/6.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
limitEvaluate the remaining expression at x = 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
algebrasimplifysimplifycancelExpand the denominator product. Simplify the expression in the denominator. Combine like terms in the denominator. Cancel the common factor (x - 3).✓ Proved
\[ = 4 \]
limitsimplifyEvaluate the limit by substituting x = 3. Final calculation.✓ Proved
Answer \( 4 \)
The graph of f(x) = (x - 3)/(sqrt(x + 1) - 2). Two points slide along the curve toward x = 3, one from each side; their heights close in on 4.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
simplifysimplifycancelSimplify the product in the denominator. Combine terms in the denominator. Cancel the common factor (x - 3).✓ Proved
\[ = 4 \]
limitEvaluate the remaining expression at x = 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
algebrasimplifycancelSimplify the numerator using the difference of squares. Simplify the numerator. Cancel the common factor of 2*x from the numerator and denominator.✓ Proved
\[ = \frac{1}{2} \]
limitsimplifysimplifyEvaluate the limit by substituting x = 0. Simplify the square root. Final simplification.✓ Proved
Answer \( \frac{1}{2} \)
The graph of f(x) = (sqrt(2x + 1) - 1)/(2x). Two points slide along the curve toward x = 0, one from each side; their heights close in on 1/2.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
simplifycancelUse (a-b)(a+b)=a^2-b^2. Cancel the factor 2*x.✓ Proved
\[ = \frac{1}{2} \]
limitlimitEvaluate the remaining expression at x=0. 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
algebraalgebracancelSimplify the numerator. Rewrite x+3-4 as x-1. Cancel the common factor (x-1).✓ Proved
\[ = \frac{1}{4} \]
limitlimitEvaluate the remaining expression at x=1. 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