Editing Cubic Hermite spline (section)

===Representations===

We can write the interpolation polynomial on the unit interval (for an arbitrary interval see the rescaled version [[#Interpolation_on_an_arbitrary_interval|above]]) as
<math display="block">\boldsymbol{p}(t) = h_{00}(t)\boldsymbol{p}_0 + h_{10}(t)\boldsymbol{m}_0 + h_{01}(t)\boldsymbol{p}_1 + h_{11}(t)\boldsymbol{m}_1</math>
where <math>h_{00}</math>, <math>h_{10}</math>, <math>h_{01}</math>, <math>h_{11}</math> are Hermite basis functions.
These can be written in different ways, each way revealing different properties:

{| class="wikitable"
 |-
 !
 !  expanded
 !  factorized
 !  Bernstein
 |-
 |  <math>h_{00}(t)</math>
 |  <math>2t^3 - 3t^2 + 1</math>
 |  <math>(1 + 2t)(1 - t)^2</math>
 |  <math>B_0(t) + B_1(t)</math>
 |-
 |  <math>h_{10}(t)</math>
 |  <math>t^3 - 2t^2 + t</math>
 |  <math>t (1 - t)^2</math>
 |  <math>\tfrac{1}{3} B_1(t)</math>
 |-
 |  <math>h_{01}(t)</math>
 |  <math>-2t^3 + 3t^2</math>
 |  <math>t^2 (3 - 2t)</math>
 |  <math>B_3(t) + B_2(t)</math>
 |-
 |  <math>h_{11}(t)</math>
 |  <math>t^3 - t^2</math>
 |  <math>t^2 (t - 1)</math>
 |  <math>-\tfrac{1}{3} B_2(t)</math>
 |}

The "expanded" column shows the representation used in the definition above.
The "factorized" column shows immediately that <math>h_{10}</math> and <math>h_{11}</math> are zero at the boundaries.
You can further conclude that <math>h_{01}</math> and <math>h_{11}</math> have a [[Multiplicity (mathematics)#Multiplicity of a zero of a function|zero of multiplicity 2]] at 0, and <math>h_{00}</math> and <math>h_{10}</math> have such a zero at 1, thus they have slope 0 at those boundaries.
The "Bernstein" column shows the decomposition of the Hermite basis functions into [[Bernstein polynomial]]s of order&nbsp;3:
<math display="block">B_k(t) = \binom{3}{k} \cdot t^k \cdot (1 - t)^{3-k}.</math>

Using this connection you can express cubic Hermite interpolation in terms of cubic [[Bézier curve]]s with respect to the four values <math display="inline">\boldsymbol{p}_0, \boldsymbol{p}_0 + \frac{1}{3} \boldsymbol{m}_0, \boldsymbol{p}_1 - \frac{1}{3} \boldsymbol{m}_1, \boldsymbol{p}_1</math> and do Hermite interpolation using the [[de Casteljau algorithm]].
It shows that in a cubic Bézier patch the two control points in the middle determine the tangents of the interpolation curve at the respective outer points.

We can also write the polynomial in standard form as 
<math display="block">\boldsymbol{p}(t) = \left(2\boldsymbol{p}_0 + \boldsymbol{m}_0 - 2\boldsymbol{p}_1 + \boldsymbol{m}_1\right) t^3 + \left(-3\boldsymbol{p}_0 + 3\boldsymbol{p}_1 - 2\boldsymbol{m}_0 - \boldsymbol{m}_1\right) t^2 + \boldsymbol{m}_0 t + \boldsymbol{p}_0</math>
where the control points and tangents are coefficients. This permits efficient evaluation of the polynomial at various values of ''t'' since the constant coefficients can be computed once and reused.