The volume element is the absolute Jacobian determinant times the coordinate differentials. In the Cartesian coordinate system, cylindrical coordinates and spherical coordinates , respectively,
Here is distance from the origin, is the polar angle from the positive axis, and is the azimuthal angle. The spherical coordinates convention fixes which angle enters the sine factor.
For a first-order linear ordinary differential equation , an integrating factor is . Here , so
The sine is positive on the specified interval, so this integrating factor never vanishes there. Any nonzero constant multiple is equally suitable.
The superposition principle gives the general solution as :
The first boundary condition gives . At , the cosine vanishes and the sine equals . Comparing with the second boundary condition then gives
The unique solution satisfying both boundary conditions is therefore
Uniqueness follows because a homogeneous solution zero at both endpoints would have from the first and from the second.
The Pythagorean trigonometric identity makes the second factor , which is strictly positive. It is therefore enough to solve . The sine addition formula gives
The shifted angle lies between and . On this interval the sine is nonpositive precisely from onwards. Restoring the original angle and retaining its strict upper bound gives
Since and are fixed, the standard sine limit gives
If , this tends to the assigned value zero. At , the right and left limits are and ; if , they diverge with opposite signs. Hence
The cancellation comes from the simple zero of at the origin, not rapid oscillation there.
Apply the chain rule twice: once to the square and once to the argument of the sine. The inner derivative is . Therefore
The original PDF has , rather than the cube of .
Let , and take equal subintervals of width . Since sine is continuous, its integral is the limit of the left-endpoint Riemann sums
Using Euler's formula, the corresponding complex sum is a finite geometric series:
Since ,
Taking imaginary parts gives
One can see the same limit entirely within the real sums: the finite trigonometric-sum identity obtained from this geometric sum gives
Thus the evaluation is explicitly by a Riemann sum, as required.
Both segments start at , so their direction vectors are and . Their dot product is , and their norms are and . Thus
The angle between the rays lies in , so its sine is nonnegative:
The negative cosine correctly identifies an obtuse angle. One also obtains the sine from , using the cross product.
Write and . Two applications of integration by parts, first taking the sine and then the cosine as the differentiated factor, give
Thus and , in each case up to an arbitrary constant of integration. Keeping that freedom avoids identifying independently chosen antiderivatives too rigidly.
Factor the leading term out of the Maclaurin series for the sine:
The binomial theorem gives, through degree four inside the bracket,
The coefficient of is . Multiplying back by yields
The Fourier coefficients follow by multiplying the expansion by , by the appropriate cosine, or by the appropriate sine, then using orthogonality. In the convention with constant term ,
The factor comes from the squared norms of the nonconstant sine and cosine functions: the integral of each square over is . The constant function has squared norm .
Put . By part (i), . The acute-angle geometry requires . Expressing the tangents in terms of their sines in the geometric constraint gives the required implicit equation
The hint suggests for an integer . Testing gives
Thus . Each term on the left is strictly increasing in over the allowed interval, so this solution is unique.
The addition formula for the sine gives
Equating the sine and cosine coefficients gives and . Squaring and adding yields , so because . Both coefficients are positive, so is in the first quadrant. Consequently
From the same multiplication, the imaginary part is
Here the planar vectors are embedded in three dimensions with zero third coordinate. Its magnitude is the area of their parallelogram; its sign is positive when the oriented angle from to has positive sine. The reversed order matters: is the negative of the usual signed area for the order .
Put . The sine addition identity gives . Applying the exponential series gives
Thus the first three nonzero terms in the Taylor series about are
Since throughout the given interval, multiplying by is reversible. The equation simplifies to
The sine equals only at . Here , so only is allowed. Hence
Use the real inner product
Orthogonality means this integral is zero for any two distinct listed functions. The individual squared norms are positive: the constant function has squared norm , while every listed sine or cosine has squared norm . Thus they are orthogonal but not normalized to unit length in this inner product.
Set . Applying the exponential series and the Maclaurin series of the sine gives
Multiply the two power series, retaining every contribution through degree four:
Since , the coefficient of is nonzero, so these are indeed the first two nonzero terms. The remainder is in Big O notation.