Take two edge vectors in the face, and . Their cross product is the face normal vector
The face plane is . Every term in except vanishes, giving
The scalar triple product is nonzero, so this normal cannot vanish.
The PDF diagram specifies the prism as
Its triangular horizontal cross-section has area four. Calculate the outward flux on each face using its outward normal vector.
On , the normal is and , so the flux is zero. On , the normal is , giving
On the sloping vertical face , the outward normal is proportional to . Both and vanish there, while is tangent to the face, so the flux is zero.
On the bottom , the normal is and , so the flux is minus the base area, namely . On the top , , so the flux is zero. Thus all five face values and their sum are
Here , the unit normal vector is , and . The square has , so its outward flux is
The direction vectors are and . Their cross product is , with norm . A unit normal to the plane is therefore
The two intersecting directions span the plane, so a vector orthogonal to both is a normal vector to that plane.
The sloping height relation on the cone is . A parametric equation of its curved surface is therefore
Its two tangent vectors are and . Multiplication by and produces the two infinitesimal sides requested in the paper. Their cross product is the vector area element:
Its radial component is positive, so this normal vector points outwards from the solid cone. Taking its norm gives the scalar area element
The parametric equation degenerates at the apex, but that single point contributes no area.
By implicit differentiation of the ellipse equation,
The tangent line through is therefore
Its normal vector is , parallel to the gradient of at that point.
At a regular constrained extremum, every tangent vector to the level set gives zero directional derivative of . Thus is perpendicular to the tangent plane, and must be a scalar multiple of its nonzero normal vector . The Lagrange multiplier equations are
One solves these four equations for , evaluates at the candidates, and classifies or compares the values as required. Points where , and any boundary or limiting cases of the feasible domain, require separate checks because the regularity argument does not cover them.
Introduce the second constraint and a second Lagrange multiplier . At points where the two constraint gradients are linearly independent, solve
These are five scalar equations for . The two constraint normal vectors span the normal plane to the feasible curve. Points where those gradients become dependent must be examined separately; the regular two-multiplier condition need not cover them.
If the three vectors lie in one plane through the origin and are independent, their cross product is a normal vector to that plane, so its dot product with is zero. If are dependent, their cross product is already zero. Thus coplanarity always forces the scalar triple product to vanish.
Taking the contrapositive proves that a nonzero scalar triple product rules out coplanarity. Geometrically its absolute value is the nonzero volume of the spanned parallelepiped.
The vector is a normal vector to the span of and . Since , these vectors determine a plane. Thus the missing words are
the line and the origin.
Indeed this plane consists of all linear combinations of and the line's direction vector.
On , and the outward unit normal is . Its flux is
On , and the outward unit normal is . Hence
On , write over , , . The oriented surface element is , pointing away from the origin. Here , so . Thus
The unnormalized normal vector in the oriented surface element already incorporates the factor from the surface area; no additional factor is needed.
Call the three planes in their given order.
For , the nonzero determinant makes their normal vectors linearly independent. The three planes meet at the single point found in part (c)(i), for every .
For , and coincide. Their common plane and have nonparallel normal vectors, since their first two coefficients are and . Thus they intersect in the straight line from part (c)(ii), for every .
For , write the three plane equations as
The last two meet on , , which never lies on . If , and are distinct parallel planes, while cuts both. If , and are distinct parallel planes, while cuts both. For every other , each pair of planes intersects in a straight line; these three pairwise intersection lines are distinct and parallel to , with no common point. These exhaust the geometric cases.
The plane equation has normal vector . Thus its normal vector is parallel to the cylinder's axis and the plane is perpendicular to that axis. It passes through the origin, so the intersection is a circle of radius centred at the origin in that plane.
Indeed, with the orthonormal basis and of the plane, write . The cylinder equation becomes . Equivalently, the intersection has the parametric equation
Apply matrix multiplication to obtain
Since is a unit vector, the subtracted term is the orthogonal projection of along . Hence is the orthogonal projection onto a plane through the origin with normal vector . It fixes every vector perpendicular to and sends every scalar multiple of to zero. In particular .