指数法則については、数学Iで すでに学んだ。
a が実数のときで、n が2以上の正の整数のとき、  n 乗して ''a'' になる数、すなわち
となる''x'' のことを、''a'' の ''n'' 乗根という。''a'' の2乗根、3乗根、4乗根、......を総称して、''a'' の累乗根という。
平方根は2乗根である。なお、3乗根のことを立方根（りっぽうこん）ともいう。
この章の学習では、最終的に n を正の整数だけでなく、実数にまで拡張していくが、とりあえず学習当初の当面は n を整数で考えておこう。
例
2の4乗は16である。-2の4乗も16である。よって、16の4乗根は 2 と -2 である。
単に「n乗根」といった場合、係数に負の数がつくものを除外しないことに注意。
さて、nが奇数の場合のn乗根について、考えてみる。
（-2）を3乗しても、8にはならず、-2 の3乗は -8である。
（-3）を3乗しても、27にはならず、-3 の3乗は -27である。
このように、負の実数の奇数n乗は、かならず、負の数になる。
なので、8の3乗根には、負の数は ふくまれず、8の3乗根は 2だけである。
同様に、27の3乗根は、正の3だけである。
このように、nを奇数の自然数としたとき、実数 a のn乗根 は1通りである。
(I) 23 = 8 であるから、8の3乗根は2。
(II) 34 = (-3)4 = 81 であるから、81の4乗根は ± 3。
''a'' の''n'' 乗根 ''x'' について考える。
サムネイル|326x326ピクセル
(1) ''n'' が奇数のとき、実数 a のn乗根 はただ1つであり、これを \sqrt[n]{a} で表す。
サムネイル|326x326ピクセル
(2) ''n'' が偶数のとき、正の実数aのn乗根は、正と負の2つの数がある。
負のほうは - \sqrt[n]{a} で表す。正の方は \sqrt[n]{a}、で表す。
''a'' < 0 のとき、実数の範囲では ''a'' の''n'' 乗根はない。
n が偶数か奇数かにかかわらず、0のn乗根は0なので、
である。
(II) ''x''6 = -16 を満たす''x'' はない。
特に2乗根\sqrt[2]{a} は \sqrt{a} と書く。
次の値を求めよ。
累乗根の性質
''a'' > 0 のとき、''xn'' = ''a'' の解は x= \sqrt[n]{a} であるから、
また
例
 = \sqrt[2 \times 3]{729} = \sqrt[6]{729} = \sqrt[6]{3^6} = 3
 = \sqrt{3^3} = 3 \sqrt{3}
有理数を指数とする累乗を、次のように定義する。
これは、指数が有理数の場合にも、指数法則が成り立つように定義したのである。実際、次が成り立つ。
たとえば、''x''1/3 は、3乗すると ''x''1 = ''x'' に等しいので、''x'' の3乗根 \sqrt[3]{x}に等しい。
また、''x''0 については
x^0 &= x^{1-1} \\
&= x \cdot x^{-1} \\
&=\frac  x  x \\
&= 1
\end{align}
と考えることが出来る。よって、0以外の全ての実数''x'' に対して、
x^0 = 1
が成り立つ。
それぞれの計算を行い、式を簡単化せよ。
9^{1/6}
8^{1/3}
48^{1/4}
3^{1/3} \cdot 9^{1/6}
4^2\cdot 3^{1/2} \cdot 12 ^{1/2}
4^{1/3} \cdot 3 ^{3/4}\cdot 12^{1/6}
4^0
}
2
2 \cdot 3^{1/4}
}
96
}
1
指数法則1に、''r'' = 3, ''s'' = -3 を代入すれば
ゆえに
指数法則2に、''r'' = 2/3, ''s'' = 3 を代入すれば
 \right)^3 = a^{\frac{2}{3} \times 3} = a^2
となるから、''a''2/3 は ''a''2 の3乗根ということになる。つまり、
 = \sqrt[3]{a^2}
指数法則1に、''r'' = -2/3, ''s'' = 2/3 を代入すれば
 = a^0 =1
