The Math Forum

Search All of the Math Forum:

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

Math Forum » Discussions » sci.math.* » sci.math.symbolic

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

Topic: Handling branch cuts in trig functions
Replies: 9   Last Post: Mar 26, 2013 4:54 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ] Topics: [ Previous | Next ]
G. A. Edgar

Posts: 2,510
Registered: 12/8/04
Re: Handling branch cuts in trig functions
Posted: Mar 25, 2013 8:52 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

In article <kimoma$hru$>, Nasser M. Abbasi
<> wrote:

> But I am using Maple 17?
> -----------------------------------
> ans:=simplify(sqrt(sec(x)^2)) assuming x::positive;
> 1
> --------
> |cos(x)|
> simplify(abs(sec(x))- ans);
> 0
> -------------------------------------
> Unless x::positive implies x::real (since positive does
> not apply to complex numbers). Is this what you meant?

Yes, positive implies real. You will also get that result assuming x
is negative, or assuming x is an integer, and so on. Not only on the
reals, but also on any subset of the reals we have sqrt(x^2) = abs(x) .

> So Maxima was wrong then:
> sqrt(sec(x)^2);
> |sec(x)|
> No assumptions!

We cannot tell whether Maxima is wrong unless we know whether Maxima
assumes x is real (when you do not tell it). Maple assumes x is
complex, as was said. Perhaps the documentation for Maxima tells you
about this?

sec(1+i) is about .4983370306+.5910838417*i,
and the square-root of the square of that is itself, not its absolute
value. (Assuming principal branch.)

G. A. Edgar

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.