16/02/05 11:43:37.22 elLkHVNG.net
>>488
xを正の超越数、nを正整数、a≠1を正の有理数としたとき、
x^n、log_x(a) は無理数で、(x^n)^{log_x(a)}＝a^n。
これでも自明だな。取り敢えず、何らかの正の超越数x、yの
組合せ(x,y)が非可算個あって、x^y＝b (bは正の代数的数)
になったりはする。ただ今考慮中。
16/02/05 11:43:37.22 elLkHVNG.net
>>488
xを正の超越数、nを正整数、a≠1を正の有理数としたとき、
x^n、log_x(a) は無理数で、(x^n)^{log_x(a)}＝a^n。
これでも自明だな。取り敢えず、何らかの正の超越数x、yの
組合せ(x,y)が非可算個あって、x^y＝b (bは正の代数的数)
になったりはする。ただ今考慮中。