# Questions tagged [inequalities]

Questions about handling with inequalities with, e.g., Reduce, Solve, FindInstance etc., their application in defining Regions, and ways to incorporate them into other computations, e.g. integration.

227 questions
Filter by
Sorted by
Tagged with
3 views

### Inequality problem [migrated]

What are the values ​​of $B_1, B_2$, and $B_s$ so that the following inequality is satisfied with any value of $U1$ and $U2$? $B_1 U_1^2 + B_2 U_2^2 < B_s (U_1-U_2)^2$
111 views

### Validating an inequality

I want to show That: $$1+a^{2017}+b^{2017} \geq a^{10}b^7+a^7b^{2000}+a^{2000}b^{10} \\ a,b\in \mathbb{R}^+_0$$ I used Simplify and then Resolve That is taking forever: ...
25 views

### Getting values of 2 variables and a constant based on a single equation using a 3D graph

This is my function. ...
145 views

### Reduce with for all and implies

I have the following question. p1 = a (1 - c + a) p2 = b (1 - c - b)/((1 - b)^2) v1 = (x^1.5 - 3*x)*p1 v2 = x*p2 I want to find x ranges which makes v1>v2 under ...
38 views

### This system cannot be solved with the methods available to Reduce [closed]

I get the error message in the Title, which is not very helpful. Situation: Reduce[ForAll[{x,y,z},Implies[x<=y&&y<=z, x<=z]]] evaluates to True, ...
80 views

### RegionPlot avoiding some complex terms

I have a system of inequalities given as follows: ...
31 views

### Setting the tolerance for Equal[] [duplicate]

I would like to control how Equal[] works and allow a certain error associated with it. I would like numerical values which are, say, within one-thousandth of one ...
30 views

61 views