相加相乗調和平均証明2