>>543

その1

Δ = a^nb+ab^n とおく。

相加平均・相乗平均の不等式より、

a^n b + b^n a ≧ 2√(a^{n+1}b^{n+1})

等号が成り立つのは、

a^n b = b^n a ・・・(1)

のときである。

(1)をab で割って、

a^{n-1} = b^{n-1} ・・・(2)

である。 つづく