假设9>a+b+c则
9>a+b+c》3(abc)^(1/3)
所以 3>(abc)^(1/3)
所以3(1/abc)^(1/3)>1
所以1/a+1/b+1/c > 3(1/abc)^(1/3)>1（均值不等式）
所以 1/a+1/b+1/c >1与题意相矛盾
所以假设错误
所以a+b+c≥9