前スレ　>>969

相加相乗平均（一般の場合）

○ｎ＝２の場合
　　a＞0，b＞0のとき　(a+b)/2≧ (ab)^(1/2)

で　a，b　を　(a+b)/2 ，(c+d)/2　に置き換えると

○ｎ＝４の場合
　　a＞0，b＞0，c＞0，d＞0のとき　(a+b+c+d)/4≧ (abcd)^(1/4)

が証明でき、これでa，b，c，d　を　(a+b)/2 ，(c+d)/2，(e+f)/2 ，(g+h)/2　に置き換えて

○ｎ＝８の場合

　a＞0，b＞0，c＞0，d＞0，e＞0，f＞0，g＞0，h＞0のとき
　(a+b+c+d+e+f+g+h)/4≧ (abcdefgh)^(1/8)

が証明できる。これで
ｎ＝2*kの場合は証明できる。