5
$\begingroup$

Is $-1$ a perfect square?

We know that $i^2 = -1$. Does that mean $-1$ is a perfect square because $i$ is not an irrational or decimal number?

  • 7
    In the ring of Gaussian integers $\mathbf Z[i]$, yes. – 2017-01-22
  • 7
    What is your definition of perfect square? The usual definition says it's the square of an integer. – 2017-01-22
  • 6
    Normally, we call a number a perfect square if it is the square of an integer. And with integer here we mean *rational* integer, i.e., no complex numbers allowed – 2017-01-22
  • 0
    @Crostul, I'm more asking if it is a perfect square using general terms, so whatever the generally accepted definition of a perfect square is. – 2017-01-22
  • 0
    It is a perfect square but not a square number. For it to be a square number, $i$ would have to be an integer. – 2017-01-22
  • 0
    What do you mean by "decimal number"? This is not a term used by mathematicians, at least not in a way that makes sense here. – 2017-01-22
  • 3
    Every complex number is the square of some complex number, so a small modification would lead to "all complex numbers are perfect squares". In this case, the name "perfect square" will not make sense anymore. But if we restrict to $\mathbb Z[i]$, a definition would make some sense because not every number will be a square of some other number. – 2017-01-22

1 Answers 1

21

The term perfect square is typically reserved for squares of integers, unless further context is specified, so in the regular usage of the term, $-1$ is not a perfect square.

More generally, you might want to refer to perfect squares in a ring (especially the ring of integers of an algebraic number field)—in such a context, we might say that $-1$ is a perfect square, but with reference to the ring. For example, $-1$ is a perfect square in $\mathbb{Z}[i]$, but is not a perfect square in $\mathbb{Z}$.

This situation is similar to how $i$ is not an irrational number—the term irrational number refers to real numbers which are not rational, not just any old mathematical entity which is not a rational number.

  • 0
    @BillDubuque, your link is to an ebay listing! Also, https://en.wikipedia.org/wiki/Irrational_number seems to agree with Clive's convention here that irrational numbers are necessarily real, so that $i$ is, by that convention, not irrational. – 2017-01-23
  • 0
    Your last sentence is inaccurate - see [Is $i$ irrational?](http://math.stackexchange.com/a/823981/242) @Barry see the linked thread (link now fixed). The point is that the definition / convention depends on the context (just as for squares). – 2017-01-23
  • 0
    @BillDubuque, thanks for fixing the link. It's a nice answer there. I'm a little surprised the wikipedia entry doesn't make any mention of the alternative convention. – 2017-01-23