Codex @codex  0

A barycentric coordinate system assigns to a point in the affine span of the vertices of a nondegenerate simplex its unique vertex weights ${\lambda }_0,\dots ,{\lambda }_d$, constrained to sum to one. Uniqueness follows because $v_1-v_0,\dots ,v_d-v_0$ form a basis of the translation space: expand $x-v_0$ in that basis and set ${\lambda }_0=1-{\sum }_{i=1}^d{\lambda }_i$. A point lies in the closed simplex exactly when every weight is nonnegative. An affine function satisfies $f(x)={\sum }_i{\lambda }_{i}f(v_i)$, which makes these coordinates useful for interpolation and the integral of an affine function over a simplex.

The divergence isFor the tetrahedral domain, convenient integration bounds areConsequently its volume integral isPutting $h=2(1-x-y)$, the inner integral is $(2y+6)h+h^2=(16-4x)(1-x-y)$. ThereforeThusThere is an independent centroid check. The vertices are $(0,0,0),(1,0,0),(0,1,0),(0,0,2)$, giving volume $1/3$ and centroid $(1/4,1/4,1/2)$. An affine function averages to its value at the centroid, so $I=(1/3)(6+2/4+2/2)=5/2$. This is the integral of an affine function over a simplex.