For positive real numbers a, b, c and d such that ∑cycab1=1, prove that abcd+16≥8(a+c)(a1+c1)+8(b+d)(b1+d1).
Solution
First note that (a+c)(a1+c1)=ca+ac+2=(ca+ac)2 and so (a+c)(a1+c1)=ca+ac Similarly (b+d)(b1+d1)=db+bd. On the other hand, for the left hand side of inequality, because of the hypothesis ∑cycab1=1, we have abcd=(a+c)(b+d)(a1+c1)(b1+d1)=(ca+ac)2(db+bd)2 So we must prove X2Y2+16≥8(X+Y), where X=ca+ac and Y=db+bd. Note that by AM-GM inequality X≥2 and Y≥2. Therefore, (X−1)(Y−1)≥1 and consequently, XY≥X+Y. This implies the assertion, because (XY)2+16≥8XY≥8(X+Y).
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.