Groups > comp.soft-sys.math.mathematica > #1964

Re: complex equation

Path	csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!gegeweb.org!news.glorb.com!news-out.readnews.com!transit4.readnews.com!newspump.sol.net!post2.nntp.sol.net!posts.news.twtelecom.net!nnrp2.twtelecom.net!not-for-mail
From	Gary Wardall <gwardall@gmail.com>
Newsgroups	comp.soft-sys.math.mathematica
Subject	Re: complex equation
Date	Thu, 28 Apr 2011 10:36:23 +0000 (UTC)
Organization	Steven M. Christensen and Associates, Inc and MathTensor, Inc.
Sender	steve@smc.vnet.net
Approved	Steven M. Christensen <steve@smc.vnet.net>, Moderator
Message-ID	<ipbfv7$afn$1@smc.vnet.net> (permalink)
References	<ip8o5p$pfi$1@smc.vnet.net>
Lines	49
NNTP-Posting-Date	28 Apr 2011 09:37:08 GMT
NNTP-Posting-Host	b65042e2.news.twtelecom.net
X-Trace	DXC=UMj1:Qnc5a2YcOU3??Fhd9C_A=>8kQj6=;[h;PUXBgb4ERa3End<1C=EFiONJ7[Go68<LL?R>7NS3
X-Complaints-To	abuse@twtelecom.net
Xref	x330-a1.tempe.blueboxinc.net comp.soft-sys.math.mathematica:1964

Show key headers only | View raw

On Apr 27, 4:38 am, Antonio Mezzacapo <ant.mezzac...@gmail.com> wrote:
> Hi everyone,
> I have a question. Do you know why Mathematica finds solution to this equation
> Solve[Sqrt[1 - z^2] = 2, z]
> {{z -> -I Sqrt[3]}, {z -> I Sqrt[3]}}
> while if I change sign of the right part it doesn't find solution anymore?
> Solve[Sqrt[1 - z^2] = -2, z]
> {}
>
> Is this related to the phase specification for complex numbers?
>
> Thank you
> Antonio Mezzacapo


Antonio,

Sqrt[1 - z^2] = -2

has no solutions, real or complex. That is the solution set is empty.
Mathematica is correct when it yields {}.

Note:
Sqrt[1 - z^2] = -2

(Sqrt[1 - z^2] )^2 =  (-2)^2

1 - z^2 = 4

 - z^2 = 3

 z^2 =- 3

z = -i Sqrt[3]  or z= i Sqrt[3]

Checking/Proving:

Sqrt[1 - (-i Sqrt[3])^2] = -2

2 = -2  NO!


Sqrt[1 - (i Sqrt[3])^2] == -2

2 = -2  NO!


Gary Wardall

Back to comp.soft-sys.math.mathematica | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

complex equation Antonio Mezzacapo <ant.mezzacapo@gmail.com> - 2011-04-27 09:38 +0000
  Re: complex equation Gary Wardall <gwardall@gmail.com> - 2011-04-28 10:36 +0000

csiph-web