Solving sqrt(i)=z, one or two solutions?

10252018, 07:17 AM
(This post was last modified: 10252018 07:51 AM by sasa.)
Post: #1




Solving sqrt(i)=z, one or two solutions?
Another interesting example...
Solve: \( \sqrt{i} = z \) Not at all complicated task, it have two solutions. However, we will get interesting results from the Prime, depending how we formulate it for solving. Let try first simply \( \sqrt{i} \), it returns \( \frac{1+i}{\sqrt{2}} \) Let try further solve((sqrt(i)) = z,z), result is \( \left \{ \frac{1+i}{\sqrt{2}} \right \} \) However: solve((i) = (z^2),z), result is \( \left \{ \frac{1+i}{\sqrt{2}}, {\frac{1+i}{\sqrt{2}}} \right \} \) An obvious path for lower grade students to solve it, is to use elementary definition of a complex number. Another solution can be using Euler's formula... However, the Prime unexpectedly gave different number of solutions, depending on how formula is written... Disclaimer: Tested on latest public beta emulator only. 

10252018, 09:58 AM
Post: #2




RE: Solving sqrt(i)=z, one or two solutions?
(10252018 07:17 AM)sasa Wrote: Another interesting example...I expect that the Prime treats the square root function as a singlevalued function, so that (for example) \(\sqrt4=+2\) only and solving \(\sqrt4=x\) only returns \(x=2\) as a solution. The Prime views the equations \(\sqrt4=x\) and \(4=x^2\) as two different equations with one and two roots respectively; I think that this is the behaviour I would expect. What do others feel? Nigel (UK) 

10252018, 10:52 AM
Post: #3




RE: Solving sqrt(i)=z, one or two solutions?
z=sqrt(i) is a polynomial equation of degree 1 in z, therefore it has a unique solution. z^2=i is a polynomial equation of degree 2 in z, therefore it has 2 solutions (in C). This is what is called d'Alembert theorem (in France) or fundemental theorem of algebra in English speaking countries (I think).
I wonder how can sasa pretend that the Prime answer is unexpected. 

10252018, 04:07 PM
Post: #4




RE: Solving sqrt(i)=z, one or two solutions?
sasa, would you also have expected two solutions from solve((sqrt(2)) = z, z)?
— Ian Abbott 

10252018, 04:43 PM
(This post was last modified: 10252018 04:47 PM by sasa.)
Post: #5




RE: Solving sqrt(i)=z, one or two solutions?
(10252018 10:52 AM)parisse Wrote: I wonder how can sasa pretend that the Prime answer is unexpected. Actually, I do not... Here what is a deal: if we have: \( \sqrt{i}=z \), it is the first degree polynomial and actually exact solution, as sqrt from any constant is again a constant  there is nothing to simplify. Hence, we fully agree that the (i) is a constant. This way it is pointless to do any solving, as well as fundamental theorem state. Actually, if we need to "transform" \( \sqrt{i} \), exact alternative would be: (\(1)^{\frac{1}{4}}\). Alternate form as \(\frac{1+i}{\sqrt{2}}\) is not quite correct  anyone is free to prove differently. if we have: \( i=z^{2} \) we know that it is second degree polynomial with two solutions. Simply just another sample from the twilight zone... 

10252018, 05:14 PM
Post: #6




RE: Solving sqrt(i)=z, one or two solutions?
(10252018 04:43 PM)sasa Wrote: if we have: \( \sqrt{i}=z \), it is the first degree polynomial and actually exact solution, as sqrt from any constant is again a constant  there is nothing to simplify. Hence, we fully agree that the (i) is a constant. This way it is pointless to do any solving, as well as fundamental theorem state. Actually, if we need to "transform" \( \sqrt{i} \), exact alternative would be: (\(1)^{\frac{1}{4}}\). Alternate form as \(\frac{1+i}{\sqrt{2}}\) is not quite correct  anyone is free to prove differently. So you're objecting to it factoring out the radical part as a real number? I think \(\frac{1+i}{\sqrt{2}}\) is easier to visualize than \(\sqrt{i}\). — Ian Abbott 

