Message Boards Message Boards

0
|
4683 Views
|
2 Replies
|
1 Total Likes
View groups...
Share
Share this post:

Simplify of -Sqrt[r] >= 0 where r is real

Posted 6 years ago

Am I missing something? Assuming r is real, the only r that can satisfy -Sqrt[r]>=0 is zero.

$Assumptions = {r \[Element] Reals};
FullSimplify[-Sqrt[r] >= 0]

yields Sqrt[r] <= 0

rather than r==0

POSTED BY: Paul Reiser
2 Replies
Posted 6 years ago

Good, I learned something... Thanks.

POSTED BY: Paul Reiser

Either

Reduce[-Sqrt[r] >= 0]

or

Simplify[-Sqrt[r] >= 0, r \[Element] Reals, TransformationFunctions -> {Automatic, Reduce}]

will produce

r == 0

The transformations available to Simplify and FullSimplify are limited to some extent. See the documentation of FullSimplify for a fuller example of using Reduce as a transformation function.

POSTED BY: Michael Rogers
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract