Envoyé par
Moi en Mode Echec, qui a du temps à perdre...
On va noter pour t dans [0,1], P1(t) l'équation de ta première courbe et P2(t) l'équation de ta deuxième courbe. Tu as grosso-modo :
P1(t) = (2t^3-3t^2+1)*P0 + (t^3-2t^2+t)*M0 + (-2t^3+3t^2)*P1+(t^3-t^2)*M1
et de même,
P2(t) = (2t^3-3t^2+1)*P2 + (t^3-2t^2+t)*M2 + (-2t^3+3t^2)*P3+(t^3-t^2)*M3
Où P0, P1, P2 et P3 sont des points, M0, M1, M2 et M3 sont, en fait, les vecteurs dirigeants les tangentes à ces points (la direction qu'a la courbe en ce point...).
Il faut chercher tous les couples (t1, t2) dans [0,1]*[0,1] c'est à dire tous les couples de paramètres permettant d'avoir :
P1(t1) = P2(t2)
Car il se peut que les deux courbes ne se coupe pas en même temps. Un peu comme deux voitures, il possible de couper la trajectoire d'une autre voiture, il préférable de ne pas le faire au moment où cette voiture arrive où on se trouve sinon...
On va aussi décomposer les points et les vecteurs en leur coordonnées :
P0 = (P0,1 ; P0,2) M0 = (M0,1 ; M0,2)
P1 = (P1,1 ; P1,2) M1 = (M1,1 ; M1,2)
P2 = (P2,1 ; P2,2) M2 = (M2,1 ; M2,2)
P3 = (P3,1 ; P3,2) M3 = (M3,1 ; M3,2)
Du coup, on obtient deux égalités : une pour les abscisses (où toutes les coordonnées sont en X,1, X prend pour valeur 1, 2, 3, 4) et une selon les ordonnées (où toutes les coordonnées sont en X,2). Pour la première :
(2*t1^3-3*t1^2+1)*P0,1 + (t1^3-2*t1^2+t)*M0,1 + (-2*t1^3+3*t1^2)*P1,1+(t1^3-t1^2)*M1,1
=
(2*t2^3-3*t2^2+1)*P2,1 + (t2^3-2*t2^2+t)*M2,1 + (-2*t2^3+3*t2^2)*P3,1 + (t2^3-t2^2)*M3,1
(pour la seconde il suffit de remplacer les ",1" par ",2"...)
Maintenant, on fixe t1 dans [0,1], c'est à dire que t1 a une valeur particulière entre 0 et 1 mais on ne préoccupe pas de cette valeur. Et donc on peut noter une constante K(t1) telle que :
K(t1) = (2*t1^3-3*t1^2+1)*P0,1 + (t1^3-2*t1^2+t)*M0,1 + (-2*t1^3+3*t1^2)*P1,1 + (t1^3-t1^2)*M1,1
et donc :
K(t1) = (2*t2^3-3*t2^2+1)*P2,1 + (t2^3-2*t2^2+t)*M2,1 + (-2*t2^3+3*t2^2)*P3,1 + (t2^3-t2^2)*M3,1
(On écrit K(t1) et pas K car cette constante dépend du t1 choisit!)
On change un peut l'écriture de l'égalité précédente :
K(t1) = 2*P2,1*t2^3 - 3*P2,1*t2^2 + P2,1 + M2,1*t2^3 - 2*M2,1*t2^2 + t - 2*P3,1*t2^3 + 3*P3,1*t2^2 + M3,1*t2^3 - M3,1*t2^2
(c'est plus très lisible mais développé...)
On factorise selon les termes en t2, t2^2 et t2^3
K(t1) = (2*P2,1 + M2,1 - 2*P3,1 + M3,1)*t2^3 +( -3*P2,1 - 2*M2,1 + 3*P3,1 - M3,1)*t2^2 + t + P2,1
C'est un polynôme en t2 de la forme
a*t2^3 + b*t2^2 + t + c
avec :
a = (2*P2,1 + M2,1 - 2*P3,1 + M3,1)
b = ( -3*P2,1 - 2*M2,1 + 3*P3,1 - M3,1)
c = P2,1
On a l'égalité : K(t1) = a*t2^3 + b*t2^2 + t + c
Ou encore : 0 = a*t2^3 + b*t2^2 + t + c - K(t1)
0 = a*t2^3 + b*t2^2 + t + c'
avec c' = c - K(t1)
[...]
Partager