$-3^2 = 9?\ $ Correct syntax for a negative number with an exponent.

Question

A friend is taking a college algebra class and they are teaching him that

$$-3^2 = -9$$

Their explanation is:

$$-3^2 = -(3^2) = -9.$$

It has been a long time for me but I thought that in the absence of any parenthesis that:

$$-3^2 = (-3) \times (-3) = 9.$$

They are even contradicting themselves because they teach the odd/even shortcut for exponents in another part of the book. i.e.:

if the exponent is even, the result it positive, and if
 the exponent is odd the result is negative. 

This is an actual picture of the book where they contradict themselves on the $-3^2 = -9$:

edit OK, since this has generated way more attention then I ever imagined I've updated here to respond to some of the comments.

1) I understand why the book is not contradicting itself in the picture specifically, or even in the "odd/even" exponent context, due to the fact that variable substitution always implies parens. The book and the teacher, from what my friend has said, do not do a good job of explaining that distinction though.

2) Yes, I understand why the answer is that $-3^2$ is NOT ambiguous is due to order of operations.

3) I made a comment about Khan Academy teaching it incorrectly, I realized I was wrong once I re-watched the video.

Answer 1

$-x^2$, in every mathematical context I have seen, always means $-(x^2)$. So $-3^2 = -9$.

On the other hand, when you plug in a value to an expression you don't just plug the symbols in directly, you add parentheses first. For example, if you plug in $x = y + 3$ to the expression $7x$, you get $7(y + 3) = 7y + 21$, not $7y + 3$. Similarly, plugging in $x = -3$ to the expression $x^2$ gives $(-3)^2 = 9$, not $-3^2 = -9$. So the book does not contradict itself.

Answer 2

$-3^2$ is always $-9$. There's no ambiguity. And the odd/even rule is also true! $x^n$ is always nonnegative when $n$ is even, and $x^n$ is the same sign as $x$ when $n$ is odd (when $x$ is real).

There's no contradiction, because "$-3^2$" isn't actually of the form $x^n$. See, $x^n$, when you substitute $x=-3$ and $n=2$, gives you "$(-3)^2$," not "$-3^2$." Remember, when you substitute in, you always need parentheses.

---

Why do we need parentheses? I'll give an example.

• What is $7-x$, when $x=2$?

The answer is $7-2=5$.

And now, the same question, reworded:

• What is $7-x$, when $x=4-2$?

Why is this the same question? Because $4-2$ is the same thing as $2$. That means that we should get the same answer. And yet: $$7-4-2=3-2=1,$$ a different answer! The only way to get the answers to agree is to write $7-(4-2)=7-2=5$. So we see that, in this example, we needed parentheses.

It turns out that when we put in the parentheses, we always get the right answer, and we've just seen that leaving them out can get you the wrong answer. This means that you need to put in the parentheses.

Answer 3

6005 already explained why they don't contradict themselves. As an alternative answer to the first part of the question, "higher order" operators usually take precedence: exponentiation is applied before multiplication, which again is applied before subtraction. Whether you interpret unary minus in $-x$ to be $0-x$ or $(0-1)∙x$ it then follows that $-x^2$ should be calculated as $-(x^2)$.

Answer 4

It's not a matter of syntax, it's a matter of operator precedence. In the absence of parentheses, exponentiation is executed first, then negation. Try this in Wolfram Alpha: -3^2. Then try (-3)^2. We have long agreed on these rules so that computers deliver consistent results on calculations involving various different arithmetic operations.

As for the odd-negative/even-positive thing, that only applies if the base is negative. Observe for example:

• $(-2)^2 = (-2) \times (-2) = 4$
• $(-2)^3 = (-2) \times (-2) \times (-2) = -8$
• $(-2)^4 = (-2) \times (-2) \times (-2) \times (-2) = 16$
• $(-2)^5 = (-2) \times (-2) \times (-2) \times (-2) \times (-2) = -32$

See also this Sloane's A122803.

Answer 5

The accepted syntax is one that goes by the standard rules of operator precedence and associativity that most mathematicians, scientists and computer programmers have followed for decades if not centuries.

Then, given $$-3^2 = -9$$ the squaring is done first, giving us $9$, and the negation is done second, resulting in $-9$. If instead you have $$(-3)^2 = 9$$ then it's clear that you multiply $3$ by $-1$ first and then you square it, giving $9$ as expected.

