指数の拡張

「０以外の数a」の累乗a^nの意味を、指数が０の場合にも、m,nを正の整数とするときに成り立つ指数法則　　　　　　　　　　　　　　　　　　　(1)a^m・a^n=a^m+n (2)(a^m)^n=a^mn 　(3)(ab)^n=a^n・b^n 　　　　　が成り立つように定める場合、(1)(2)(3)が成り立つとすると、 a^0=1　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　になる、というのは納得できるんですが、以上のことは、　　　　　　　「(1)(2)(3)が、指数０でも成り立つ。⇒a^0=1」　　　　　　　　　　　　　が言えただけだと思います。なので、指数が０のときの累乗を、　　　　a^0=1 と定義しても、(1)(2)(3)が成り立つように定義できた、とは言えないと思うのですが、言えるらしいんです。その理由を教えてもらえますか？ 　　　　　　　　　　　　　　　　　　

No.2 ベストアンサー 回答者： kabaokaba 回答日時： 2008/01/06 20:48

＃読みにくいなあ・・・

「成り立つように定める」というのは
「成り立つならばこうなる」ではなくて，
「こうすれば成り立つ」という意味です．

話としては，まず「成り立つ」と「仮定」して
結果を出しておいて，
今度はその結果を仮定して，
「成り立つ」ことを「証明」する，
と流れることが多いです．

で、、、a^0=1と定めたら指数法則が成り立つかですが，
明らかに成り立ちますし，証明も実際容易．
例えば，
n=0のとき
a^n a^m = 1 a^m = a^m = a^{0+m} = a^{n+m}
他の指数法則も同様．

この回答への補足

これ以上に良い回答はもうあまりないかと思うので、１月１３日に回答を締め切らせていただきます。

補足日時：2008/01/06 22:52

この回答へのお礼

迅速な回答ありがとうございます。おっしゃるとおりです。読みにくさについては、回答欄の幅？が調節できないんですよね・・・

お礼日時：2008/01/06 22:25

No.1 回答者： storm50 回答日時： 2008/01/06 20:00

a=0のときに面倒なことになります。

この回答へのお礼

回答はありがたいですが、そのことは承知しているのです。

お礼日時：2008/01/06 22:08