Dans cette section on va construire les coordonnées du barycentre d'un segment, en faisant varier les poids aux extrémités et en assurant que leur somme vaut 1. Cette construction permet de définir chaque point d'un segment comme étant la coordonnée d'un barycentre du segment.
Nous allons commencer par modéliser un segment. Puis nous allons considérer deux segments ayant une extrémité commune et modéliser simultanément ces deux segments. On obtiendra alors deux points, sur lesquels nous appliquerons à nouveau cette modélisation. Et ainsi de suite. On verra que les courbes ainsi définies sont facilement manipulables. Pour commencer, nous allons apprendre à modéliser un segment, qui est est une autre manière de dire que nous allons le représenter comme l'ensemble de ses barycentres (voir définition du segment du point de vue des barycentres).
Cette sous section utilise un principe de modélisation des courbes, segments, domaines que l'on retrouve essentiellement dans l'étude des fonctions à $n$ variables. On a besoin de construire un fonction avec un paramètre, $i.e$ une variable qui permet de parcourir le segment. On va supposer $t$ cette variable et qu'elle prend ses valeurs entre $0$ et $1$ de manière à ce que lorsque $t=0$ on se trouve sur une extrémité du segment et qu'en $t=1$ on se trouve à l'autre. Si on définit la fonction $\gamma(t)$ comme ceci, on obtient ce que l'on veut.
Un segment dans le plan ou dans l'espace, définit par deux points $P_{0}$ et $P_{1}$ dans un repère d'origine $O$ : \begin{align*} \gamma : &[0;1] \longrightarrow \mathbb{R}^{n} \\ &t \longmapsto \gamma(t) = (1-t) . \overrightarrow{OP_{0}} + t . \overrightarrow{OP_{1}}\\ \end{align*} Si $n = 2$ on la paramétrisation est dans le plan, si $n = 3$ elle est dans l'espace. Ces formulations vectorielles sont les mêmes dans le plan ou dans l'espace, c'est du point de vue des composants des vecteurs que l'on voit une troisième dimension pour les segments de l'espace. Du point de vue des coordonnées : \begin{align*} \gamma : &[0;1] \longrightarrow \mathbb{R}^{2} \\ &t \longmapsto \gamma(t) = \left( \begin{array}{ccc} (1-t) . x_{\overrightarrow{OP_{0}}} + t . x_{\overrightarrow{OP_{1}}} ;\\ (1-t) . y_{\overrightarrow{OP_{0}}} + t . y_{\overrightarrow{OP_{1}}}\\ \end{array} \right)\\ \end{align*} Les coordonnées des vecteurs sont réduites aux coordonnées des points, les vecteurs partant tous de l'origine du repère : \begin{align*} \gamma(t) = \left( \begin{array}{ccc} (1-t) . x_{P_{0}} + t . x_{P_{1}} \\ (1-t) . y_{P_{0}} + t . y_{P_{1}}\\ \end{array} \right)\\ \end{align*} Dans $\mathbb{R}^{3}$, on a : \begin{align*} \gamma(t) = \left( \begin{array}{ccc} (1-t) . x_{P_{0}} + t . x_{P_{1}} \\ (1-t) . y_{P_{0}} + t . y_{P_{1}}\\ (1-t) . z_{P_{0}} + t . z_{P_{1}}\\ \end{array} \right)\\ \end{align*}
Donner le chemin du point $P_{0} = (2;1)$ au point $P_{1} = (-2 ; 5)$ \begin{align*} \gamma(t) = \left( \begin{array}{ccc} (1-t) . 2 + t . (-2) ;\\ (1-t) . 1 + t . 5\\ \end{array} \right) = \left( \begin{array}{ccc} 2 -2.t -2.t ;\\ 1 -t +5.t\\ \end{array} \right)= \left( \begin{array}{ccc} -4.t + 2 ;\\ 4.t + 1\\ \end{array} \right)\\ \end{align*} Donc le chemin $\gamma(t)$ est : \begin{align*} \gamma(t) = \left( \begin{array}{ccc} -4.t + 1 ;\\ 4.t + 1\\ \end{array} \right)\\ \end{align*} On a bien : \begin{align*} \gamma(0) = \left( \begin{array}{ccc} -4.0 + 2 ;\\ 4.0 + 1\\ \end{array} \right)= \left( \begin{array}{ccc} 2 ;\\ 1\\ \end{array} \right)= \left( \begin{array}{ccc} x_{P_{0}}\\ y_{P_{0}}\\ \end{array} \right) = \overrightarrow{OP_{0}} \end{align*} En $t = 0$ on se trouve bien en $P_{0}$. Et en $t = 1$ : \begin{align*} \gamma(1) = \left( \begin{array}{ccc} -4.1 + 2 ;\\ 4.1 + 1\\ \end{array} \right)= \left( \begin{array}{ccc} -2 ;\\ 5\\ \end{array} \right)= \left( \begin{array}{ccc} x_{P_{1}}\\ y_{P_{1}}\\ \end{array} \right) = \overrightarrow{OP_{1}} \end{align*} Comment s'assurer que ce chemin parcourt bien le segment de $P_{0}$ à $P_{1}$, et pas un autre trajet? Pour répondre à cette question, deux moyens, l'un graphique et l'autre analytique.
Vérifier l'équivalence ci dessus:
Solution, en détail :
Soit $M(t)$ : \begin{align*} \overrightarrow{OM} & = (1 - t ). \overrightarrow{OP_{0}} + t . \overrightarrow{OP_{1}}&&\text{développer l'expression} \\ & = 1. \overrightarrow{OP_{0}} - t . \overrightarrow{OP_{0}} + t . \overrightarrow{OP_{1}}&& \text{éliminer le signe -}\\ & = \overrightarrow{OP_{0}} + t . \overrightarrow{P_{0}O} + t . \overrightarrow{OP_{1}}&& \text{factoriser par $t$}\\ & = \overrightarrow{OP_{0}} + t . (\overrightarrow{P_{0}O} + . \overrightarrow{OP_{1}})&& \text{appliquer la relation de Châsles}\\ & = \overrightarrow{OP_{0}} + t . (\overrightarrow{P_{0}P_{1}}) && \\ \end{align*} On obtient : \begin{align*} \overrightarrow{OM} - \overrightarrow{OP_{0}} = t . (\overrightarrow{P_{0}P_{1}}) & \,\, \text{ soustraire $\overrightarrow{OP_{0}}$ des deux cotés} \\ \overrightarrow{OM} + \overrightarrow{P_{0}O} = t . (\overrightarrow{P_{0}P_{1}}) &\,\, \text{ éliminer le signe -} \\ \overrightarrow{P_{0}O} + \overrightarrow{OM} = t . (\overrightarrow{P_{0}P_{1}}) & \,\, \text{ appliquer la relation de Châsles}\\ \overrightarrow{P_{0}M} = t . (\overrightarrow{P_{0}P_{1}}) & \,\, \\ \end{align*} Donc les vecteurs $\overrightarrow{P_{0}M}$ et $\overrightarrow{P_{0}P_{1}}$ sont colinéaires.
Cette construction est valable quelque soit la dimension de l'espace $i.e$ dans le plan ou dans l'espace.
Dans le premier cas on définit un chemin dans le plan, qui sera continu si les fonctions qui définissent ses coordonnées le sont. De la même manière, avec trois coordonnées, le deuxième cas, on définit un chemin dans l'espace.
Dans la suite on voit les coordonnées données par la fonction $\gamma$ comme celles d'un point $M(t)$. On pourrait poser $\gamma(t) = \overrightarrow{OM(t)}$, ce qui est vrai du point de vue des coordonnées.
On utilisera dans la suite le point $M(t)$ au lieu du chemin. On peut se représenter les choses en se disant que $M(t)$ est le point que parcourt le chemin défini par la fonction $\gamma(t)$.
Ce point $M(t)$ est donné par ses coordonnées. On peut aussi voir ce point comme l'extrémité du vecteur $ \overrightarrow{OM(t)}$. Les coordonnées sont identiques. Seules la notation change. Horizontalement pour le point et verticalement pour un vecteur.
Soient les point $P_{0} = (2;3;1)$ et $P_{1} = (-1;1;3)$, donner l'équation vectorielle du chemin modélisant le segment $[P_{0}P_{1}]$. Puis donner les e=équations du point de vue des composantes.
Solution :
$ \overrightarrow{OM} = (1 - t ). \overrightarrow{OP_{0}} + t . \overrightarrow{OP_{1}}$ , $M(t)$ parcourant le segment $[P_{0}P_{1}]$.
Soient les point $A = (1;0;0)$, $B = (0;1;0)$ et $C = (0;0;1)$. Donner l'équation du triangle.
Solution :
soit $\gamma_{ABC}(t)$ le chemin qui parcourt le triangle. Alors On peut décomposer ce chemin en trois segments: $\gamma_{ABC}(t) = \gamma_{AB}(t) + \gamma_{BC}(t) + \gamma_{CA}(t)$ et ainsi donner le paramétrage de chaque segment. On peut soit diviser l'intervalle $[0;1]$ trois sous intervalle : $t \in [0;1/3[$, $t \in [1/3;2/3[$ puis $t \in [2/3;1]$ , soit se placer sur $[0;3]$ $i.e$ avoir trois segments parcourus respectivement pour $t \in [0;1[$, $t \in [1;2[$ puis $t \in [2;3]$. Il faut alors adapter la variable $t$ dans les équations des chemins sur les trois segments.
Solution :
Pour modéliser une demie droite, on a besoin d'un point de départ, appelons le $A$ et d'un vecteur non nul $\vec{v}$ pour définir la direction et le sens de parcourt de cette demie droite. \begin{align*} \overrightarrow{OM}(t) = \overrightarrow{OA} + t . \vec{v} \end{align*} Ce qui du point de vue des coordonnées donne dans $\mathbb{R}^{3}$, pour $M(t) = (x(t);y(t);z(t))$ donne : \begin{eqnarray*}\label{coord3DBarGamma} x_{M(t)} = x_{A} + t.x_{v} && \\ y_{M(t)} = y_{A} + t.y_{v} && \\ z_{M(t)} = z_{A} + t.z_{v} && \\ \end{eqnarray*}
Pour ces valeurs de $t$, on a définit la trajectoire d'un point $M$ qui relie deux points à l'aide d'une courbe paramétrique. Pour l'instant on a vu cette paramétrisation entre pour un segment du plan ou de l'espace. On va voir dans la suite que l'on peut appliquer ces modèles à plusieurs segments contigus pour obtenir des courbes lisses et harmonieuses.
De la même manière on peut paramétrer le chemin de $M_{0}(t)$ et $M_{1}(t)$, en faisant parcourir à ce segment un point $M(t)$ toujours pour $0 \leq t \leq 1$.
Selon ce qui est dit dans ce document, on peut disposer à chaque instant $t$ de la positions des points $M_{0}^{i}(t) \,, i = 0 ; 1$. De la même manière on peut aussi disposer des coordonnées du points $M(t)$, à l'aide de la relation vectorielle suivante : \begin{align*} \overrightarrow{OM(t)} & = (1 - t ). \overrightarrow{0M_{0}} + t . \overrightarrow{0M_{1}}\\ \end{align*} Grâce à ref.[1] et l'équation précédente, on peut obtenir le point $M(t)$ comme combinaison des points $P_{1}$, $P_{2}$ et$P_{3}$ : \begin{align*} \overrightarrow{OM(t)} & = (1 - t ). ((1 - t ). \overrightarrow{OP_{0}} + t . \overrightarrow{OP_{1}}) + t . ((1 - t ). \overrightarrow{OP_{1}} + t . \overrightarrow{OP_{2}})\\ \end{align*} Si on développe la relation précédente : \begin{align*} \overrightarrow{OM(t)} & = (1 - 2 . t + t^{2} ). \overrightarrow{OP_{0}} + 2.t.(1-t). \overrightarrow{OP_{1}} + t^{2} . \overrightarrow{OP_{2}}\\ \end{align*} Pour $t \in [0;1]$.
Bilan de ce que nous avons construit ici :
Remarque sur les notations : les point $M_{i}^{j}$ on un exposant $j$. Cet exposant permet de définir chaque étape de la modéliastion. \\ Nous allons ensuite obtenir un couple de points $M_{0}^{2} ; M_{1}^{2}$, ce dernier défini un segment. Ce segment va être parcouru par un point $M(t)$. L'équation de la position de ce point permettra de définir une courbe qui reliera les points $P_{0}$ et $P_{3}$ avec une courbe tangente aux segments $[P_{0} ;P_{1}]$ et $[P_{2} ;P_{3}]$. Définition de l'équation de la position de $m(t)$ : Soient les points : $P_{0}$, $P_{1}$, $P_{2}$ et $P_{3}$. On a : \begin{align}\label{om0om1op0op132} \overrightarrow{OM_{0}^{1}} & = (1 - t ). \overrightarrow{OP_{0}} + t . \overrightarrow{OP_{1}}\\ \overrightarrow{OM_{1}^{1}} & = (1 - t ). \overrightarrow{OP_{1}} + t . \overrightarrow{OP_{2}}\\ \overrightarrow{OM_{2}^{1}} & = (1 - t ). \overrightarrow{OP_{2}} + t . \overrightarrow{OP_{3}} \end{align} De la même manière pour les points : $(M_{0}^{1} ; M_{1}^{1} ; M_{2}^{1})$, on peut définir pour les deux segments $[M_{0}^{1} ;M_{1}^{1}]$ et $[M_{1}^{1} ;M_{2}^{1}]$ comme étant parcourus par les points $M_{0}^{2}$ et $M_{1}^{2}$ respectivement. On obtient alors : \begin{align} \overrightarrow{OM_{0}^{2}} & = (1 - t ). \overrightarrow{OM_{0}^{1}} + t . \overrightarrow{OM_{1}^{1}}\\ \overrightarrow{OM_{1}^{2}} & = (1 - t ). \overrightarrow{OM_{1}^{1}} + t . \overrightarrow{OM_{2}^{1}} \end{align} Puis on a le point $M(t)$ qui parcourt le segment $[M_{0}^{2} ;M_{1}^{2}]$: \begin{align}\label{om0om1op0op135} \overrightarrow{OM(t)} & = (1 - t ). \overrightarrow{OM_{0}^{2}} + t . \overrightarrow{OM_{1}^{2}} \end{align} Remarque sur les coefficients $(1-t)$ et $t$ affectés à chaque point pas à pas : Dès que l'on dispose d'un segment, mettons $[AB]$ par exemple et que l'on veut définir un point $M(t)$ qui le parcourt pour $t$ allant de $0$ à $1$, alors on affecte toujours le coefficient $(1-t)$ au premier point, le point de départ choisi et $t$ au point d'arrivée. Ce que l'on a fait à chaque étape de la construction ci dessus.
A partir de la dernière équation on va insérer pas à pas les valeurs des vecteurs dont on dispose.
Dans l'équantion précédente on peut injecter les deux vecteurs donnés par l'équation ci-dessus et l'équation suivante : \begin{align*} \overrightarrow{OM(t)} & = (1 - t ). \overrightarrow{OM_{0}^{2}} + t . \overrightarrow{OM_{1}^{2}}\\ & = (1 - t ). ((1 - t ). \overrightarrow{OM_{0}^{1}} + t . \overrightarrow{OM_{1}^{1}}) + t . ((1 - t ). \overrightarrow{OM_{1}^{1}} + t . \overrightarrow{OM_{2}^{1}})\\ & = (1 - t )^{2}. \overrightarrow{OM_{0}^{1}} + 2. t . (1 - t ). \overrightarrow{OM_{1}^{1}} + t^{2} . \overrightarrow{OM_{2}^{1}} \end{align*} On peut maintenant utiliser les expressions obtenues avec les trois équations précédentes : \begin{eqnarray*}\label{om0om1op0op138} \overrightarrow{OM(t)} = (1 - t )^{2}. ( (1 - t ). \overrightarrow{OP_{0}} + t . \overrightarrow{OP_{1}})\\+ 2. t . (1 - t ). ((1 - t ). \overrightarrow{OP_{1}} + t . \overrightarrow{OP_{2}})\\ + t^{2} .((1 - t ). \overrightarrow{OP_{2}} + t . \overrightarrow{OP_{3}}) \end{eqnarray*} En simplifiant un peu : \begin{align}\label{om0om1op0op139} \overrightarrow{OM(t)} = (1 - t )^{3}. \overrightarrow{OP_{0}} + 3.t(1-t)^{2} . \overrightarrow{OP_{1}}+ 3.t^{2}.(1-t) . \overrightarrow{OP_{2}} + t^{3} . \overrightarrow{OP_{3}}; \end{align} Cette courbe définie par la position de $M(t)$, permet de joindre les points $P_{0}$ et $P_{3}$ par une courbe dérivable au moins deux fois, dons les extrémités sont tangentes aux segments de départ et d'arrivée. Valable quelque soit la configuration. Du moment que les points étudiés ne soient pas confondus.
$M(t)$ est le barycentre du système $\mathbf{S}$ où : \begin{align*} \mathbf{S} = \{ (P_{0} ; (1 - t)^{3}) ; (P_{1} ; 3.t.(1-t)^{2}) ; (P_{2} ; 3.t^{2}.(1-t)) ; (P_{3} ; t^{3}) \} \end{align*} On pourra vérifier que la somme des poids vaut bien 1 : Exercice!
Solution :
\begin{align*} (1 - t)^{3}+ 3.t.(1-t)^{2}+ 3.t^{2}.(1-t) +t^{3}& = 1-3.t + 3.t ^{2} - t^{3} + 3.t.(1-2.t + t^{2}) + 3.t^{2}- 3.t^{3} + t^{3} \\ & = 1-3.t + 3.t ^{2} - t^{3} + 3.t-6.t^{2} + 3.t^{2} - 3.t^{3} + t^{3} \\ & = 1 \\ \end{align*} La somme des poids vaut bien $1$. Ce qui est une particularité de ces polynômes en $t$ appelés polynômes de Bernstein.
Construire le modèle avec cinq points $P_{i}$ pour $i = 0,$ à $1$.
Solution :
To be done