[obm-l] Logaritmos irracionais

[Pedro Chaves]

 








Caros Colegas,


Socorra-me!

Gostaria muito de obter uma demonstração do teorema que segue. 
Teorema: 
Sendo a e b números inteiros positivos, com b diferente de 1,  que não podem 
ser representados como potências (de expoente inteiro) de um mesmo número 
inteiro, então o logaritmo de a, na base b, é um número irracional.


Um abraço do Pedro!