# Control Points of Bézier Curve?

Could someone give me a reason/proof why the control points do not lie on the Bézier Curve? Perhaps involving Bernstein Polynomials, if possible?

Thanks!

-
No, because they do sometimes lie on the curve. –  Peter Taylor Jun 7 '11 at 13:58

I assume that by "control points" you mean the intermediate control points, because the curve interpolates between the first control point and the last one.

Your statement as phrased is not true in all cases. However, if I guess at your intention...

Consider that a point $P(t)$ on the curve defined by control points $P_i$ is $P(t) = \Sigma_{i=0}^n P_i b_{i,n}(t)$ (using Wikipedia's notation for the Bernstein basis polynomials). For the right hand side of that to be identically $P_j$ we require $b_{j,n}(t) = 1$ and $\forall k\ne j : b_{k,n}(t) = 0$. But the only cases for which this is possible are $j=0$, $t=0$ and $j=n$, $t=1$.

To prove that latter statement, take the formula for the Bernstein basis polynomials: $b_{k,n}(t) = {}^{n}C_{k} t^k (1-t)^{n-k}$. For this to evaluate to $0$ when $0 \le k \le n$ and $k, n \in \mathbb{N}$ we require $t=0$ or $t=1$. It is left as an exercise to demonstrate that these correspond to the first and last control points.

-
@Peter: Where does your proof use the assumption that (e.g.) the control points are not collinear? And that they form a convex set? (Because the statement is not necessarily true otherwise...) –  Nemo Jun 8 '11 at 0:29
@Nemo, the key word there is "identically". –  Peter Taylor Jun 8 '11 at 7:24
@Peter: By "identically", do you mean for all $t$? If not, what do you mean, exactly? –  Nemo Jun 8 '11 at 15:42
@Nemo, for all $t$ and all ${P_i}$. –  Peter Taylor Jun 8 '11 at 17:20
@Peter: I am sorry, but then I do not see what your answer has to do with the question? Obviously the curve is not "identically" anything for all $t$... –  Nemo Jun 8 '11 at 17:41

Note that the Bernstein basis polynomials are just the terms of the binomial expansion of $(t + (1-t))^n$.

Since this expression equals 1, they sum to 1. For $t$ between 0 and 1 inclusive, they are all positive. So each point on the Bezier curve is a simple weighted average of the control points.

If the control points all lie on their convex hull and are not collinear, any weighted average of them must lie within the convex hull.

(If the points do not all lie on their convex hull -- or they are collinear -- your statement is not necessarily true; the curve certainly might pass through a control point in the interior of the convex hull.)

-
The condition for the curve to not pass through an intermediate control point isn't as simple as "control point on the convex hull". Simple counterexample: the convex hull is a line and the control point is between the endpoints. –  Peter Taylor Jun 8 '11 at 7:25
@Peter: Well, obviously, since I pointed out the collinear counterexample in my reply to you :-). I have updated my answer. Any other counterexamples? –  Nemo Jun 8 '11 at 15:43
I'm not sure whether "collinear" is intended to mean all the points being collinear or just 3. E.g. for a cubic Bézier curve you can have $P_0 = P_1$ but $P_0$, $P_2$, $P_3$ not collinear. –  Peter Taylor Jun 8 '11 at 17:18
I mean all of the points being collinear. That is, I believe the statement is true provided (a) each control point lies on the convex hull of all control points and (b) not all control points lie on a single line. –  Nemo Jun 8 '11 at 17:43