>>12
実数乗の指数法則は高校数学（数II）で学んでるはず。

数IIの教科書をチェックしてみたが、まず累乗（指数が正整数のべき）しか
定義されてないことを前提として累乗根を定義している。
そのあとで指数の拡張として、指数が負の整数の場合と有理数の場合について、
指数法則を満たすように定義している。
さらに、指数が無理数の場合は、無理数を無限級数で表し、有限の項までで
打ち切った有理数のべきが近づいていく値としてぼんやり定義し、さらに証明
抜きで、それが指数法則を満たすとしている。