Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

I am wondering if it is possible to prove (or come up with an explicit example) that there is a polynomial $f ( x,y,z )$ of degree 8 such that the set $f ( x,y,z )=0$ is a union of two torri? Any specific proof or example of such polynomial? Thanks

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

take a Torus, for example $$ f_{R,r}(x,y,z) := (x^2+y^2+z^2+R^2-r^2)^2-4R^2(x^2+y^2)=0, $$ Now $f(x,y,z) = f_{2,1}(x,y,z) \cdot f_{2,1}(x,y,z-27)$ is a polynomial which zeroset is a union of two tori.

AB, martini.

share|cite|improve this answer

A torus can be defined in $\mathbb{R}^3$ as the zero locus of a quartic polynomial. For a simple example that is radially symmetric about the $z$-axis, the Pythagorean theorem and some geometry tells us that


is the equation of the torus with major radius $R$ and tube radius $r$ (these terms aren't standard or anything). Some algebra (multiply out, isolate the sqrt, square, etc.) allows us to write this as


This is a fourth-degree polynomial set to zero. Multiply two equations of this form and we're done.

share|cite|improve this answer

For example, $g(x,y,z) = (x^2+y^2+z^2+3)^2-16(x^2+y^2)$ is the equation of one torus centred at the origin, and is a polynomial of degree $4$. So $g(x,y,z) g(x,y,z+s) = 0$ is the equation of two tori with their centres separated by by $s$ on the $z$ axis, and has degree $8$.

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.