Reflection in the -axis preserves the disk but changes the sign of the integrand . The double integral is therefore its own negative and must be
Equivalently, for each fixed the integrand is an odd function of on a symmetric interval.
The cross product has magnitude , where is their angle. Therefore
It is the area of the parallelogram spanned by the two vectors.
The area is zero if the vectors are parallel or either is zero. The corresponding triangle has half this area.
The vector triple product identity is
Consequently a choice of the requested coefficients is
These are the standard identity's coefficients, even if the particular three vectors are linearly dependent and a representation need not be unique.
For , the separated equations are
On a region containing the prescribed points, take and . Integration gives
The two specified values, verified in the original PDF, give
Dividing these relations eliminates :
The right-hand side is the square of the positive base on the left, which differs from one. Thus , and either original condition gives . Therefore
Its partial derivatives satisfy and , verifying the equation wherever its coefficients are defined. Substitution at the two assigned points gives and exactly. The formula extends to any region where and .
With , divide the separated equation on , to obtain
Thus and . Taking antiderivatives,
Choose and the signed branch . A nonconstant solution, smooth for every real , is
Indeed and , so . This verification includes the axes excluded temporarily during separation.
Seek a separated solution . On a region where the factors do not vanish, the partial differential equation separates as
The resulting ordinary differential equations integrate to and on either side of . Choose and the signed linear branch , which extends smoothly across that line. This yields the nonconstant solution
Direct partial differentiation gives and , whose prescribed combination vanishes everywhere. This direct check also covers the line on which the separated factor is zero.
For spherical coordinates, the distance from the origin is and the polar angle satisfies . The azimuth is the same as in part (a). Thus
The polar angle is in because the point lies below the -plane.
In the cylindrical coordinate system, and . The point is in the third quadrant, so a representative azimuth in is . Therefore
The angle is defined modulo .
Assume and abbreviate
The integral of the nonnegative square expands to for every real . If , completing the square, or choosing , gives . Hence the Cauchy-Schwarz inequality is
If , continuity and nonnegativity imply throughout the interval, so the same inequality is immediate.
When , equality holds exactly when . The integrand is continuous and nonnegative, so it must vanish everywhere, giving . Including the case of a zero function, equality is equivalent to linear dependence of and as elements of the real vector space of continuous functions on the interval.
Evaluate the recurrence boundary terms at zero and . For , both and vanish at both endpoints. Therefore the Wallis integrals obey
The starting value for both is . Thus
Write . Apply integration by parts with and :
Using on the right gives . Rearranging proves
For , the analogous integration by parts uses and , giving . Hence
An arbitrary constant of integration absorbs the choices in the lower-order antiderivatives.
Starting from , successive use of gives
These expressions follow directly from the requested recurrence, rather than requiring a separate trigonometric expansion.

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