📝 Integration using Computer Algebra Systems and integral tables (36 MCQs)

📖 Explanation: A CAS typically returns a particular antiderivative without the constant of integration. More importantly, the result $\ln(x-1)$ is only defined for $x>1$, while the integrand $1/(x-1)$ is defined for all $x\neq 1$. The most general antiderivative on the largest possible domain is $\ln|x-1|+C$. This highlights a key limitation of CAS: they may not provide a result valid on the entire domain of the integrand.

📖 Explanation: The Endpaper Integral Table, like all integral tables, uses a dummy variable (often $u$) in its formulas. To apply a formula to an integral with a different variable, such as $x$, the student must first identify the parameters (here, $a=7$ and $b=3$) and then simply replace every instance of the table's variable with $x$. This is a direct Easy of the formula and is a crucial skill in using integral tables effectively.

📖 Explanation: The two forms are indeed equivalent, though they look very different. The CAS has expressed the integral using a Fourier-like series of sines, while the student's answer is in a polynomial of sines. The equivalence is established through product-to-sum identities. For example, $\sin^5 x$ can be expanded into a sum of $\sin x$, $\sin 3x$, and $\sin 5x$ terms. This demonstrates a key point: CAS outputs, while mathematically correct, may be presented in a form that is unrecognizable or unnatural to a human user.

📖 Explanation: While both CAS and tables have limitations, the key difference is the user's active role. A CAS performs symbolic manipulation automatically, albeit sometimes incorrectly or in an inconvenient form. An integral table is a passive tool; it requires the user to correctly classify the integrand, identify the appropriate formula, and often perform substitutions to match the table's format. This process demands a high level of Hard from the user, which is a significant limitation for those without that expertise.

📖 Explanation: This is a classic example of transforming an integrand to match a known table form. The key is to identify the structure. The integral is now a power of $u$ over a square root of the form $\sqrt{a^2-u^2}$ (with $a=1$). Even if the table doesn't have a direct formula for $u^2$, it likely has one for $\int u^2/\sqrt{a^2-u^2} du$. The student would then use that formula with $a=1$. This is a Hard problem involving an initial substitution followed by table look-up.

📖 Explanation: The error function (erf) or its imaginary counterpart (erfi) are non-elementary functions defined as integrals. Their presence in a CAS output is a signal that the CAS's internal library of integrals does not contain an antiderivative expressible in terms of elementary functions (polynomials, exponentials, trig functions, etc.). It is expressing the answer in terms of a function that is itself defined by an integral. This is analogous to how we defined $\ln x$ as an integral of $1/x$ before treating it as a standard function.

📖 Explanation: Completing the square is a critical technique for matching integrals that contain a quadratic expression in the form $ax^2+bx+c$ to table entries. The substitution $u=x-2$ transforms the radical into $\sqrt{u^2+4}$. The integral then becomes $\int (u+2)/\sqrt{u^2+4} du$, which can be split into two integrals, both of which match standard table forms. The effectiveness comes from transforming the expression into a simpler, more standard structure that is directly referenced in the table.

📖 Explanation: This is a classic example of the same integral being expressed in different but equivalent forms. The expanded polynomial is the result of expanding $(x+1)^7$ and integrating term by term. The compact form is the result of a simple $u$-substitution ($u=x+1$). The difference between the two is a constant. For instance, the constant term in the CAS output is 0, while the compact form would have a constant term of $1/8$ if expanded. This discrepancy is absorbed by the arbitrary constant of integration $C$. This illustrates that CAS outputs, while correct, may not be in the most simplified or elegant form.

📖 Explanation: The Weierstrass substitution is a powerful tool for integrating rational functions of $\sin x$ and $\cos x$. The transformations $\sin x = \frac{2u}{1+u^2}$ and $\cos x = \frac{1-u^2}{1+u^2}$ convert the entire integrand, which includes $\sin x$ and $\cos x$, into a ratio of polynomials in $u$. This is the definition of a rational function, which can then be integrated using the systematic method of partial fractions. The substitution is effective because it completely algebraizes a trigonometric integral.

📖 Explanation: This question tests the ability to follow through a Weierstrass substitution. Given the transformation $dx = \frac{2du}{1+u^2}$, $\sin x = \frac{2u}{1+u^2}$, and $\cos x = \frac{1-u^2}{1+u^2}$, the original integral simplifies to $\int \frac{2du}{(1+u^2) - 2u + (1-u^2)} = \int \frac{du}{1-u} = -\ln|1-u|+C$. The final step is to substitute back $u = \tan(x/2)$ to get the answer in terms of the original variable $x$. This is a multi-step problem involving substitution, algebraic simplification, and integration.

📖 Explanation: Both methods are valid. Student A's approach is a direct Easy of a fundamental technique (integration by parts) and is universally applicable. Student B's method uses a pre-computed result (a table formula), which is much faster for this specific form but is less flexible. If the problem were $\int x^3 \ln(x^2) dx$, Student A could handle it with an extra step, while Student B would need to find a different table entry or modify the integrand. The table method is efficient but context-specific.

📖 Explanation: This addresses a common misconception. Special functions like the error function ($\operatorname{erf}$) are not failures of the CAS; they are advanced functions defined to represent the antiderivatives of important but non-elementary integrands (like $e^{-x^2}$). The CAS is providing a mathematically correct answer. The user's frustration stems from a lack of familiarity with such functions. This is analogous to a student being confused by seeing $\ln x$ as an answer before they have learned about logarithms. It is a valid result, just in a different 'alphabet' than elementary functions.

📖 Explanation: Reduction formulas are a central concept in integration tables. They are not complete solutions but recursive relationships. The formula for $\int x^n/\sqrt{a+bx} dx$ will express the answer in terms of a term involving $x^{n-1}$ and another integral of the form $\int x^{n-1}/\sqrt{a+bx} dx$. This 'reduces' the power of $x$ in the numerator. The student then applies the formula again, reducing $n$ further until $n=0$ or $n=1$, at which point a basic integral formula can be used. This is a key problem-solving strategy when using tables.

📖 Explanation: This question emphasizes the practical Easy of these tools. The most prudent strategy is to use the CAS as a powerful assistant but not as an oracle. Since CAS outputs can be in complex, unnatural forms or, in rare cases, incorrect, it is crucial to verify them. Differentiation is the best check for an indefinite integral. For a definite integral, a numerical approximation from a calculator or a separate method can confirm the value. This process of verification builds confidence and catches potential errors, which is essential in engineering Easys.

📖 Explanation: This is a direct table lookup question that requires careful attention to detail. The integral is of the form $\int \sin(mx)\cos(nx) dx$. The table formula (40) is listed under that exact form. The student must correctly identify $m$ as the coefficient of $x$ in the sine function and $n$ as the coefficient of $x$ in the cosine function. The result is then $-\frac{\cos((m+n)x)}{2(m+n)} - \frac{\cos((m-n)x)}{2(m-n)}$. There is no need to swap them because the table is written for $\sin(mx)\cos(nx)$.

📖 Explanation: The Weierstrass substitution is valuable because it provides a universal method. While it may not always be the most elegant or quickest method, it is guaranteed to work for any rational function of $\sin x$ and $\cos x$. This transforms an often Hard problem in a trigonometric domain into a straightforward, albeit potentially tedious, problem in the algebraic domain of rational functions. This systematic guarantee is its primary advantage, especially for problems where other techniques fail or are not obvious.

📖 Explanation: A CAS is a rule-based system combined with a library of known integrals. When asked to evaluate an unfamiliar integral, it attempts to apply its rules (like substitution, parts) to match a form in its library. If no sequence of transformations leads to a known integral, it fails. The integral in question is a classic example. It is a perfectly valid function, but its antiderivative cannot be expressed in terms of standard elementary functions, which means it's not in the CAS's library. The CAS is not 'broken'; it is simply at the limit of its pre-programmed knowledge.

📖 Explanation: This is a common issue where a CAS returns an antiderivative that is valid on a restricted domain (e.g., $\ln x$ instead of $\ln|x|$). The best practice is to verify the result by differentiating it. If the derivative is the integrand, then the antiderivative is correct on the domain where it's defined. The student must then evaluate the definite integral using appropriate limits, carefully accounting for the domain. For example, if the integral is from -1 to 1 and the antiderivative is $\ln x$, it's invalid, and the student must use a correct antiderivative like $\ln|x|$ or split the integral. This emphasizes that the student, not the CAS, is ultimately responsible for mathematical rigor.

📖 Explanation: This is a direct Easy of a table formula. The Endpaper Integral Table has a comprehensive category for integrals of the form $\int p(x)f(x)dx$ where $p(x)$ is a polynomial. A formula for $\int x^n \sin x dx$ is available, which expresses the integral in terms of the derivatives of $x^n$. The student would identify $n=2$ and the coefficient of $x$ in $\sin x$ (which is 1) and apply the formula. This is much faster than performing repeated integration by parts by hand.

