Courbe de Bézier

Les courbes de Bézier sont des courbes polynomiales paramétriques développées pour concevoir des pièces de carrosserie d'automobiles. Elles ont été conçues par Paul de Casteljau en 1959 pour Citroën et, indépendamment, par Pierre Bézier en 1962 pour Renault (les travaux de Paul de Casteljau étant confidentiels, c'est le nom de Bézier qui est passé à la postérité). Elles ont de nombreuses applications dans la synthèse d'images et le rendu de polices de caractères. Elles ont donné naissance à de nombreux autres objets mathématiques.

Il existait avant Bézier des courbes d'ajustement nommées splines, mais dont le défaut était de changer d'aspect lors d'une rotation de repère, ce qui les rendait inutilisables en CAO. Bézier partit d'une approche géométrique fondée sur la linéarité de l'espace euclidien et la théorie, déjà existante, du barycentre : si la définition est purement géométrique, aucun repère n'intervient puisque la construction en est indépendante, ce qui n'était pas le cas pour les splines (les splines conformes aux principes de Bézier seront par la suite nommées B-splines).

Théorie générale 
La courbe de Bézier pour les n+1 points de contrôle , est l'ensemble des points définis par la représentation paramétrique , pour  et où les  sont les polynômes de Bernstein.

La suite des points  forme le « polygone de contrôle de Bézier ».

Exemples
 Pour n = 2, les polynômes de Bernstein sont définis par :

Puis on ajoute les n+1 points de contrôle pour chaque coefficient du polynôme :

avec . C'est donc la courbe de Bézier de degré 2.

Pour n = 3 on a :

Puis on ajoute les n+1 points de contrôle pour chaque coefficient du polynôme et on obtient,

avec . C'est donc la courbe de Bézier de degré 3.

 Remarque
 Puisque les polynômes de Bernstein forment une partition de l'unité, on a . La somme des coefficients est donc non nulle pour tout , donc tous les points  de la courbe sont correctement définis.

Propriétés
 La courbe est à l'intérieur de l'enveloppe convexe des points de contrôle.
 La courbe commence par le point  et se termine par le point , mais ne passe pas a priori par les autres points de contrôle qui déterminent cependant l'allure générale de la courbe.
  est le vecteur tangent à la courbe en  et  au point .
 Une courbe de Bézier est infiniment dérivable (de classe ).
 La courbe de Bézier est un segment si et seulement si les points de contrôle sont alignés.
 Chaque restriction d'une courbe de Bézier est aussi une courbe de Bézier.
 Un arc de cercle ne peut pas être décrit par une courbe de Bézier, quel que soit son degré.
 Une courbe de Bézier d'ordre 2 est un fragment de parabole si les points qui la définissent ne sont pas alignés.
 Le contrôle de la courbe est global : modifier un point de contrôle modifie toute la courbe, et non pas un voisinage du point de contrôle.
 Pour effectuer une transformation affine de la courbe, il suffit d'effectuer la transformation sur tous les points de contrôle.

Courbes de Bézier cubiques 
Quatre points P0, P1, P2 et P3 définissent une courbe de Bézier cubique. La courbe se trace en partant du point P0, en se dirigeant vers P1 et en arrivant au point P3 selon la direction P2-P3. En général, la courbe ne passe ni par P1 ni par P2 : ces points ne donnent qu'une information de direction. La distance entre P0 et P1 détermine la vitesse du déplacement dans la direction de P1 avant de tourner vers P3.

D'après ce qui précède, la forme paramétrique de la courbe s'écrit comme une combinaison affine des points de contrôle

pour .On voit ici clairement la propriété de partition de l'unité des polynômes de Bernstein : d'après la formule du binôme de Newton à l'ordre 3,

La somme des coefficients associés aux points de contrôle vaut bien 1.

Les courbes de Bézier sont intéressantes pour le traitement des images pour deux raisons principales :
 Les points peuvent être rapidement calculés en utilisant une procédure récursive qui utilise la division par deux et les opérations de base en évitant toutes les opérations de l'arithmétique des nombres réels flottants.

 
ou de manière équivalente
,
,

Attention : contrairement à l'usage en mathématique,  sont ici des points (plus rigoureusement des vecteurs) et non les composantes d'un vecteur. Par ailleurs, dans la deuxième formulation, il faut faire les opérations indiquées dans l'ordre, de haut en bas, de gauche à droite et en répétant les opérations même si elles apparaissent plusieurs fois identiquement, cela avec les nouvelles valeurs dues aux opérations précédentes (mathématiquement, cela revient à décomposer la  comme un produit de  avec ,  et  partout ailleurs).

Plus précisément, on peut décomposer la courbe  en deux courbes  et  dont les points de contrôles sont respectivement  et  avec

et 

