1 はじめに

自然数乗は、高校で 0 乗、負の整数乗、有理数乗と拡張され、 そして形式的には実数乗まで拡張される。

講義でも、その話の復習と、それに伴なって指数法則も有理数乗 (実際には実数乗) に対しても成立する、という話を紹介しているが、 教科書、あるいは解析学のほとんどの本にも その証明は書かれていないので、本稿ではその証明を紹介する。