Robert's answer tells you correctly how to find, given an $x$, a complex $c$ such that $x^c=-x$.

However, it is worth pointing out that you cannot find a single $c$ such $x^c=-x$ will hold for every $x$. There's no existing number that achieves this, and if you try to extend the number system by simply postulating that $c$ exists (which I think was the point of the question), you run into this: $$ 0 = \frac08 = \frac{-4+4}{8} = \frac{4^c+4}8 = \frac{2^c2^c+4}8 = \frac{(-2)(-2)+4}8 = \frac{4+4}8 = 1 $$ So if you want your $c$ to exist, but don't want to collapse everything into $0=1$, then you have to discard the exponentiation rule $(ab)^c=a^cb^c$. And without that rule, the result isn't really worthy of being called exponentiation in the first place.

I think you have been fooled by a common introduction to complex numbers, which goes like this: "There is no real number whose square is $-1$, but assume we had such a number anyway and call it $i$. Then we can calculate with the assumption $i^2=-1$, and, ta-dah! we have invented a new kind of numbers". This presentation, however, sweeps an important point under the carpet, namely that we had better be sure that assuming $i^2=-1$ doesn't allow us to prove falsehoods such as $0=1$ about the real numbers that we already know and love -- because if it does that means that we haven't invented a new kind of numbers but simply deceived ourselves.

For $i^2=-1$ it turns out that it's not too difficult to prove that it doesn't lead to nonsense. But even when this proof is shown, something is still swept under the carpet here, namely that if we assume $i^2=-1$ and the familiar rule that every number is either 0 or positive or negative (and the usual rules for positive and negative numbers), then we can still derive nonsense. So what's really true is that we can get a $\sqrt{-1}$ if and only if we're willing to drop what we know about positive and negative numbers (or "less than"/"greater than") when we're working with complex numbers.

Extending the concept of number is almost always connected to a loss of some rules that used to hold before the extension. How far we can push the extension depends on how many rules we're willing to let go of. So you can have your $c$, but the cost you must pay is the rules for how exponentiation works. And if you pay that cost, having $c$ becomes pretty useless anyway, so the whole expedition turns out to be pointless.

(But of course we couldn't have known that before we went and checked. The idea was good enough; it just didn't work. Perhaps your next one will.)


$x^c = e^{c \log x} = -x = e^{\pi i + \log(x)}$ if $c \log x = \log(x) + (2 n + 1) \pi i $ for some integer $n$. Thus the answer is $c = 1 + \frac{(2n + 1) \pi i}{\log x}$ (assuming, of course, $x \ne 1$).


Your idea is not wrong. From what I assume (and Henning seems to think this, too), your introduction to imaginary and complex numbers has been something like this:

The equation $x^2 + 1 = 0$ has no solution in the Real numbers. So, lets add a new number $i$ that is a solution to this equation and thus "extend" the set of Real numbers to the Complex numbers where every one of them will have this form (proof omitted): $a + bi$ and (again proof omitted) this new set $C$ does not drive us into deriving nonsense statements and has all the properties needed to call it a field.

This new set of Complex numbers does not have all features that the Reals have (as Henning points) like the concept of negatives and positives but it does have a lot of new features that the Reals do not have - like the fact that any polynomial equation with degree $n$ has exactly $n$ solutions, and not just for n=2 but for any positive n - and many others that you will find in any book about Complex Analysis.

So, your idea again, is quite smart and is essentially what many people have used previously in what are called algebraic (field) extensions. Off course, it doesn't work as you expected and depending on how one interprets your equation either (as Robert explained) "your equation already has solutions in the Complex numbers" or (as Henning explained) "it leads to nonsense statements".

Perhaps you can find some other equation that has no solution and thus extend them. Or you can start with something simpler like the Rationals (the field $Q$) and extend it with a solution to the equation $x^2 - 2 = 0$. This is called if I am not wrong $Q(\sqrt{2})$ and you could try to find (and prove) the properties of this set. Is it a field (etc)?

Or the Rationals extended by a solution to $x^2 + 2 = 0$, which would be called $Q(\sqrt{-2})$.


Log of negative numbers can be expressed with usual complex numbers: $\ln(-1)=\pi i$.


$$\log(-100)=\log(100i^2)$$ $$\log(-100)=2+2\log(i)$$