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

I am trying to calculate analytic solution (or locus) of zeros of a very large multi-variable function which is consisted of thousands of nonlinear trigonometric terms. All the variables are real numbers. The function is not differential.

(The equation is a Singular Value of the constrains matrix of a mechanical system)

Here is an example of what I want:

For this equation: $$ f = y\sin(\theta) - z\cos(\theta) $$ Where $ \theta,y,z \in \mathbb{R} $ (and if it helps: $ 0 \le \theta < 2\pi$).

I want all the sets of real values of $\theta$, $y$ and $z$ that satisfy $f = 0$, which would be the following three set of answers:

$$ \theta = \arctan(\frac{z}{y}) $$

$$ z = 0,\ \theta = \{0,...\},\ y\in \mathbb{R} $$

$$ y = 0,\ \theta = \{\pi/2,...\},\ z\in \mathbb{R} $$

Q: Is there any way in any software that this solution could be achieved?

Any help would be much appreciated! Thanks.

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

In the particular case you give, you can make the substitution $t = tan(\theta)/2,$ which transforms your equation into a single polynomial in three variables, of which you want to find all real solutions (you can then back out the $\theta$). If your trig functions depend nicely on the argument, this reduction will always work, at which point (since you say "function") you want to find all real real zeros of a multivariate polynomial. I am not sure what form you want for these solutions (generally there will not be a nice parametrization), but Mathematica's Solve[] or Reduce[] will often give you something useful.

share|cite|improve this answer
Thanks a lot for your answer, I will look into your solution and report back! – pm89 Jul 7 '13 at 0:28
The symbolic expression is extremely large (consists of hundreds of millions of terms) and I found it impossible to simplify, and thus I guess nothing would work in my case. So now I am trying to choose a completely different path. – pm89 Aug 20 '13 at 3:28
Anyway I appreciate your solution and I will accept it as the answer. – pm89 Aug 20 '13 at 3:32

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.