指数の有理数への拡張について

以上の話を一般化して，$a > 0$のとき，有理数$x$を指数とする数$a^x$を定義してみよう．

整数に拡張された指数法則2. が， $x$を$\dfrac{m}{n}$，$y$を$n$（$m，n$は自然数）としても成り立つとすると

\begin{align} (a^\frac{m}{n})^n=a^m \end{align}

すなわち，$n$乗すると$a^m$になるので，$a^\frac{m}{n}$は$a^m$の$n$乗根（のうち正の方）$\sqrt[n]{a^m}$と考えればよい．

有理数に拡張された指数の定義

$a > 0$で，$m$を整数，$n$を自然数とするとき

\begin{align} a^\frac{m}{n}=\sqrt[n]{a^m} \end{align}

とする．

たとえば，$\sqrt[3]{5}=5^\frac{1}{3}，\sqrt[5]{8}=\sqrt[5]{2^3}=2^\frac{3}{5}$である．

次のうち，$a^\frac{m}{n}$の形で表されたものは$\sqrt[n]{a^m}$の形で表し， $\sqrt[n]{a^m}$の形で表されたものは$a^\frac{m}{n}$の形で表せ．

$a^\frac{1}{2}=\boldsymbol{\sqrt{a}} $
$a^\frac{2}{5}=\boldsymbol{\sqrt[5]{a^2}} $
$a^{-\frac{3}{2}}=\boldsymbol{\sqrt[2]{a^{-3}}} $
$a^{-\frac{2}{5}}=\boldsymbol{\sqrt[5]{a^{-2}}} $
$\sqrt[5]{a}=\boldsymbol{a^\frac{1}{5}} $
$\sqrt[3]{a^5}=\boldsymbol{a^\frac{5}{3}} $
$\sqrt[6]{a^{-3}}=a^\frac{-3}{6}=\boldsymbol{a^{-\frac{1}{2}}} $
$\dfrac{1}{\sqrt[4]{a^3}}=\sqrt[4]{\dfrac{1}{a^3}}=\sqrt[4]{a^{-3}}=\boldsymbol{a^{-\frac{3}{4}}}$

有理数$x，y$について次の等式が成り立つ．ただし，$a，b$は正の実数とする．

$p=\dfrac{2}{3}，q=\dfrac{1}{3}$として，上の有理数に拡張された指数法則1.，2.，3.が成り立つのを確認せよ．

の確認
（左辺）$=(ab)^\frac{2}{3}=\sqrt[3]{(ab)^2}=\sqrt[3]{a^2b^2}$
（右辺）$=a^\frac{2}{3}b^\frac{2}{3}=\sqrt[3]{a^2}\sqrt[3]{b^2}$
\[=\sqrt[3]{a^2b^2}\] $\blacktriangleleft$ 累乗根の基本性質2.

次の値を求めよ．

\begin{align} 100^\frac{1}{2}&=\left(10^2\right)^\frac{1}{2}\\ &=10^{2\times\frac{1}{2}} \\ &=\boldsymbol{10} \end{align} $\blacktriangleleft$ 有理数に拡張された指数法則2.

\begin{align} 25^{-\frac{1}{2}}&=(5^2)^{-\frac{1}{2}}\\ &=5^{2\times\left(-\frac{1}{2}\right)} \\ &=5^{-1}=\boldsymbol{\frac{1}{5}} \end{align} $\blacktriangleleft$ 有理数に拡張された指数法則2.

\begin{align} 8^{-\frac{2}{3}}&=(2^3)^{-\frac{2}{3}}\\ &=2^{2\times\left(-\frac{2}{3}\right)}\\ &=2^{-2}=\boldsymbol{\frac{1}{4}} \end{align} $\blacktriangleleft$ 有理数に拡張された指数法則2.

\begin{align} 16^{0.75}&=16^\frac{75}{100}=16^\frac{3}{4}=(2^4)^\frac{3}{4}\\ &=2^{4\times\frac{3}{4}}\\ &=2^3=\boldsymbol{8} \end{align} $\blacktriangleleft$ 有理数に拡張された指数法則2.

累乗根の値を求める-その2-の例題を，指数になおすことによって計算せよ．答えは根号を使わず，指数のままでよい．

\[\sqrt[3]{4}\sqrt[3]{16}=\sqrt[3]{2^2}\sqrt[3]{2^4}\] \[=2^\frac{2}{3}2^\frac{4}{3}\] $\blacktriangleleft$有理数に拡張された指数の定義 \[=2^{\frac{2}{3}\cdot\frac{4}{3}}\] $\blacktriangleleft$有理数に拡張された指数法則1. \[=2^2=\boldsymbol{4}\]
\[\frac{\sqrt[5]{96}}{\sqrt[5]{3}}=\frac{96^\frac{1}{5}}{3^\frac{1}{5}}\] $\blacktriangleleft$有理数に拡張された指数の定義 \[=\left(\frac{96}{3}\right)^\frac{1}{5}=32^\frac{1}{5}=(2^5)^\frac{1}{5}\] $\blacktriangleleft$有理数に拡張された指数法則3'. \[=2^{5\cdot\frac{1}{5}}\] $\blacktriangleleft$有理数に拡張された指数法則2. \[=\boldsymbol{2}\]
\[\sqrt[3]{216}=\sqrt[3]{6^3}=\boldsymbol{6}\]
\[\sqrt[3]{\sqrt{729}}=\left(729^\frac{1}{2}\right)^\frac{1}{3}\] $\blacktriangleleft$有理数に拡張された指数の定義 \[=729^{\frac{1}{2}\cdot\frac{1}{3}}\] $\blacktriangleleft$有理数に拡張された指数法則2. \[=729^\frac{1}{6}=(3^6)^\frac{1}{6}\] \[=3^{6\cdot\frac{1}{6}}\] $\blacktriangleleft$有理数に拡張された指数法則2. \[=\boldsymbol{3}\]
\[\sqrt[6]{8}=\sqrt[6]{2^3}\] \[=2^\frac{3}{6}\] $\blacktriangleleft$有理数に拡張された指数の定義 \[=\boldsymbol{2^\frac{1}{2}}\]
\[\sqrt[15]{27}=\sqrt[15]{3^3}\] \[=3^\frac{3}{15}\] $\blacktriangleleft$有理数に拡張された指数の定義 \[=\boldsymbol{3^\frac{1}{5}}\]