Message Boards Message Boards

GROUPS:

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

Posted 9 months ago
793 Views
|
2 Replies
|
1 Total Likes
|

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

2 Replies

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 9 months ago

Good, I learned something... Thanks.

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