Skip to main content
Ch. 4 - Applications of Derivatives
Hass - Thomas' Calculus 15th Edition
Hass15th EditionThomas' CalculusISBN: 9780137616077Not the one you use?Change textbook
Chapter 4, Problem 4.7.60

Checking Antiderivative Formulas


Verify the formulas in Exercises 57–62 by differentiation.


∫csc²((x − 1)/3)dx = −3cot((x − 1)/3) + C

Verified step by step guidance
1
Identify the given antiderivative formula: \(\int \csc^{2}\left(\frac{x - 1}{3}\right) \, dx = -3 \cot\left(\frac{x - 1}{3}\right) + C\).
Recall that to verify an antiderivative, you differentiate the right-hand side and check if you get the original integrand.
Differentiate the function \(-3 \cot\left(\frac{x - 1}{3}\right)\) using the chain rule. Start by differentiating \(\cot(u)\) where \(u = \frac{x - 1}{3}\).
Use the derivative formula \(\frac{d}{du} \cot(u) = -\csc^{2}(u)\), so \(\frac{d}{dx} \cot\left(\frac{x - 1}{3}\right) = -\csc^{2}\left(\frac{x - 1}{3}\right) \cdot \frac{d}{dx} \left(\frac{x - 1}{3}\right)\).
Calculate \(\frac{d}{dx} \left(\frac{x - 1}{3}\right) = \frac{1}{3}\), then multiply all parts together and simplify to confirm the derivative equals \(\csc^{2}\left(\frac{x - 1}{3}\right)\), which verifies the formula.

Verified video answer for a similar problem:

This video solution was recommended by our tutors as helpful for the problem above.
Video duration:
3m
Was this helpful?

Key Concepts

Here are the essential concepts you must grasp in order to answer the question correctly.

Antiderivatives and Indefinite Integrals

An antiderivative of a function is another function whose derivative equals the original function. Indefinite integrals represent the family of all antiderivatives and include a constant of integration, C, since differentiation of a constant is zero.
Recommended video:
05:04
Introduction to Indefinite Integrals

Differentiation of Composite Functions (Chain Rule)

The chain rule is used to differentiate composite functions, where one function is inside another. It states that the derivative of f(g(x)) is f'(g(x)) multiplied by g'(x). This is essential when verifying antiderivatives involving expressions like (x - 1)/3.
Recommended video:
03:58
The Chain Rule for 3+ Functions

Derivatives of Trigonometric Functions

Knowing the derivatives of basic trig functions like cotangent and cosecant squared is crucial. For example, the derivative of cot(u) is -csc²(u) times the derivative of u. This knowledge helps verify if the given antiderivative formula is correct by differentiation.
Recommended video:
06:35
Derivatives of Other Inverse Trigonometric Functions