(a+b)/2≧√(ab) ‥‥‥① という有名な不等式があります．左辺・右辺がそれぞれa,bの，相加平均・相乗平均と呼ばれるので，「相加相乗平均の大小関係」などと呼ばれます． 左辺はどんな実数でも定義されますが，右辺はabが０以上のときしか定義できません． 不等…