cancel
Showing results for 
Search instead for 
Did you mean: 
cancel
Showing results for 
Search instead for 
Did you mean: 

Community Tip - You can subscribe to a forum, label or individual post and receive email notifications when someone posts a new topic or reply. Learn more! X

( 1 - x*1i / 1 + x*1i ) and ( ( 1 - x*1i / 1 + x*1i )^-1i )^1i are equivalent or not ?

lvl107
20-Turquoise

( 1 - x*1i / 1 + x*1i ) and ( ( 1 - x*1i / 1 + x*1i )^-1i )^1i are equivalent or not ?

Hello, Everyone.

Equivalent or not .PNG

Thanks in advance for your time and help.

Best Regards.

1 ACCEPTED SOLUTION

Accepted Solutions
LucMeekes
23-Emerald III
(To:Werner_E)

Maybe depends on which mathematician you ask...

Mathcad 11.2a, with the good old Maple machine, sees them as identical, given the right settings:

Complex.png

Note that the complex expansion of the second term alone is several pages wide.

Success!
Luc

View solution in original post

9 REPLIES 9
Werner_E
24-Ruby V
(To:lvl107)

The first expression is just one of an infinite number of results of the second one.

PhilipOakley
5-Regular Member
(To:lvl107)

Try thinking of it as (a^b)^c) and see where the power product gets you.

Philip Oakley wrote:

Try thinking of it as (a^b)^c) and see where the power product gets you.

(a^b)^c = a^(b*c) is true and unique for reaI numbers only! I think LoiLe is exactly doing that and is wondering, why Mathcad does not simplify the right expression to the left one.

A number to the power of a complex is not unique as I wrote above but there rather are an infinite number of results. I already elaborated on this a couple of times at replies to other posts of LoiLe but he seems not to be willing to acccept that fact.

0.png

I am also wondering, but for different reasons:

It looks on first sight that MC is considering the ambiguity of the expession and is therefor not simplifying the expression on the right by simply multiplying the powers to 1.

But then MC should yield "all" infinite results at least when formulating the expression as an equation and using modifier "fully", but it doesn't as shown in the first example below..

Also 1^i is not unique but MC simplifies it to 1 this time!?? (second example below).

1.png

Example 1:

2.png

Example 2:

3.png

LucMeekes
23-Emerald III
(To:Werner_E)

Maybe depends on which mathematician you ask...

Mathcad 11.2a, with the good old Maple machine, sees them as identical, given the right settings:

Complex.png

Note that the complex expansion of the second term alone is several pages wide.

Success!
Luc

Note that the complex expansion of the second term alone is several pages wide.

Not if you add "simplify" 😉

Maple sure is the more capable symbolic package and I guess we all miss it in newer versions of Mathcad.

I guess that MC15 is NOT aware or at least not considering the ambiguity of the expression but simply isn't capable enough to simplify the equation.

It seems that both versions of Mathcad try to make the expression unique by implicitely setting the k in my calcs to zero. I am not aware of any mathematical convention for that (which may not mean much) but it sure makes sense and is done that way by most other math software as well. But using MC15's

08.06.png

we should sure get a different result. Try it in MC11 (you can't use fully there) without and with "complex" and you get z resp. "no solution".

So it all depends on what definition of exponentiation we would agree on.

It may be considered as a similar behaviour as in

08.06.png

where Mathcad defaults to the principal root (and that already often was a cause for confusion here in the forum). As sort of compromise Mathcad provides the root operator which defaults to real results.

The above example perfectly fits the discussion here if you consider that

08.06.png

As the exponent here is real and rational obviously only three consecutive integer values for k make sense (MOIVRE), so we can chose 0,1,2:

08.06.png

Mathcad again has chosen k=0 which in case of a rational exponent yields the principal root (value with the smallest positive argument).

So it's all a question of which definition one assumes and agrees on rather than which mathematician you ask .

lvl107
20-Turquoise
(To:LucMeekes)

Thanks for all your help , WE , PhilipOakley , and Luc .

Luc , I wish see screenshot of show-up of your MCad 11.2a for the following , because with my Mathcad 14 :

complex+%2Csimplify+.PNG

Regards.

LucMeekes
23-Emerald III
(To:lvl107)

The pic I supplied was already a screenshot.

But here is the detail:

ComplexDetail.png

And I also added the simplified expansion of the second term.

You must know/realise that Mathcad 11 uses a completely different symbolic machine (Maple)

from the one that Mathcad 14 uses (Mupad). That may lead to different results, I guess this is one of the examples.

Success!

Luc

lvl107
20-Turquoise
(To:LucMeekes)

I greatly appreciate your help, Luc. My question should be like as the following :

complex+%2Csimplify+.PNG

Thanks again.

Regards.

LucMeekes
23-Emerald III
(To:lvl107)

Ah, missed the sign-change. Sorry about that.

Here you get the everything (apart form the big parts that fall of the page)

ComplexAll.png

success!
Luc

Top Tags