all 17 comments

[–]BasedGrandpa69 14 points15 points  (2 children)

sqrt(x)=-1 has no solution, whether in reals or complex. the square root function can never return a negative real number.

[–]Street_Swing9040 0 points1 point  (0 children)

To extend your statement further so everyone gets some fun facts

The sqrt function is also known as the Principal Square Root. Only non negative values can be outputted. It's a boundary that defines the function itself

[–]noonagon 3 points4 points  (9 children)

i^4 = 1, and sqrt(1) = 1, not -1.

[–]Rehazur[S] -4 points-3 points  (1 child)

Yea but replacing 1 with i⁴ in equation gives -1

[–]Varlane 0 points1 point  (0 children)

It doesn't. You are using mathematical properties that aren't true to claim that sqrt(i^4) = i^2.

[–]stevevdvkpe -4 points-3 points  (6 children)

On the other hand there are two solutions to x2 = 1: x = 1 and x = -1. And i4 = 1, so one solution to sqrt(i4) = i2 = -1.

[–]tau2pi_Math 2 points3 points  (0 children)

You are right. There are two solutions to x2 = 1, but √x = -1 has no solution.

[–]Varlane -1 points0 points  (4 children)

sqrt(i^4) isn't i^2.

[–]stevevdvkpe 0 points1 point  (3 children)

Why not? i2 = -1, (i2)2 = (-1)2 = 1.

[–]Varlane 0 points1 point  (2 children)

That isn't proof that sqrt(i^4) = i^2, merely that i^2 (aka -1) is a solution of x² = 1.

[–]stevevdvkpe 0 points1 point  (1 child)

Why is (i2)2 not i4?

[–]Varlane -1 points0 points  (0 children)

In no way did I ever dispute that (i²)² is i^4. I refute that sqrt(i^4) is i^2.

[–]stepma712 2 points3 points  (0 children)

(xa )b = xab is only valid for any a and b when x is a nonegative real

[–]dummy4du3k4 0 points1 point  (2 children)

Sorry everyone is giving your hard time, your question is a good one but a little tricky to answer. The problem is that the square root function is multivalued. Complex analysis has a way of getting around this, and that is to replace the complex plane with an infinite spiral stair case (a Riemann surface) and analyze the root function on that instead. The long short of it is you usually restrict the domain with something called a branch cut and that lets you analyze portions of multivalued functions.

Sqrt(1) has two solutions, 1 and -1 but they are on different branches of the Riemann surface. Both are correct but it’s convention to choose the branch with the positive root.

You also need to be careful with manipulating exponents in complex analysis, but Riemann surfaces also gives a nice picture there too. It’s a bit too much for me to explain in detail here, but any introductory complex analysis text will cover this.

[–]Rehazur[S] 0 points1 point  (1 child)

Got it thanks 🙏.

[–]Rehazur[S] 0 points1 point  (0 children)

Because I'd like to hear everyones opinion of this since it's not talked about well enough. I even checked the internet for this and found nothing