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 , soThe 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 givesThe unique solution satisfying both boundary conditions is thereforeUniqueness 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 givesThe 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 givesIf , this tends to the assigned value zero. At , the right and left limits are and ; if , they diverge with opposite signs. HenceThe 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 . ThereforeThe 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 sumsUsing Euler's formula, the corresponding complex sum is a finite geometric series:Since ,Taking imaginary parts givesOne can see the same limit entirely within the real sums: the finite trigonometric-sum identity obtained from this geometric sum givesThus 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 . ThusThe 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, giveThus 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 equationThe hint suggests for an integer . Testing givesThus . Each term on the left is strictly increasing in over the allowed interval, so this solution is unique.
The addition formula for the sine givesEquating the sine and cosine coefficients gives and . Squaring and adding yields , so because . Both coefficients are positive, so is in the first quadrant. Consequently
The sine is nonnegative on , so the geometric area equals the definite integral, without cancellation:
From the same multiplication, the imaginary part isHere 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 givesThus the first three nonzero terms in the Taylor series about are
Use the real inner productOrthogonality 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 givesMultiply 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.