Let k>2 be a real number. a) Prove that for all positive real numbers x, y and z the following inequality holds: x+y+y+z+z+x>2xy+yz+zx(x+y)(y+z)(z+x) b) Prove that there exist positive real numbers x, y and z such that x+y+y+z+z+x<kxy+yz+zx(x+y)(y+z)(z+x)
Solution
a) We have x+y+y+z+z+x>2xy+yz+zx(x+y)(y+z)(z+x)⇔x+y+z+x2+xy+yz+zx+y2+xy+yz+zx+z2+xy+yz+zx>2⋅xy+yz+zx(x+y)(y+z)(z+x). But x2+xy+yz+zx>x, y2+xy+yz+zx>y and z2+xy+yz+zx>z, hence x+y+z+x2+xy+yz+zx+y2+xy+yz+zx+z2+xy+yz+zx>2(x+y+z). It is sufficient to show that x+y+z≥xy+yz+zx(x+y)(y+z)(z+x), i.e. (x+y+z)(xy+yz+zx)≥(x+y)(y+z)(z+x). After some computations, the previous inequality comes to xyz≥0, which is obviously true.
b) Fix z=1. We look for x,y>0, with y=x, such that x+y+y+z+z+x<kxy+yz+zx(x+y)(y+z)(z+x) i.e. 2x+1+2x<kx+22(x+1)2, or 2(x+1)x+2(2+x+12x)<k. As 2(x+1)x+2<1, it is sufficient to find x such that 2+x+12x<k, i.e. x+12x<k−2, or, equivalently, x+12x<(k−2)2. Putting t=(k−2)2>0, the previous condition is fulfilled by any x>0 if t≥2, while in case that t<2, it reduces to x<2−tt. Since 2−tt>0, there exist positive numbers x, y, z that fulfill the conditions of the statement.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.