Intereting Posts

Find an angle of an isosceles triangle
Zeros of a holomorphic function
Analytic method for determining if a function is one-to-one
Simplify series involving derivatives
Why does $\lim_{x\to 0^+} x^{\sin x}=1$?
Compactness of the set of all unitary matrices in $M_2(\mathbb{C})$
De Morgan's law on infinite unions and intersections
Boy Born on a Tuesday – is it just a language trick?
How to check that a cubic polynomial is irreducible?
Is there a function having a limit at every point while being nowhere continuous?
Non-existence of irrational numbers?
trace of an $H^1$ function is in $H^\frac{1}{2}$
The number of subspace in a finite field
Wiener Process $dB^2=dt$
Application of computers in higher mathematics

I was just reading “Pham kim hung secrets in inequalities,Volume 1” book and there was an interesting problem on it’s Cauchy-Schwarz and Holder section that caught my eye.

Prove that for all positive real numbers $a,b,c,d,e,f$,we always have $$\frac{a}{b+c}+\frac{b}{c+d}+\frac{c}{d+e}+\frac{d}{e+f}+\frac{e}{f+a}+\frac{f}{a+b}\ge 3$$

The writer of the book proved it by Cauchy-Schwarz,But there was an another method in the start of the book for proving original Nesbitt inequality.

- Interpretation of $\frac{22}{7}-\pi$
- Prove that every function that verifies $|f(x)-f(y)|\leq(x-y)^2$ for all $x,y$ is constant.
- Prove that $\frac4{abcd} \geq \frac a b + \frac bc + \frac cd +\frac d a$
- Prove that $\sum_{k=1}^n \frac{2k+1}{a_1+a_2+…+a_k}<4\sum_{k=1}^n\frac1{a_k}.$
- Tricky inequality no avail to AM-GM
- Prove $ \frac 1 2 \cdot \frac 3 4 \cdot \frac 5 6 \cdots \frac{2n-1}{2n} < \frac 1 {(2n+1)^{0.5}} $ .

Prove that for all non-negative real numbers $a,b,c$ $$\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b}\ge\frac{3}{2}$$

Solution: set $S=\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b}$,$M=\frac{b}{b+c}+\frac{c}{c+a}+\frac{a}{a+b}$,$N=\frac{c}{b+c}+\frac{a}{c+a}+\frac{b}{a+b}$.

obliviously $M+N=3$.and by AM-GM we get the $$M+S\ge3,N+S\ge3$$

So $M+N+2S\ge6$ and $M+N=3$ we get $S\ge\frac{3}{2}$.

Like this method (calling it $S,M,N$),He proves $$\frac{a}{b+c}+\frac{b}{c+d}+\frac{c}{d+a}+\frac{d}{a+b}\ge2$$

for all non-negative $a,b,c,d$.

As I Liked this method, I started to proof the 6 variable variation using it. $$S=\sum\limits_{cyc}\frac{a}{b+c}$$ $$M=\sum\limits_{cyc}\frac{b}{b+c}$$ $$N=\sum\limits_{cyc}\frac{c}{b+c}$$

it easy too see that $M+N=6$.and using AM-GM it is easy to reach that $M+S\ge6$ but for proving $N+S \ge 6$ $$N+S=\frac{a+c}{b+c}+\frac{b+d}{c+d}+\frac{c+e}{d+e}+\frac{d+f}{e+f}+\frac{e+a}{f+a}+\frac{f+b}{a+b}\ge 6$$

I don’t see any way to change this to something easy to work with it.By the way it is strange that why it is called Nesbitt’s 6 variables inequality in book because Nesbitt Generalization is $$\sum_{i=1}^{n}\frac{a_i}{s-a_i}\ge\frac{n}{n-1}$$

Where $\sum_{i=1}^{n}a_i = s$ for positive $a_1,\ldots a_n$.

