Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

[1] Is there an easy way to formally prove that, $$ 2xy^{2} +2x^{2} y-2x^{2} y^{2} -4xy+x+y\ge -x^{4} -y^{4} +2x^{3} +2y^{3} -2x^{2} -2y^{2} +x+y$$ $${0<x,y<1}$$ without resorting to checking partial derivatives of the quotient formed by the two sides, and finding local maxima?

[2] Similarly, is there an easy way for finding $$\max_{0<x,y<1} [f(x,y)]$$ where, $$f(x,y)=2x(1+x)+2y(1+y)-8xy-4(2xy^{2} +2x^{2} y-2x^{2} y^{2} -4xy+x+y)^{2}$$

share|improve this question
    
Wolframalpha suggests that there the maximum is attained in two points: try maximize 2x(1+x)+2y(1+y)-8xy-4(2xy^2 +2x^2 y-2x^2 y^2 -4xy+x+y)^2 for 0<=x<=1, 0<=y<=1 and maximize 2x(1+x)+2y(1+y)-8xy-4(2xy^2 +2x^2 y-2x^2 y^2 -4xy+x+y)^2 –  Martin Sleziak Dec 13 '11 at 14:54
add comment

2 Answers 2

Your first question:

With a little manipulation you get that it is equivalent to $$x^2((1-x)^2+1)+y^2((1-y)^2+1) \ge 2xy[(1-x)(1-y)+1].$$

This can be obtained from addition of two inequalities $$x^2(1-x)^2+y^2(1-y)^2 \ge 2xy(1-x)(1-y)$$ $$x^2+y^2\ge 2xy.$$

Both of them are special cases of $a^2+b^2\ge 2ab$, which follows from $(a-b)^2\ge 0$. (Or, if you prefer, you can consider it as a special case of AM-GM inequality.)

Note: To check the algebraic manipulations, you can simply compare the results for 2xy^2 +2x^2 y-2x^2 y^2 -4xy+x+y - ( -x^4 -y^4 +2x^3 +2y^3 -2x^2 -2y^2 +x+y)

expand x^2((1-x)^2+1)+y^2((1-y)^2+1) -2xy[(1-x)(1-y)+1]

Or simply subtract the two expressions:

2xy^2 +2x^2 y-2x^2 y^2 -4xy+x+y - ( -x^4 -y^4 +2x^3 +2y^3 -2x^2 -2y^2 +x+y) - [x^2((1-x)^2+1)+y^2((1-y)^2+1) -2xy[(1-x)(1-y)+1]]


I did not succeed in finding similar type of solution for your second problem.

share|improve this answer
    
Thanks alsoh @Martin Sleziak. I think Q #2 is different in nature... –  Omri Dec 13 '11 at 14:35
add comment

Certainly, there is no need for taking the quotient, since $a \ge b \Leftrightarrow \min \{a-b\} \ge 0$.

Here's a cool trick called the S.O.S. (sum of squares) method. The idea is to try and factor out $(x-y)^2$:

$$\begin{align} LHS-RHS &=(x^4+y^4-2x^2y^2)-2(x^3+y^3-x^2y-xy^2)+2(x^2+y^2-2xy)\\ &=(x^2-y^2)^2-2(x^2-y^2)(x-y)+2(x-y)^2\\ &=(x-y)^2(x+y)^2-2(x-y)^2(x+y)+2(x-y)^2\\ &=(x-y)^2((x+y)^2-2(x+y)+2)\\ &=(x-y)^2((x+y-1)^2+1)\\ &\ge 0 \end{align}$$

Note that this holds for all $x, y \in \mathbb R$.

share|improve this answer
    
Thanks much @Peteris, nice. And what about Q #2? I think it is more difficult... (analytically finding the max). –  Omri Dec 13 '11 at 14:34
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.