>>333
ひんと:正整数 m,n に対し (a^(1/n))^(m)=(a^(m))^(1/n) を示せ。
m/n=m'/n' (m,n,m',n':正整数) のとき (a^(m))^(1/n)=((a^(1/n'))^(n'm))^(1/n)=…
後半 正の有理数 x,y に対して a^(x+y)=a^(x)*a^(y) を示せ。(前半からすぐわかる。)
x<y のとき、y=x+z, z>0 有理数 とおくと a^(y)=a^(x)*a^(z)>a^(x).