Library / /168 of 520
Algebra Difficulty 6.3 National olympiad Prove it
Example 3 (Self-created problem, 2000.07.26) Let x,y,z∈R+, then
(∑y+zx)⋅∑x2(−x+y+z)⩽29xyz
Equality in (3) holds if and only if x=y=z.
Solution
9xyz∏(y+z)−2[∑x2(−x+y+z)][∑x(x+y)(x+z)]=9xyz∑yz(y+z)+18x2y2z2−2{[∑x2(y+z)]2−∑(x3)2}−6xyz∑x2(−x+y+z)=2[∑x6+3x2y2z2−∑y2z2(y2+z2)]+xyz[2∑x3−∑yz(y+z)]⩾0
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: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.