一道奇怪的不等式证明题已知x,y
貌似是同一个题:
一种思路就是反证法,假设x^3+y^3>2,那么
1。 x^3>1,y^3>1,推得x>1,y>1,所以必然有
x^3>x^2 y^4>y^3
相加得到x^3+y^4>x^2+y^3,矛盾。
此种情况不可能发生。
2。 x^3和y^3只有一个>1,不妨假设x^3>1>y^3。
推得x>1>y。同时有:x^3+y^3>2。
我们先证明一个更强的不等式: x^2(x-1)-y^2(1-y)>0。
下面对x+y的情形进行讨论,
(1) x+yx^2+y^2。
x^2(x-1)-y^2(1-y)>0成立。
(2)x+y>2 => 1-y0。
所以,总有x^2(x-...全部
貌似是同一个题:
一种思路就是反证法,假设x^3+y^3>2,那么
1。 x^3>1,y^3>1,推得x>1,y>1,所以必然有
x^3>x^2 y^4>y^3
相加得到x^3+y^4>x^2+y^3,矛盾。
此种情况不可能发生。
2。 x^3和y^3只有一个>1,不妨假设x^3>1>y^3。
推得x>1>y。同时有:x^3+y^3>2。
我们先证明一个更强的不等式: x^2(x-1)-y^2(1-y)>0。
下面对x+y的情形进行讨论,
(1) x+yx^2+y^2。
x^2(x-1)-y^2(1-y)>0成立。
(2)x+y>2 => 1-y0。
所以,总有x^2(x-1)>y^2(1-y)>y^3(1-y)
得到:x^3+y^4>x^2+y^3,与已知矛盾。
所以,x^3+y^3>2不成立,命题得证。
。收起