自然数nにおけるA≧Bの条件下での1/n乗の操作の証明方法

数学において、特に不等式を扱う際、関数の単調性を利用することが有効です。今回の記事では、nを自然数としたときに、A≧BかつA≧0かつB≧0の条件の下で、両辺を1/n乗した操作を行うことが許される理由を解説します。

問題の設定と証明の概要

質問者は、A≧BかつA≧0かつB≧0の条件下で、A≧Bが成り立っているならば、両辺を1/n乗したときにA^(1/n)≧B^(1/n)が成立することを証明したいと考えています。ここで、f(x) = x^(1/n)という関数を考え、微分を使って証明を進める方法を見ていきます。

まず、関数f(x) = x^(1/n)の微分を計算します。微分を行うと、f'(x) = (1/n) * x^(1/n – 1) となります。この式から、f'(x)が常に正であることが分かります。

具体的には、x≧0の範囲でf'(x)は正の値を取り、従ってf(x)は単調増加関数であることが確認できます。この性質により、A≧BならばA^(1/n)≧B^(1/n)が成立することが言えます。

f(x) = x^(1/n)が単調増加であることが分かったので、A≧BならばA^(1/n)≧B^(1/n)が成り立つことが証明できます。具体的には、A≧Bが成立する場合、f(A)≧f(B)が自動的に成立します。

これは、f(x)の単調性に基づいて、AとBの大小関係がそのままA^(1/n)とB^(1/n)の大小関係に反映されるためです。

例えば、A = 16、B = 9、n = 2とすると、A^(1/n) = 16^(1/2) = 4、B^(1/n) = 9^(1/2) = 3となり、A^(1/n) ≧ B^(1/n)が成り立つことが確認できます。

このように、関数f(x) = x^(1/n)の単調増加性を利用すれば、与えられた条件の下で不等式が成立することが簡単に確認できます。

今回の記事では、nを自然数とした場合に、A≧BかつA≧0かつB≧0という条件下で、両辺を1/n乗する操作が許される理由を解説しました。f(x) = x^(1/n)という関数の単調増加性を利用することで、A≧Bが成り立つならば、A^(1/n)≧B^(1/n)も必ず成立することが証明できました。