Proof: (1) When a⩽1,b⩽1,c⩽1,
∵∴∴⩾=(1−a)(1−b)⩾0,2−a−b⩾1−ab⩾c(1−ab),2+abc⩾a+b+c⩾ab+bc+ac.ca+ab+bc3⩾ab+bc+ac+1−abca+b+c+Q.
(2) When a⩾1,b⩽1,c⩽1, using ∑ to denote the sum, then
Q=abc−1+∑a−∑ab⩾0.∴∑a⩾∑ab+1−abc.∵∑ca+∑ac⩾2∑a,∴∑ca⩾2∑a−∑ac⩾2∑a−∑ac+abc−1=∑a+Q.
(3) When a⩾1,b⩾1,c⩽1, it is easy to prove
∑a⩾a+1+bc⩾2+abc.
Also, from Q⩾0, we get
∑ab⩾∑a+abc−1,∑a2b+∑b⩾2∑ab⩾∑ab+∑a+abc−1.∴∑a2b⩾∑ab+abc−1⩾abc(∑ab+1−abc)(4).∴∑ca⩾∑ab+1−abc=∑a+Q.
For a⩾1,c⩾1,b⩽1, the proof is similar, as shown in (1),
Note: To prove
∑ab+abc−1⩾abc(∑ab+1−abc),
it suffices to prove (1−abc)∑ab⩾(1−abc)(1+abc), which is equivalent to proving ∑ab⩾1+abc.
From Q⩾0 and ∑a⩾2+abc, we have
∑ab⩾∑a+abc−1⩾1+2abc⩾1+abc.