第二题,另一种解答方式:
假设:a ≥ b ≥ c > 0
证明:1/(a²+b²) + 1/(b²+c²) + 1/(c²+a²) > 10/(a+b+c)²
∵ ab ≥ c² > 0
→ (ab-c²)(a-b)² ≥ 0
→ (ab-c²)(a²-2ab+b²) ≥ 0
→ ab(a²+b²)-c²(a²+b²) ≥ 2ab(ab-c²)
→ ab(a²+b²)-c²(a²+b²)+2c⁴ ≥ 2a²b²-2abc²+2c⁴
→ ab(a²+b²)+2abc²+c²(a²+b²)+2c⁴ ≥ 2a²b²+2c²(a²+b²)+2c⁴
→ (a²+b²+2c²)(ab+c²) ≥ 2(a²b²+a²c²+b²c²+c⁴)
→ (a²+b²+2c²)/(a²b²+a²c²+b²c²+c⁴) ≥ 2/(ab+c²)
→ [(b²+c²)+(a²+c²)]/[(a²+c²)(b²+c²)] ≥ 2/(ab+c²)
→ 1/(a²+c²) + 1/(b²+c²) ≥ 2/(ab+c²)
∵ (pt-qs)² ≥ 0
→ p²t² - 2pqst + q²s² ≥ 0
→ stp² + p²t² + q²s² + stq² ≥ stp² + 2pqst + stq²
→ t(s+t)p² + s(s+t)q² ≥ st(p+q)²
→ p²/s + q²/t ≥ (p+q)²/(s+t)
∵ 1/(a²+b²) + 2/(ab+c²) = 1²/(a²+b²) + 4²/[8(ab+c²)]
→ 1/(a²+b²) + 2/(ab+c²) ≥ (1+4)²/[(a²+b²)+8(ab+c²)]
→ 1/(a²+b²) + 2/(ab+c²) ≥ 25/[(a²+b²)+8(ab+c²)]
∵ 10a + 10b ≥ 20c > 11c
→ 3(a-b)² + c(10a+10b-11c) > 0
→ 3a² - 6ab + 3b² > 11c² - 10ac - 10bc
→ 3(a²+b²+c²) + 10(ab+ac+bc) > 16ab + 14c²
→ 5(a²+b²+c²+2ab+2ac+2bc) > 2(a²+b²) + 16(ab+c²)
→ 5(a+b+c)² > 2[(a²+b²)+8(ab+c²)]
∴ 1/(a²+b²) + 1/(b²+c²) + 1/(c²+a²)
≥ 1/(a²+b²) + 2/(ab+c²)
≥ 25/[(a²+b²)+8(ab+c²)]
> 50/[5(a+b+c)²] = 10/(a+b+c)²
【证毕】
设:a = b = 1/2,c → 0
1/(a²+b²) + 1/(b²+c²) + 1/(c²+a²)
→ 1/(1/4+1/4) + 1/(1/4) + 1/(1/4)
→ 2 + 4 + 4 = 10
