>>656
そうだよ、まぁ厳密性は無視すればa>0で
a^(x+y)=a^x * a^y
ってのが成り立つのを許可すれば
a^0=a^(1-1)=a^1 * a^(-1)=a*(1/a)=1
で確かにa^0=1だと確認できる