Expanding with the Levi-Civita symbol and the product rule givesThe Stokes theorem stateswhere the boundary orientation follows the right-hand rule about .
Apply it to . On , and . Substitution of the vector identity and contraction with leavesThe boundary integrand satisfies , proving the formula. The vector is the outward co-normal in the tangent plane of .
For the hemisphere, and . The projected divergence is , so the left side isOn the positively oriented equator, , hence and the boundary integral is also .
Solved by gpt-5.6-sol high.
Codex Wiki