📖 Explanation: This is a classic problem for handling integrands with fractional exponents. The table is generally organized for rational functions or integrals with integer powers. By choosing a substitution where $u$ is $x$ raised to the power of the least common multiple of the denominators of the fractional exponents (which are 1/2 and 1/3, so LCM is 6), the fractional powers of $x$ become integer powers of $u$. This transforms the entire integrand into a rational function of $u$, which is much more likely to be found in the table. This is a crucial problem-solving strategy for expanding the utility of an integral table.

📖 Explanation: This is a vital question about the equivalence of antiderivatives. Using the identity $\cos 2x = 1 - 2\sin^2 x$, the CAS's answer $-1/4 \cos 2x$ can be rewritten as $-1/4(1 - 2\sin^2 x) = \frac{1}{2}\sin^2 x - 1/4$. The difference between this and the friend's answer $\frac{1}{2}\sin^2 x$ is the constant $-1/4$. Both are valid antiderivatives of the same function. This demonstrates that a single function has infinitely many antiderivatives, all differing by a constant, and that CAS and human solutions can be equivalent even when they look different.

📖 Explanation: This question emphasizes the strategy of using substitution to transform an integral from a less tractable form (involving $e^x$) to a more standard algebraic form. The table has many entries for integrals containing $\sqrt{a+bu}$. The substitution $u=e^x$ is the natural choice to achieve this. While the resulting integral is not simply a polynomial, it is now of the form $\int \frac{\sqrt{u+1}}{u} du$, which is a standard type found in most integral tables (often under forms involving $\sqrt{a+bu}$). This is a key problem-solving skill: using substitution to fit the 'catalog' of the table.

📖 Explanation: This is a higher-level question that tests problem-solving ingenuity. The key is recognizing that the derivative of $1+x^{-9}$ is $-9x^{-10}$, which is closely related to the integrand. The given hint is crucial. By rewriting the integrand as $\frac{x^{-10}}{1+x^{-9}}$, the substitution $u = 1+x^{-9}$ gives $du = -9x^{-10}dx$, transforming the integral into a very simple form $-\frac{1}{9}\int \frac{du}{u}$. This is a classic 'trick' substitution that is not algorithmically obvious to a CAS, which tends to rely on standard patterns. This question tests the user's ability to creatively manipulate an integrand to make it solvable.

📖 Explanation: This is a sophisticated question about the equivalence of inverse trigonometric functions. It is a common trap to think that different inverse trig functions produce different results. However, for a right triangle with hypotenuse 3 and opposite side $x$, $\sin^{-1}(x/3)$ and $\tan^{-1}(x/\sqrt{9-x^2})$ both represent the same angle. This is a key trigonometric identity. The forms are perfectly equivalent, and the CAS has simply expressed the result in a different, but equally valid, trigonometric form. This highlights the importance of recognizing trig identities when verifying CAS outputs.

📖 Explanation: This is a nuanced question about domains. The derivative of $\ln(\sec x + \tan x)$ is $\sec x$, but $\sec x + \tan x$ is negative on certain intervals (e.g., $x \in (\pi/2, 3\pi/2)$). On those intervals, $\ln(\sec x + \tan x)$ is undefined. The form with absolute value, $\ln|\sec x + \tan x|$, is defined and is an antiderivative on those intervals as well. The user must be aware that the CAS may have returned an antiderivative that is only valid on a specific interval (the principal one). The correct, most general antiderivative on the entire domain of $\sec x$ includes the absolute value. This emphasizes that the user is responsible for the generality and rigor of the result.

📖 Explanation: Differentiation is the fundamental check for an indefinite integral. If the derivative of the CAS's output is the original integrand, it confirms that the output is a valid antiderivative. However, as seen in other questions, the antiderivative might only be valid on a portion of the domain (e.g., $\ln x$ vs $\ln|x|$). Therefore, while differentiation proves the answer is correct on the interval where it is defined, it does not automatically prove it's the most general form or that it accounts for all domain restrictions. The user must still apply their own judgment to ensure the result is appropriate for the problem at hand.

📖 Explanation: A reduction formula is not an endpoint but a process. It expresses an integral in terms of a simpler version of itself. The critical assumption is that this simpler version, with a reduced exponent or power, is easier to evaluate. The user must then apply the formula repeatedly (or a combination of formulas) until the integral is reduced to a base case that can be looked up or evaluated directly. The success of using a reduction formula depends entirely on this iterative process leading to a known solution.

📖 Explanation: This question combines the idea of table use with u-substitution. The integral is not directly in the table, but by recognizing that $d(1+\sin x) = \cos x dx$, the user can make a mental substitution $u = 1+\sin x$, transforming the integral into $\int \frac{du}{u}$. They then look up $\int \frac{du}{u} = \ln|u|+C$. The key is that the table is used in conjunction with a simple substitution; this is a very common practice to expand the scope of a table. It highlights the skill of recognizing integrand patterns and using them to match table formulas.

