Estou reapresentando o teorema sobre logaritmos, pois não consegui ainda uma demonstração completa. Peço, mais uma vez, a colaboração dos colegas.
Teorema: Sendo a e b números inteiros maiores do que 1, que não podem ser representados como potências de mesma base (inteira), com expoente inteiro, então o logaritmo de a, na base b, é um número irracional. Um abraço do Pedro!

