Integrate the functions in Exercises 1 to 37: x x
To find the integral of cot x log sin x, we use the substitution method.
Let t = log sin x. Differentiating both sides with respect to x: dt = (1/sin x) · cos x dx = cot x dx
Substituting in the integral: ∫ cot x log sin x dx = ∫ t dt = t²/2 + C
Substituting back t = log sin x: ∫ cot x log sin x dx = (log sin x)²/2 + C
Explanation
This is a standard substitution problem. The key insight is recognizing that the derivative of log sin x is cot x, which appears as a factor in the integrand. The context shows that ∫ cot x dx = log|sin x| + C, confirming that d/dx(log sin x) = cot x. This makes the substitution t = log sin x straightforward, as dt = cot x dx, simplifying the integral to ∫ t dt.
Solution Steps
Step 1: Let t = log sin x
Step 2: Differentiate: dt = (1/sin x)·cos x dx = cot x dx
Step 3: Substitute: ∫ cot x log sin x dx = ∫ t dt
Step 4: Integrate: ∫ t dt = t²/2 + C
Step 5: Substitute back: = (log sin x)²/2 + C