📖 Explanation: This tests understanding of domain and the properties of logarithms. The CAS's answer is a sum of logs. By combining them, we get $\frac{1}{4}\ln\left(\frac{x-2}{x+2}\right)$. However, the argument of this log, $(x-2)/(x+2)$, is negative for $-2 < x < 2$. Therefore, the CAS's expression is only defined for $x>2$ or $x<-2$ (where the argument is positive). The friend's answer with absolute value, $\frac{1}{4}\ln\left|\frac{x-2}{x+2}\right|$, is defined for $x$ in the domain of the original integrand (which is $x\neq \pm 2$). Thus, the friend's answer is the more general and correct one, highlighting a common oversight by CAS.

📖 Explanation: This is a question that tests multiple concepts. First, the antiderivative $\ln(x^2+1)$ is correct (the derivative is $2x/(x^2+1)$). The user then evaluates $F(1) - F(-1) = \ln(1+1) - \ln(1+1) = \ln 2 - \ln 2 = 0$. This is indeed correct because $\ln(x^2+1)$ is an even function, and the Fundamental Theorem of Calculus yields zero for a definite integral over a symmetric interval. The missing constant of integration is irrelevant for definite integrals as it cancels out. This question reinforces the core concepts of antiderivatives and definite integrals.

📖 Explanation: This is a direct Easy of a table formula. The formula for $\int \frac{\sqrt{a^2-u^2}}{u} du$ is $\sqrt{a^2-u^2} - a \ln\left|\frac{a+\sqrt{a^2-u^2}}{u}\right| + C$. By identifying $a=2$ and $u=x$, the student can directly substitute. This question tests the student's ability to correctly substitute parameters into a table formula, a skill that is essential for using an integral table efficiently.

📖 Explanation: This question addresses a common complaint about CAS outputs. The user should not blindly accept a complex result. The most effective first step is to try to simplify it. Modern CAS have built-in simplification functions that can often condense an expression. If that fails, the user can manually try to apply identities, like combining logarithms or using trigonometric identities. If the output contains $\sinh^{-1}$, for example, it can be rewritten as a $\ln$ expression. Differentiating the output (which checks the result) can also give clues on how to simplify it. The goal is to get the result into a form that is useful for the Easy.

📖 Explanation: While both forms are mathematically correct, the single fraction form $\frac{\sin x - 1}{\cos x}$ is often preferred. The expression $\tan x - \sec x$ involves two trigonometric functions, whereas the fraction combines them into one. This is often seen as a 'simpler' expression, especially when performing further algebraic manipulations or evaluating definite integrals. It also demonstrates the user's ability to see the connection between trigonometric functions and rewrite expressions in a more compact and cohesive way. This is an example of mathematical 'tidying up' a result for better communication and utility.

📖 Explanation: A negative sign appearing in an intermediate or even final result is not necessarily an error. Many integration techniques, like integration by parts, naturally introduce negative signs. For example, $\int x \cos x dx = x \sin x - \int \sin x dx$. If a CAS shows this intermediate step, the student might see the negative integral and worry. Similarly, the antiderivative of $\sin x$ is $-\cos x$. The student's role is to understand that algebraic and trigonometric identities, as well as the techniques of integration, often produce negative signs, and this is a normal part of the process. The student should verify the result by differentiating the final output, not by getting alarmed by signs.

📖 Explanation: This is a classic case of aligning the integrand with the table's format. The Endpaper Integral Table has a formula for $\int \sqrt{a^2 - u^2} du$. To use it, you must recognize that the integrand $\sqrt{1 - 9x^2}$ is of that form with $a=1$ and $u=3x$. However, $du = 3 dx$, so you need to substitute $u=3x$ to make $du = 3 dx$. This transforms the integral into $\frac{1}{3}\int \sqrt{1-u^2} du$, which directly matches the table formula with $a=1$. This is a fundamental skill: preparing an integral by recognizing its pattern and using a substitution to match the table's 'template'.

📖 Explanation: The most definitive check for an indefinite integral is differentiation. The Fundamental Theorem of Calculus states that differentiation is the inverse of integration. By differentiating the CAS's proposed antiderivative, the user can see if the result is the original integrand. If it is, the result is correct (on that domain). Graphing or numerical checks are helpful but less rigorous and can miss cases where functions are almost equal but not exactly. Checking a single point is insufficient, as it won't verify the function's form. This emphasizes the core relationship between differentiation and integration.