On considère \(f(x,y)=(y^2+6)(x-1)-y(x^2+1)\) et \(g(x,y)=f(y,x)\).
Tracer les courbes \(C_1:f=0\) et \(C_2:g=0\) avec des couleurs différentes.
f:=(y^2+6)(x-1)-y(x^2+1);
g:=unapply(f,x,y)(y,x);
c1:=implicitplot(f,x=-3..3,y=-3..3,color=red):;
c2:=implicitplot(g,x=-3..3,y=-3..3,color=blue):;
(c1,c2)
D’après le théorème de Bézout, \(C_1\cap C_2\) est formé de \(9\) points. Où sont-ils ?
On voit quatre intersections simples, trois directions asymptotes communes qui doivent donner trois points à l’infini, il doit donc rester deux points d’intersection complexes.
Calculer le résultant de \(f\) et \(g\) par rapport à la variable \(y\).
px:=resultant(f,g,y)
En déduire la projection \(Z\) de \(C_1\cap C_2\) sur l’axe \(0x\).
R:=roots(px)
On voit apparaître les deux racines complexes, et deux racines de multiplicité 2.
En déduire l’ensemble \(C_1\cap C_2\).
On injecte les valeurs x et on résout en y
apply(r->roots(subst(f,x=r),y),col(R,1))
Tracer la courbe \(C_3:f+g=0\)
Oh, un cercle !
On considère la courbe plane paramétrée: \(t\mapsto (t(t^2-1)^2,t^2+1)\)
On considère les courbes d’équation: \(C_1:xy=4\) et \(C_2:y^2=(x-3).(x^2-16)\).