ベジェ曲線

は  個の制御点から得られる  次曲線である。**ベジエ曲線**とも。

## 定義
以下の要素を所与とする：

* 次数: N \in \Bbb{N}
* パラメータ: t \in \Bbb{R}, \ 0 \leq t \leq 1
* 制御点: N+1 個のベクトル \{
\mathbf{B}_i
\ | \ 
i \in \{0, 1, ..., N \}  
\}

これらを用いて N 次ベジェ曲線 \mathbf{P}(t) は複数の表現により定義される。以下はその一例である。

### バーンスタイン表現
バーンスタイン基底関数 J_{N,j}(t) 
 を用いて、N 次ベジェ曲線は以下のように定義される：

:\mathbf{P}(t)
= \sum_{i=0}^{N} \mathbf{B}_i J_{N,i}(t)
= \sum_{i=0}^{N} \mathbf{B}_i {N \choose i} t^i (1-t)^{N-i}

この形式でのベジェ曲線の定義は「ベジェ曲線のバーンスタイン表現」とも呼ばれる。

### ド・カステリョのアルゴリズム
ベクトル \mathbf{B}_i^r(t)
 に関する漸化式を以下のように定義する：

:\mathbf{B}_i^r(t) = 
\begin{cases}
\mathbf{B}_i(t),
  & r = 0,
  & i \in \{0, 1, ..., N\} \\
(1-t) \mathbf{B}_i^{r-1}(t) + t \mathbf{B}_{i+1}^{r-1}(t),
  & r \in \{1, ..., N\},
  & i \in \{0, 1, ..., N-r\} \\
\end{cases} 


この漸化式を用い N 次ベジェ曲線は \mathbf{P}(t) = \mathbf{B}_0^N(t) で定義される。

このアルゴリズムは***'（）と呼ばれる。

=== 陰関数表現 ===
ベジェ曲線は、シルベスターやケイリーの方法により、陰関数<math>F(x,y)=0</math> で表現できる。

== 性質 ==

=== 端点と端制御点の一致 ===
 次ベジェ曲線の始点は端の制御点 <math> \mathbf{B}_0</math> と、終点はもう一方の端の制御点 <math> \mathbf{B}_{N}</math> と一致する。

