Theorem: u_g . grad(p) = 0 identically (wedge-product antisymmetry)

Theorem (geostrophic-wedge-orthogonality canonical): u_g = (1/(f rho)) k-hat wedge grad(p) satisfies u_g . grad(p) = 0 identically, because wedge (cross) product is antisymmetric: (A wedge B) . B = 0 for any A, B. Canonical sympy pins: p =…