Let x,y,z be three positive real numbers such that x2+y2+z2+3=2(xy+yz+zx). Prove that xy+yz+zx≥3.
Solution
First solution. Using the given condition, the inequality can be written equivalently xy+yz+zx≥3(2xy+2yz+2zx−x2−y2−z2) or, denoting x=a,y=b,z=c, we have (ab+bc+ca)2≥3(2a2b2+2b2c2+2c2a2−a4−b4−c4). We thus have to prove that 3(a4+b4+c4)+2(a2bc+b2ca+c2ab)≥5(a2b2+b2c2+c2a2). The following inequality is well known (Schur): a2(a−b)(a−c)+b2(b−c)(b−a)+c2(c−a)(c−b)≥0. Multiplied by 2, it becomes 2(a4+b4+c4)+2(a2bc+b2ca+c2ab)≥2(a3b+a3c+b3a+b3c+c3a+c3b). But 2(a3b+a3c+b3a+b3c+c3a+c3b)=2ab(a2+b2)+2bc(b2+c2)+2ca(c2+a2)≥4a2b2+4b2c2+4c2a2 and a4+b4+c4≥a2b2+b2c2+c2a2. Adding these three inequalities given the desired one.
Second solution. Rewrite x2+y2+z2+3=2(xy+yz+zx) as (x+y+z)(x+y−z)(x+z−y)(y+z−x)=3. Let x+y−z=2a,z+y−x=2b,x+z−y=2c. Then abc(a+b+c)=163.(1) The sum a+b+c=2x+y+z is positive. This means that either a,b,c are all positive, or exactly two of them are negative (according to (1)). If, say, a and b are negative, then so is their sum, i.e. a+b=x<0, which is false. All that remains to be proven is (a+b)(a+c)+(b+a)(b+c)+(c+a)(c+a)≥3. But, ∑cyc(a+b)(a+c)=∑cyca2+3∑cycab≥4∑cycab≥43abc(a+b+c)=3, which is exactly what we wanted. Equality holds if and only if x=y=z=1.
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.