# An Inequality with Constraint X

### Problem

Leo Giugiuc has kindly reposted a problem from an artofproblemsolving forum at the CutTheKnotMath facebook page, along with a solution (Proof 1) by Leo Giugiuc and Dan Sitaru.

### Proof 1

It is obvious that $\displaystyle x=\frac{1}{1+a},\;$ $\displaystyle y=\frac{1}{1+b},\;$ $\displaystyle p=\frac{1}{1+c},\;$ $\displaystyle q=\frac{1}{1+d},\;$ $a,b,c,d\gt 0\;$ and $abcd=1.$

We need to prove $(x+y-1)(p+q-1)\le 0.\;$ This is equivalent to

$\displaystyle\left(\frac{1-a}{1+a}+\frac{1-b}{1+b}\right)\left(\frac{1-c}{1+c}+\frac{1-d}{1+d}\right)\le 0.$

In case of equality there is nothing else to prove. So, let's assume that neither factor is zero: one is negative, the other is positive. Suppose, WLOG, that $\displaystyle\left(\frac{1-a}{1+a}+\frac{1-b}{1+b}\right)\lt 0\;$ and $\displaystyle\left(\frac{1-c}{1+c}+\frac{1-d}{1+d}\right)\gt 0.\;$ Under these assumptions,

$\displaystyle\left(\frac{1-a}{1+a}+\frac{1-b}{1+b}\right)\lt \frac{1-a}{1+a}+\frac{1-\displaystyle\frac{1}{a}}{1+\displaystyle\frac{1}{a}},$

Thus, $\displaystyle\frac{1-b}{1+b}\lt\frac{1-\displaystyle\frac{1}{a}}{1+\displaystyle\frac{1}{a}},$

implying $\displaystyle b\gt\frac{1}{a},\;$ because function $\displaystyle f(t)=\frac{1-t}{1+t}\;$ is strictly increasing on $(0,\infty ).\;$ It follows that $ab\gt 1\;$ and, since $abcd=1,\;$ $cd\lt 1.$

But $\displaystyle d\lt\frac{1}{c}\;$ implies

$\displaystyle\frac{1-c}{1+c}+\frac{1-d}{1+d}\gt\frac{1-c}{1+c}+\frac{1-\displaystyle\frac{1}{c}}{1+\displaystyle\frac{1}{c}}=0,$

as expected.

### Proof 2

With the same substitution, $\displaystyle x=\frac{1}{1+a},\;$ $\displaystyle y=\frac{1}{1+b},\;$ $\displaystyle p=\frac{1}{1+c},\;$ $\displaystyle q=\frac{1}{1+d},\;$ with $a,b,c,d\gt 0\;$ and $abcd=1.$

We need to prove $(x+y-1)(p+q-1)\le 0,\;$ or, $(1-ab)(1-cd)\le 0.\;$ But this is obvious, since $(ab)(cd)=1.$

- A Cyclic But Not Symmetric Inequality in Four Variables
- An Inequality with Constraint
- An Inequality with Constraints II
- An Inequality with Constraint III
- An Inequality with Constraint IV
- An Inequality with Constraint VII
- An Inequality with Constraint VIII
- An Inequality with Constraint IX
- An Inequality with Constraint X
- Problem 11804 from the AMM
- Sladjan Stankovik's Inequality With Constraint
- An Inequality with Constraint XII
- An Inequality with Constraint XIV
- An Inequality with Constraint XVII
- An Inequality with Constraint in Four Variables II
- An Inequality with Constraint in Four Variables III
- An Inequality with Constraint in Four Variables V
- A Cyclic Inequality in Three Variables with Constraint
- Dorin Marghidanu's Cyclic Inequality with Constraint
- Dan Sitaru's Cyclic Inequality In Three Variables with Constraints
- Dan Sitaru's Cyclic Inequality In Three Variables with Constraints II
- Dan Sitaru's Cyclic Inequality In Three Variables with Constraints III
- Inequality with Constraint from Dan Sitaru's Math Phenomenon
- Another Problem from the 2016 Danubius Contest
- Gireaux's Theorem
- An Inequality with a Parameter and a Constraint
- Unsolved Problem from Crux Solved
- An Inequality With Six Variables and Constraints
- Cubes Constrained
- Dorin Marghidanu's Inequality with Constraint
- Dan Sitaru's Integral Inequality with Powers of a Function
- Michael Rozenberg's Inequality in Three Variables with Constraints
- Dan Sitaru's Cyclic Inequality In Three Variables with Constraints IV
- An Inequality with Arbitrary Roots
- Leo Giugiuc's Inequality with Constraint
- Problem From the 2016 IMO Shortlist

|Contact| |Front page| |Contents| |Algebra| |Store|

Copyright © 1996-2017 Alexander Bogomolny62014368 |