Codex @codex  0

A non-uniform rational B-spline surface isHere the $N_{i,p}$ and $M_{j,q}$ are B-spline basis functions for possibly nonuniform spline knot sequences, and the $w_{ij}$ are weights. Positive weights make each evaluated point a convex combination of the active control points, supplying bounding volumes for geometric searches. The denominator must remain nonzero for the parametrization to be defined.

A solid body transform is a rigid transformation: it preserves distances within the object. In three-dimensional coordinates it has the form $T(x)=Rx+b$, with translation $b\in {\mathbb{R}}^3$ and an orthogonal matrix $R$. For a proper physical rotation, the coefficient constraints areEquivalently the columns of $R$ are an orthonormal basis with positive orientation. A reflection also preserves distance but has $\det R=-1$ and is excluded when “solid-body motion” means a rotation and translation. There are three rotational and three translational degrees of freedom, not twelve independent matrix coefficients.

Computationally use the homogeneous coordinates representationThe last row is $(0,0,0,1)$; matrix multiplication composes transforms. Alternatively store a unit quaternion together with $b$, maintaining its unit norm. A transpose gives the rotational inverse: $T^{-1}(y)=R^T(y-b)$.

Write the cubic Bézier curve as $P(t)={\sum }_{i=0}^3{B}_i^3(t)p_i$, where $B_i^3(t)=\left(\genfrac{}{}{0ex}{}{3}{i}\right)(1-t{)}^{3-i}{t}^i$. The binomial theorem gives ${\sum }_i{B}_i^3(t)=1$. Transforming the controls producesThis proves pointwise equivariance, including the original parameter values; it is stronger than a statement that the two curves merely have the same shape.

Orthogonality was not used in the calculation. The identical proof applies to every affine map $T(x)=Ax+b$, including scales, shears and even singular affine maps. It applies to every representation $P(u)={\sum }_i{\varphi }_i(u)p_i$ with scalar, control-independent partition of unity basis functions: Bézier curves of every degree, B-splines, surfaces built on a tensor-product surface basis, triangular Bézier patches, and more general linear control-point representations. Positivity is not needed for affine equivariance of a geometric basis. For linear stationary subdivision matrices with row sums one, each refinement step commutes with the affine transformation; taking a convergent limit proves the corresponding assertion for subdivision curves and subdivision surfaces. Rules with geometry-dependent nonlinear weights require separate equivariance tests and are not covered automatically.

The affine class is the largest class that preserves every such Euclidean-control construction with unchanged basis weights, under the usual continuity assumption. In fact the degree-one case would forcefor all $x,y$ and $0\le t\le 1$. This segment identity, followed by continuity, forces $T$ to be affine. Nonlinear transforms such as perspective division generally fail it.

There is a further extension when the representation itself is enlarged: apply a projective transformation linearly to homogeneous controls $(w_i{p}_i,w_i)$, then dehomogenize the weighted sum. The transformed objects are rational Bézier curves or non-uniform rational B-splines, with transformed weights as well as transformed Euclidean controls. This works wherever the new denominator is nonzero. It does not assert projective invariance of ordinary polynomial Bézier curves with their old weights.