ゆえに
}
たとえば 3^{\sqrt 2 }  の場合、 これは、 \sqrt 2 = 1.41421  \cdots  であるが、
を考えると、その項は一定値 4.72880 ・・・ に近づくので、その値を  3^{\sqrt 2}   と定める。
このようにして、累乗の指数が無理数の場合にも定義を拡張することで、指数を実数にまで拡張できる。また、実数の場合も上述の指数法則が成り立つ。
サムネイル|350x350ピクセル
実数aを a>0 で a≠1 とするとき、 y=a^x  で表される関数のことを「 aを底（てい）とする指数関数」のようにいう。
※ 指数関数の底aには、1の場合をふくめない。なぜなら、1は何乗しても1のままなので、もし1を底とする指数関数のグラフを書いてもy＝1のグラフと同じになる。これは、数学的につまらない上に、他の底の指数関数とは大きく性質が異なり、例外扱いしなければならなくなる。ゆえに、ここではaに1をふくめないことにする。
さて、指数関数の例として、たとえば、
があげられる。
指数関数 y = 2^x のグラフを右に示す。指数関数はきわめて速く増加する関数であることが分かる。
サムネイル|350x350ピクセル
次に  y = \left( \frac{1}{2} \right)^x  のグラフを書いてみよう。結果は、右のグラフの実線のようになる。
さきほどのグラフと比較すると分かるように、y軸を対称軸として、 y = \left( \frac{1}{2} \right)^x  のグラフと  y = 2^x  のグラフは対称になっている。
一般に、y = \left( \frac{1}{a} \right)^x  のグラフは、y軸に関して  y = a^x  のグラフと対称である。
また、
a＞1 のとき、グラフの形は右上がりである（  y=2^x と同様）。
いっぽう、
a＜1 のとき、グラフの形は右上がりである（  y= \left( \frac{1}{2} \right)^x  と同様）。
なお、グラフの傾きをみれば分かるように、指数関数のグラフは、一次関数や二次関数のグラフと比べると、急激に増加または急激に減少していく。
指数法則を用いて指数関数を簡単化せよ。
(i) 
2^x \cdot 3^x 
(ii) 
(1/3)^x
解答
となる。
が得られる。
指数関数の値域は正の実数全体である。
また、どんな正の実数も、0乗すると1になるので、よって指数関数  y = a^x  のグラフは必ず点 (0,1) を通る。
サムネイル|350x350ピクセル|指数関数のグラフ（※ 対数関数のグラフではないので、混同しないように！）
a＞0,a≠1 のとき、前章で習った指数関数のグラフの形からも分かるように、
任意の正の実数Mに対して、 
a^p = M
をみたす ''p'' はただ1つに定まる。
この ''p'' を \log _a M と書き
という。 すなわち、
である。
なお、対数は英語で logarithm （ロガリスム）という。
例
である。この場合、2 を log2 8 = 3 乗すると、8が得られるという関係になっている。
公式
\log _a x について 以下の式が成り立つ。
導出
の両辺について各々の式を''b'' の指数として使ったものを計算する。
が成立する。
2つ目の式について、''a''1 = ''a'' であることを用いると、log''a'' ''a'' は確かに 1 である。
同様に ''x''0 = 1 であることを用いると（これは ''x''0 = ''x''1-1 = ''x'' /''x'' = 1 であることから従う)、log''x'' 1 = 0 であることが分かる。
それぞれの表式を簡単化せよ。
\log_3 21 &= \log_3 (3 \cdot 7)\\
&= \log_3 3 + \log_3 7\\
&= 1 + \log_3 7
\end{align}
\log_5 125 = \log  _5 (5^3) = 3
\log_4 7 = \log  _{2^2} 7 = \frac 1 2 \log  _2 7
\log_ 2 6 &= \log _2 (2  \times 3)\\
&= \log  _2 2 + \log  _2 3\\
&= 1 + \log _2 3
\end{align}
を計算せよ。
\log_{10} 6
&= \log  _{10} (2 \times 3)\\
&= \log _{10} 2 + \log _{10} 3\\
&= a +b 
\end{align}
\log_{10} 5
&= \log  _{10} (\frac {10 }2)\\
&= \log  _{10} 10 - \log  _{10} 2\\
&= 1 - a
\end{align}
\log_{10} 25
&= \log  _{10} (5^2)\\
&= 2 \log  _{10} 5
\end{align}
\log _{10} 25
&= 2 (1-a) \\
&= 2 - 2a
\end{align}
\log _{10} 24
&= \log  _{10} ( 2^3 \times 3)\\
&= 3\log  _{10} 2 + \log _{10} 3\\
&= 3a + b
\end{align}
サムネイル|350x350ピクセル
対数関数を、実数''x''に対し
を対応させる関数として定義する。
この関数の定義域（ていぎいき）は、''x'' > 0 に限られる。これは、仮に
とすると、
となるが、 ''a'' が正の数であることから''l''がどのような値であろうと左辺は常に正であるから、''x''も正でなければならないからである。
グラフの概形を右に示す。図を見ると、この関数は非常にゆっくりと増大する関数であることが分かる。
更に、グラフの特徴として、
\log_a a &=1, \\
\log_a 1 &=0
\end{align}
から、対数関数のグラフは、点 (1, 0) および 点 (''a'' , 1) の2点を必ず通過することが分かる。
サムネイル|350x350ピクセル
右図のように、対数関数のグラフは、対応する指数関数のグラフと y＝x に関して対称である。
一般に  y = \log_a x のグラフは   y = a^x のグラフと直線  y＝x に関して対称である。
次の関数のグラフを描け。
(i) 2点 (''x'' , ''y'' ) = (5, 1), (1, 0) を通りy軸が漸近線になることに注意してグラフを描けばよい。
 x = - \log  _{10} x