[[バーンスタイン基底関数]]は <math> J_{N,i}(0) = \delta_{i,0}</math>, <math> J_{N,i}(1) = \delta_{i,N}</math> である（⇒[[バーンスタイン多項式#バーンスタイン基底関数の特性]]）。よってベジェ曲線を構成する殆どの項は端点において 0 となり <math> \mathbf{P}(0)=\mathbf{B}_0 1
</math>, <math> \mathbf{P}(1)=\mathbf{B}_{N} 1
</math> となる。つまり始点 <math> \mathbf{P}(0) 
</math> が <math> \mathbf{B}_0</math> と、終点 <math> \mathbf{P}(1) 
</math> が <math> \mathbf{B}_N</math> と一致する。

=== 制御点の加重平均 ===

ベジェ曲線は制御点座標の[[平均#加重平均|加重平均]]と見做せる。

バーンスタイン基底関数は常に和が1であり（⇒[[バーンスタイン多項式#1の分割]]）、かつ <math>0 \leq t \leq 1</math> において非負である（⇒[[バーンスタイン多項式#区間非負]]）。よってベジェ曲線上の点  は各制御点  が  で重みづけされた加重平均と見做せる。この意味で各バーンスタイン基底関数は混合比とも呼ばれる。

=== 全制御点の反映 ===
ベジェ曲線の端点を除いた領域は、その座標が全ての制御点の座標から影響を受ける。

ベジェ曲線は制御点座標の加重平均であり（⇒[[#制御点の加重平均]]）、その重みであるバーンスタイン基底関数は <math>0 < t < 1</math> において常に正である（⇒[[バーンスタイン多項式#区間正値]]）。よって端点以外では全制御点の座標が大なり小なり曲線の各点へ反映されている。端点は例外であり、単一制御点の座標のみで決定される。

=== 制御点の通過 ===
ベジェ曲線は一般には両端以外の制御点は通らない。

ベジェ曲線の[[ベジェ曲線#制御点の加重平均|制御点の加重平均]]特性により、制御点を必ず通る  が存在するなら  が  で 1、他で 0 になる点があるはずである。図からわかるように、これは  のみに限られる。よって一般にはベジェ曲線は両端以外の制御点を通らない。制御点の座標によっては加重平均がたまたまある制御点と一致する場合がありうるので、制御点を通るのが常に両端のみ、というわけではない。

=== 端点とその隣の制御点で端点の接線が定まる ===
<math>\mathbf{B}_0</math> と <math>\mathbf{B}_1</math> を結ぶ線分がベジェ曲線の始点における接線であり、
<math>\mathbf{B}_{N-1}</math> と <math>\mathbf{B}_N</math> を結ぶ線分が終点における接線である。

=== 凸包性 ===
ベジェ曲線は制御点による[[凸包]]に含まれる。

=== 対称性 ===
制御点の順序を逆にしてもベジェ曲線の形状は変化しない。

=== アフィン不変性 ===
[[アフィン写像]]されたベジェ曲線は、アフィン写像された制御点から求めたベジェ曲線と等しい。
また、ベジェ曲線の特性（ループやカスプ、変曲点の有無と <math>t</math> 軸上の位置）は、アフィン写像によって変化しない。

=== パラメータのアフィン写像に対する不変性 ===
パラメータをアフィン写像しても、ベジェ曲線は変化しない。
例として、パラメータの区間を <math>[0, 1]</math> から <math>[a, b]</math> へアフィン写像しても、ベジェ曲線は変化しない。


=== 重心結合に対する不変性 ===
制御点からベジェ曲線を生成する過程で、重心結合が不変に保たれる。
例として、2つのベジェ曲線の加重平均は、各曲線の制御点それぞれの加重平均から求めたベジェ曲線と等しい。


=== 線形再現性 ===
制御点が直線上に等間隔で配置されている場合、ベジェ曲線は直線になり、<math>x</math> や <math>y</math> は <math>t</math> の線形関数になる（始点と終点を結ぶ直線が再現される）。
（等間隔でない場合も直線になるが、線形関数にはならない）


=== 曲率 ===
ベジェ曲線の曲率は、以下のにより求めることができる。
:<math>k = \frac{x'y''-y'x''}{\bigl({x'}^2+{y'}^2\bigr)\vphantom{'}^{3/2}}</math>

== 分類 ==
ベジェ曲線は制御点の数に基づいて分類される。以下はその一例である。

=== 2次ベジェ曲線 ===


は3つの制御点で構成されるベジェ曲線である。

2次ベジェ曲線は次の式で定義される：

<math>\begin{align}
\mathbf{P}(t)
& = \sum_{i=0}^2 \mathbf{B}_i J_{2,i}(t) \\
& =       (1-t)^2 \mathbf{B}_0
  + 2 t   (1-t)   \mathbf{B}_1
  +   t^2         \mathbf{B}_2 \\
& = (   \mathbf{B}_0 - 2 \mathbf{B}_1 +   \mathbf{B}_2) t^2
  + (-2 \mathbf{B}_0 + 2 \mathbf{B}_1                 ) t
  +  \mathbf{B}_0 \\
\end{align}</math>

上式よりベジェ曲線の性質を満たすことが容易に確認できる。 の次数より2次ベジェ曲線は[[高々 (数学)|高々]]2次の曲線であると確認でき、代入により と  で両端制御点の通過が確認できる。

==== 2次ベジェ曲線の行列形式 ====
:<math> \mathbf{P}(t) = \begin{bmatrix} t^2 & t & 1 \end{bmatrix} 
\begin{bmatrix}
1 & -2 & 1 \\
-2 & 2 & 0 \\
1 & 0 & 0
\end{bmatrix}
\begin{bmatrix} \mathbf{B}_0 \\ \mathbf{B}_1 \\ \mathbf{B}_2 \end{bmatrix}
</math>

==== 2次ベジェ曲線の陰関数表現 ====
:<math>
\begin{array}{l}
a_0={B_0}_x-2{B_1}_x+{B_2}_x \\
a_1=-2{B_0}_x+2{B_1}_x \\
a_2={B_0}_x \\
b_0={B_0}_y-2{B_1}_y+{B_2}_y \\
b_1=-2{B_0}_y+2{B_1}_y \\
b_2={B_0}_y \\
x=a_0t^2+a_1t+a_2 \\
y=b_0t^2+b_1t+b_2
\end{array}
</math>
とすると、
:<math>F(x,y)=a_2^2 b_0^2-a_1 a_2 b_0 b_1+a_0 a_2 b_1^2+a_1^2 b_0 b_2-2 a_0 a_2 b_0 b_2-a_0 a_1 b_1 b_2+a_0^2 b_2^2</math><br />
:<math> \qquad \qquad +(-2 a_2 b_0^2+a_1 b_0 b_1-a_0 b_1^2+2 a_0 b_0 b_2) x
+(-a_1^2 b_0+2 a_0 a_2 b_0+a_0 a_1 b_1-2 a_0^2 b_2) y</math><br />
:<math> \qquad \qquad +b_0^2 x^2-2 a_0 b_0 x y+a_0^2 y^2 \qquad =0</math>
となる。

==== 2次ベジェ曲線の面積 ====
曲線の始点と終点および原点で囲まれた領域の面積はガウスグリーンの定理で求めることができる。

:<math>
S=
\frac{1}{6}
\begin{bmatrix}
{B_0}_x & {B_1}_x & {B_2}_x
\end{bmatrix}
\begin{bmatrix}
0 & 2 & 1 \\
-2 & 0 & 2 \\
-1 & -2 & 0
\end{bmatrix}
\begin{bmatrix}
{B_0}_y \\
{B_1}_y \\
{B_2}_y
\end{bmatrix}
</math>

==== 2次ベジェ曲線の分割 ====
ド・カステリョのアルゴリズムを用いて任意の <math>t</math> で分割することができる。分割後の2曲線の制御点は
<math>\begin{bmatrix} \mathbf{B}_0^0(t) & \mathbf{B}_0^1(t) & \mathbf{B}_0^2(t) \end{bmatrix}</math> と 
<math>\begin{bmatrix} \mathbf{B}_0^2(t) & \mathbf{B}_1^1(t) & \mathbf{B}_2^0(t) \end{bmatrix}</math> である。

==== 2次→3次変換 ====
2次ベジェ曲線と等価な3次ベジェ曲線の制御点は <math>\begin{bmatrix} \mathbf{B}_0 & \frac{\mathbf{B}_0+2\mathbf{B}_1}{3} & \frac{2\mathbf{B}_1+\mathbf{B}_2}{3} & \mathbf{B}_2 \end{bmatrix}</math> である。

=== 3次ベジェ曲線 ===


は4つの制御点で構成されるベジェ曲線である。

3次ベジェ曲線は次の式で定義される：

<math>\begin{align}
\mathbf{P}(t)
& = \sum_{i=0}^3 \mathbf{B}_i J_{3,i}(t) \\
& =       (1-t)^3 \mathbf{B}_0
  + 3 t   (1-t)^2 \mathbf{B}_1
  + 3 t^2 (1-t)   \mathbf{B}_2
  +   t^3         \mathbf{B}_3 \\
& = (-  \mathbf{B}_0 + 3 \mathbf{B}_1 - 3 \mathbf{B}_2 +   \mathbf{B}_3) t^3
  + ( 3 \mathbf{B}_0 - 6 \mathbf{B}_1 + 3 \mathbf{B}_2                 ) t^2
  + (-3 \mathbf{B}_0 + 3 \mathbf{B}_1                                  ) t
  +  \mathbf{B}_0 \\
\end{align}</math>

上式よりベジェ曲線の性質を満たすことが容易に確認できる。 の次数より3次ベジェ曲線は[[高々 (数学)|高々]]3次の曲線であると確認でき、代入による  と  で両端制御点の通過が確認できる。

 を  で1階微分し端の制御点を代入することで、端点での接線ベクトルが求まる。これにより、

<math>\begin{align}
{d\mathbf{P}(t) \over dt}
& = \sum_{i=0}^3 \mathbf{B}_i J_{3,i}(t) \\
& = -3 (1-t)^2     \mathbf{B}_0
  + (9t^2 -12t +3) \mathbf{B}_1
  + (-9t^2 + 6t)   \mathbf{B}_2
  + 3t^2           \mathbf{B}_3 \\
& = 3 (-  \mathbf{B}_0 + 3 \mathbf{B}_1 - 3 \mathbf{B}_2 +   \mathbf{B}_3) t^2
  + 2 ( 3 \mathbf{B}_0 - 6 \mathbf{B}_1 + 3 \mathbf{B}_2                 ) t
  + 3 (-  \mathbf{B}_0 +   \mathbf{B}_1                                  ) \\
\end{align}</math>

<math>\begin{array}{lcl}
{d\mathbf{P}(0) \over dt} & = & 3 (- \mathbf{B}_0 + \mathbf{B}_1) &= 3 \overrightarrow{\mathbf{B}_0 \mathbf{B}_1} \\
{d\mathbf{P}(1) \over dt} & = & 3 (- \mathbf{B}_2 + \mathbf{B}_3) &= 3 \overrightarrow{\mathbf{B}_2 \mathbf{B}_3}  \\
\end{array}

 </math>

となり、端点とその隣の制御点で端点の接線が定まることがわかる。

==== 3次ベジェ曲線の行列形式 ====
:<math> \mathbf{P}(t) = \begin{bmatrix} t^3 & t^2 & t & 1 \end{bmatrix}
\begin{bmatrix}
-1 & 3 & -3 & 1 \\
3 & -6 & 3 & 0 \\
-3 & 3 & 0 & 0 \\
1 & 0 & 0 & 0
\end{bmatrix}
\begin{bmatrix}
\mathbf{B}_0 \\
\mathbf{B}_1 \\
\mathbf{B}_2 \\
\mathbf{B}_3
\end{bmatrix}
</math>

==== 3次ベジェ曲線の陰関数表現 ====
:<math>
\begin{array}{l}
a_0=-{B_0}_x+3{B_1}_x-3{B_2}_x+{B_3}_x \\
a_1=3{B_0}_x-6{B_1}_x+3{B_2}_x \\
a_2=-3{B_0}_x+3{B_1}_x \\
a_3={B_0}_x \\
b_0=-{B_0}_y+3{B_1}_y-3{B_2}_y+{B_3}_y \\
b_1=3{B_0}_y-6{B_1}_y+3{B_2}_y \\
b_2=-3{B_0}_y+3{B_1}_y \\
b_3={B_0}_y \\
x=a_0t^3+a_1t^2+a_2t+a_3 \\
y=b_0t^3+b_1t^2+b_2t+b_3
\end{array}
</math>
とすると、
:<math>
\begin{array}{l}
F(x,y)=a_3^3 b_0^3-a_2 a_3^2 b_0^2 b_1+a_1 a_3^2 b_0 b_1^2-a_0 a_3^2 b_1^3+a_2^2 a_3 b_0^2 b_2-2 a_1 a_3^2 b_0^2 b_2-a_1 a_2 a_3 b_0 b_1 b_2+3 a_0 a_3^2 b_0 b_1 b_2 \\
\qquad +a_0 a_2 a_3 b_1^2 b_2+a_1^2 a_3 b_0 b_2^2-2 a_0 a_2 a_3 b_0 b_2^2-a_0 a_1 a_3 b_1 b_2^2+a_0^2 a_3 b_2^3-a_2^3 b_0^2 b_3+3 a_1 a_2 a_3 b_0^2 b_3 \\
\qquad -3 a_0 a_3^2 b_0^2 b_3+a_1 a_2^2 b_0 b_1 b_3-2 a_1^2 a_3 b_0 b_1 b_3-a_0 a_2 a_3 b_0 b_1 b_3-a_0 a_2^2 b_1^2 b_3+2 a_0 a_1 a_3 b_1^2 b_3 \\
\qquad -a_1^2 a_2 b_0 b_2 b_3+2 a_0 a_2^2 b_0 b_2 b_3+a_0 a_1 a_3 b_0 b_2 b_3+a_0 a_1 a_2 b_1 b_2 b_3-3 a_0^2 a_3 b_1 b_2 b_3-a_0^2 a_2 b_2^2 b_3 \\
\qquad +a_1^3 b_0 b_3^2-3 a_0 a_1 a_2 b_0 b_3^2+3 a_0^2 a_3 b_0 b_3^2-a_0 a_1^2 b_1 b_3^2+2 a_0^2 a_2 b_1 b_3^2+a_0^2 a_1 b_2 b_3^2-a_0^3 b_3^3 \\
\quad +(-3 a_3^2 b_0^3+2 a_2 a_3 b_0^2 b_1-2 a_1 a_3 b_0 b_1^2+2 a_0 a_3 b_1^3-a_2^2 b_0^2 b_2+4 a_1 a_3 b_0^2 b_2+a_1 a_2 b_0 b_1 b_2-6 a_0 a_3 b_0 b_1 b_2 \\
\qquad -a_0 a_2 b_1^2 b_2-a_1^2 b_0 b_2^2+2 a_0 a_2 b_0 b_2^2+a_0 a_1 b_1 b_2^2-a_0^2 b_2^3-3 a_1 a_2 b_0^2 b_3+6 a_0 a_3 b_0^2 b_3+2 a_1^2 b_0 b_1 b_3 \\
\qquad +a_0 a_2 b_0 b_1 b_3-2 a_0 a_1 b_1^2 b_3-a_0 a_1 b_0 b_2 b_3+3 a_0^2 b_1 b_2 b_3-3 a_0^2 b_0 b_3^2)x \\
\quad +(a_2^3 b_0^2-3 a_1 a_2 a_3 b_0^2+3 a_0 a_3^2 b_0^2-a_1 a_2^2 b_0 b_1+2 a_1^2 a_3 b_0 b_1+a_0 a_2 a_3 b_0 b_1+a_0 a_2^2 b_1^2-2 a_0 a_1 a_3 b_1^2 \\
\qquad +a_1^2 a_2 b_0 b_2-2 a_0 a_2^2 b_0 b_2-a_0 a_1 a_3 b_0 b_2-a_0 a_1 a_2 b_1 b_2+3 a_0^2 a_3 b_1 b_2+a_0^2 a_2 b_2^2-2 a_1^3 b_0 b_3 \\
\qquad +6 a_0 a_1 a_2 b_0 b_3-6 a_0^2 a_3 b_0 b_3+2 a_0 a_1^2 b_1 b_3-4 a_0^2 a_2 b_1 b_3-2 a_0^2 a_1 b_2 b_3+3 a_0^3 b_3^2)y \\
\quad +(3 a_3 b_0^3-a_2 b_0^2 b_1+a_1 b_0 b_1^2-a_0 b_1^3-2 a_1 b_0^2 b_2+3 a_0 b_0 b_1 b_2-3 a_0 b_0^2 b_3)x^2 \\
\quad +(3 a_1 a_2 b_0^2-6 a_0 a_3 b_0^2-2 a_1^2 b_0 b_1-a_0 a_2 b_0 b_1+2 a_0 a_1 b_1^2+a_0 a_1 b_0 b_2-3 a_0^2 b_1 b_2+6 a_0^2 b_0 b_3)x y \\
\quad +(a_1^3 b_0-3 a_0 a_1 a_2 b_0+3 a_0^2 a_3 b_0-a_0 a_1^2 b_1+2 a_0^2 a_2 b_1+a_0^2 a_1 b_2-3 a_0^3 b_3)y^2 \\
\quad -b_0^3x^3 +3 a_0 b_0^2 x^2 y -3 a_0^2 b_0 x y^2 +a_0^3 y^3 \qquad =0
\end{array}
</math>
となる。

==== 3次ベジェ曲線の類型、判別 ====
3次ベジェ曲線は、[[変曲点]]、ループ（自己交差）、[[尖点|カスプ（尖点）]]、のいずれかを含む場合がある。以下類型に分類される

。


類型のどれにあてはまるかを判別するためには、まず、各制御点をアフィン写像して、<math>{\mathbf{B}}_0</math> が <math>(0,0)</math>、<math>{\mathbf{B}}_1</math> が <math>(0,1)</math>、<math>{\mathbf{B}}_2</math> が <math>(1,1)</math> であるに変換する。


次に、正準形式に変換した <math>{\mathbf{B}}_3</math> を以下の判別図にプロットして判定する。


曲線上の任意の点の座標を <math>x=f(t),\ y=g(t)</math> とすると、変曲点は、曲率の定義より <math>x'y''-y'x''=0</math> となる <math>t_1,\ t_2</math>、ループの交点は、<math>f(t_1)=f(t_2)</math> かつ <math>g(t_1)=g(t_2)</math> となる <math>t_1,\ t_2</math>である。ループの交点が重なる（<math>t_1 = t_2</math>）場合はカスプになる。

正準形式を用いない場合、各類型は以下により判別し特異点を求めることができる。



ただし、
:<math>
\begin{array}{l}
a_0=-{B_0}_x+3{B_1}_x-3{B_2}_x+{B_3}_x,\ 
a_1=3{B_0}_x-6{B_1}_x+3{B_2}_x,\ 
a_2=-3{B_0}_x+3{B_1}_x,\ 
a_3={B_0}_x \\
b_0=-{B_0}_y+3{B_1}_y-3{B_2}_y+{B_3}_y,\ 
b_1=3{B_0}_y-6{B_1}_y+3{B_2}_y,\ 
b_2=-3{B_0}_y+3{B_1}_y,\ 
b_3={B_0}_y \\
x=f(t)=a_0t^3+a_1t^2+a_2t+a_3,\ 
y=g(t)=b_0t^3+b_1t^2+b_2t+b_3 \\
u=a_1b_2-a_2b_1,\ 
v=a_0b_1-a_1b_0,\ 
w=a_0b_2-a_2b_0 \\
D=4uv-3w^2
\end{array}
</math>
とする。

==== 3次ベジェ曲線の面積 ====
:<math>
S=
\frac{1}{20}
\begin{bmatrix}
{B_0}_x & {B_1}_x & {B_2}_x & {B_3}_x
\end{bmatrix}
\begin{bmatrix}
0 & 6 & 3 & 1 \\
-6 & 0 & 3 & 3 \\
-3 & -3 & 0 & 6 \\
-1 & -3 & -6 & 0
\end{bmatrix}
\begin{bmatrix}
{B_0}_y \\
{B_1}_y \\
{B_2}_y \\
{B_3}_y
\end{bmatrix}
</math>

以下は2つの3次ベジェ曲線
<math>\begin{bmatrix} {\mathbf{B}}_0 & {\mathbf{B}}_1 & {\mathbf{B}}_2 & {\mathbf{B}}_3 \end{bmatrix}</math> による <math>\mathbf{P}_0(t)</math> と
<math>\begin{bmatrix} {\mathbf{B}}_4 & {\mathbf{B}}_5 & {\mathbf{B}}_6 & {\mathbf{B}}_7 \end{bmatrix}</math> による <math>\mathbf{P}_1(t)</math> の面積の例。<math>\mathbf{P}_0(t)</math> は制御点の並び順が原点に対し反時計回りなので面積は正の値、<math>\mathbf{P}_1(t)</math> は制御点の並び順が原点に対し時計回りなので面積は負の値になる。両者面積を合計することで閉包の面積が求まる。



==== 3次ベジェ曲線の連続性 ====


==== 3次ベジェ曲線の分割 ====
ド・カステリョのアルゴリズムを用いて任意の <math>t</math> で分割することができる。分割後の2曲線の制御点は
<math>\begin{bmatrix} \mathbf{B}_0^0(t) & \mathbf{B}_0^1(t) & \mathbf{B}_0^2(t) & \mathbf{B}_0^3(t) \end{bmatrix}</math> と 
<math>\begin{bmatrix} \mathbf{B}_0^3(t) & \mathbf{B}_1^2(t) & \mathbf{B}_2^1(t) & \mathbf{B}_3^0(t) \end{bmatrix}</math> である。

== 作図法 ==

前節の数式を適宜変形するなどして、コンピュータプログラムに実装すれば描画はできるわけだが、以下では3次のベジェ曲線（4個の制御点で示される曲線）を例として、手作業を念頭に置いた作図法を示す。この手順を基にした描画プログラムにも有用性があり、また人によってはベジェ曲線の性質を直観的に把握するにも有効かもしれない。

右図の  が与えられた制御点である。今、ベジェ曲線の  から  の比率の位置の点の座標を求めるためには、次のように計算すればよい。

#まず、制御点を順に結んで得られる3つの線分 （水色の折れ線）をそれぞれ  の比率で分割する点、 を求める。
#次に、これらの点を順に結んで得られる2つの線分 （橙色の折れ線）を再びそれぞれ   の比率で分割する点  を求める。
#最後に、この2点を結ぶ線分 （緑色の線分）をさらに  の比率で分割する点  を求めると、この点がベジェ曲線上の点となる。
#この作業を  の範囲で繰り返し行うことにより、 を制御点とする3次ベジェ曲線（赤色の曲線）が得られる。

== 交点の算出 ==

=== 図形分割による方法 ===
ベジェ曲線は制御点から成る凸包に内包される性質を利用して、交点が存在する範囲を限定し曲線を切り出すことを反復する[[Bezier clipping]]がある。

=== 代数方程式による方法（Implicitization） ===
直線とベジェ曲線の交点は、直線の式の <math>x, y</math> にベジェ曲線の式（<math>x=a_0t^2+a_1t+a_2, y=b_0t^2+b_1t+b_2</math> など）を
代入した方程式を解くことで、交点候補の <math>t</math> を求めることができる。
ベジェ曲線どうしの交点は、一方の曲線の陰関数に、他方の曲線の式を代入した陰伏方程式の実数根が交点候補となる。
交点候補は値域などの条件により交点か判定される。
この方法では、解の公式が存在しない高次方程式（3次ベジェ曲線どうしであれば9次方程式）の場合の解法が課題となる。
多数のベジェ曲線で構成された対象（PBRTのhairやfurなど）の3D[[レイトレーシング]]においては、3次ベジェ曲線と直線の最小距離を求めるための5次方程式について、[[ブダン・フーリエの定理]]と[[ヴァンサンの定理]]を用いて[[実根分離|実根を分離]]し、[[ミュラー法]]や[[リダーズ法]]を反復なしで用いて効率良く所定の精度で根を求めることができる、との報告例があり、この方針を3次ベジェ曲線どうしの交点算出に適用した実装例が公開されている。

== 複合ベジェ曲線 ==


'''[[複合ベジェ曲線]]'''（***'）はベジェ曲線を1つのセグメントとして複数セグメントを直列に接続した曲線である****。**ベジェスプライン**（）、**ポリベジェ曲線**（）とも。

N次ベジェ曲線は次数を変えずに延長できない。なぜなら延長のために制御点を追加することで次数も増加するからである。またN次ベジェ曲線は既存区間に影響を与えずに延長できない。なぜなら全制御点の反映という特性により新しい制御点座標が既存の区間にも反映されるからである。

これに対する方策にはスプライン曲線をはじめとした区分多項式がある。区分多項式ではある区間を1つの多項式で表現し、その続きの区間を別の多項式で表現し、曲線全体を複数の多項式で構成する。新しい区間の多項式は既存区間と独立しているため、上記の次数増や既存区間影響の問題を回避できる。これを採用し、ベジェ曲線で各区分を表現した区分多項式が複合ベジェ曲線である。

## 利用

### 用途
ベジェ曲線は様々な目的・用途に利用されている。

具体的には、ベジェ曲線は視覚芸術（絵画・アニメ・3DCGなど）に利用され、輪郭線の直接表現（参考: ドローソフト）、手書き線の補正（参考: ペイントソフト）、物体配置の補助線などとして用いられる。またフォント・カリグラフィー・タイポグラフィに利用される。工業デザインでも利用され、設計図中の物体を表現する曲線として直接表現される。GUIではグラフ型設定値の表現として用いられる。

ベジェ曲線のなかでも2次ベジェ曲線と3次ベジェ曲線は広く利用されている。特に3次ベジェ曲線は、始点と第1制御点を結ぶ線分が始点における曲線の接線になり、第2制御点と終点を結ぶ線分が終点における曲線の接線になるため、直感的に理解しやすく多用される。

### サポート
ベジェ曲線は様々なプラットフォームでサポートされている。

PostScriptやそのフォント (Type1フォント)、SVGやHTML5のcanvasで3次ベジェ曲線を利用できる。Microsoft WindowsのGDI/GDI+、Direct2D、.NET Frameworkの`System.Drawing.Drawing2D.GraphicsPath`、WPFの`System.Windows.Media.BezierSegment`では3次ベジェをサポートする。AWT（Java 1.2以降で追加された, の派生クラス）、Skiaの`SkPath`およびAndroidの`android.graphics.Path`は2次と3次のベジェ両方をサポートする。
## 歴史
ベジェ曲線はフランスの自動車メーカー、シトロエン社の とルノー社のピエール・ベジェにより独立に考案された。ド・カステリョの方が先んじていたが、その論文が公知とならなかったためベジェの名が冠されている。

## 名称
原語（フランス語）における  の発音はベズィエに近く、「ベジェ曲線」より「ベジエ曲線」の方がこれに忠実と言えるが、いずれの呼称も用いられている。

## ベジェ曲面

ベジェ曲面（曲面パッチなどとも）と呼ばれるような、3次元空間内の曲面への拡張にはいくつか手法がある。たとえば、目的の曲面においてパッチの端点となる3点とその3点における接平面を指定するという方法や、4点を指定し2方向のクロスハッチングのようにして面を構成するという方法がある。

## 脚注

### 注釈

### 出典

## 参考文献

* 
* 
* 
* 
* 穂坂衛：「CAD/CAMにおける曲線曲面のモデリング」、東京電機大学出版局、4-501-52250-X (1996年1月30日)。
* 

## 関連項目

*Adobe Illustrator
*CorelDRAW
*Canvas
*スプライン曲線
*B-スプライン曲線
*ベジェ曲面
*複合ベジェ曲線

## 外部リンク
*