Let . Integrate the finite geometric series identity over :
The remainder has absolute value at most . Hence the partial sums converge, with
This proves both convergence and the value of the alternating harmonic series without substituting an endpoint into an unproved infinite power series. Its convergence is conditional because the corresponding harmonic series of absolute values diverges.
Expand the right-hand side in the orthonormal basis from part (b). Its coefficients are
Thus . If , then matrix multiplication gives . Matching coefficients fixes and , while is arbitrary. Consequently all solutions are
Geometrically, the solution set is an affine line in a vector space parallel to the kernel of . The zero eigenvalue makes the component in that direction invisible to ; the other two components are uniquely determined. The displayed particular solution is perpendicular to the kernel, so it is also the point of this line closest to the origin.
The vector is an eigenvector with eigenvalue . The complementary subspace of vectors with first two components equal is preserved by : a vector maps to . There, the eigenvalue equations reduce to the matrix , whose characteristic polynomial is . For , ; for , .
Normalising by the Euclidean norm, a complete orthonormal basis of eigenvectors is
Sign changes of any of these eigenvectors are equally valid. The eigenvalues also check part (a): their sum is and the sum of their squares is .
Adding the diagonal entries gives . Expansion along the first row gives . For the remaining trace, direct matrix multiplication gives
Thus . By multiplicativity of the determinant, . Altogether,
Let and . Integrating the trigonometric functions and differentiating in integration by parts gives, modulo constants,
Substitution yields and . Therefore
No division by was used, so this formula also applies at .
Let be the cumulative distribution function of . Normalisation of the proposed probability density function requires . The integrated cumulative distribution function on a bounded interval identity gives
For a direct symmetry proof, the continuous symmetric probability distribution satisfies . Hence
In particular is nonnegative and has total integral one over its stated support.
The expected value is zero, so the variance is . Symmetry gives
The polynomial term contributes . Two applications of integration by parts give
so its definite value on is . Therefore
Put . The function graph is symmetric about the vertical axis, zero outside , and has its unique maximum at with height . On , it decreases as ; the negative side is its reflection. The one-sided interior endpoint values are , so the probability density function jumps to zero at both ends of its support. It also has a corner at its central maximum because of the absolute value in the exponent.
Figure 1.
The symmetric density in Question 16, including its central corner and endpoint jumps
. Details.
Values assigned exactly at do not affect any probability.

There are unlisted articles, also show them or only show them.