Of course computer programmers are human and they make mistakes. Sometimes you might find that your C++ program is not giving you the right results. (It doesn't help that the C++ operator ^ does something else anyway).

There are mistakes in your algebra book but the one you quote is not one of them. You failed to give a complete quotation. With a complete quote, we'd see that they're talking about negative numbers raised to odd or even exponents.

Answer 6

In the context of an algebra class I believe an algebraic proof will suffice: $$-1a=-a$$this property is given before exponents are introduced.

Now making the substitution $a=b^n$ gives the algebraic result needed $$-1b^n=-b^n$$

For your example $b=3$ and $n=2$ gives $-1•3^2=-3^2$

The left hand side being $-1•9=-9$

The right hand side must be interpreted as $-(3•3) =-9$

Thus the rule:

The product of an even number of negative numbers is positive.

The product of an odd number of negative numbers is negative.

is not contradictory.

To test your friend's understanding ask him to simplify: $$-3^{-2}$$

Answer 7

The best answer I can give is that there is no accepted syntax because it creates sufficient ambiguity to cause problems. Thus the rule should be: only use $-3^2$ if it is completely unambiguous what is meant due to context, otherwise use $(-3)^2$ or $-(3^2)$ to provide readers with unambiguous resolution.

I have seen, in typesetting, the use of a smaller negative sign when doing unary negation of numbers, such as $^-3^2$. If rendered this way, it would be reasonable to assume $^-3^2 \equiv (^-3)^2$.

A similarly confusing case could be $1 + -3^2$, which is hard to convert into a a form that PEMDAS will help with. In that particular syntax, I would be more likely to assume they intended $(-3)^2$, due to context.

One other approach could be to look at related disciplines. When I look at the syntaxes in MATLAB, Mathmatica, and R, all of them have exponentiation before negation (meaning $-3^2 \equiv -(3^2)$). If one were to take those languages as "definitive" for mathematics, one could assume the syntax is unambiguous. Personally, I would not try. I've seen enough "what does $6 / 3(2)$ equal" memes going around Facebook. I don't want to make more.

Answer 8

If you want a definitive answer then why not try seeing what Excel (sic) does with it....

As other answers have indicated, the problem comes with the distintion between the unary minus and the two term minus operator, along with how the minus operator should be attached (i.e. the implied parentheses/brackets) to a symbol, versus what to do with a (positive without a + sign) numeric value.

Ultimately it's a matter of local convention, and corresponding confusion.

Excel thinks it's -9; And there are many web pages about this problem causing confusion in spreadsheet results (other Excel issues are available;-).

Answer 9

To round out the answers, one might wonder why we chose to order operations so that $-3^2$ means $-(3^2)$ rather than $(-3)^2$.

A very simple reason is that if we mean to say $(-3)^2$, we have an alternate — and simpler — way to express the same value that we would prefer to use in most circumstances: $3^2$

However, if we mean to say $-(3^2)$, we don't have a correspond alternative.

Thus, the convention where $-3^2$ means $-(3^2)$ is simply more useful than the alternative.

Answer 10

So the Bible isn't the only book that can be completely misunderstood when passages are taken out of context. Nor is it the only book to contain contradictions. At least if you find a genuine contradiction in an algebra textbook you won't be accused of being a devil worshiper. However, you have not spotted a genuine contradiction here.

I'm not bringing up biblical errancy just to be sensationalist. The Bible actually predates algebra, and our modern rules of operator precedence developed from an understanding of equations from words. Consider Fermat's famous conjecture, only recently proven:

It is impossible for a cube to be the sum of two cubes, a fourth power to be the sum of two fourth powers, or in general for any number that is a power greater than the second to be the sum of two like powers.

That's exactly how he wrote, though in Latin.

Nowadays we say $x^3 + y^3 = z^3$ has no solutions. And we understand that you cube $x$ and you cube $y$ before adding them up and comparing them to $z^3$. You don't do $(x^3 + y)^3$ unless there are explicit parentheses actually placed like that, or if you're unaware of operator precedence.

So when you see $0 - 3^2$, that's different from $(0 - 3)^2$. By our modern rules of operator precedence, $-3^2$ is the same as $0 - 3^2$ and therefore different from $(0 - 3)^2$.

Lastly, you need to look at the context for that "if the exponent is even, the result it positive, and if the exponent is odd the result is negative." You will probably see something about the number to which the exponent is attached being negative. Then $(-3)^3 = -27$ but $3^3 = 27$.