数学II 第4章 指数と指数関数 — 指数関数
この節の練習問題5問だけをまとめて見る・印刷する →
y=axのaを a>1かつ a≠1の条件で考えることにより、性質の整った扱いやすい関数になる。ここではこの関数(指数関数)の法則について理解していく。
y=2^xのグラフ
指数が自然数の場合
ここでは、aを定数とし、 f(x) = a^xで表される関数について考えていく。 以下では、例として a = 2の場合、つまり y = 2^xのグラフについてみていく。
指数の拡張でみてきたように、指数xが自然数の場合、 整数の場合、有理数の場合と段階を追って確認していくことにする。
まず、xが自然数の場合には、関数 y = 2^xの値は表のようにまとめることができる。
これらの値の組(x, y)を座標とする点を、座標平面上にとっていくと、図のようになる。 ただし、 x≧4のときはyの値が大きいので、グラフには入りきっていない。
指数が整数の場合
xが整数の場合には、関数 y = 2^xの値は表のようにまとめることができる。
| x |
… |
-4 |
-3 |
-2 |
-1 |
0 |
1 |
2 |
3 |
4 |
… |
| y |
… |
1/16 |
1/8 |
1/4 |
1/2 |
1 |
2 |
4 |
8 |
16 |
… |
これらの値の組(x, y)を座標とする点を、座標平面上にとっていくと、図のようになる。 なお、xが − 1や − 2などのときには
2^-1=1/2 , 2^-2=1/2²=1/4
として計算している。
指数が有理数の場合
xが有理数の場合には、xが整数の場合に加えて、さらに xが1/2や1/4や3/2などの場合も含まれる。
xがこれらの値となるときのyの値は
2¹/2=√2≒1.414 2¹/4=(2^1/2)^1/2=√√2≒√1.414≒1.189 2³/2=2^1+1/2=2×2^(1/2)≒2×1.414=2.828
などと計算できるので、表のようにまとめることができる。
| x |
… |
-4 |
-3 |
-2 |
-1 |
0 |
| y |
… |
1/16 |
1/8 |
1/4 |
1/2 |
1 |
| x |
1/4 |
1/2 |
1 |
3/2 |
2 |
3 |
4 |
… |
| y |
1.189 |
1.414 |
2 |
2.828 |
4 |
8 |
16 |
… |
これらの値の組(x, y)を座標とする点を、座標平面上にとっていくと、図のようになる。
指数関数の性質
単調増加関数と単調減少関数
いままでみてきた結果から、 y = 2^xのグラフは右に進むにつれ、上にあがっていく形になることが予想されるが、 それを厳密に示すためにはどうすればよいだろうか。
xの値が増えるにつれ、2^xの値も増えることを示したいのだから、さまざまな(任意の)値x1, x2に対して
x1< x2 ⇒ 2^x1<2^x2
が証明できればよい。次の例題でそのことを確認してみよう。
問題1指数関数の単調性
関数 y = 2^xについて、次のことを証明せよ。ただし、x, x1, x2は任意の有理数とする。
- x > 0 ⇔ 2^x > 1
- x1 < x2 ⇒ 2^x1 < 2^x2
解答を見る
⇒の証明(背理法)
有理数 x (>0)は x=m/n(m, nは自然数) とおける。
いま
2^x≦1 ①
と仮定すると
(2^x)^n≦1^n ⇔ (2^m/n)^n≦1 ⇔ 2^m≦1
となるが、mは自然数であるから
arrayc m個の積 2^m=2× 2× 2 × … × 2^ array > 1× 1× 1 × … × 1=1
であることに矛盾する。よって、xが有理数であるとき、 x > 0 ⇒ 2^x > 1がいえる。
の証明(背理法)
有理数xは x=m/n(mは整数、nは自然数)とおける。 いま、 x≦0、すなわち
m≦0②
と仮定すると
(2^x)^n>1^n ⇔ (2^m/n)^n>1 ⇔ 2^m>1
となるが、 2 > 1でありmは正でない整数であるから
2^m=(1/2)^-m
個の積arrayc − m個の積 =1/2×1/2×…×1/2^ array < 1/1× 1/1×…×1/1=1
であることに矛盾する。よって、xが有理数であるとき、 x > 0 2^x > 1がいえる。
x2-x1>0 ⇒ 2^x2-x1>1 ⇔ 2^x22^x1>1 ⇔ 2^x2>2^x1
以上を参考に、 y = 2^xのグラフを描くと、次の図のような曲線を描くことがわかる。 この y = 2^xのように、xの値が増加すると常にyの値も増加するような関数を単調増加関数という。 このことを次にまとめておこう。
§
定義1単調増加関数と単調減少関数の定義
関数f(x)の定義域内の任意の実数x1, x2について
x1 < x2 ⇒ f(x1) < f(x2)
が成り立つとき、関数f(x)は単調増加関数(monotone increasing function)という。
x1 < x2 ⇒ f(x1) > f(x2)
が成り立つとき、関数f(x)は単調減少関数(monotone decreasing function)という。
ある関数が単調増加関数であるか単調減少関数である場合に、その関数を単に単調(monotone)な関数という。
次に、関数 y=(1/2)^xのグラフを考えてみよう。
関数 y=(1/2)^xのxに − x1を代入すると
(1/2)^-x1=(2^-1)^-x1=2^x1
と計算できるが、これは関数 y = 2^xのxにx1を代入したときの値と等しい。 これより、 y=(1/2)^xのグラフは、図のように y = 2^xのグラフとy軸に関して対称となるのがわかる。 関数 y=(1/2)^xは単調減少関数になっている。
関数 y = a^x はaの値に応じて、次のように変化する。
指数関数の定義
aのn乗根の表し方でもみたように、 負の数aのn乗根は存在する場合と存在しない場合があり、それはnが実数のときでも同様である。 簡単のため、以下では a > 0の場合についてだけ考えるものとする。
また、 a = 1のときはa^xは常に1となり、それ以外の場合と大きく挙動が異なるので、 a = 1のときは(関数としては考えることができるが)指数関数というくくりには入れないことにする。
§
定義2指数関数の定義
a > 0, a≠1とするとき、実数xに対して
f(x)=a^x
で表される関数を、aを底てい(base)とするxの指数関数(exponential function)という。
指数関数の性質について
y = 2^xのグラフから学んできたことは、次のようにまとめることができる。 指数関数 y = a^xのグラフを見ながら1つ1つ確認しよう。
§
定理3指数関数の性質
指数関数 y=a^xについて、次のようにまとめることができる。
定義域は実数全体、値域は正の実数全体である。
グラフは定点(0, 1)を通り、x軸が漸近線となる。
単調な関数であるから、xの値とyの値は1対1に定まる、すなわち
a^x1=a^x2⇔x1=x2
が成り立つ。
関数の増加と減少について
a > 1のとき
x1 < x2⇔a^x1 < a^x2
0 < a < 1のとき
x1 < x2⇔a^x1 > a^x2
問題2指数の大小関係(底が等しい場合)
次の値を小さいものから順に並べよ。
- √[3]4, (√2)³, (0.5)¹/3
- 2^0.3 , 4^-3/2, 8^-1/6, (√2)³
解答を見る
- それぞれの値は
指数関数の性質4.より
√[3]4=√[3]2²=2²/3 (√2 )³=2³/2 (0.5)¹/3=(2^-1)^1/3=2^-1/3
△底を2でそろえてそれぞれの値を比較できるようにした
y = 2^xは増加関数で、 -1/3<2/3<3/2だから
2^-1/3<2²/3<2^3/2 ∴(0.5)¹/3<√[3]4<(√2 )³
- それぞれの値は
指数関数の性質4.より
2^0.3=2³/10 4^-3/2=(2²)^-3/2=2^-3 8^-1/6=(2³)^-1/6=2^-1/2 (√2)³=(2¹/2)³=2^3/2
△底を2でそろえてそれぞれの値を比較できるようにした
と計算でき、 y = 2^xは増加関数で、 -3<-1/2<3/10<3/2だから
2^-3<2^-1/2<2³/10<2³/2 ∴4^-3/2<8^-1/6<2^0.3<(√2 )³
問題3指数を含む1次方程式・1次不等式
次の方程式、または不等式を解け。
- 4^x=2^x+1
- 4^x>2^x+3
- (1/3)^x-2=27^x
- 9^x≧(1/3)^1-x
解答を見る
- 4^x=2^x+1
⇔ 2^2x=2^x+1
⇔ 2x=x+1
⇔ x=1
- 4^x>2^x+3
⇔ 2^2x>2^x+3
⇔ 2x>x+3
⇔ x>3
- (1/3)^x-2=27^x
⇔ 3^-x+2=3^3x
⇔ -x+2=3x
⇔ x=1/2
【別解:底を1/3でそろえる場合】
(1/3)^x-2=(1/3³)^-x
⇔ (1/3)^x-2=(1/3)^-3x
⇔ x-2=-3x
⇔ x=1/2
- 9^x≧(1/3)^1-x
⇔ 3^2x≧3^-1+x
⇔ 2x≧-1+x
⇔ x≧-1
【別解:底を1/3でそろえる場合】
(1/3²)^-x≧(1/3)^1-x
⇔ (1/3)^-2x≧(1/3)^1-x
⇔ -2x≦ 1-x
⇔ x≧-1
問題4指数を含む2次方程式・2次不等式
次の方程式、または不等式を解け。
- 4^x-2^x+2-32=0
- 9^x-24・3^x-1-9=0
- 4^x-2^x<2
- 9^x-25・3^x-54>0
解答を見る
- 式を変形すると
4^x-2^x+2-32=0 ⇔ 2^2x-2²・2^x-32=0 ⇔ (2^x)²-4・2^x-32=0
ここで、 2^x = tとおくと
t²-4t-32=0 ⇔ (t+4)(t-8)=0
⇔ t=-4 , 8 ①
いま、t のとり得る値の範囲は t = 2^x > 0なので、 t = − 4は不適であり、①を満たすtは、 t = 8のみ。
よって
2^x=8 ⇔ 2^x=2³ ⇔ x=3
- 式を変形すると
9^x-24・3^x-1-9=0 ⇔ 3^2x-24・3^-1・3^x-9=0 ⇔ (3^x)²-8・3^x-9=0
ここで、 3^x = tとおくと
t²-8t-9=0 ⇔ (t+1)(t-9)=0
⇔ t=-1 , 9 ②
いま、t のとり得る値の範囲は t = 3^x > 0なので、 t = − 1は不適であり、②を満たすt は、 t = 9のみ。
よって
3^x=9 ⇔ 3^x=3² ⇔ x=2
- 式を変形すると
4^x-2^x<2 ⇔ 2^2x-2^x-2<0 ⇔ (2^x)²-2^x-2<0
ここで、 2^x = tとおくと
t²-t-2<0 ⇔ (t-2)(t+1)<0
⇔ -1 < t < 2 ③
いま、t のとり得る値の範囲は t = 2^x > 0なので、 これと③をあわせて、 0 < t < 2。
よって
0<2^x<2 ⇔ 0<2^x<2¹ ⇔ x<1
- 式を変形すると
9^x-25・3^x-54>0 ⇔ 3^2x-25・3^x-54>0 ⇔ (3^x)²-25・3^x-54>0
ここで、 3^x = tとおくと
t²-25t-54>0 ⇔ (t+2)(t-27)>0
⇔ t < -2 , 27 < t ④
いま、t のとり得る値の範囲は t = 3^x > 0なので、 これと④をあわせて、 27 < t。
よって
3^x>27 ⇔ 3^x>3³ ⇔ x>3
△指数関数の性質4.なお、 t = 3^x はつねに 3^x > 0なので、 t < -2 となることはない
問題5指数を含む2次関数
次の関数の最大値、最小値を求めよ。
- y=4^x+1-2^x+2+2 (-2≦x≦2)
- y=-4^x+2^x+1+1 (x≦2)
解答を見る
- 2^x = tとおくと、 -2≦x≦2より
2^-2≦t≦2²
⇔ 1/4≦t≦4 ①
また
y=4^x+1-2^x+2+2 =4・4^x-2²・2^x+2 =4・(2^x)²-4・2^x+2
より
y=4t²-4t+2 =4(t-1/2)²+1
①の範囲では、このグラフは図のようになるので
(t=4) x=2のとき、最大値50
(t=1/2) x=-1のとき、最小値1
- 2^x = tとおくと、 x≦ 2より
0< t≦2²
⇔ 0 < t≦ 4 ②
また
y=-4^x+2^x+1+1 =-(2^x)²+2・2^x+1
より
y=-t²+2t+1 =-(t-1)²+2
②の範囲では、このグラフは図のようになるので
(t=1) x=0のとき、最大値2
(t=4) x=2のとき、最小値-7
最終更新: 2026-08-20
この節についてAIに質問する
この節に書かれている内容だけを根拠に答えます。個人情報は書かないでください。
この回答は役に立ちましたか?