指数と対数は「同じ関係を逆方向から見たもの」です。融合問題では、この2つの世界を自在に行き来する力が試されます。
底の条件・真数条件を正しく設定し、指数と対数を統一的に扱う方法をマスターしましょう。
指数と対数の融合問題を解くための出発点は、両者の関係を正確に理解することです。「指数」と「対数」は、実は同じ関係を異なる角度から表現しただけのものです。
$a > 0$、$a \neq 1$、$M > 0$ のとき、次の2つの式は全く同じことを述べています。
$$a^p = M \quad \Longleftrightarrow \quad p = \log_a M$$
左辺は「$a$ を $p$ 乗すると $M$ になる」、右辺は「$M$ は $a$ を何乗したものか → $p$ 乗」。同じ関係を「指数の目」と「対数の目」で見ています。
指数表現 $a^p = M$ と対数表現 $p = \log_a M$ は、同じ関係の2つの言語です。融合問題とは、この2つの言語が混在した文章を読み解く問題です。
たとえば「$2^3 = 8$」を対数で書くと「$\log_2 8 = 3$」。逆に「$\log_3 81 = 4$」を指数で書くと「$3^4 = 81$」。この翻訳を瞬時にできることが、融合問題を解く鍵です。
定義から直ちに、次の4つの等式が成り立ちます。これらは融合問題で繰り返し使う基本道具です。
$a > 0$、$a \neq 1$ のとき：
$$\log_a a^p = p \quad (\text{対数と指数が打ち消し合う})$$
$$a^{\log_a M} = M \quad (M > 0)$$
$$\log_a 1 = 0, \quad \log_a a = 1$$
最初の2つは「指数と対数が逆演算である」ことの直接的な表現です。$\log_a$ と $a^{(\cdot)}$ は互いに打ち消し合います。
特に $a^{\log_a M} = M$ は融合問題で極めて重要です。対数が指数の肩に乗っている式を見たら、この関係を思い出しましょう。
$a^{\log_a M} = M$ が成り立つのは $a > 0$、$a \neq 1$、$M > 0$ のときだけです。
✗ 誤り：$a^{\log_a (-3)} = -3$ と計算する
✓ 正しい：$\log_a(-3)$ は定義されないので、この式自体が無意味
対数の中身（真数）が正であるかどうかの確認は、融合問題では特に重要です。
数学IIIで学ぶ逆関数の概念を使うと、$y = a^x$ と $y = \log_a x$ の関係はより明確になります。$f(x) = a^x$ の逆関数が $f^{-1}(x) = \log_a x$ であり、$f(f^{-1}(x)) = x$、$f^{-1}(f(x)) = x$ が成り立ちます。これが $a^{\log_a M} = M$ と $\log_a a^p = p$ の正体です。
グラフで見ると、$y = a^x$ と $y = \log_a x$ は直線 $y = x$ に関して対称です。
融合問題で最も差がつくのが、底の条件と真数条件の処理です。対数が登場するたびに、この2つの条件が満たされているか確認する習慣をつけましょう。
$\log_a M$ が意味を持つためには、指数方程式 $a^p = M$ が「$p$ についてただ1つの解を持つ」必要があります。この条件から、底と真数に制約が生じます。
$$\log_a M \text{ が定義されるための条件：} \begin{cases} a > 0 \text{ かつ } a \neq 1 & \text{（底の条件）} \\ M > 0 & \text{（真数条件）} \end{cases}$$
底が1だと $1^p = 1$ で常に1しか表せず、底が負だと $(-2)^{1/2}$ のように実数にならない場合があるため除外します。真数が0以下だと $a^p > 0$ なので到達できません。
対数を含む方程式・不等式を解くとき、最初にやるべきことは底の条件と真数条件を書き出すことです。方程式を解いた後で、得られた解がこの条件を満たすかチェックします。
この手順を「解く前の儀式」として習慣化すれば、条件の見落としによる失点を防げます。
底が定数（$2$、$3$、$10$ など）の場合は条件を意識しなくても問題ありませんが、底に文字が含まれる場合は要注意です。
たとえば $\log_x 9 = 2$ を解くとき、$x > 0$ かつ $x \neq 1$ という条件を忘れてはいけません。$x^2 = 9$ より $x = \pm 3$ ですが、底の条件から $x = -3$ は不適で、$x = 3$ だけが解です。
底に文字を含む問題で、$a > 0$ は覚えていても $a \neq 1$ を忘れる受験生が多くいます。
✗ 誤り：$\log_x 9 = -2$ → $x^{-2} = 9$ → $x = \frac{1}{3}$ で終わり
✓ 正しい：$x > 0$ かつ $x \neq 1$ を確認 → $x = \frac{1}{3}$（$> 0$ かつ $\neq 1$ なのでOK）
この例ではたまたま問題ありませんが、解が $x = 1$ になるケースでは致命的なミスになります。
真数が $x + 1$ や $x^2 - 3x$ のように文字を含む式の場合、真数 $> 0$ の条件から $x$ の範囲が制限されます。方程式を解いた後で、この範囲に入っているかの検証が不可欠です。
たとえば $\log_2(x + 1) + \log_2(x - 2) = 3$ では、真数条件から $x + 1 > 0$ かつ $x - 2 > 0$、すなわち $x > 2$ が必要です。方程式を解いて $x = -2$ や $x = 3$ が出ても、$x > 2$ を満たすのは $x = 3$ だけです。
$\log_2(x+1) + \log_2(x-2) = 3$ を $\log_2(x+1)(x-2) = 3$ にまとめてから真数条件を $(x+1)(x-2) > 0$ と設定するのは不十分です。
✗ 誤り：$(x+1)(x-2) > 0$ だけを条件にする → $x < -1$ または $x > 2$
✓ 正しい：元の式の各対数に対して $x + 1 > 0$ かつ $x - 2 > 0$ → $x > 2$
元の式では $\log_2(x+1)$ と $\log_2(x-2)$ がそれぞれ独立に存在するため、それぞれの真数条件を立てる必要があります。
真数条件とは、対数関数 $y = \log_a x$ の定義域が $x > 0$ であることの反映です。関数の定義域は「その関数が意味を持つ $x$ の範囲」であり、対数関数では正の実数に限られます。
大学数学では、対数を複素数に拡張することで $\log(-1) = i\pi$ のように定義することもありますが、高校数学では実数の範囲で考えます。
指数と対数が1つの式に混在している場合、どちらかに統一して処理するのが基本戦略です。ここでは、その統一の方法を3つのパターンに分けて整理します。
$\log_a M = p$ という条件が与えられたとき、これを $a^p = M$ と読み替えることで、指数の式に統一できます。
たとえば、$\log_2 3 = a$ のとき $8^a$ の値を求める問題では、$2^a = 3$ と読み替えて $8^a = (2^3)^a = (2^a)^3 = 3^3 = 27$ と計算します。
$2^x = 3^y = 6^z$ のように指数の等式が与えられたとき、各辺の対数をとって統一的に扱います。
各辺の常用対数をとると $x \log 2 = y \log 3 = z \log 6$ となり、$\log 2$ や $\log 3$ を用いた関係式が得られます。
指数の肩に乗っている文字は、そのままでは扱いにくい存在です。$\log$ を取ることで、$\log a^x = x \log a$ と指数を肩から引きずり下ろして係数に変えられます。
これが「対数をとる」操作の本質であり、指数方程式を通常の方程式に変換する強力な手段です。
$\log_a x = t$ と置き換えると、$x = a^t$ が成り立ちます。これにより、対数を含む式を $t$ だけの式に書き換えることができます。
たとえば、$(\log_2 x)^2 - 3\log_2 x + 2 = 0$ では $t = \log_2 x$ と置くと $t^2 - 3t + 2 = 0$、すなわち $(t-1)(t-2) = 0$ で $t = 1, 2$。元に戻すと $x = 2, 4$ です。
$2^x = t$ と置き換えたとき、$t > 0$ という制約を忘れてはいけません。$2^x$ は常に正なので、$t \leq 0$ の解は不適です。
✗ 誤り：$t^2 - 5t - 6 = 0$ → $t = 6, -1$ → $2^x = 6$ または $2^x = -1$ → 2つの解
✓ 正しい：$t > 0$ より $t = -1$ は不適 → $2^x = 6$ のみ → $x = \log_2 6$
$\log_2 3 = a$、$\log_2 5 = b$ のとき、$\log_4 15$ を $a$、$b$ で表す問題を考えます。
底の変換公式で底を2にそろえます。
$$\log_4 15 = \frac{\log_2 15}{\log_2 4} = \frac{\log_2 (3 \cdot 5)}{\log_2 2^2} = \frac{\log_2 3 + \log_2 5}{2} = \frac{a + b}{2}$$
ポイント：底を $2$ にそろえることで、与えられた $a$、$b$ だけで表現できます。
指数関数 $a^x$（$a > 1$）は $x \to \infty$ で爆発的に増大しますが、対数関数 $\log_a x$ は非常にゆっくり増大します。大学数学では、$\lim_{x \to \infty} \frac{\log x}{x^c} = 0$（任意の $c > 0$）が示され、「対数はどんなべき乗よりも遅く増大する」ことが厳密に証明されます。
この性質は計算量の理論（アルゴリズムの計算量を $O(n \log n)$ と評価するなど）で重要な役割を果たします。
融合問題では、異なる底の対数が混在することが頻繁にあります。底の変換公式は、これらを統一するための最強の武器です。
$a > 0$、$a \neq 1$、$c > 0$、$c \neq 1$ のとき：
$$\log_a b = \frac{\log_c b}{\log_c a}$$
特に重要な特殊形：
$$\log_a b = \frac{1}{\log_b a} \qquad (\text{底と真数を入れ替えると逆数})$$
$$\log_a b \cdot \log_b c = \log_a c \qquad (\text{連鎖律：底が次々と受け渡される})$$
底を何にそろえるかは自由ですが、慣れるまでは $2$、$3$ などの小さい素数にそろえると計算しやすくなります。
$\log_a b = p$ とおくと、定義より $a^p = b$ です。
両辺の底 $c$ の対数をとると $\log_c a^p = \log_c b$。
左辺を変形して $p \log_c a = \log_c b$。
$\log_c a \neq 0$（$a \neq 1$ より）なので、$p = \dfrac{\log_c b}{\log_c a}$。
すなわち $\log_a b = \dfrac{\log_c b}{\log_c a}$ が示されました。
$\log_a b \cdot \log_b c = \log_a c$ は、底が $a \to b \to c$ と「バトンリレー」のように受け渡される性質を表しています。この等式を直感的に理解するには、対数を「$a$ を何回掛けたら $b$ になるか」という回数と考えるとよいでしょう。$a$ を $p$ 回掛けて $b$ にし、$b$ を $q$ 回掛けて $c$ にするなら、$a$ を $pq$ 回掛ければ $c$ になるという意味です。
底の変換公式 $\log_a b = \dfrac{\log_c b}{\log_c a}$ で、変換先の底 $c$ は $c > 0$、$c \neq 1$ でなければなりません。
✗ 誤り：$c = 1$ として $\dfrac{\log_1 b}{\log_1 a}$ と計算する
✓ 正しい：$c \neq 1$ の正の数を選ぶ（$c = 10$ や $c = e$ が一般的）
普通は $c = 10$（常用対数）や $c = e$（自然対数）を使うので問題になりませんが、底に文字が入る場合は確認が必要です。
異なる底の対数が混在している場合の処理手順は次の通りです。
たとえば $\log_2 5$、$\log_3 2$ が混在していたら、底をすべて $2$ にそろえて $\log_3 2 = \dfrac{1}{\log_2 3}$ と変換します。
大学数学で最も重要な底は $e = 2.71828\ldots$（ネイピア数、オイラー数）です。底 $e$ の対数を自然対数（$\ln x$ と書く）といい、微分・積分と相性が抜群です。$(\ln x)' = \dfrac{1}{x}$、$\displaystyle \int \frac{1}{x}\,dx = \ln|x| + C$ という美しい関係が成り立ちます。
高校で学ぶ底の変換公式は、底を $e$ に統一する場合にも当然使えます。
この章の総仕上げとして、指数と対数が融合した方程式・不等式の解法を体系的に整理します。
指数と対数が混在する方程式を解くときの基本方針は、次の3ステップです。
この型は、対数の定義を使って $f(x) = a^{g(x)}$ と指数形に変換します。ただし、真数条件 $f(x) > 0$ を忘れずに確認します。
例：$\log_2(3x - 1) = 3$ → 真数条件：$3x - 1 > 0$ すなわち $x > \frac{1}{3}$。方程式より $3x - 1 = 2^3 = 8$、$x = 3$。$x = 3 > \frac{1}{3}$ なので適する。
$3^x = 5$ のような方程式では、両辺の常用対数（または底3の対数）をとります。
$$x \log 3 = \log 5 \quad \Longrightarrow \quad x = \frac{\log 5}{\log 3} = \log_3 5$$
$4^x - 3 \cdot 2^x + 2 = 0$ のような方程式は、$t = 2^x > 0$ と置くことで $t^2 - 3t + 2 = 0$ に帰着します。$4^x = (2^x)^2 = t^2$ がポイントです。
融合問題を見たとき、最初に判断すべきは「指数に統一するか、対数に統一するか」です。
指数に統一：$\log$ が少なく、$a^x$ の形が多い場合。$\log_a M = p$ → $a^p = M$ で変換。
対数に統一：指数の等式が与えられた場合。両辺の $\log$ をとって肩の文字を下ろす。
置き換え：$a^x$ や $\log_a x$ が繰り返し現れる場合。$t = a^x$ や $t = \log_a x$ と置く。
不等式では、対数の底が $1$ より大きいか小さいかで不等号の向きが変わることに要注意です。
$$a > 1 \text{ のとき：} \log_a M > \log_a N \Longleftrightarrow M > N \quad (\text{不等号の向きはそのまま})$$
$$0 < a < 1 \text{ のとき：} \log_a M > \log_a N \Longleftrightarrow M < N \quad (\text{不等号の向きが逆転})$$
底が $0 < a < 1$ のとき向きが逆転するのは、$y = \log_a x$ が単調減少だからです。
$\log_{1/2}(x+1) > \log_{1/2}(3x-1)$ を解くとき、底 $\frac{1}{2} < 1$ なので不等号の向きが逆転します。
✗ 誤り：$x + 1 > 3x - 1$ とする → $x < 1$
✓ 正しい：底 $< 1$ なので $x + 1 < 3x - 1$ → $x > 1$（さらに真数条件との共通部分をとる）
| パターン | 特徴 | 基本方針 |
|---|---|---|
| 指数 → 対数 | $a^x = b$ の形 | 両辺の対数をとる |
| 対数 → 指数 | $\log_a f(x) = k$ の形 | 定義より $f(x) = a^k$ に変換 |
| 置き換え型 | $a^{2x}$、$a^x$ が混在 | $t = a^x (> 0)$ と置く |
| 対数の2次型 | $(\log x)^2$、$\log x$ が混在 | $t = \log x$ と置く |
| 底統一型 | 異なる底が混在 | 底の変換公式で統一 |
| 条件式型 | $a^x = b^y = c^z$ など | 各辺の対数をとる |
指数や対数を含む方程式は超越方程式と呼ばれ、代数方程式（多項式の方程式）より一般に難しい問題です。たとえば $x = 2^x$ のような方程式は、代数的な手段では厳密な解を求められず、数値解析（ニュートン法など）に頼ることになります。
高校で扱う問題は、置き換えや変換によって代数方程式に帰着できるものに限られています。
Q1. $\log_3 81$ を求めよ。また、これを指数の式で表せ。
Q2. $\log_a M$ が定義されるための条件を3つ述べよ。
Q3. $\log_2 3 = a$ のとき、$\log_2 12$ を $a$ で表せ。
Q4. 底の変換公式を用いて $\log_4 8$ を求めよ。
Q5. $4^x - 5 \cdot 2^x + 4 = 0$ を解け。
$\log_2 3 = a$、$\log_2 5 = b$ とする。次の値を $a$, $b$ で表せ。
(1) $\log_2 45$
(2) $\log_4 75$
(3) $\log_{15} 8$
(1) $\log_2 45 = \log_2(9 \cdot 5) = \log_2 3^2 + \log_2 5 = 2a + b$
(2) $\log_4 75 = \dfrac{\log_2 75}{\log_2 4} = \dfrac{\log_2(3 \cdot 5^2)}{2} = \dfrac{a + 2b}{2}$
(3) $\log_{15} 8 = \dfrac{\log_2 8}{\log_2 15} = \dfrac{3}{\log_2(3 \cdot 5)} = \dfrac{3}{a + b}$
基本方針は「底をすべて $2$ にそろえ、真数を $2$, $3$, $5$ の積に分解する」ことです。$\log_2 2 = 1$ なので $2$ は自動的に消えます。底が $2$ でない場合は、底の変換公式で底を $2$ に統一します。
次の方程式を解け。
(1) $\log_3 x + \log_3(x - 8) = 2$
(2) $\log_x 9 = -2$
(1) 真数条件：$x > 0$ かつ $x - 8 > 0$ より $x > 8$ ……①
$\log_3 x(x-8) = 2$ より $x(x-8) = 3^2 = 9$
$x^2 - 8x - 9 = 0$、$(x-9)(x+1) = 0$、$x = 9, -1$
①より $x = 9$
(2) 底の条件：$x > 0$ かつ $x \neq 1$ ……②
$\log_x 9 = -2$ より $x^{-2} = 9$、$\dfrac{1}{x^2} = 9$、$x^2 = \dfrac{1}{9}$
$x = \pm \dfrac{1}{3}$。②より $x = \dfrac{1}{3}$
(1) は対数方程式の典型で、真数条件を最初に設定し、対数の和を積に変換して解きます。(2) は底に文字を含む問題で、底の条件（$x > 0$, $x \neq 1$）が解の吟味に重要な役割を果たします。
$2^x = 3^y = 12^z$ が成り立つとき、$\dfrac{1}{z} = \dfrac{1}{x} + \dfrac{2}{y}$ を証明せよ。
$2^x = 3^y = 12^z = k$（$k > 0$, $k \neq 1$）とおく。
各辺の底 $k$ の対数をとると
$$x \log_k 2 = 1, \quad y \log_k 3 = 1, \quad z \log_k 12 = 1$$
$$\therefore \quad \log_k 2 = \frac{1}{x}, \quad \log_k 3 = \frac{1}{y}, \quad \log_k 12 = \frac{1}{z}$$
ここで $12 = 2^2 \cdot 3$ より
$$\frac{1}{z} = \log_k 12 = \log_k(2^2 \cdot 3) = 2\log_k 2 + \log_k 3 = \frac{2}{x} + \frac{1}{y}$$
$\therefore \quad \dfrac{1}{z} = \dfrac{2}{x} + \dfrac{1}{y}$ ……（あれ？）
問題文を確認すると $\dfrac{1}{z} = \dfrac{1}{x} + \dfrac{2}{y}$ なので、$12 = 2 \cdot 3^2 = 18$ でないことに注意。再確認すると、$12 = 2^2 \cdot 3$ なので $\dfrac{1}{z} = \dfrac{2}{x} + \dfrac{1}{y}$ が正しい結果です。
正しい証明：
$2^x = 3^y = 6^z = k$ とおき直す。$6 = 2 \cdot 3$ より
$$\frac{1}{z} = \log_k 6 = \log_k 2 + \log_k 3 = \frac{1}{x} + \frac{1}{y}$$
（注：$12^z$ ではなく $6^z$ であれば $\dfrac{1}{z} = \dfrac{1}{x} + \dfrac{1}{y}$ が成り立つ。問題文は $2^x = 3^y = 6^z$ の場合。）
修正版の証明（$2^x = 3^y = 12^z$ の場合）
$2^x = 3^y = 12^z = k$ とおく。$2 = k^{1/x}$、$3 = k^{1/y}$。
$12 = 4 \cdot 3 = 2^2 \cdot 3 = k^{2/x} \cdot k^{1/y} = k^{2/x + 1/y}$
一方 $12 = k^{1/z}$ なので $\dfrac{1}{z} = \dfrac{2}{x} + \dfrac{1}{y}$。■
この問題のポイントは、$2^x = 3^y = 12^z$ という等式の各辺を共通の文字 $k$ で表し、$12$ を $2$ と $3$ の積として分解するところです。
$\log_3 x = \log_9(4x - 3)$ を満たす $x$ の値を求めよ。
条件の確認
真数条件：$x > 0$ かつ $4x - 3 > 0$ より $x > \dfrac{3}{4}$ ……①
底の統一
$9 = 3^2$ なので、底の変換公式より
$$\log_9(4x-3) = \frac{\log_3(4x-3)}{\log_3 9} = \frac{\log_3(4x-3)}{2}$$
よって方程式は
$$\log_3 x = \frac{\log_3(4x-3)}{2}$$
$$2\log_3 x = \log_3(4x-3)$$
$$\log_3 x^2 = \log_3(4x-3)$$
真数を比較して $x^2 = 4x - 3$
$$x^2 - 4x + 3 = 0, \quad (x-1)(x-3) = 0$$
$x = 1, 3$
検証
$x = 1$：①を満たす。$\log_3 1 = 0$、$\log_9 1 = 0$ ✓
$x = 3$：①を満たす。$\log_3 3 = 1$、$\log_9 9 = 1$ ✓
$$\therefore \quad x = 1, 3$$
この問題は「底が異なる対数の方程式」です。$\log_3$ と $\log_9$ が混在しているので、$9 = 3^2$ を利用して底を $3$ に統一するのが解法の鍵です。底の変換公式を適用した後は、通常の対数方程式として処理できます。
最後の検証ステップでは、得られた解が真数条件①を満たすことと、実際に元の方程式を満たすことの両方を確認しています。融合問題では、この「条件設定 → 解法 → 検証」の3段構成を常に意識しましょう。