AM-GM により abc=8 から a の平方+b の平方+c の平方≥12、また (ab) の平方+(bc) の平方+(ca) の平方≥48 である。したがって S≥72 であり、等号は a=b=c=2 のときだけ成立する。