Taking Square Roots: Evaluating k^2 in Math

[cepheid]

Okay, before I start my discussion, note that k \in \mathbb{R}

Edit: for anyone reading this right now, I accidentally hit 'submit post' instead of 'preview', so please ignore the thread until it has some content!

Okay, here is the content. In my prof's notes, he is evaluating:

\sqrt{k^2}

and he writes:

\sqrt{k^2} = |k|

I can understand that, because the square root sign denotes the positive square root, so in order to ensure the result is positive without making any assumptions about the intrinsic sign of k, you'd have to take its absolute value. I understand it, but it still caught me off guard! Maybe I'm just forgetting basic stuff, but I usually blindly write:

\sqrt{k^2} = k

without even thinking about it. So here I am in university, taking complex analysis, and being confused by a stupid little thing like this. In this case, it's causing me even more confusion because it doesn't seem to immediately make a difference. He's actually solving a differential equation, and in this step he is solving the characteristic equation for a variable r using the quadratic formula to obtain this result:

r = -1 \pm \sqrt{-k^2} = -1 \pm i\sqrt{k^2} = -1 \pm i|k|

That is pretty much what he has written. But the thing is, why should I even care about it? We're not just taking the positive square root. The quadratic formula accounts for both positive and negative square roots. To me, writing this:

r = -1 \pm i|k|

seems silly because there is already a plus or minus, and the expression evaluates to:

r = -1 \pm ik if k > 0

r = -1 \mp ik if k < 0

so logically this covers all the bases no matter the sign of k! Regardless of whether k equals +3 or -3, I will end up with r = -1 +/- 3i

So...why can't I just write the result as:

r = -1 \pm ik

and be done with it?

YET, it DOES make a difference to the solution of the D.E. later on whether you write k or |k|. So, strictly speaking, is |k| the ONLY correct answer to \sqrt{k^2} when -\infty &lt; k &lt; \infty?

 

[cepheid]

Something just occurred to me: one possible simple answer to my question is YES, you have to write the answer as |k|, because square root of k squared is a specific case of a more general formula for a complex number:

|z| = \sqrt{[Re(z)]^2 + [Im(z)]^2

So for the specific case of z = k \in \mathbb{R} meaning Im[z] = 0, we get:

|z| = |k| = \sqrt{[Re(z)]^2} = \sqrt{k^2}

And that settles it. Okay, I'm feeling pretty stupid now. Do you guys agree I've just answered my own question?

 

[TD]

It has to be the absolute value yes, since we defined the (real) function of the square root (k was real here, right?) as a positive number. Take k = -4, then sqrt((-4)²) = sqrt(16) = 4 and not -4, so it was |-4| = 4.

 

[mathman]

I think this discussion is a very confusing way of looking at this question. Cepheid's professor has taken an approach which is very troublesome. Specifically, there are two square roots to any number. When we write the solution of the quadratic equation with +-, we are emphasizing the fact that we must use both square roots. k² has two square roots, k and -k, whether or not k is positive or negative. In case k is complex, |k| would be wrong!

 

[HallsofIvy]

I think this discussion is a very confusing way of looking at this question. Cepheid's professor has taken an approach which is very troublesome. Specifically, there are two square roots to any number. When we write the solution of the quadratic equation with +-, we are emphasizing the fact that we must use both square roots. k² has two square roots, k and -k, whether or not k is positive or negative. In case k is complex, |k| would be wrong!

"Specifically, there are two square roots to any number."

No, there aren't. Notice that the professor wrote |k| because k (and so k²)was a real number. That distinction is important. If one were dealing with a differential equation with complex coefficients, then one could argue that we have to deal with "multi-valued" square roots as well as other functions. But this was clearly a differential equation with real coefficients and so the professor was carefully distinguishing between the real and imaginary parts of the complex number. That is, except for the "i" itself, he was working with real numbers. And any positive real number has, by definition, only one square root.

 

[mathman]

And any positive real number has, by definition, only one square root.

Here is where I strongly disagree. You can define it that way if you want, but it doesn't change the fact that (-2)²=(2)²=4, so that the square root of 4 has two values 2 or -2.

 

[Nimz]

The square root function has exactly one value for any given non-negative real number. By definition, that value is the non-negative square root. I know, this is being a bit anal.

For the simple example in the original post, the answer doesn't depend on whether you put the absolute value in. However, in more complicated examples, it makes a difference, as the OP figured out. So it pays to be anal, sometimes.

 

[HallsofIvy]

Here is where I strongly disagree. You can define it that way if you want, but it doesn't change the fact that (-2)²=(2)²=4, so that the square root of 4 has two values 2 or -2.

If you were asked for the solutions to x²= 3, would you write
x= \pm\sqrt{3} or just x= \sqrt{3}?

If you really believed that every number has two square roots, then you would have to say that the latter is the only correct answer since \sqrt{3} indicates both.

 

[ksinclair13]

I thought that every positive real number has two square roots and that the square root sign indicates the positive square root.

 

[Nimz]

The square root function has exactly one value for any given non-negative real number. By definition, that value is the non-negative square root.

To get the negative root, it is simply a matter of multiplying the positive root by -1, but only the positive root is THE square root. For the square root relation to be considered a function, it must be one-to-one (pass the vertical line test, loosely speaking). By convention, we take the positive root rather than the negative one to define the square root function.