>>637
>>642
a,b (≧2) は互いに素な自然数とする。
　log_a(b) = m/n　(m,nは自然数)
と仮定すると
　b = a^(m/n),
　b^n = a^m,
これは互いに素であることに反する。
∴　log_a(b) は無理数。