指数法則と指数の拡張、累乗根の定義と性質

スポンサーリンク
a$を$n$個掛けたものを$a^{\textcolor{magenta}{n}}$と書き,\ $\textcolor{blue}{a^n}$を$a$の\textbf{\textcolor{blue}{累乗}},\ $\textcolor{magenta}{n}$を$a^n$の\textbf{\textcolor{magenta}{指数}}という. \\[.2zh]   $m,\ n$が正の整数のとき,\ 以下の指数法則が成り立つことを数Iで学習した. \\[1zh] \centerline{[1]\ \ $\bm{\textcolor{red}{a^ma^n=a^{m+n}}}$    [2]\ \ $\bm{\textcolor{red}{(a^m)^n=a^{mn}}}$    [3]\ \ $\bm{\textcolor{red}{(ab)^n=a^nb^n}}$} \\[1zh]   [1]と[2]を混同し,\ $a^3a^2=a^6$のような間違いを犯す学生が非常に多い. \\[.2zh]   $\bm{\textcolor{red}{a^3\,がaを3個掛けたもの}}$という最低限の認識すらないために生じるミスである. \\[.2zh]   仮に指数法則を忘れたとしても,\ 例のように根幹に立ち戻って考えれば間違えようがない. \\[1zh]    \rei\ \ $\bm{a^3\times a^2=a^{\textcolor{cyan}{3+2}}=a^{\textcolor{cyan}{5}}}  a^3\times a^2=aaa\times aa=a^5$\ {\small $(a\,3個とa\,2個でa\,5個)$} \\[.5zh]    \rei\ \ $\bm{(a^3)^2=a^{\textcolor{magenta}{3\times2}}=a^{\textcolor{magenta}{6}}}   (a^3)^2=(aaa)(aaa)=a^6$\ \ {\small $(a\,3個が2つでa\,6個)$} \\\\\\  \textbf{\textcolor{blue}{指数の0や負の整数への拡張}} \\[.5zh]   指数を正の整数でない場合,\ つまり0や負の整数にまで拡張する. \\[.5zh]   結論から言えば,\ 以下のように定義される.\ \ $a\neqq0,\ n$は正の整数とする. \\[1zh]  何故このように定義したのかも理解しておく必要がある. \\[.2zh]  \textbf{\textcolor[named]{ForestGreen}{数学は\underline{最も自然な形で}拡張する}}ことで発展してきた. \\[.2zh]  指数が正の整数のとき,\ 明らかに指数法則\maru1が成り立つ. \\[.2zh]  よって,\ $\bm{\textcolor{red}{指数が0や負の整数でも指数法則\maru1が成り立つように定義する}}のが自然である$. \\[.2zh]  0や負の整数のときに成り立つ法則が正の整数のときと異なっているのは合理的ではない. \\\\  ではまず,\ $\bm{\textcolor{blue}{a^0を指数法則\maru1が成立するように定義}}しよう.$ \\[.2zh]  $a^ma^n=a^{m+n}\,の両辺で\textcolor{cyan}{n=0}とすると (左辺)=a^m\times a^{\textcolor{cyan}{0}} (右辺)=a^{m+\textcolor{cyan}{0}}=a^m$ \\[.2zh]  よって,\ $(左辺)=(右辺)$を成り立たせるためには,\ $\bm{\textcolor{red}{a^0=1}}$と定義すべきである. \\\\  次に,\ $\bm{\textcolor{blue}{a^{-n}を指数法則\maru1が成立するように定義}}しよう.$ \\[.2zh]  $a^ma^n=a^{m+n}\,の両辺で\textcolor{cyan}{m=-\,n}とすると (左辺)=a^{\textcolor{cyan}{-n}}\times a^n (右辺)=a^{\textcolor{cyan}{-n}+n}=a^0=1$ \\[.2zh]  よって,\ $(左辺)=(右辺)$を成り立たせるためには,\ $\bm{\textcolor{red}{a^{-n}=\bunsuu{1}{a^n}}}$と定義すべきである. \\\\\\ 累乗根の定義}} \\[.5zh]   $n$を正の整数とする. \\[.2zh]   $\bm{\textcolor{red}{n乗して\underline{実数}\,aになる\underline{実数}}}$\ ($x^n=a$を満たす\underline{実数}\,$x$の値)を$\bm{\textcolor{blue}{aのn乗根}}$という. \\[.2zh]   $a$の2乗根(平方根),\ 3乗根(立方根),\ 4乗根,\ $\cdots\cdots$をまとめて$a$の\textbf{\textcolor{blue}{累乗根}}という. \\\\   [1]\ \ $\bm{\textcolor{cyan}{nが奇数}}$のとき 実数$a$の$n$乗根は\textbf{\underline{ただ1つ存在}}し,\ これを$\bm{\textcolor{red}{\ruizyoukon[n]{a}}}$と表す. \\[.2zh]   \phantom{[1]}\ \ \phantom{$\bm{nが偶数}$のとき} \ \ \rei\ \ $5の3乗根は\ \ruizyoukon[3]{5}\ のみ,\ \ -\,5の3乗根は\ \ruizyoukon[3]{-\,5}=-\ruizyoukon[3]{5}\ のみ.$ \\\\   [2]\ \ $\bm{\textcolor{magenta}{nが偶数}}$のとき 実数$a$の$n$乗根は\textbf{\underline{正と負が1つ存在}}し,\ $\bm{\textcolor{red}{\ruizyoukon[n]{a},\ -\ruizyoukon[n]{a}}}$と表す. \\[.2zh]   \phantom{[1]}\ \ \phantom{$\bm{nが偶数}$のとき} $\bm{\textcolor{red}{負の数のn乗根(n乗して負数になる実数)は存在しない.}}$ \\[.2zh]   \phantom{[1]}\ \ \phantom{$\bm{nが偶数}$のとき} \ \ \rei\ \ $5の4乗根は\ \pm\ruizyoukon[4]{5},\ \ -\,5の4乗根は存在しない.$ 補足\maru1\ \ nが奇数でも偶数でも\ruizyoukon[n]{0}=0である. \\[1zh] 補足\maru2\ \ \bm{\textcolor{blue}{\ruizyoukon[2]{a}=\ruizyoukon a}}\ (普通のルートは2乗根のこと)である.\ 決して\ruizyoukon a=\ruizyoukon[1]{a}=a\textbf{ではない!} \\[1zh] 補足\maru3\ \ \bm{aのn乗根とn乗根aは別}である. \\[.2zh]    \ \  aのn乗根:n乗してaになる数.\ nが偶数ならば2個存在する. \\[.2zh]    \ \  n乗根a :\ruizyoukon[n]{a}\ のこと. \\[.2zh]    \ \ \rei\ \ 16の4乗根(4乗して16になる数)は,\ \ruizyoukon[4]{16}\,(4乗根16)と-\ruizyoukon[4]{16}\,(-\,4乗根16)の2個. \\[.2zh]    \ \  \ \ 当然,\ \ruizyoukon[4]{16}=2,\ \ -\ruizyoukon[4]{16}=-\,2である. \\[.2zh]    \ \  \ \ 定義の理解が不足していると\ruizyoukon[4]{16}=\pm\,2などと\bm{間違える}. \\[1zh] 補足\maru4\ \ 奇数乗根ならば,\ -を前に出せる. \\[.2zh] 補足\maru5\ \ この分野ではすべて実数の範囲で考える. \\[.2zh]    \ \ しかし,\ 複素数にまで範囲を広げると実数の範囲で考える場合ほど話が単純ではなくなる. \\[.2zh]    \ \ このような問題が生じるため,\ 高校範囲では虚数の累乗根は考えない. \\[.2zh]    \ \ \ruizyoukon{i}\,のようにルートの中に虚数がある表現もすべきではない. \\[.2zh]    \ \ ただし,\ 「\,2乗してiになる複素数zを求めよ」といった問題自体は高校範囲である. \\[.2zh]    \ \ 数\text{I\hspace{-.1em}I}:複素数と方程式分野で学習済みのはずである.\ 一応略解を示しておく. \\[.2zh] {累乗根の性質}} \\[1zh] 指数の有理数への拡張}} \\[.5zh]   先程整数全体にまで拡張したが,\ さらに有理数(分数)の範囲にまで拡張する. \\[.5zh]  $\bm{\textcolor{blue}{a^{\frac mn}を指数法則\maru1が成立するように定義}}することを考える.$ \\[.2zh]{a^m}}}と定義すべきである.$ \\\\\\  \textbf{\textcolor{blue}{指数法則\maru2}} \\[.5zh]   以上をまとめると,\ 以下の指数法則が成立することになる.\ \ $\textcolor{cyan}{a>0,\ b>0}$とする. \\[.5zh]   指数$r,\ s$が整数のときはもちろん,\ 分数であっても,\ つまり$\bm{\textcolor{cyan}{r,\ sが有理数}}$のとき \\[1zh] 指数法則\maru2は,\ 指数が正の整数に限られていた指数法則\maru1と全く同じである. \\[.2zh] そもそも同じになるようにa^0,\ a^{-r},\ a^{\frac mn}\ を定義したわけなので当然である. \\[1zh] a>0,\ b>0という前提条件は,\ \bm{a^r\,(r:\dot{分}\dot{数})がaが正の数のときのみ定義されている}ためにある. \\[.2zh] aが負の場合,\ \ruizyoukon{-\,1}=(-\,1)^{\frac12}=(-\,1)^{\frac24}=\ruizyoukon[4]{(-\,1)^2}=\ruizyoukon[4]{1}=1\ のような矛盾が生じるからである. \\[.2zh] また,\ a^{-\frac12}=\bunsuu{1}{a^{\frac12}}=\bunsuu{1}{\ruizyoukon a}\ より,\ a=0のときも定義できない. \\[1.2zh] rが\dot{整}\dot{数}ときはaが0や負数でも定義されるので注意してほしい. \\[.2zh]