Système du 18.8.2018
Réponses
-
Ça ne me paraît pas très étonnant : pour $a=b=1$, les polynômes minimaux de l'abscisse et de l'ordonnée de la solution réelle sont de degré 9.
R.<x,y> = PolynomialRing(QQ,2) [color=#0000FF]e1[/color], [color=#FF9900]e2[/color] = x^3*y-y^4-1, x^2*y+2*x*y^2+y^3-1 I = R.ideal([e1,e2]) D = I.variety(AA)[0]; print D x0, y0 = x.change_ring(AA).subs(I.variety(AA)[0]),y.change_ring(AA).subs(I.variety(AA)[0]) x0.minpoly(), y0.minpoly()
Sortie = valeur approchée des coordonnées de la solution réelle [le point d'interrogation indique qu'il s'agit d'un nombre algébrique] et leurs polynômes minimaux :{x: 1.479530679728058?, y: 0.3116787887357698?} (x^9 - x^8 + 3/4*x^6 - 7/4*x^5 - x^4 + 3/4*x^3 - 3*x^2 + 2*x - 1/2, x^9 + 3/4*x^6 + x^5 + 3/4*x^3 + 3/2*x^2 + 1/4*x - 1/4)
Pour $a$ et $b$ « formels » (j'ai supprimé le carré) :R.<x,y,a,b> = PolynomialRing(QQ,4) e1, e2 = x^3*y-y^4-a, x^2*y+2*x*y^2+y^3-b I = R.ideal([e1,e2]) I.elimination_ideal([y]).gens()[0];I.elimination_ideal([x]).gens()[0]
donne4*x^9*b - 4*x^8*a + 3*x^6*b^2 - 7*x^5*a*b - 4*x^4*a^2 + 3*x^3*b^3 - 12*x^2*a*b^2 + 8*x*a^2*b - b^4 - a^3 4*y^9 + 3*y^6*b + 4*y^5*a + 3*y^3*b^2 + 6*y^2*a*b + y*a^2 - b^3
NB : Le fait que ce soit de degré $9$ et pas $12$ suggère qu'il se passe quelque chose. Quand on homogénéise, c'est-à-dire quand on considère $(x^3y-y^4-az^4,x^2y+2xy^2+y^3-bz^3)\subset \Q[x,y,z]$, l'idéal d'élimination de $y$ est bien engendré par un polynôme de degré $12$, celui de $x$ par un polynôme de degré $9$, celui de $z$ par un polynôme de degré $10$. Est-ce que c'est lié au fait que les courbes sont tangentes à l'infini en $[1:0:0]$ (deuxième figure) ? -
Bonjour,
Voici une résolution de ce système.
Sans perte de generalité, on suppose $\displaystyle a,b\geq 0$.
On réécrit le système sous la forme $\displaystyle y(x-y)|x+jy|^2=a^2, y(x+y)^2=b^2.$
Cas $\displaystyle a=b=0$ :
On trouve sans peine $\displaystyle x\in\R, y=0.$
Cas $\displaystyle a=0,b>0$ :
On trouve sans peine $\displaystyle x=y=(b^2/4)^{1/3}.$
Cas $\displaystyle a>0,b=0$ :
On trouve sans peine $\emptyset.$
Cas $\displaystyle a>0,b>0 $ :
On suppose $x=0$. Et alors la première équation donne $\displaystyle -y^4=b^2$ : contradiction.
On pose alors $\displaystyle t=y/x.$ Et les équations deviennent $\displaystyle x^4 t(1-t^3)=a^2, x^3t(1+t)^2=b^2.$
On en déduit que nécessairement $\displaystyle 0<t<1$ et par substitution en exprimant $\displaystyle x^{12}$ de deux façons on trouve $\displaystyle F(t)={t(1+t)^8\over (1-t^3)^3}={b^8\over a^6}$. Une simple étude de la fonction $F$, qui est définie, continue et dérivable sur $\displaystyle 0<t<1$ montre que $\displaystyle F’(t)={(1+9t+8t^3)(1+t)^7\over (1-t^3)^4} >0$ et avec $\displaystyle F(0)=0$ (prolongée par continuité) on conclut qu’il existe une et une seule solution $\displaystyle c>0$ vérifiant $\displaystyle F(c)={b^8\over a^6}$.
On trouve donc $\displaystyle x=(b^2/(c(1+c)^2))^{1/3}, y = c x$ où $c$ est l’unique solution telle que $ \displaystyle c(1+c)^8/(1-c^3)^3=b^8/a^6.$ -
Merci à tous les deux.
L'idée de concentrer tous les ennuis dans
$
c(1+c)^8/(1-c^3)^3 = b^8/a^6
$
me plait.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres