When I evaluate Solve[a==Sin[b*c], b] to rearrange the following for $ b $:

$$ a = \sin(bc) $$

I get the following result from Mathematica:

$$\begin{align*} \left\{\left\{b\to \text{ConditionalExpression}\left[\frac{-\sin ^{-1}(a)+2 \pi c_1+\pi }{c},c_1\in \mathbb{Z}\right]\right\},\right.\left.\left\{b\to \text{ConditionalExpression}\left[\frac{\sin ^{-1}(a)+2 \pi c_1}{c},c_1\in \mathbb{Z}\right]\right\}\right\} \end{align*}$$

It seems far too complicated. Unless I'm making a huge mistake, surely solving the equation for $ b $ would give:

$$ b = \frac{\sin ^{-1}(a)}{c} $$

Am I doing something wrong?


closed as too localized by Sjoerd C. de Vries, chris, whuber, m_goldberg, rm -rf Mar 30 '13 at 15:51

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center. If this question can be reworded to fit the rules in the help center, please edit the question.


Your answer is one possibility. But how about b = (ArcSin[a] + 2 Pi)/c? If you plug that into your defining equation then you get $a$ also.. so there are many answers, that's what Mathematica is telling you.

For example let

b = (ArcSin[a] + 2 Pi)/c

then calculate

Sin[b c]

and the answer is:


Similarly for other multiples of Pi.

  • $\begingroup$ Ah, I see. It looks like I've got a lot of learning ahead of me if I'm going to be able to make the most of Mathematica. $\endgroup$ – Craig Johnston Mar 29 '13 at 15:54

You are getting a complete solution - and I think it is beautiful:

Reduce[a == Sin[b*c], b, Reals] // TraditionalForm

enter image description here

The above is a bit closer to what you want - but is "correct".


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