10252018, 06:12 PM
Post: #7




RE: Solving sqrt(i)=z, one or two solutions?
(10252018 04:43 PM)sasa Wrote: ... I don't understand why \((1+i)/\sqrt2\) is "not quite correct" as the value of \(\sqrt{i}\). Squaring it does give \(i\), and, assuming that the square root function on the Prime has a cut along the negative real axis in the complex plane, this value is the correct analytic continuation of the square root function defined in the usual way for nonnegative real numbers. Can you explain what the problem is? Nigel (UK) 

10252018, 06:27 PM
Post: #8




RE: Solving sqrt(i)=z, one or two solutions?
(10252018 05:14 PM)ijabbott Wrote: So you're objecting to it factoring out the radical part as a real number? I think \(\frac{1+i}{\sqrt{2}}\) is easier to visualize than \(\sqrt{i}\). I think sasa wanted both of the roots. So, the idea is to return sqrt(i), unevaluated. Multiple solutions also work, so sqrt(z) is not mapped 1to1, but 1to2 http://mathforum.org/library/drmath/view/52243.html 

10262018, 06:33 AM
(This post was last modified: 10262018 06:36 AM by sasa.)
Post: #9




RE: Solving sqrt(i)=z, one or two solutions?
Albert,
That is exactly the point. Since here \(\frac{1+i}{\sqrt{2}}\) is just a "principal value", equally good/bad could be \(\frac{1+i}{\sqrt{2}}\). Furthermore, logical question here is how to choose "principal value"? The answer is: arbitrary. That is the reason to keep it as is, since evaluating it in an expression with "principal value", we may get result we hardly expect. It is probably not likely to happens in most of practical uses, but it is theoretically possible. 

10262018, 02:47 PM
Post: #10




RE: Solving sqrt(i)=z, one or two solutions?
I disagree completly, sqrt is uniquely defined, in maths and in software. Trying to do something else would be confusing for students and not realistic in software.


10272018, 05:34 AM
(This post was last modified: 10272018 05:40 AM by sasa.)
Post: #11




RE: Solving sqrt(i)=z, one or two solutions?
(10262018 02:47 PM)parisse Wrote: I disagree completly, sqrt is uniquely defined, in maths and in software. Trying to do something else would be confusing for students and not realistic in software. Your general attitude so far was that students current knowledge level and ability of understanding is not relevant for CAS. But now, with just fundamentals in complex analysis, it starts to be relevant... With Wolfram Alpha, all upper stated issues was covered precisely. As well, even Riemann surface visualisation is introduced (though, still as beta, if I do not mistaken). I doubt the Prime is ready to deal properly with multivalued functions... What level of complex analysis is anyway implemented in CAS for Prime? 

10272018, 10:04 AM
Post: #12




RE: Solving sqrt(i)=z, one or two solutions?
(10262018 06:33 AM)sasa Wrote: Albert, I now understand your point, but I do not agree that the Prime's current behaviour is wrong. My reasons:
Best wishes! Nigel (UK) 

10272018, 03:53 PM
Post: #13




RE: Solving sqrt(i)=z, one or two solutions?
(10272018 10:04 AM)Nigel (UK) Wrote: ...+1 See http://mathforum.org/library/drmath/view/53873.html (and the first link on that page) for the inconsistencies we get when assuming sqrt() returns more than one value... 

10272018, 06:46 PM
Post: #14




RE: Solving sqrt(i)=z, one or two solutions?
@sasa:
A student does not expect two answers when running sqrt(), independently of the type of the argument. sqrt(4.0) return 2.0 (approx), sqrt(4) returns 2 in a CAS. Returning two values would confuse them, how can you argue the contrary? BTW, Wolfram Alpha returns one value for sqrt(i) :) As for complex analysis support inside Giac: some integrals are computed using the residue method, and there is a residue command. Reading all these attacks from sasa, I wonder why... Perhaps students are beginning to buy Primes instead of using Mathematica or Wolfram Alpha :) Ok, I think I've lost enough time in this thread, bye! 

« Next Oldest  Next Newest »

User(s) browsing this thread: