eは指数関数の微分を求めるために必然的に発見されました(創造されました)。 つまり、『eの定義』の直接の経緯は対数に関することが目的ではありません。 正の実数aにたいして、関数a^x(aのx乗)を微分するときは、微分の定義にしたがって lim [h→0] (a^(x+h)-a^x)/h ______ (1) = lim [h→0] a^x(a^h-1)/h つまり lim [h→0] (a^h-1)/h ____________ (2) が何に収束するかが問題になります。 このままでは解決できません。 まず、無理矢理なのですが、(2)が1になるようにするにはどうするか考えます。 本当はaとは最初から決まっている定数ですが、あえてうまく(2)が1に収束するにはどうすればよいか。 ・分母のaのh乗が邪魔なので(1/h)乗で打ち消します。 a=b^(1/h)とおく。 (a^h-1)/h=(b-1