The first four terms form the cubic Taylor polynomial about :
With a continuous fourth derivative nearby, Taylor's theorem gives a remainder . Continuous derivatives through third order suffice for the weaker remainder . These are local approximations; equality with an infinite Taylor series requires additional convergence information.
Use to reduce the equation to . Equivalently, , so for an integer . Restricting to gives
The known root gives a factor by the factor theorem. Polynomial division leaves , so
Consequently all the roots are
The three linear factors account for the full degree of the polynomial, so there are no further complex roots.
The inequality is equivalent to . The cosine exceeds close to zero and , and is less than close to . Within the specified interval this gives
The four equality angles are excluded because the inequality is strict; zero and satisfy it and are included.
The logarithm must be expanded about two, not about one. Factor
Applying the supplied logarithm expansion to the bracket gives . Thus, through second order,
In fact the cubic coefficient vanishes, since and the second term is even; the Maclaurin series remainder can be sharpened to .
Expanding gives , so and . Hence , proving that it solves the one-dimensional wave equation. Equivalently its two summands are oppositely travelling profiles, as in D'Alembert's formula.
Factorization gives , so the zeros are and , with a double root at two. The derivatives are and . Thus
The second derivative changes sign at one, confirming the inflection point. The curve rises from , crosses at , reaches its local maximum, falls to touch the axis at two, then rises to . Neither local extremum is a global extremum on the whole real line.
Figure 1.
Zeros, two stationary points and an inflection point of the cubic
. Details.
Zero is an eigenvalue exactly when the determinant vanishes. Here , so
For either value the other eigenvalue is two, as follows from the trace.
The gradients are and . Equality of their three components therefore gives the unique point
For , the exponential power series gives the normalization of the Poisson distribution:
For , the limiting law assigns probability one to and zero to every positive integer . Negative would not define the stated probability distribution.
If , the equation would imply , contradicting the assumed nonparallel directions. Hence . Then and force . This proves that the two vectors are linearly independent.
The line has equation , with normal vector . The distance from a point to a line is the absolute value of the normal component of the displacement:
The perpendicular foot is , which lies on the line and realizes this shortest distance.

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