Non-polynomial inequality with multi variables [closed]

asked 2019-12-20 12:31:55 -0500

I write the following piece of code

x = var('x') assume(x,'real') y = var('y') assume(y,'real') z = var('z') assume(z,'real')

expr = abs(x-y)+abs(y-z) >= abs(x-z)

Then I run it: sage: bool(expr) False

The expr is the triangle inequality, which is True for any real x, y, z. How come Sagemath returns "False"? What should I do to make Sagemath work in this case? Thanks much!

edit retag flag offensive reopen merge delete

Closed for the following reason duplicate question by John Palmieri
close date 2019-12-20 16:29:56.718769