Lors de cet appel récursif pour tracer , étant donné que la courbe de Bézier passe par le premier et le dernier point de contrôle, la position des extrémités de chaque morceau  est connue. Lorsque l'on implémente un tel tracé, le critère d'arrêt de la récurrence peut être lié à la distance entre la sous-courbe à tracer et le segment  par exemple.

Note : l'arithmétique des nombres réels flottants étant disponible directement sur les processeurs modernes, elle est devenue bien plus rapide que l'allocation de mémoire nécessaire pour une récursion. De plus, une méthode qui fournit les pixels de la courbe à tracer sans aller de proche en proche ne permet pas d'antialiasing. La récursion n'est donc plus la bonne méthode pour tracer les courbes de Bézier ; on utilisera avantageusement la méthode qui parcourt les pixels de proche en proche en calculant à chaque pas un « défaut de tangente » utilisable pour l'antialiasing.
 
Le calcul d'un point d'une courbe de Bézier peut également s'effectuer en utilisant la méthode de Horner en calculant préalablement les coefficients vectoriels  du polynôme :

Exemples 
 Courbe de Bézier linéaire (de degré 1)
 Les points de contrôle P0 et P1 définissent la courbe de Bézier donnée par l'équation :

 Il s'agit donc du segment [P0, P1].

 Courbe de Bézier quadratique (de degré 2)
 Une courbe de Bézier quadratique est la courbe B(t) définie par les points de contrôle P0, P1 et P2.

 Ces courbes quadratiques sont encore très utilisées aujourd'hui (par exemple dans les définitions de glyphes des polices de caractères au format TrueType, et les polices OpenType dans leur variété compatible TrueType).
 Toutefois, si elles permettent d'assurer la continuité en tangence de deux courbes raccordées, elles ne permettent pas (en général) de conserver la continuité de la courbure aux points d'interconnexion. Pour pallier cet inconvénient, il est alors nécessaire d'augmenter le nombre d'arcs interconnectés afin de réduire les ruptures de courbure entre chacun d'eux, ce qui en limite l'intérêt et peut conduire à une complexification de la conception des courbes (avec davantage de sommets et de points de contrôles à positionner).

 Courbe de Bézier cubique (de degré 3)
 Une courbe de Bézier cubique est la courbe B(t) définie par les points de contrôle P0, P1, P2 et P3. Sa forme paramétrique est :
 
 Ce sont les courbes de Bézier les plus utilisées en conception graphique (car elles permettent d'assurer non seulement la continuité en tangence de deux courbes raccordées, mais aussi celle de leur courbure, tout en évitant d'avoir à positionner de nombreux sommets et points de contrôle).
 Elles sont utilisées par exemple dans le langage PostScript et la définition des glyphes des polices de caractères de « type 1 », ainsi que dans les polices OpenType dans leur variété CFF (Compact Font Format) qui reprend les mêmes définitions de sommets et points de contrôle.
Courbe de Bézier cubique approximant un arc de cercle
Pour dessiner une courbe de Bézier approximant l'arc de 90° d'un cercle de rayon r, il faut disposer 4 points définis par 2 segments perpendiculaires aux axes X et Y passant par le centre du cercle. La longueur de chaque segment doit être rk avec  (voir ).

 Courbe de Bézier de degré supérieur à 3
 Elles sont rarement utilisées. On préfère se ramener à l'utilisation de courbes cubiques que l'on raccorde afin de conserver le bénéfice de la continuité de courbure. Pour cela, il faut et il suffit que le dernier point d'une courbe soit le premier d'une autre. On obtient ainsi une courbe continue.
 Par exemple, pour une courbe définie par les points A, B, C, D, E, F et G, on  utilise les courbes cubiques définies par A, B, C, et D,  et par D, E, F, et G et la continuité est ainsi assurée. Pour avoir une courbe C1 en D, il faut que [C, D] = [D, E], et si en plus on veut qu'elle soit C2 en D, alors [B, D] = [D, F], et de même pour les dérivées successives. Toutefois, cette transformation fait perdre la continuité C3 en D (et la seule façon d'y pallier est d'insérer des points de contrôle supplémentaires (afin d'augmenter le nombre d'arcs cubiques pour obtenir une meilleure approximation et au moins assurer la continuité C3 dans les points initiaux, mais pas autour des points de contrôle ajoutés).
 L’intérêt des courbes de Bézier de  ou plus est toutefois plus limité aujourd'hui du fait de l’avancée et de l'intégration du support des B-splines non uniformes dans les bibliothèques graphiques modernes, et notamment des NURBS, à coefficients rationnels, équivalentes à des B-splines non uniformes (mais à poids entiers en progression non nécessairement arithmétique, comme c'est le cas des courbes de Bézier), ces B-splines étant cependant calculées d'abord dans un espace projectif à coordonnées homogènes, et qui permettent de conserver l'ensemble des avantages de B-splines de  ou supérieur, y compris dans le cas des courbes coniques (non linéaires) qui sont impossibles à représenter exactement avec des courbes de Bézier autrement qu'avec une approximation par un grand nombre de sommets et de points de contrôle.

Applications 

Synthèse d'images
 Les courbes de Bézier composent l'outil de la base du dessin vectoriel qui repose sur la transcription mathématique des objets. Le format Scalable Vector Graphics (SVG) permet de tracer des courbes de Bézier quadratique et cubique. Les courbes de Bézier cubiques sont également utilisées par les logiciels de dessin vectoriel suivants :
 Dans le logiciel libre JPicEdt il y a un outil pour créer et éditer des chaines de courbes de Bézier d'ordre 3.
 Dans le logiciel libre Inkscape.

 Les courbes de Bézier cubiques, les plus utilisées, se retrouvent en graphisme et dans de multiples systèmes de synthèse d'images, tels que PostScript, Metafont et GIMP, pour dessiner des courbes « lisses » joignant des points ou des polygones de Bézier.

 Les courbes de Bézier apparaissent dans les navigateurs compatibles HTML5 dans l'élément canvas.
 Les courbes de Bézier apparaissent également dans des logiciels de rendu 3D tels que Blender.

 Dans le logiciel de dessin matriciel, Paint, il est possible de créer des courbes de Bézier d'ordre 3 avec l'outil « Courbe ». Cela se fait en traçant un trait de P0 à P3 puis en cliquant successivement aux lieux de P1 et P2. 

Animation
 Certaines courbes de Bézier cubiques peuvent être utilisées pour définir l’avancement d’une animation ou transition CSS3 en fonction du temps. Les extrémités de la courbe sont prédéfinies en (0 ; 0) et (1 ; 1), et les abscisses des deux points de contrôle restants doivent être comprises entre 0 et 1.
 Rendus de polices de caractères
 Les textes sont également définis par des courbes de Bézier dans le cadre des fonctions de PAO comme la mise en page complexe, la gestion de bloc de texte, les habillages.
 Les polices de caractères TrueType utilisent des courbes de Bézier quadratiques plus simples.

Gravure musicale
 En gravure musicale, les traits de legato sont traditionnellement représentés par des courbes de Bézier cubiques. Cette méthode permet de reproduire tant les courbes classiques que celles, plus rare, présentant des points d'inflexion.

Courbe de Bézier rationnelle 
Pour décrire très exactement des courbes comme les cercles (bien qu'en pratique les approximations par les courbes de Bézier soient suffisantes), il faut des degrés de liberté supplémentaires. 

L'idée est d'ajouter des poids aux points de contrôle (ce sont les ). Le dénominateur n'est là que pour normaliser la somme des poids supplémentaires, afin que la courbe soit définie comme une combinaison convexe des points
de contrôle.

Une courbe de Bézier rationnelle prend la forme générale suivante :

Bibliographie 
 Courbes et Surfaces, Pierre Bézier, Hermès, 1986
 Modèles de Bézier, des B-splines et des NURBS, G Demengel, JP Pouget, Éditions Ellipses (Approche pédagogique pour dévoiler la boîte noire de ces modèles utilisés en CAO pour la modélisation des courbes et des surfaces.)
 Annexe G du livre de font: the Program'', Addison-Wesley 1986, pp. 123-131. Excellente discussion sur les détails de l'implémentation; disponible gratuitement comme partie intégrante de la distribution de TeX.

Notes et références

Voir aussi

Articles connexes 
 Spline et B-spline, autres courbes paramétriques. Les NURBS en sont une généralisation.
 Surface de Bézier, généralisation aux surfaces (c'est la forme la plus utile en CAO) .
 Algorithme de De Casteljau, permet d'afficher les courbes de Bézier.
 Théorème d'universalité de Kempe
 Unisurf

Liens externes 
 Courbes et surfaces de Bézier avec implémentation Sur le site nonifier.ovh.org
 Cours de mathématique de BTS sur les courbes de Bézier, lycée Aymar de Saint Seine sur le site http://lyceeenligne.free.fr.

  Living Math Bezier applet Sur le site sunsite.ubc.ca
  Bezier Curves drawer using C/Opengl Sur le site jppanaget.com
  Bitmap/Bézier curves/Cubic et  Bitmap/Bézier curves/Quadratic sur le site rosettacode.org
  Logiciel de dessin LECYGN Logiciel utilisant les courbes de Bézier comme bases de dessin et comme  supports pour des textes avec mises en forme paramétrables : euraldic.com.
  Application interactive illustrant la construction d'une courbe de Bézier
  How to Generate LaTeX Picture Environments Using the GaPFilL Method La constante de l'arc de cercle utilisée par Herbert Möller

Bezier
Interpolation polynomiale
Invention française