# Application of inequality in other math fields

I'm learning inequalities for the first time, and except a paragraph by Paul Zeitz in his book Art and Craft of problem solving, none actually give much motivation of why should I care about inequalities.

The example given by Paul Zeitz was that to prove $b^2-b+1$ is never a perfect square for integer $b$. Well- that kinda motivates a tiny bit, but the inequality used is triviality obvious; I want much deeper.

What are some easy-to-state, moderately hard to solve number theoretic or combinatorics problem which requires applying a nontrivial inequality ?

• Bonus question (Not mandatory): How to imagine and think about inequities in a non symbol manipulative human friendly insightful way ?
– user441034
Commented May 22, 2017 at 15:23
• i suggest you ask your bonus as a separate question on the site Commented May 22, 2017 at 15:23
• Take a look at the classic book Inequalities by Hardy, Littlewood, and Polya. Commented May 23, 2017 at 4:20
• Are you interested also in Q's of this type in analysis? Commented May 23, 2017 at 4:22
• @DanielWainfleet: Yeah, but question statement (not the answer) should be easy to state and understand, and the question should be interesting.
– user441034
Commented May 23, 2017 at 5:17

The pigeonhole principle depends on an inequality and is nontrivial because it is so useful. Another is $x^2 \ge 0$ for $x$ real which can be used to prove some polynomials have no real roots.

• What I mean by nontrivial is the stuff that's not obvious to a untrained person. Pigeon hole is obvious to anyone - Even a child can intuit that out of 367 person, two must share birthday.
– user441034
Commented May 23, 2017 at 3:45

(I). Many Q's are readily answered by the following: Let $J$ be a (bounded or unbounded) interval of $\mathbb R.$ Let $f:J\to \mathbb R$ with $f''(x)<0$ for all $x\in J.$ Then when $w_1,...,w_n$ are non-negative with $\sum_{i=1}^nw_i=1,$ and $x_1,...,x_n \in J$ then $$(*)\quad f\left(\sum_{i=1}^nw_ix_i\right)\geq \sum_{i=1}^nw_if(x_i)$$ with equality iff $x_i=x_j$ whenever $w_i\ne 0\ne w_j.$

Example: $J=(0,\infty)$ and $f(x)=\ln x.$ Then $\log (\sum_{i=1}^nw_ix_i)\geq \sum_{i=1}^nw_i\log x_i,\;$ which is equivalent to $\sum_{i=1}^n w_ix_i\geq \prod_{i=1}^nx_i^{w_i}.$

In particular when $w_i=1/n$ for each $n$ we have $(\sum_{i=1}^nx_i)/n\geq (\prod_{i=1}^nx_i)^n,$ which is the AGM inequality.

If, instead, we have $f''(x)>0$ for all $x\in J$ then the inequality in (*) is reversed. An example Q that was on this site this month (May 2017) was to minimize $\sum_{i=1}^nix_i^2\;$ given that $\sum_{i=1}^nix_i=1,$ for $x_1,...x_i\in \mathbb R.$ With $f(x)=x^2$ and $J=\mathbb R,$ let $w_i=i/((n^2+n)/2)$ for each $i$, and the answer is obtained immediately.

(II). On a different subject we have : Let $x\in \mathbb R.$ If for every $r>0$ there exist $a,b\in \mathbb Z$ such that $0<|x-\frac {a}{b}|<\frac {r}{|b|}$ then $x\not \in \mathbb Q.$

PROOF: If $x=c/d$ with $c,d\in \mathbb Z$ then for $a,b \in \mathbb Z$ we have $$0<|x-\frac {a}{b}|\iff 0<|cb-ad| \iff 1\leq |cb-ad| \iff$$ $$\iff \frac {1/|d|}{|b|}\leq |\frac {c}{d}-\frac {a}{b}|=|x-\frac {a}{b}|$$ so we cannot have $0<|x-\frac {a}{b}|<\frac {r}{|b|}$ unless $r\geq \frac {1}{|d|}.$

Note how the inequality $0<|cb-ad|$ strengthens to $1\leq |cb-ad|$ because $cb-ad\in \mathbb Z.$

• +1 For the second question. (Not saying the first one is bad, but it's a bit above me). You may consider adding more examples like this. (Also, did you check the bonus question ?)
– user441034
Commented May 23, 2017 at 9:37