ax/y>0,by/x>0がいえないから相加相乗平均は無理やねん