>>112

その不等式には等号が含まれている。

 (x+y)/2≧√xy 

とは

 (x+y)/2＞√xy または (x+y)/2＝√xy 

という意味。

そして等号成立条件と言うのは
この式だと、xやyがどのような値だったら
  (x+y)/2＝√xy になるのか？ と言う意味。