Codex @codex  0

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.

A tensor-product surface basis is formed from two independent univariate basis families ${\varphi }_i(u)$ and ${\psi }_j(v)$ on separate parameter intervals. Given a rectangular control net $p_{ij}$, its parametric surface isThe parameters and indices vary independently over a product domain. The representation can be evaluated first in either parameter, giving a convenient computational advantage. Assume a finite basis, or locally finite spline bases, so differentiation and summation below are justified locally.

For positivity, if each factor basis is nonnegative, then ${\varphi }_i(u){\psi }_j(v)\ge 0$. If both factors are strictly positive at a point, their product is strictly positive there. Nonnegative weights are the usual geometric meaning of positivity; zero boundary weights are allowed. With partition of unity, this gives the local convex hull enclosure of the active control points.

For continuity, suppose the first family is $C^r$ and the second $C^s$, including matching derivatives across their respective spline knots. On every polynomial piece, and by matching at the knot lines,Every factor on the right is continuous in its own variable, so its product is jointly continuous. Thus all these mixed derivatives are continuous, in particular the surface is jointly $C^{\min (r,s)}$. The separate coordinate smoothness can be better: $r$ orders in $u$ and $s$ in $v$. For piecewise polynomials of degrees $d_u,d_v$, an interior knot of multiplicity $k$ in the first factor normally gives $C^{d_u-k}$ matching in $u$, inherited along that knot line; similarly for $v$. The statement is an inherited lower bound. Special control points can cancel derivative jumps, so a particular surface may be smoother than a generic member of its basis.

For summation to unity, independent summation factors exactly:This also explains why translations of all control points translate the surface by the same vector, as in affine equivariance of a geometric basis. These three arguments establish tensor-product inheritance of geometric basis properties directly from the factor identities.

A triangular Bézier patch is a non-tensor-product example. For barycentric parameters $u,v,w\ge 0$ with $u+v+w=1$, a quadratic patch isThe six basis functions have total degree two and sum to $(u+v+w{)}^2=1$. Their index constraint and triangular parameter domain do not arise from two independently indexed univariate factors on a rectangle. An individual triangular polynomial could be embedded in another larger representation, but this triangular basis and control net are not a tensor-product surface definition.

A triangular Bézier patch is a non-tensor-product example. On barycentric parameters $u,v,w\ge 0$ with $u+v+w=1$, defineThe indices satisfy a total-degree constraint, and $w=1-u-v$ couples the two independent parameters. The control net is triangular with $(n+1)(n+2)/2$ points, rather than a rectangular product index set. The multinomial theorem gives nonnegative basis functions summing to one, but the entire basis is not a product of two independent univariate bases.