...により、指数関数と対数関数から定義されるものとする¹

細かく言えば、 これが無理数乗の定義である必要はないが、以下ではこれを使って求めるので、 少なくとも無理数乗に対してこれが成り立つことを認めて議論することにする。 無理数乗の定義については、例えば [1] を参照せよ。

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.