指数関数の話(11pages)

指数関数の話
内藤敏機
１の対数
指数関数およびその逆関数である対数関数の考え方について，歴史的な順序を追っ
て解説する．
１５ー１６世紀，ヨーロッパは大航海時代で天文学と航海術が発展し数値計算の
必要に迫られていた．スコットランドのはその時代に対数
表を刊行し，かけ算を足し算に還元する方法を著した．どのようにして対数表を作っ
たのであろうか？
初めに次の２種類の数列の対応を考えよう：
下段の数列の２項をかけてできる数は下段の数列の項中に現れ，対応する上段の数
列では項の足し算に還元される．たとえば，下段の数列の項のかけ算には，上段の数列の対応する項の間の足し算が対応する．一般に下段の
項には上段の数列の項が対応し，かけ算に足し算が対応する．
下段のような数列は等比数列（あるいは幾何数列）といわれる．即ち隣あう項の
比が一定である数列を等比数列という．そのような数列は
とおくと，第項はであらわされる．を初項，を公比という．下
段の等比数列は初項，公比である．
等比数列の２項の積をとるとである．し
たがってあらかじめを計算してその表を作っておけば，その表のな
かにある項のかけ算は対応するの和をつくりに対応する項をみつけ
倍すればよい．倍というとまたかけ算がでてくるように思うかもしれないが，
としてのべきをえらべば，倍は小数点の位置を移動されることにす
ぎない．すなわちが正の整数ならば倍は小数点の位置を桁右にずらすことで
あり，が負の整数ならば倍は小数点の位置を桁左にずらすことである．
公比を上のようににとると隣あう項は隔たっているが，公比をに非常に近く
とると，項の変化はわずかで隣あう項の値は非常に近接する．したがって項の表に
は初項の値から始まる近接する値がぎっしりとならび，設定した値またはそれに
非常に近い値を見いだすことが可能になる．をより大きくそしてに非常に近
くとるとから始まる以上の数がならび，をより小さくそしてに非常に
近くとるとから始まる以下の数がならぶ．は後者の場合の表を作った
のである．
実際には三角関数の値に対して，対応する表を計算した．彼は斜辺の長さ
の直角三角形をとりその対辺の長さでをあらわした．した
がってその値はからまでの数値で表される．よってととり
の表を作ろうとしたのである．まず
に対して計算する．実際
を利用して，次のように求められる：
このようにして得た値に対してをそのと言うことにしたのである．たとえばの ! はで， ! と書く．一般にであるとき，
! と書く．
この計算をいつまでも続けていけば良いのであるが，たとえばの半
分に達するためには回以上も繰り返さなければならない．そ
れを避けるため， ! の性質を利用して次のように工夫したのである．ならばであるから，比の値が同じならば ! の差
が同じである．上の表の最後の値は
であるから，こんどは
として，
の値を計算してみる：
そうすると ! 次に
であるから，の値を計算してみるとにおいて，またにおいてとなる．したがって
! さらに
であるからの値を計算する．続けて
を計算し，上から番目，左から
列の表ができる：
" 番目にの値を配列して、縦２１行，横６９
表の右下の成分において初めて，より小さい値に到達する．
この表のに対して
! ! ! であるから，右辺の二つの ! の値を知ればよい．そのおよその値は上にみ
たが，１次近似を用いてより詳しく計算すると
! ! この値をもちいて，は
! を得た．実際の値は
! 有効桁数７桁まで正しい値を得たのである．
２．自然対数と常用対数
はにを対応させたが，ある定数をとりにを対応させて
も同様の結果を得る．すなわち等比数列に等差数列を対応させるのである．
と同時代に，スイス人の #! はにとり，対
応する表を構成し，より遅れて刊行した．
の表
#! の表
であるから，#! はまで計算した．
すでに述べたように，にのべきをかけてもこれらの表において小数点の移
動が起きるだけである．たとえば，#! の表においてととりなお
すと，次のような対応
#! の表ができる：
#! $
あらためて
$
とおくと
#! 同様にのかわりにとおいて
#! を考えてもよい．
ところで一般に %
& で
定義される数列
は増加数列で，ある値に収束する．その極限値を ' は文字であらわした．
今日では
! と定義し， ! を
に対して
の自然対数という．この形式の定義，またより一般に正の数 ! により ! を定義し，を底とするの対数としたのは前述の１８世紀の ()
' である．それについては第５節で再び解説する．
話は前後するが，１６１５年英国の数学教授 *+ #!! はとの討論に
より，いわゆる常用対数を導入した：即ちにおいてにおいてであるよう
な対数，つまり ! を導入した．そしてその桁の対数表をからまで
とからまでの数について刊行したオランダの ,) - ./
はからまでの桁の常用対数表を年に著し，続く３世紀の間の
対数表の規範となった．
３．連続な値をとる対数
は対数表を計算する際，１次式による補間法を用いた．同時に対数関数の
非線形性をすくなくとも直感的に感じとり、より巧妙な補間法にとりくんだ．この
ため対数の値を連続的に定義しようとして，次のようなモデルを考えた．
二つの直線上を動く２点をとる．は長さの線分上をからへ移動する．またはからでる半直線上をから移動する．
の時刻における速度はの長さにひとしく，の速さは一定である
とする．時刻におけるの長さをとするとき，にを対応させる対応を
! とおく．このときにおいては
! を示した．
は幾何学的方法で証明してのであるが，微分方程式をたてると
これを解いて
! !
これをもちいて，の示した関係がでる．
! 対数の解析において重要な進展は，ベルギーのイエズス会信徒 0!+ 1 -.
により年に刊行された次の発見による．
正の軸上の閉区間 % & と双曲線との間にある部分の面積をとする．このときに対して
これを証明しよう．区間 % & を
をとる．各小区間 %
とおく一方，点列
等分する点
& で高さの棒グラフとり，その面積の和をは区間 % & を
ると
等分する．同様に棒グラフをとりその，面積の和をと
を限りなく大きくすれば，はに限りなく近づき，に限りなく近づく．したがって
は
-. のこの発見を読み，その友人の ,, ) 1 はこの双曲線の下のある
部分の面積関数が，対数関数と同じ加法正をもつことに気づいた．即ち
のとき
のとき
と定義すると，対数関数と同じ性質
をもつ．たとえばならば
じつは
! であるが，それがはっきりするには ' までかかった．
４．
の対数計算
対数と双曲線関数の面積との関係は，その面積の計算を促し級数の解析的研究と
結び付いた．2 は年頃に双曲線
と，区間 % & の間の部分の面積（すなわち３節の
して，いくつかの数の対数を計算した．
まずつぎのような割り算を限りなく続ける：
）を計算
したがって
2 は項別に積分して
そして，対数の性質が成り立つことをのべている：
この性質を使い，いくつかの数の対数について精度の高い計算をした．まずとおき，
を計算した（桁まで）．次に
であるから
を利用してを計算した．同様の方法でを
求めた．
微分積分の創始者 2 とは別に，. 3. は年に
出版した著書において常用対数表を掲載するとともに，上記の面積の計算により
!
を発見している．彼は証明法を暗示したのみであるが，4 は年に 3. の本の書評において以下のように証明を明かにしている．
区間 % & を等分しとおく．と区間 % & の間の部分の
面積をやはり棒グラフで近似して
の展開式により
これを代入して，のべきで整理すると
% % & % & % & & 4 自身の年にだした公式
により，のときの極限をとり 3. の公式を証明した．4 の公式
を，彼はのときまで計算で確かめ一般の場合も成り立つと想定した．もち
ろん，定積分をつかって証明できることである．4 は !
のこの展開式
の右辺が収束するためにはが必要条件であることも述べている．
と区間 % & の間の面積が対数 !
に比例することは，-.
1 の結果により年代に次第に知れ渡っていたようである．3. は双
曲線の面積からきまるこの対数を自然対数と命名している（）．
５．による指数関数，対数関数
() ' はスイスのバーゼルで生まれ１５才で大学教育を終え
た．牧師の父は息子に神学職を期待したが，息子は # に数学を学び天職とした．学究生活をペテルスブルグとベルリンでおくり，純粋応用数学の全領域に渡って創造的，膨
大な業績を残した．彼の全集は７５巻にものぼっている．
関数とは集合から集合への対応であるとする関数概念の確立は ' にはじまる．
１７世紀の解析学の中心課題は幾何学的な曲線で，関数も曲線と結び付けて考えら
れていた．変数は曲線と関係していたのである．' はある変数が他の変数が変
わるにつれて変化するとき前者を後者の関数であると定義し，現代につながる関数
概念を導入した．指数関数，対数関数もその考え方により明確に定義された．
第２節で述べたように ' は，正数を底とするの対数 ! をとなる指数として定義した．' は無限小数，無限大数の存在をみとめ，ため
らいなく駆使している．たとえばに着目して無限小数に対して
とおいた（はじつはによらない定数となる）．さらに与えられた有限数
して，無限大数を導入すると
は無限大であるから，この式は
に対
と解釈される．また２項定理に類似の展開をすると
5
5
5
5
5
5
5
5
5
' は，数をとなるの値として導入し
5 5 5
との関係はとおいて
5
は無限大であるから
として，次の式を導いた：
その少数展開を桁まで求めた．
したがって
5 5
対数については，' の定義より ! 5
したがって
これよりすなわち
2 の発見による２項定理と同様の公式
5
5
を代入し，は無限大であるからとおくと結局
5
5
したがって
! ここにおいてを底とする対数 ! は双曲線と区間 % & と
の間の面積，即ち自然対数であることが明示された．
三角関数は ' 以前斜辺
の直角三角形の対辺の長さで表されていた．即ち
は，中心角の扇型の弦の半分の長さとして，また . は中心からその弦
に引いた垂線の長さとして定義された．' は半径の円をとり，孤の長さに
対する中心角に対して . を定義した．即ち，孤度法による角を定義し三角
関数を定めた．直ちに
. が導きだされ，加法定理
. . .
. . を掲げている．この公式より，数学的帰納法により 6 37 の等式
. ! ! . ! ! が導きだされることを指摘している．
さて与えられた数に対して，無限大整数でを割って無限小
おくと， 6 37 の式において ! とおくと
と
. . . 無限小
にたいして，. と考えると
. こうして，' は三角関数と指数関数との有名な関係
. を見いだしたのである．左辺の実部，虚部をみるとただちにわかるようにに対
応する複素数平面上の点は，' が三角関数を定義するのにとった点，即ち半径
の円周上で軸とこの円との交点からの孤の長さ，つまり中心角がの点そのも
のである．
最後に，一般の複素数 ! にたいしては
. 即ちは絶対値偏角の複素数である．また " であるとき ! " ! と
定義して，複素数 " の対数も定義される．このようにして複素数の範囲にまで指数
関数，対数関数が拡張される．
対数，指数の簡単な話をするつもりであったが，微分積分学の方法の入門コース
になってしまった．大学に入学されてから改めて正確に勉強されることになると思
うが，今日の話をときどき思いだして頂けば幸いである．なお対数，指数は現代で
は行列の場合を初め，大幅に拡張され数学の様々な分野で基本的役割を演じている．
最後にこの稿はほとんど次の本の１部を紹介したものにすぎない．
8 * ')2) 9: *. 67 ; 8 . 9 1!
- ! 高校大学で学ぶ数学の由来を知る上でこの本は非常に有益である．

Download Report