付録：指数法則による対数法則の証明

昨日の補足です。久しぶりに「大学への数学II」を開いてみたのですが、高校では対数法則は指数法則から証明することになっていたようで、復習を兼ねて書いておきます。

こうしてみると、指数法則a~p×a~q＝a~(p＋q)の出所が、昨日の証明の胡散臭さの正体のようです。「大学への数学」では一応「定理」扱いなんですが、あの指数の定義から証明できるものなのか分かりません。