MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Take an example polynomial $f(x, y) = y^2 x + y^3 - x^2$. A solution to $f(x,y)=0$ exists with Puiseux series given by $y(x) = x^{2/3} - x/3 + x^{4/3}/9+\cdots$. I got this by having Mathematica directly solve $f=0$ for $y$ and then perform a Puiseux series expansion for me about $x=0$.

However, since a direct solution to $f=0$ is obviously not available for arbitrary $f$, what I'd like is a method to determine just the lowest-order term of the expansion of $y(x)$ about $x=0$ for arbitrary $f(x,y)$. In the example above, this term would be $x^{2/3}$.


share|cite|improve this question
up vote 3 down vote accepted

Finding such solutions was in fact Newton's original motivation for inventing "Newton polygons". There's a nice exposition of this in Chapter 2 of "The Implicit Function Theorem: History, Theory, and Applications" by Steve Krantz and Hal Parks.

share|cite|improve this answer

The magic words are "Newton Polygon". (there is a vast literature on the subject, the wikipedia article is one place to start).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.