當a=0時,顯然成立
當a＞0時,∵a≤b≤c,且a^2+b^2+c ^2=9 ∴a^2≤3,bc≥3
∴bc+1/a＞3 兩邊同時乘以a abc+1＞3a
當a＜0時 ,∵a≤b≤c,且a^2+b^2+c ^2=9 ∴a^2≥3,bc≤3
∴bc-3≤0 a（bc-3）≥0 a（bc-3）+1＞0
即得abc+1＞3a 綜上所述
abc+1＞3a 成立