となる。したがって、2点 (''x'' , ''y'' ) = (10, -1), (1, 0), (0, +∞) を通りy軸が漸近線になることに注意してグラフを描けばよい。
\log _{2} x^2 = 2 \log  _2 x
となる。(i)と同じようにグラフを描けばよい。
 1. 高校で習う範囲では、対数の定義域は正の実数全体、値域は実数全体である。
 2. 対数関数のグラフは点 (1, 0) および 点 (a , 1) の2点を通り、y軸が漸近線（ぜんきんせん）である。
指数法則と対数の定義とを組み合わせることにより、次の公式が導かれる。
証明
( 1. の証明)
\log_{a}M=p ,\log_{a}N=q とおくと、 M=a^p ,N=a^q であるから
よって \log_{a}MN= p+q =  \log_{a}M+\log_{a}N 
( 2. 以降の証明)
※ ( 1.)の証明法と同様に右辺を指数に置きかえて計算したあとに再び対数に変形することで証明できる。（証明は省略）
追加の公式
上記の公式の特別な場合として、次の公式が成り立つ。
その他
次の公式が成り立つ。
10を底とする対数を常用対数（じょうよう たいすう）という。1.00から9.99までの値に対する常用対数の値は常用対数表に示してある。また、近年ではコンピュータや関数電卓を用いて、対応する対数の値を知ることもできる。ただし、これらの値は計算上の制約を受けるため、盲目的にその値が正しいと考えてはならない。コンピュータ内の計算については、高等学校情報などを参照。
常用対数表を用いて、次の値を求めよ。
235の桁数を常用対数を使って考えよう。
が成り立つ。各辺の常用対数をとると
すなわち
逆に、235が  2 < \log_{10}235 < 3  を満たすならば、上の計算を逆にたどって
よって、235は3桁の整数である。桁数が不明な大きな数に対して同様に常用対数をとることによって、おおよその大きさを知ることができる。
230 は何桁の整数か。ただし、log10 2 = 0.3010 とする。
したがって、230 は10桁の整数である。
1 \log _{10} xが実数とする。
上の式を満たすxが無限にあることを示せ
2 x \leqq a \leqq b
とする。このときRを実数全体の集合とする。a,b,x \in Rのとき\log _x a=bを満たすa,b,xが少なくとも1つはあることを示せ。
3 \log _a {1+x}のグラフを書け。
\log _{10} x=qと置く。
対数関数の定義より、10^q=xと書けるつまりxは
x=100,10000,1000000•••のようになる。
(qが自然数であるとき)
つまりxを無限に近づけることで命題は示された。
{{コラム|科学と対数|自然科学で用いられる数量のなかには、対数で表現されているものもある。
たとえば、星の等級（一等星や六等星など）は、指数で明るさの等級が決められており、
等級が1下がるごとに明るさが
倍となるように定められている。これは、等級とは明るさの対数だということである。
地震のエネルギーを表すマグニチュードも、指数をつかった関係式で地震のエネルギーをEとし、地震のマグニュチュードをMとすると、
となるようにマグニチュードが定められている。
つまり、マグニチュードはエネルギーの対数ということである。
このほか、音の大きさ（音圧レベル）をあらわすデシベルや、化学における水素イオン指数 pH も、対数で定義される。
また、放射性年代測定も、残存している放射性同位体の量の対数を考えることにより可能になる。
対数方眼紙というのがあり、右図のようになっている。
サムネイル|600x600ピクセル|片対数方眼紙