# Step-by-step solution doesn't address two solutions given by Reduce command

Posted 3 years ago
6535 Views
|
9 Replies
|
0 Total Likes
|
 Reduce[(5 - 5 x + x^2)^(20 - 9 x + x^2) == 1, x, Integers] gives the full solution set of x={1,2,3,4,5} but the step-by-step solutions (see attached) only show how to find x=1, 4 & 5. The two "missing" solutions are the ones where the base is -1 and, while the expression is undefined (since negative) for almost all values between the roots of x^2 - 5x + 5 =0 approx 1.382 & 3.618 it is defined for x = 2 and x = 3 when the base takes the value -1.Any thoughts on why the step-by-step solutions don't deal with the case when the base = -1Thanks,Michael Attachments:
9 Replies
Sort By:
Posted 3 years ago
 Hi Michael, I'm sorry for the confusion. Wolfram|Alpha does not currently support complex numbers within our step-by-step solutions. We are looking into supporting this feature. Best wishes,Elif
Posted 3 years ago
 Thanks Elif.The interesting thing here is that complex numbers aren't necessarily involved. The two solutions missing from the step-by-step can be found by setting the base euqal to -1, finding the roots and checking that the power is even.I suppose that in a programming context that's a bit too much in the realm of "by inspection" . . .Yours,Michael
Posted 3 years ago
 Thanks Elif. When you say "We do not currently support this in our step-by-step solutions" what exactly is "this" referring to?Thanks,Michael
Posted 3 years ago
 Hi Michael, We do not currently support this in our step-by-step solutions, but it is a new feature that we are experimenting with in the Wolfram Alpha Notebooks. For more information on this topic please see the following quick help page: https://www.wolfram.com/wolfram-alpha-notebook-edition/quick-help/
Posted 3 years ago
 Perhaps the programmer who taught W|A how to solve equations step-by-step had in mind only the real case and did not contemplate that Log in certain situations is a multivalued "function". StepĀ 2 in the complex domain is wrong: the logarithm of the right-hand side is not zero, but rather 2n*I*Pi.
Posted 3 years ago
 Thanks Gianluca.
Posted 3 years ago
 Solve[(x^2 - 5 x + 5)^(x^2 - 9 x + 20) == 1, x] generates the message Solve::ifun: Inverse functions are being used by Solve, so some solutions may not be found; use Reduce for complete solution information.
Posted 3 years ago
 Thanks Rohit. That's very useful.Any thoughts on why the step-by-step solution doesn't address the other two solutions?Yours,Michael
Posted 3 years ago
 In addition: Solve[(x^2 - 5 x + 5)^(x^2 - 9 x + 20) == 1, x] gives only x=1, 4 & 5 as solutions!