0
$\begingroup$

$f(x, y) = 0$ and $g(x, y) = 0$, both $f$ and $g$ are cubic polynomial equation (at most 10 coefficients for each).

Is there any fixed method to solve this degenerate equation system? thanks.

$\endgroup$
1
  • 1
    $\begingroup$ WHat's degenerate about it? And what do you mean by "solve"? Numerically? In radicals? $\endgroup$
    – Igor Rivin
    Commented Jul 30, 2013 at 13:43

3 Answers 3

2
$\begingroup$

Resultants are good, but for practical computations the Bezout Lemma (it's the same as the extended Euclidean algorithm) can be less expensive: Assume that $f(x,y)$ and $g(x,y)$ are relatively prime. Consider $f$ and $g$ as polynomials in $y$ over the field $k(x)$, where $k$ is your (unspecified) base field. Then there are $r,s\in k(x)[y]$ with $r(y)f(x,y)+s(y)g(x,y)=1$. Multiplying with the least common multiple $u(x)$ of the denominators of the coefficients of $r(y)$ and $s(y)$ yields $R(x,y)f(x,y)+S(x,y)g(x,y)=u(x)$, where $R,S\in k[x,y]$. So if $f=g=0$, then $u=0$.

Of course $u(x)$ is essentially the resultant of $f$ and $g$ with respect to $y$.

$\endgroup$
1
$\begingroup$

The magic word is "resultant" (which see, on, e.g., Wikipedia). The resultant of your equations will be a single one variable equation of degree nine. There is not much hope of it being solvable in radicals, but it will be easily solved numerically. On the other hand, if you have software which will solve it numerically, it will probably solve the original system (in Mathematica I believe it is "NSolve")

$\endgroup$
0
$\begingroup$

I'd suggest reading about resultants. The applications section of that article gives a method for solving your problem.

P.S. The level of this question seems maybe borderline for this forum (non-research-level questions can always be asked at math.stackexchange.com), but I could imagine someone going through grad school without learning about resultants so it seemed worth answering.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged .