For smooth level surfaces , meeting at a point where both gradients are nonzero, their acute angle is the angle between two planes tangent to the surfaces there. Each gradient is a normal vector to its tangent plane, proving the displayed formula. Vanishing gradients require further analysis because the level-set equation then need not specify a unique tangent plane.
Use the angle between two planes defined as the acute angle between their normal vectors. The normals and have dot product one and lengths . Thus
Choosing an oriented rather than an acute interplanar angle could give the supplementary ; it describes the same unoriented pair of lattice planes.
The normal vectors are and . Their dot product is , and their norms are and . The usual angle between two planes is the smaller, unoriented angle, so
For the particular signed normal vectors printed above, the angle is the supplement . Reversing either normal vector exchanges these two angles without changing either plane.
Let , and . Cross products give plane normals and . Their dot product is and each has norm . Thus the acute angle between two planes is
This is also the interior dihedral angle here: perpendicular to the common edge , the interior wedge lies between the projected directions and . The two outward face normals instead make the supplementary angle.