>>328
x=yのときでも等号成り立たないです。本当にそうかいてあったの？
右辺をちょっと弄れば相加・相乗平均の相互関係っぽいけど。