Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: when is sqrt(a/b) not the same as sqrt(a)/sqrt(b) ?
Replies: 8   Last Post: Mar 5, 2014 3:34 PM

 Messages: [ Previous | Next ]
 Axel Vogt Posts: 1,068 Registered: 5/5/07
Re: when is sqrt(a/b) not the same as sqrt(a)/sqrt(b) ?
Posted: Mar 5, 2014 3:34 PM

That - in my opinion - has not much to do with CAS per se. But more with some
consistent mathematical conventions. Where one also may want to look beyond
sqrt, avoiding similar discussions for cube roots etc.

It is a classical result that having 'enough' square roots one has logarithms,
which is a theorem of Hurwitz (Remmert, Funktionentheorie 1, "Die Kraft der
Quadratwurzel" for a proof, pointing to H. and his article Math. Ann 70 (1911),
p. 33 - 47). The converse 'powers if having log' is common in lectures.

That is for functions and thus much more general than discussed here. But it
shows that the proper setting is to consider Log. And Exp.

I have not looked further in Remmert (much material), but would suggest to
have a look into H. Cartan's 'little' book for a concise treatment, where one
finds exp & log (and variations/selections), covering a more formal view.

To come back to sqrt: the initial question was over the complex numbers.
One can not understand 'solutions' for that without basic complex analysis.

And in a brute way: not, sqrt is not a holomorphic function. It is not even
a continous function in the plane. It is just 1 selection (IIRC correctly
there was the notion of holomorphic correspondance [like in Topology] and
srqt becomes a fct after branch cut with semi-contious extension into negatives,
if one wants to avoid Riemannian surfaces).

In school (which ones?) that is operationally reduced to "just do it in C++"

And I find it good that Maple et al refuse to follow that.

Date Subject Author
3/1/14 Nasser Abbasi
3/1/14 Nasser Abbasi
3/2/14 G. A. Edgar
3/2/14 Richard Fateman
3/1/14 Axel Vogt
3/1/14 Richard Fateman
3/4/14 D Herring
3/5/14 Richard Fateman
3/5/14 Axel Vogt