- Littlewood's Inequality
- A monotonically increasing series for $\pi^6-961$ to prove $\pi^3>31$
- Stronger than Nesbitt inequality
- Area of a cyclic polygon maximum when it is a regular polygon
- A conjecture concerning primes and algebra
- Proving inequality $\frac{a}{\sqrt{a+2b}}+\frac{b}{\sqrt{b+2c}}+\frac{c}{\sqrt{c+2a}}\lt \sqrt{\frac{3}{2}}$
- How prove this inequality $3a^3b+3ab^3+18a^2b+18ab^2+12a^3+12b^3+40a^2+40b^2+64ab\ge 0$
- Proof by induction of Bernoulli's inequality: $(1 + x)^n \geq 1 + nx$
- If $a,b,c$ are positive integers, with $a^2+b^2-ab=c^2$ prove that $(a-b)(b-c)\le0$.
- An integral to prove that $\log(2n+1) \ge H_n$

$$\sum\limits_{i=1}^{6}\frac{x_i}{x_{i+1}+x_{i+2}} \ge 3$$ where, the indices are taken cyclically. Wlog, assume $\sum\limits_{i=1}^{6} x_i = 1$.

We start with the fact that $f(s) = \frac{1}{1-s}$ is convex on the interval $[0,1)$. Applying Jensen Inequality, $$\sum\limits_{i=1}^{6} \frac{x_i}{1-(x_i + x_{i-1}+x_{i-2}+x_{i-3})} \ge \frac{1}{1-\sum\limits_{i=1}^{6}x_i(x_i + x_{i-1}+x_{i-2}+x_{i-3})}$$

$$\iff \sum\limits_{i=1}^{6}\frac{x_i}{x_{i+1}+x_{i+2}} \ge \frac{1}{\left(\sum\limits_{i=1}^6 x_i\right)^2-\sum\limits_{i=1}^{6}x_i(x_i + x_{i-1}+x_{i-2}+x_{i-3})}$$

Now, $\displaystyle \left(\sum\limits_{i=1}^6 x_i\right)^2-\sum\limits_{i=1}^{6}x_i(x_i + x_{i-1}+x_{i-2}+x_{i-3}) = (x_1+x_4)(x_3+x_6)+(x_1+x_4)(x_2+x_5)+(x_2+x_5)(x_3+x_6)$

Since, $\displaystyle 1 = \left((x_1+x_4)+(x_3+x_6)+(x_2+x_5)\right)^2 \ge 3\left((x_1+x_4)(x_3+x_6)+(x_1+x_4)(x_2+x_5)+(x_2+x_5)(x_3+x_6)\right)$

the desired inequality follows.

As for the $N+S \ge 6$ inequality, is not always true.

Take the values $(a,b,c,d,e,f) = (1,0,1.02,0.02,1.01,0.02)$.

Then, $N+S = 5.99991989925 < 6$ (when I say $b = 0$ I mean to take a positive value as close to $0$ as possible)

- When $d \mid n$, the number of elements of order $d$ in a cyclic subgroup of order $n$ is $\phi (d)$
- Tips for finding the Galois Group of a given polynomial
- possible signatures of bilinear form on subspaces
- Smallest possible triangle to contain a square
- Finite ring extension and number of maximal ideals
- Radical/Prime/Maximal ideals under quotient maps
- 'Every open set in $\mathbb{R}$ is the union of disjoint open intervals.' How do you prove this without indexing intervals with $\mathbb{Q}$?
- Why algebraic topology is also called combinatorial topology?
- Wave equation with initial and boundary conditions – is this function right?
- Fundamental group of complement of $n$ lines through the origin in $\mathbb{R}^3$
- Problem in Cardinality and Order
- Proving for every odd number $x$, $x^2$ is always congruent to $1$ or $9$ modulo $24$
- Why continuum hypothesis implies the unique hyperreal system, ${}^{\ast}{\Bbb R}$?
- algebra – matrices and polynoms
- Question about the totient function and congruence classes