物理/この章の付録
提供: Internet Web School
目次 |
「7.6 この章の付録」
問の解答
問
UNIQ76b4af896719969d-MathJax-529-QINU が存在し、２より大きく３以下であることを証明する。
（１）準備； ２項定理を用いた展開
UNIQ76b4af896719969d-MathJax-530-QINU とおく。
すると、
UNIQ76b4af896719969d-MathJax-531-QINUである。
以下に、数列 UNIQ76b4af896719969d-MathJax-532-QINU が単調増大で、有界（２より大、３より小）である事を示す。
するとテキストの定理により、この数列は２より大きく、３以下のある実数に収束することが分かる。
nが３以上の自然数の時は、UNIQ76b4af896719969d-MathJax-533-QINUを２項定理を用いて展開すると
UNIQ76b4af896719969d-MathJax-534-QINU
ここで UNIQ76b4af896719969d-MathJax-535-QINU は、ｎ個のものからｍ個取り出す取り出し方の総数で、
mが１以上でn 以下の自然数の時は
UNIQ76b4af896719969d-MathJax-536-QINU
ここで、m が1以上の自然数の時は UNIQ76b4af896719969d-MathJax-537-QINU
mが零の時は UNIQ76b4af896719969d-MathJax-538-QINU と定義。
すると、
UNIQ76b4af896719969d-MathJax-539-QINU
UNIQ76b4af896719969d-MathJax-540-QINUのとき、UNIQ76b4af896719969d-MathJax-541-QINU
式（１）に式（２）を代入し,式(３)、(４)を利用して計算すると
UNIQ76b4af896719969d-MathJax-542-QINU
UNIQ76b4af896719969d-MathJax-543-QINU
ここで、n より小さい全ての自然数 i に対して
UNIQ76b4af896719969d-MathJax-544-QINU なので、
UNIQ76b4af896719969d-MathJax-545-QINU
（２）すべての2以上の自然数 n に関して、
UNIQ76b4af896719969d-MathJax-546-QINU
であることを示す。
式（6）から
UNIQ76b4af896719969d-MathJax-547-QINU,
UNIQ76b4af896719969d-MathJax-548-QINU
右辺の m は2以上の自然数なので、
UNIQ76b4af896719969d-MathJax-549-QINU
である。故に、
UNIQ76b4af896719969d-MathJax-550-QINU
（３）数列 UNIQ76b4af896719969d-MathJax-551-QINU は単調増加
UNIQ76b4af896719969d-MathJax-552-QINU の時、常に UNIQ76b4af896719969d-MathJax-553-QINU を示せばよい。
式(5)を利用すると(注参照）、
UNIQ76b4af896719969d-MathJax-554-QINU
すると、
UNIQ76b4af896719969d-MathJax-555-QINU
UNIQ76b4af896719969d-MathJax-556-QINU 右辺の第一項の和を2つに分けると、
UNIQ76b4af896719969d-MathJax-557-QINU
UNIQ76b4af896719969d-MathJax-558-QINU
UNIQ76b4af896719969d-MathJax-559-QINU
UNIQ76b4af896719969d-MathJax-560-QINU
上の式で、全てのUNIQ76b4af896719969d-MathJax-561-QINUに対して,UNIQ76b4af896719969d-MathJax-562-QINUとUNIQ76b4af896719969d-MathJax-563-QINU なので、
UNIQ76b4af896719969d-MathJax-564-QINU
（注）式（３）のｎに ｎ＋１ を代入すればよい。
ネイピア数 e について
定義；UNIQ76b4af896719969d-MathJax-565-QINU をネイピア数と呼ぶ。
命題1
（１）UNIQ76b4af896719969d-MathJax-566-QINU
（２）UNIQ76b4af896719969d-MathJax-567-QINU
三角関数の微分
準備
次の命題が、三角関数の微分を求めるうえで中心的役割を果たす。
命題２
UNIQ76b4af896719969d-MathJax-568-QINU
証明
まず、UNIQ76b4af896719969d-MathJax-569-QINU を正に保ちながら零に近づける場合を考える。
すると、UNIQ76b4af896719969d-MathJax-570-QINU と考えて良い。
点Ｏを中心にし、半径1の円を考え、円周上に一点Ａをさだめる。
図のように、円周上の点Ｂを、線分ＯＢが直線ＯＡとなす角がｘ（ラジアン)となるようにとる。
図からUNIQ76b4af896719969d-MathJax-571-QINU
UNIQ76b4af896719969d-MathJax-572-QINU ここで、点PはＡを通り線分OAと垂直な直線と半直線OBの交点。
すると、
UNIQ76b4af896719969d-MathJax-573-QINU
ここで、UNIQ76b4af896719969d-MathJax-574-QINUなので、
UNIQ76b4af896719969d-MathJax-575-QINU各項を2倍すると、
UNIQ76b4af896719969d-MathJax-576-QINU
UNIQ76b4af896719969d-MathJax-577-QINUここで UNIQ76b4af896719969d-MathJax-578-QINU なので、これで上式の各項を割ると、
UNIQ76b4af896719969d-MathJax-579-QINU
UNIQ76b4af896719969d-MathJax-580-QINU
故に、極限の性質から
UNIQ76b4af896719969d-MathJax-581-QINU
これより、UNIQ76b4af896719969d-MathJax-582-QINU が得られる。
定理１ 三角関数の微分
（１）UNIQ76b4af896719969d-MathJax-583-QINU
（２）UNIQ76b4af896719969d-MathJax-584-QINU
証明
（１）； UNIQ76b4af896719969d-MathJax-585-QINU
ここで、
UNIQ76b4af896719969d-MathJax-586-QINU
サイン関数の加法定理を適用すると
UNIQ76b4af896719969d-MathJax-587-QINU
故に、
UNIQ76b4af896719969d-MathJax-588-QINU
UNIQ76b4af896719969d-MathJax-589-QINU
UNIQ76b4af896719969d-MathJax-590-QINU ここで、
UNIQ76b4af896719969d-MathJax-591-QINU
UNIQ76b4af896719969d-MathJax-592-QINU
UNIQ76b4af896719969d-MathJax-593-QINUなので、
UNIQ76b4af896719969d-MathJax-594-QINU
指数関数と対数関数
正の実数の累乗の指数の拡張
実数の累乗(自然数乗)
UNIQ76b4af896719969d-MathJax-595-QINU を任意の実数、UNIQ76b4af896719969d-MathJax-596-QINU を2以上の自然数とする。
UNIQ76b4af896719969d-MathJax-597-QINU
を総称して、a の累乗と呼ぶ。
UNIQ76b4af896719969d-MathJax-598-QINU をUNIQ76b4af896719969d-MathJax-599-QINU の n 乗 、UNIQ76b4af896719969d-MathJax-600-QINU をその指数と呼ぶ。
実数の自然数乗の３つの計算規則
累乗が次のような計算規則を満たすことは、容易に証明できる。
命題３
UNIQ76b4af896719969d-MathJax-601-QINU を任意の実数、UNIQ76b4af896719969d-MathJax-602-QINU を任意の自然数とすると、
(1) UNIQ76b4af896719969d-MathJax-603-QINU
(2) UNIQ76b4af896719969d-MathJax-604-QINU
(3) UNIQ76b4af896719969d-MathJax-605-QINU
証明は、累乗の定義と積の交換法則から容易にできるので省略する。
指数関数とn次関数
UNIQ76b4af896719969d-MathJax-606-QINU を正の実数とするとき、累乗UNIQ76b4af896719969d-MathJax-607-QINU の
UNIQ76b4af896719969d-MathJax-608-QINU を独立変数とするか、UNIQ76b4af896719969d-MathJax-609-QINU を独立変数にするかで、
次の2種の関数が定まる。
定義
UNIQ76b4af896719969d-MathJax-610-QINU を正の実数, UNIQ76b4af896719969d-MathJax-611-QINUを自然数とするとき、次の2つの関数を考える。
１）UNIQ76b4af896719969d-MathJax-612-QINU
これは、指数を変数とする関数なので、指数関数という。
２）UNIQ76b4af896719969d-MathJax-613-QINU
これは、UNIQ76b4af896719969d-MathJax-614-QINU次の単項関数である。
命題 指数関数の性質
指数関数UNIQ76b4af896719969d-MathJax-615-QINU は次の性質を持つ。
１）UNIQ76b4af896719969d-MathJax-616-QINUのとき、UNIQ76b4af896719969d-MathJax-617-QINUからUNIQ76b4af896719969d-MathJax-618-QINUへの狭義単調減少の連続関数で、UNIQ76b4af896719969d-MathJax-619-QINU
２）UNIQ76b4af896719969d-MathJax-620-QINUのとき、UNIQ76b4af896719969d-MathJax-621-QINUからUNIQ76b4af896719969d-MathJax-622-QINUへの狭義単調増加の連続関数
で、
UNIQ76b4af896719969d-MathJax-623-QINU
連続性以外は、明らかなので証明は省略する。
自然数全体の集合UNIQ76b4af896719969d-MathJax-624-QINUは離散集合なので、
そのうえで定義された任意の関数は連続となる。
「8.2 解析入門（１）実数の性質、連続関数、微分 UNIQ76b4af896719969d-MathJax-625-QINU 「1.3 関数とその連続性」の「1.3.2 関数の極限と連続性」を参照のこと。
命題 UNIQ76b4af896719969d-MathJax-626-QINU次の単項関数の性質
UNIQ76b4af896719969d-MathJax-627-QINU とする。
UNIQ76b4af896719969d-MathJax-628-QINU次の単項関数UNIQ76b4af896719969d-MathJax-629-QINU は
UNIQ76b4af896719969d-MathJax-630-QINUからUNIQ76b4af896719969d-MathJax-631-QINUへの狭義単調増加の連続関数で、
UNIQ76b4af896719969d-MathJax-632-QINU
UNIQ76b4af896719969d-MathJax-633-QINU
である。
証明
UNIQ76b4af896719969d-MathJax-634-QINU上では狭義単調増加であることは容易に示せる。
連続性については、UNIQ76b4af896719969d-MathJax-635-QINU であることを示せばよい。
例えば、2項定理でUNIQ76b4af896719969d-MathJax-636-QINU を展開して極限をとればよい。
この節の目的
この節の目的は、累乗にかんする計算規則を満たすようにしながら、
累乗の指数を実数まで拡張することである。
しかし UNIQ76b4af896719969d-MathJax-637-QINU が負数だと、指数を有理数に拡張するとき不都合が起きてしまう。
例えば
UNIQ76b4af896719969d-MathJax-638-QINU の時, UNIQ76b4af896719969d-MathJax-639-QINU は実数でなく虚数となり、
実数値関数の枠組みに収まらなくなる。
そこで、このような不都合が起こらないように 今後はUNIQ76b4af896719969d-MathJax-640-QINU を正の実数に限定し、
次の計算規則を満たすようにしながら、指数を自然数から整数、整数から有理数、有理数から実数へと順に拡張していく。
累乗に関する計算規則
UNIQ76b4af896719969d-MathJax-641-QINU を任意の正の実数、UNIQ76b4af896719969d-MathJax-642-QINUを指数とすると、
(1) UNIQ76b4af896719969d-MathJax-643-QINU
(2) UNIQ76b4af896719969d-MathJax-644-QINU
(3) UNIQ76b4af896719969d-MathJax-645-QINU
計算規則(3)を守ろうとすると、UNIQ76b4af896719969d-MathJax-646-QINU と定めなければならないことが分かる。
何故ならば UNIQ76b4af896719969d-MathJax-647-QINUの時、UNIQ76b4af896719969d-MathJax-648-QINU となり、 UNIQ76b4af896719969d-MathJax-649-QINU であるから。
そこで 今後は常に UNIQ76b4af896719969d-MathJax-650-QINU と定め、 UNIQ76b4af896719969d-MathJax-651-QINU の場合だけを考察する。
本節のもう一つの目的は、指数の拡張に伴い累乗に伴う2つの関数
UNIQ76b4af896719969d-MathJax-652-QINU とUNIQ76b4af896719969d-MathJax-653-QINU の性質が、どのようになるか考察する事である。
指数の整数への拡張
任意の正の実数UNIQ76b4af896719969d-MathJax-654-QINU を考える。
UNIQ76b4af896719969d-MathJax-655-QINUの累乗の指数を、累乗に関する３つの規則が成り立つようにしながら、整数に拡張しよう。
まず、規則（1）を守ろうとすれば
UNIQ76b4af896719969d-MathJax-656-QINU
と定義しなければならないことが分かる。
何故ならば、UNIQ76b4af896719969d-MathJax-657-QINU の時、
UNIQ76b4af896719969d-MathJax-658-QINU
となり、 UNIQ76b4af896719969d-MathJax-659-QINU だから両辺を UNIQ76b4af896719969d-MathJax-660-QINU で割ればよい。
次に任意の自然数 n に対して、
UNIQ76b4af896719969d-MathJax-661-QINU を累乗に関する規則（1）を満たすように定義しよう。
UNIQ76b4af896719969d-MathJax-662-QINU
両辺を UNIQ76b4af896719969d-MathJax-663-QINU で割れば
UNIQ76b4af896719969d-MathJax-664-QINU
命題
式(4),(5)に従って指数を整数に拡大すると、
３つの累乗の規則はすべて成立する。
証明
指数が負のときは式(5)を用いて、指数が自然数の式に書き直し、
指数が自然数のときに成り立つことが分かっている３つの計算規則を使って式の変形をすれば良い。
計算規則の（1）の証明だけを示そう。
（１）UNIQ76b4af896719969d-MathJax-665-QINU を任意の整数とすると、
UNIQ76b4af896719969d-MathJax-666-QINU であることを示す。
（ケース１）指数の一方が正の整数(自然数)で、他方が負の整数の時
UNIQ76b4af896719969d-MathJax-667-QINU を自然数として、
UNIQ76b4af896719969d-MathJax-668-QINU を示せばよい。
式(5)から
UNIQ76b4af896719969d-MathJax-669-QINU
UNIQ76b4af896719969d-MathJax-670-QINU 、UNIQ76b4af896719969d-MathJax-671-QINU 、UNIQ76b4af896719969d-MathJax-672-QINU という3つの場合に分けて証明する。
１）UNIQ76b4af896719969d-MathJax-673-QINU の時
割り算を実行するとUNIQ76b4af896719969d-MathJax-674-QINU
この式と、式(6)から、UNIQ76b4af896719969d-MathJax-675-QINU
2) UNIQ76b4af896719969d-MathJax-676-QINU の時
UNIQ76b4af896719969d-MathJax-677-QINU
この式と、式(6)から、UNIQ76b4af896719969d-MathJax-678-QINU
3) UNIQ76b4af896719969d-MathJax-679-QINU の時
割り算を実行すると、
UNIQ76b4af896719969d-MathJax-680-QINU
UNIQ76b4af896719969d-MathJax-681-QINU
(ケース２）両方の指数が負の整数の時
UNIQ76b4af896719969d-MathJax-682-QINU を示せばよい。
UNIQ76b4af896719969d-MathJax-683-QINU
指数の有理数への拡張
これ以降、有理数全体のなす集合をUNIQ76b4af896719969d-MathJax-684-QINUとかく。
UNIQ76b4af896719969d-MathJax-685-QINU を任意の正の実数、 UNIQ76b4af896719969d-MathJax-686-QINU を任意の有理数のとき、
UNIQ76b4af896719969d-MathJax-687-QINU の有理数乗 UNIQ76b4af896719969d-MathJax-688-QINU を、計算規則を満たすように定義しよう。
指数n を任意の自然数（正の整数）、 m を任意の整数と仮定してよい。
UNIQ76b4af896719969d-MathJax-689-QINU（注）nが負の時はUNIQ76b4af896719969d-MathJax-690-QINU なので、
UNIQ76b4af896719969d-MathJax-691-QINUを改めてUNIQ76b4af896719969d-MathJax-692-QINU と置けば良い。UNIQ76b4af896719969d-MathJax-693-QINU
累乗規則（２）を満たすように定義するには、
UNIQ76b4af896719969d-MathJax-694-QINU
でなければならない。
これは、UNIQ76b4af896719969d-MathJax-695-QINU が UNIQ76b4af896719969d-MathJax-696-QINU のｎ乗根であることを示す。
しかしｎが偶数のときは、UNIQ76b4af896719969d-MathJax-697-QINU もUNIQ76b4af896719969d-MathJax-698-QINU のｎ乗根となるので、
正のｎ乗根 のほうを、UNIQ76b4af896719969d-MathJax-699-QINU とかく。
定義 正の実数の有理数乗
UNIQ76b4af896719969d-MathJax-700-QINUを正の実数とする。
UNIQ76b4af896719969d-MathJax-701-QINU とは、
UNIQ76b4af896719969d-MathJax-702-QINU の正のｎ乗根である。
すなわち、
UNIQ76b4af896719969d-MathJax-703-QINUを満たす正の実数である。
最初に、この定義できちんと正の実数が一つだけ決まることを証明しよう。
UNIQ76b4af896719969d-MathJax-704-QINUのときは、ｎ乗すると１になる正数は１だけなので
UNIQ76b4af896719969d-MathJax-705-QINU
であることが分かるので、UNIQ76b4af896719969d-MathJax-706-QINU の場合を考える。
命題３
UNIQ76b4af896719969d-MathJax-707-QINU を任意の正の実数、UNIQ76b4af896719969d-MathJax-708-QINU を任意の整数,UNIQ76b4af896719969d-MathJax-709-QINUを任意の自然数とする。
すると、n 乗すると UNIQ76b4af896719969d-MathJax-710-QINU になる正の実数 UNIQ76b4af896719969d-MathJax-711-QINU (i.e. UNIQ76b4af896719969d-MathJax-712-QINU)が存在し、ただ一つに限る。
証明
(1) 存在性
UNIQ76b4af896719969d-MathJax-713-QINU という、零と正の実数の上で定義された、関数を考える。
この関数はｘが増加するにつれて、連続的に、零から正の無限大に狭義に単調に増加（注参照）していく。
そこで、UNIQ76b4af896719969d-MathJax-714-QINU という集合を考える。
この集合は、上に有界な区間になり、実数の連続性から上限(sup)UNIQ76b4af896719969d-MathJax-715-QINUを持つ。
この時、UNIQ76b4af896719969d-MathJax-716-QINU であることを示そう。
UNIQ76b4af896719969d-MathJax-717-QINU が集合UNIQ76b4af896719969d-MathJax-718-QINUの上限なので、任意の自然数ｎに対して、
UNIQ76b4af896719969d-MathJax-719-QINU
を満たす UNIQ76b4af896719969d-MathJax-720-QINU が存在する。
明らかに
UNIQ76b4af896719969d-MathJax-721-QINU
すると、関数 UNIQ76b4af896719969d-MathJax-722-QINU は連続なので、
UNIQ76b4af896719969d-MathJax-723-QINU
ところがUNIQ76b4af896719969d-MathJax-724-QINUなので、
UNIQ76b4af896719969d-MathJax-725-QINU
式(a)、(b) から、UNIQ76b4af896719969d-MathJax-726-QINU がえられるので、
UNIQ76b4af896719969d-MathJax-727-QINU
が示せた。（従って、Bは閉区間 [o,b] である。）
UNIQ76b4af896719969d-MathJax-728-QINU であることを背理法を使って示そう。
もし、UNIQ76b4af896719969d-MathJax-729-QINU だとすると、関数 UNIQ76b4af896719969d-MathJax-730-QINU は連続なので
充分小さな正の実数UNIQ76b4af896719969d-MathJax-731-QINU をとると、UNIQ76b4af896719969d-MathJax-732-QINU を満たす。
すると UNIQ76b4af896719969d-MathJax-733-QINU となり、
UNIQ76b4af896719969d-MathJax-734-QINUが B の上限であることに矛盾してしまう。
故に、背理法により、UNIQ76b4af896719969d-MathJax-735-QINU が証明できた。
（２）一意性
関数 UNIQ76b4af896719969d-MathJax-736-QINU は狭義の単調増加関数なのでｂ以外の数ｂ'(UNIQ76b4af896719969d-MathJax-737-QINU)では、
UNIQ76b4af896719969d-MathJax-738-QINU
（証明終り） UNIQ76b4af896719969d-MathJax-739-QINU
(注) 関数ｆが狭義単調増加とは、UNIQ76b4af896719969d-MathJax-740-QINU を満たすこと。
命題４
任意の正の実数 UNIQ76b4af896719969d-MathJax-741-QINU にたいして、その有理数乗を上記のように定義すると
３つの累乗規則 (1)～(3) が成り立つ。
証明；
１） 累乗規則（１)が成り立つことを示す。
2個の有理数の指数を 自然数UNIQ76b4af896719969d-MathJax-742-QINUと整数UNIQ76b4af896719969d-MathJax-743-QINU を用いて、
UNIQ76b4af896719969d-MathJax-744-QINUと表現する。
すると、累乗規則（１)は、次のように表される。
UNIQ76b4af896719969d-MathJax-745-QINU
この左辺を UNIQ76b4af896719969d-MathJax-746-QINU,
右辺を UNIQ76b4af896719969d-MathJax-747-QINU とおく。
UNIQ76b4af896719969d-MathJax-748-QINU
であることを示せば、UNIQ76b4af896719969d-MathJax-749-QINU が得られ,
累乗規則（１)が成立することが分かる。
まず左辺を考える。
UNIQ76b4af896719969d-MathJax-750-QINU
指数が自然数の累乗規則（３）から
UNIQ76b4af896719969d-MathJax-751-QINU
指数が自然数の累乗規則（２）から
UNIQ76b4af896719969d-MathJax-752-QINU
実数の有理数乗の定義から、
UNIQ76b4af896719969d-MathJax-753-QINU
指数が整数の累乗規則（２）から
UNIQ76b4af896719969d-MathJax-754-QINU
指数が整数の累乗規則（１）から
UNIQ76b4af896719969d-MathJax-755-QINU
故に、UNIQ76b4af896719969d-MathJax-756-QINU
次に、右辺を考える。
UNIQ76b4af896719969d-MathJax-757-QINU
UNIQ76b4af896719969d-MathJax-758-QINU
実数の有理数乗の定義から、
UNIQ76b4af896719969d-MathJax-759-QINU
これで、式（a)が示され、累乗規則（１)が成り立つことが証明できた。
２）累乗規則（２)と累乗規則（３)が成り立つことは読者がしてください。
証明終わり。
指数が有理数の場合,命題２は次のように拡張出来る。
命題５
UNIQ76b4af896719969d-MathJax-760-QINUの上で定義される関数
UNIQ76b4af896719969d-MathJax-761-QINUを考える。
１）UNIQ76b4af896719969d-MathJax-762-QINU を1より大きい正の実数とすると、
UNIQ76b4af896719969d-MathJax-763-QINUは単調増大で
UNIQ76b4af896719969d-MathJax-764-QINU
２）UNIQ76b4af896719969d-MathJax-765-QINU が1より小さい正の実数のとき、
UNIQ76b4af896719969d-MathJax-766-QINUは単調減少し、
UNIQ76b4af896719969d-MathJax-767-QINU
３）UNIQ76b4af896719969d-MathJax-768-QINU のとき、UNIQ76b4af896719969d-MathJax-769-QINU
証明
１）のみ証明する。２)の場合も同様に証明できる。
① UNIQ76b4af896719969d-MathJax-770-QINU とすると、
UNIQ76b4af896719969d-MathJax-771-QINU を示そう。
UNIQ76b4af896719969d-MathJax-772-QINU
を示せばよい。
正数の有理数乗の計算規則から、
UNIQ76b4af896719969d-MathJax-773-QINU
UNIQ76b4af896719969d-MathJax-774-QINU
故に、
UNIQ76b4af896719969d-MathJax-775-QINU
UNIQ76b4af896719969d-MathJax-776-QINU から、
UNIQ76b4af896719969d-MathJax-777-QINUなので、UNIQ76b4af896719969d-MathJax-778-QINUであり
UNIQ76b4af896719969d-MathJax-779-QINU
故に、 UNIQ76b4af896719969d-MathJax-780-QINU
自然数乗すると１より大きくなる正の実数は１より大きい実数しかないので、
UNIQ76b4af896719969d-MathJax-781-QINU が得られた。
② UNIQ76b4af896719969d-MathJax-782-QINUを示そう。
関数 UNIQ76b4af896719969d-MathJax-783-QINU は単調増加（①で証明)なので、
UNIQ76b4af896719969d-MathJax-784-QINU
を示せばよいが、これは自明である。
③ UNIQ76b4af896719969d-MathJax-785-QINU
も、同様にして示せる。
証明終わり UNIQ76b4af896719969d-MathJax-786-QINU
以上の結果をまとめて、次の定理を得る。
UNIQ76b4af896719969d-MathJax-787-QINU
UNIQ76b4af896719969d-MathJax-788-QINU の正の実数とする。
（１）UNIQ76b4af896719969d-MathJax-789-QINU の有理数乗 UNIQ76b4af896719969d-MathJax-790-QINU をUNIQ76b4af896719969d-MathJax-791-QINUの正のUNIQ76b4af896719969d-MathJax-792-QINU乗根で定義すると、
累乗に関する計算規則
UNIQ76b4af896719969d-MathJax-793-QINU を任意の正の実数、UNIQ76b4af896719969d-MathJax-794-QINUを指数とすると、
UNIQ76b4af896719969d-MathJax-795-QINU 1) UNIQ76b4af896719969d-MathJax-796-QINU
UNIQ76b4af896719969d-MathJax-797-QINU 2) UNIQ76b4af896719969d-MathJax-798-QINU
UNIQ76b4af896719969d-MathJax-799-QINU 3) UNIQ76b4af896719969d-MathJax-800-QINU
を満たす。
（２）UNIQ76b4af896719969d-MathJax-801-QINUの上で定義される関数
UNIQ76b4af896719969d-MathJax-802-QINUを考えると、
UNIQ76b4af896719969d-MathJax-803-QINU１）UNIQ76b4af896719969d-MathJax-804-QINU のとき、 UNIQ76b4af896719969d-MathJax-805-QINUは狭義の単調増大(従って一対一)で、
UNIQ76b4af896719969d-MathJax-806-QINU UNIQ76b4af896719969d-MathJax-807-QINU
UNIQ76b4af896719969d-MathJax-808-QINU ２）UNIQ76b4af896719969d-MathJax-809-QINU のとき、 UNIQ76b4af896719969d-MathJax-810-QINUは狭義の単調減少(従って一対一)で、
UNIQ76b4af896719969d-MathJax-811-QINU
UNIQ76b4af896719969d-MathJax-812-QINU ３）UNIQ76b4af896719969d-MathJax-813-QINU のとき、UNIQ76b4af896719969d-MathJax-814-QINU
（３）関数 UNIQ76b4af896719969d-MathJax-815-QINUは連続関数である。
すなわち、
UNIQ76b4af896719969d-MathJax-816-QINU
ならば、
UNIQ76b4af896719969d-MathJax-817-QINU
証明
（１）、（２）はすでに証明したことなので、（３）だけを証明する。
UNIQ76b4af896719969d-MathJax-818-QINU なので、
UNIQ76b4af896719969d-MathJax-819-QINU
を、示せばよい。
UNIQ76b4af896719969d-MathJax-820-QINU とおくと、
UNIQ76b4af896719969d-MathJax-821-QINU
を示せばよい。
このために、次の補題をまず証明する。
補題
UNIQ76b4af896719969d-MathJax-822-QINU
UNIQ76b4af896719969d-MathJax-823-QINU
補題の証明
１） 式(b)を背理法で証明する。
もし式(b)が成立しないとする。
すると或る小さな正数UNIQ76b4af896719969d-MathJax-824-QINU が存在し、
どのような自然数 UNIQ76b4af896719969d-MathJax-825-QINU をとっても、ある自然数UNIQ76b4af896719969d-MathJax-826-QINU が存在して
UNIQ76b4af896719969d-MathJax-827-QINU
となる。（注参照）
すると、自然数の部分列 UNIQ76b4af896719969d-MathJax-828-QINU が存在して、
UNIQ76b4af896719969d-MathJax-829-QINU
となる。
① UNIQ76b4af896719969d-MathJax-830-QINU の場合
UNIQ76b4af896719969d-MathJax-831-QINUなので、
UNIQ76b4af896719969d-MathJax-832-QINU
すなわち、
UNIQ76b4af896719969d-MathJax-833-QINU
両辺をUNIQ76b4af896719969d-MathJax-834-QINU乗して
UNIQ76b4af896719969d-MathJax-835-QINU
2項定理から
UNIQ76b4af896719969d-MathJax-836-QINU
であることがわかるので、
UNIQ76b4af896719969d-MathJax-837-QINU
UNIQ76b4af896719969d-MathJax-838-QINU なので、
式(e)から、UNIQ76b4af896719969d-MathJax-839-QINU となり、矛盾が生じてしまう。
② UNIQ76b4af896719969d-MathJax-840-QINU の場合も同様にして、矛盾が生じることが示せる。
③ 故に、式(b)が成立しないと仮定すると矛盾が生じるので、
背理法により、式(b)が成立することが、証明できた。
２）式(c)の証明も同様にしてできるので省略する。UNIQ76b4af896719969d-MathJax-841-QINU
任意の正数UNIQ76b4af896719969d-MathJax-842-QINU に対して、ある番号UNIQ76b4af896719969d-MathJax-843-QINUが定まって、
UNIQ76b4af896719969d-MathJax-844-QINUというすべての自然数UNIQ76b4af896719969d-MathJax-845-QINUに対して、
UNIQ76b4af896719969d-MathJax-846-QINU
を示せば、
UNIQ76b4af896719969d-MathJax-847-QINU
が示せて、証明が終了する。
補題により、UNIQ76b4af896719969d-MathJax-848-QINU に対して、ある番号UNIQ76b4af896719969d-MathJax-849-QINUをさだめ,
UNIQ76b4af896719969d-MathJax-850-QINUならば、
UNIQ76b4af896719969d-MathJax-851-QINU
UNIQ76b4af896719969d-MathJax-852-QINU
が成立するようにできる。
UNIQ76b4af896719969d-MathJax-853-QINU
なので、
自然数UNIQ76b4af896719969d-MathJax-854-QINUに対して、
ある番号UNIQ76b4af896719969d-MathJax-855-QINU が存在して、
UNIQ76b4af896719969d-MathJax-856-QINU以上のどんな自然数UNIQ76b4af896719969d-MathJax-857-QINUに対しても、
UNIQ76b4af896719969d-MathJax-858-QINU
すると指数関数UNIQ76b4af896719969d-MathJax-859-QINU の単調性から、
UNIQ76b4af896719969d-MathJax-860-QINU は、UNIQ76b4af896719969d-MathJax-861-QINUとUNIQ76b4af896719969d-MathJax-862-QINUの間の数となり、
UNIQ76b4af896719969d-MathJax-863-QINU
が示せた。
定理の証明終わり。 UNIQ76b4af896719969d-MathJax-864-QINU
指数の実数への拡張
UNIQ76b4af896719969d-MathJax-865-QINU を、正の実数とする。
任意の実数 UNIQ76b4af896719969d-MathJax-866-QINU に対して 指数 UNIQ76b4af896719969d-MathJax-867-QINU を定義しよう。
UNIQ76b4af896719969d-MathJax-868-QINU
１）UNIQ76b4af896719969d-MathJax-869-QINU を UNIQ76b4af896719969d-MathJax-870-QINU に収束する有理数の単調増加数列とするとき、
UNIQ76b4af896719969d-MathJax-871-QINU
２）UNIQ76b4af896719969d-MathJax-872-QINU を UNIQ76b4af896719969d-MathJax-873-QINU に収束する有理数の単調減少数列とするとき、
UNIQ76b4af896719969d-MathJax-874-QINU
UNIQ76b4af896719969d-MathJax-875-QINU
１）定義の式(a)、(b) は収束する。
２）UNIQ76b4af896719969d-MathJax-876-QINU に収束する、別の,
UNIQ76b4af896719969d-MathJax-877-QINU 有理数の単調増加数列UNIQ76b4af896719969d-MathJax-878-QINUと単調減少数列UNIQ76b4af896719969d-MathJax-879-QINU をとっても、
UNIQ76b4af896719969d-MathJax-880-QINU UNIQ76b4af896719969d-MathJax-881-QINU
３）UNIQ76b4af896719969d-MathJax-882-QINU
証明
UNIQ76b4af896719969d-MathJax-883-QINU の場合は 1の有理数乗は常に１になるので命題は明らかである。
UNIQ76b4af896719969d-MathJax-884-QINU の場合を証明する。UNIQ76b4af896719969d-MathJax-885-QINU の場合も同じように証明できる。
１）UNIQ76b4af896719969d-MathJax-886-QINU上の関数 UNIQ76b4af896719969d-MathJax-887-QINU は単調増加(定理１)なので、
UNIQ76b4af896719969d-MathJax-888-QINU は上に有界な単調増加数列、
UNIQ76b4af896719969d-MathJax-889-QINUは下に有界な単調減少数列となる。
このため、「8.2 解析入門(1)」の
「1.2.3 実数列の極限」の定理１から、
これらは、ともに収束することが保証される。
２）UNIQ76b4af896719969d-MathJax-890-QINUを示そう。
UNIQ76b4af896719969d-MathJax-891-QINU
とおく。
すると、UNIQ76b4af896719969d-MathJax-892-QINU
定理１(有理数を累乗とする指数関数の連続性)から、
UNIQ76b4af896719969d-MathJax-893-QINU
UNIQ76b4af896719969d-MathJax-894-QINU
UNIQ76b4af896719969d-MathJax-895-QINU
故に、
UNIQ76b4af896719969d-MathJax-896-QINU
上式の分子も分母も収束するので
UNIQ76b4af896719969d-MathJax-897-QINU
３）２）の証明と殆ど同じようにして出来る。
UNIQ76b4af896719969d-MathJax-898-QINU を UNIQ76b4af896719969d-MathJax-899-QINU に収束する有理数の単調増加数列
UNIQ76b4af896719969d-MathJax-900-QINU を UNIQ76b4af896719969d-MathJax-901-QINU に収束する有理数の単調減少数列とする。
UNIQ76b4af896719969d-MathJax-902-QINU
とおく。
すると、UNIQ76b4af896719969d-MathJax-903-QINU
定理１(有理数を累乗とする指数関数の連続性)から、
UNIQ76b4af896719969d-MathJax-904-QINU
UNIQ76b4af896719969d-MathJax-905-QINU
UNIQ76b4af896719969d-MathJax-906-QINU
故に、
UNIQ76b4af896719969d-MathJax-907-QINU
上式の分子も分母も収束するので
UNIQ76b4af896719969d-MathJax-908-QINU
証明終わり。UNIQ76b4af896719969d-MathJax-909-QINU
UNIQ76b4af896719969d-MathJax-910-QINU
UNIQ76b4af896719969d-MathJax-911-QINU を任意の正の実数、UNIQ76b4af896719969d-MathJax-912-QINU を任意の実数とするとき、
UNIQ76b4af896719969d-MathJax-913-QINU の UNIQ76b4af896719969d-MathJax-914-QINU乗を、
UNIQ76b4af896719969d-MathJax-915-QINU
で定義する。
UNIQ76b4af896719969d-MathJax-916-QINU
１）任意の正の実数UNIQ76b4af896719969d-MathJax-917-QINU に対して、その実数乗を上述のように定義すると、
累乗の計算規則を満たす。
２）実数空間 UNIQ76b4af896719969d-MathJax-918-QINU で定義された指数関数
UNIQ76b4af896719969d-MathJax-919-QINU
は、UNIQ76b4af896719969d-MathJax-920-QINU ならば、一対一関数で
UNIQ76b4af896719969d-MathJax-921-QINU ならば単調増加、UNIQ76b4af896719969d-MathJax-922-QINU ならば単調減少である
３）UNIQ76b4af896719969d-MathJax-923-QINU ならば、指数関数UNIQ76b4af896719969d-MathJax-924-QINU は UNIQ76b4af896719969d-MathJax-925-QINUから無限開区間UNIQ76b4af896719969d-MathJax-926-QINUの上への、連続関数である。
証明
１）UNIQ76b4af896719969d-MathJax-927-QINU を任意の正の実数、UNIQ76b4af896719969d-MathJax-928-QINUを実数とすると、
UNIQ76b4af896719969d-MathJax-929-QINU を示せばよい。
皆同じように証明できるので、規則１だけを証明する。
実数 UNIQ76b4af896719969d-MathJax-930-QINU に収束する任意の有理数の単調増加列 UNIQ76b4af896719969d-MathJax-931-QINU と、
実数 UNIQ76b4af896719969d-MathJax-932-QINU に収束する任意の有理数の単調増加列 UNIQ76b4af896719969d-MathJax-933-QINU をとれば、
定理１から、有理数乗では規則１は成り立つので、
UNIQ76b4af896719969d-MathJax-934-QINU
極限（UNIQ76b4af896719969d-MathJax-935-QINU)をとれば、
UNIQ76b4af896719969d-MathJax-936-QINU
この左辺は極限の性質からUNIQ76b4af896719969d-MathJax-937-QINU に等しいので、
UNIQ76b4af896719969d-MathJax-938-QINU
命題６とその直後のUNIQ76b4af896719969d-MathJax-939-QINUの定義から、
UNIQ76b4af896719969d-MathJax-940-QINU
UNIQ76b4af896719969d-MathJax-941-QINU
UNIQ76b4af896719969d-MathJax-942-QINU
この３つの式を式(a)に代入すると、
UNIQ76b4af896719969d-MathJax-943-QINU
累乗規則の１が成り立つことが示せた。
対数と対数関数
1と異なる正の実数 UNIQ76b4af896719969d-MathJax-944-QINU を考える。
指数関数 UNIQ76b4af896719969d-MathJax-945-QINU は,定理２から、
UNIQ76b4af896719969d-MathJax-946-QINU から UNIQ76b4af896719969d-MathJax-947-QINU の上への、一対一、連続関数である。
定義１
実数 UNIQ76b4af896719969d-MathJax-948-QINU を UNIQ76b4af896719969d-MathJax-949-QINU とする。この時、
任意の正の実数 Xに対して、
UNIQ76b4af896719969d-MathJax-950-QINU
を満たす実数ｘが唯一つ定まる。
このｘを X のUNIQ76b4af896719969d-MathJax-951-QINU を底とする対数と呼び、UNIQ76b4af896719969d-MathJax-952-QINU とかく。
指数関数 UNIQ76b4af896719969d-MathJax-953-QINU は
UNIQ76b4af896719969d-MathJax-954-QINU から UNIQ76b4af896719969d-MathJax-955-QINU の上への、一対一関数
なので、逆関数を考えることができる。
定義２
UNIQ76b4af896719969d-MathJax-956-QINU を1と異なる正の実数とする。
UNIQ76b4af896719969d-MathJax-957-QINU
この関数を、UNIQ76b4af896719969d-MathJax-958-QINU を底とする対数関数とよぶ。
定理１
UNIQ76b4af896719969d-MathJax-959-QINU を 1と異なる正の実数とする。
１） UNIQ76b4af896719969d-MathJax-960-QINU を底とする対数関数 UNIQ76b4af896719969d-MathJax-961-QINU は、
指数関数UNIQ76b4af896719969d-MathJax-962-QINUの逆関数であり、
UNIQ76b4af896719969d-MathJax-963-QINU
すなわち、
UNIQ76b4af896719969d-MathJax-964-QINU
と(注参照)、
UNIQ76b4af896719969d-MathJax-965-QINU
すなわち、
UNIQ76b4af896719969d-MathJax-966-QINU
を満たす。
２）指数関数UNIQ76b4af896719969d-MathJax-967-QINU は
UNIQ76b4af896719969d-MathJax-968-QINU から UNIQ76b4af896719969d-MathJax-969-QINU の上への一対一で
連続な関数である。
(注) 2つの関数f、ｇに対して、その合成関数UNIQ76b4af896719969d-MathJax-970-QINU は、
UNIQ76b4af896719969d-MathJax-971-QINU で定義される。
定理２
UNIQ76b4af896719969d-MathJax-972-QINU を 1と異なる正の実数とする。
すると
1) 任意の2つの正の実数ｂ、ｃに対して,
UNIQ76b4af896719969d-MathJax-973-QINU
2) 任意の2つの正の実数 b,c に対して,
UNIQ76b4af896719969d-MathJax-974-QINU
3) 任意の正の実数 b と任意の実数 c に対して
UNIQ76b4af896719969d-MathJax-975-QINU
証明
1) 指数関数UNIQ76b4af896719969d-MathJax-976-QINU の性質から、
UNIQ76b4af896719969d-MathJax-977-QINU
を満たす、実数 UNIQ76b4af896719969d-MathJax-978-QINU がそれぞれ唯一つ定まる。
式(7)から対数関数の定義を用いると、
UNIQ76b4af896719969d-MathJax-979-QINU
すると、
UNIQ76b4af896719969d-MathJax-980-QINU
UNIQ76b4af896719969d-MathJax-981-QINU
UNIQ76b4af896719969d-MathJax-982-QINU
UNIQ76b4af896719969d-MathJax-983-QINU
2)も同様に証明できる。
３）UNIQ76b4af896719969d-MathJax-984-QINU とおく。すると、対数の定義から、
UNIQ76b4af896719969d-MathJax-985-QINU
UNIQ76b4af896719969d-MathJax-986-QINU ｂは正の実数なので、UNIQ76b4af896719969d-MathJax-987-QINUなので、
UNIQ76b4af896719969d-MathJax-988-QINU
故に
UNIQ76b4af896719969d-MathJax-989-QINU
指数関数が一対一関数なので、UNIQ76b4af896719969d-MathJax-990-QINU
X の定義から、UNIQ76b4af896719969d-MathJax-991-QINU
定理３ 底の変換公式
任意の3つの正の実数 UNIQ76b4af896719969d-MathJax-992-QINU に対して
UNIQ76b4af896719969d-MathJax-993-QINU
証明
定理１の式(3')から、
UNIQ76b4af896719969d-MathJax-994-QINU
底をｃとする対数をとれば、
UNIQ76b4af896719969d-MathJax-995-QINU
UNIQ76b4af896719969d-MathJax-996-QINU定理２の式(6)から、UNIQ76b4af896719969d-MathJax-997-QINUなので、
UNIQ76b4af896719969d-MathJax-998-QINU
UNIQ76b4af896719969d-MathJax-999-QINU は、１と異なる正の実数であるため、UNIQ76b4af896719969d-MathJax-1000-QINU となり、
UNIQ76b4af896719969d-MathJax-1001-QINU
が得られた。
証明終わり。 UNIQ76b4af896719969d-MathJax-1002-QINU
対数関数
1と異なる正の実数 UNIQ76b4af896719969d-MathJax-1003-QINU を考える。
指数関数 UNIQ76b4af896719969d-MathJax-1004-QINU は,定理２から、
UNIQ76b4af896719969d-MathJax-1005-QINU から UNIQ76b4af896719969d-MathJax-1006-QINU の上への、一対一、連続関数である。
すると、その逆関数UNIQ76b4af896719969d-MathJax-1007-QINU が定義できる。
定義
UNIQ76b4af896719969d-MathJax-1008-QINU を1と異なる正の実数とする。
UNIQ76b4af896719969d-MathJax-1009-QINU
この関数を、UNIQ76b4af896719969d-MathJax-1010-QINU を底とする対数関数とよぶ。
定理１
UNIQ76b4af896719969d-MathJax-1011-QINU を 1と異なる正の実数とする。
１） UNIQ76b4af896719969d-MathJax-1012-QINU を底とする対数関数 UNIQ76b4af896719969d-MathJax-1013-QINU は、
指数関数UNIQ76b4af896719969d-MathJax-1014-QINUの逆関数であり、
UNIQ76b4af896719969d-MathJax-1015-QINU
すなわち、
UNIQ76b4af896719969d-MathJax-1016-QINU
と(注参照)、
UNIQ76b4af896719969d-MathJax-1017-QINU
すなわち、
UNIQ76b4af896719969d-MathJax-1018-QINU
を満たす。
２）指数関数UNIQ76b4af896719969d-MathJax-1019-QINU は
UNIQ76b4af896719969d-MathJax-1020-QINU から UNIQ76b4af896719969d-MathJax-1021-QINU の上への一対一で
連続な関数である。
(注) 2つの関数f、ｇに対して、その合成関数UNIQ76b4af896719969d-MathJax-1022-QINU は、
UNIQ76b4af896719969d-MathJax-1023-QINU で定義される。
定理２
UNIQ76b4af896719969d-MathJax-1024-QINU を 1と異なる正の実数とする。
すると
1) 任意の2つの正の実数ｂ、ｃに対して,
UNIQ76b4af896719969d-MathJax-1025-QINU
2) 任意の2つの正の実数 b,c に対して,
UNIQ76b4af896719969d-MathJax-1026-QINU
3) 任意の正の実数 b と任意の実数 c に対して
UNIQ76b4af896719969d-MathJax-1027-QINU
証明
1) 指数関数UNIQ76b4af896719969d-MathJax-1028-QINU の性質から、
UNIQ76b4af896719969d-MathJax-1029-QINU
を満たす、実数 UNIQ76b4af896719969d-MathJax-1030-QINU がそれぞれ唯一つ定まる。
式(7)から対数関数の定義を用いると、
UNIQ76b4af896719969d-MathJax-1031-QINU
すると、
UNIQ76b4af896719969d-MathJax-1032-QINU
UNIQ76b4af896719969d-MathJax-1033-QINU
UNIQ76b4af896719969d-MathJax-1034-QINU
UNIQ76b4af896719969d-MathJax-1035-QINU
2)も同様に証明できる。
３）UNIQ76b4af896719969d-MathJax-1036-QINU とおく。すると、対数の定義から、
UNIQ76b4af896719969d-MathJax-1037-QINU
UNIQ76b4af896719969d-MathJax-1038-QINU ｂは正の実数なので、UNIQ76b4af896719969d-MathJax-1039-QINUなので、
UNIQ76b4af896719969d-MathJax-1040-QINU
故に
UNIQ76b4af896719969d-MathJax-1041-QINU
指数関数が一対一関数なので、UNIQ76b4af896719969d-MathJax-1042-QINU
X の定義から、UNIQ76b4af896719969d-MathJax-1043-QINU
定理３ 底の変換公式
任意の3つの正の実数 UNIQ76b4af896719969d-MathJax-1044-QINU に対して
UNIQ76b4af896719969d-MathJax-1045-QINU
証明
定理１の式(3')から、
UNIQ76b4af896719969d-MathJax-1046-QINU
底をｃとする対数をとれば、
UNIQ76b4af896719969d-MathJax-1047-QINU
UNIQ76b4af896719969d-MathJax-1048-QINU定理２の式(6)から、UNIQ76b4af896719969d-MathJax-1049-QINUなので、
UNIQ76b4af896719969d-MathJax-1050-QINU
UNIQ76b4af896719969d-MathJax-1051-QINU は、１と異なる正の実数であるため、UNIQ76b4af896719969d-MathJax-1052-QINU となり、
UNIQ76b4af896719969d-MathJax-1053-QINU
が得られた。
証明終わり。 UNIQ76b4af896719969d-MathJax-1054-QINU
