如何证明以3为底7的对数是无理数?

题目

如何证明以3为底7的对数是无理数?

答案

设x = log3 7
则 3^x =7
假设x 是有理数,x= p/q,p,q为互质的整数
3^(p/q) =7
3^p = 7^q
令z = 3^p,则z只含质因数3
若3^p = 7^q,那么z又含有质因数7,所以矛盾.
因此x = log3 7 是无理数.