• Support PF! Buy your school textbooks, materials and every day products via PF Here!

Proof: log(x) is irrational

  • Thread starter mattmns
  • Start date
1,062
6
I am to prove that [tex]\log_{2} 7[/tex] is irrational. So I started by saying that what if [tex]\log_{2} 7[/tex] is rational. Then it must be in the form of [tex]\frac{m}{n}[/tex] where m and n are integers. So now [tex]\log_2 7 = \frac{m}{n}[/tex] So I took the 2^ up of each and now [tex]7 = 2^{\frac{m}{n}}[/tex] Then [tex]7 = \sqrt[n]{2^m}[/tex] But now I seem to be lost. Do I now try to prove that [tex]\sqrt[n]{2^m}[/tex] is irrational, or what do I need to do. Any ideas? Maybe proove that [tex]2^{\frac{m}{n}} \neq 7[/tex] by 2^{anything rational} must be something?
 
Last edited:

Hurkyl

Staff Emeritus
Science Advisor
Gold Member
14,845
17
mattmns said:
Do I now try to prove that [tex]\sqrt[n]{2^m}[/tex] is irrational
You just need to prove it's not 7.
 
1,062
6
How about:

[tex]7 = 2^{\frac{m}{n}}[/tex]

So, [tex]7^n = 2^m[/tex]

which is a contradiction because, [tex]7^n[/tex] is always odd while [tex]2^m[/tex] is always even, for n and m as integers and [tex]n \neq 0[/tex]
 

Curious3141

Homework Helper
2,830
86
mattmns said:
How about:

[tex]7 = 2^{\frac{m}{n}}[/tex]

So, [tex]7^n = 2^m[/tex]

which is a contradiction because, [tex]7^n[/tex] is always odd while [tex]2^m[/tex] is always even, for n and m as integers and [tex]n \neq 0[/tex]
In this case, that approach is fine. But it wouldn't work, for example if the question asks you about base 3 logs. In that instance, use the uniqueness of prime factorisation.
 

Tide

Science Advisor
Homework Helper
3,077
0
More generally, if you wanted to prove it for a different base (e.g. 3) you could simply invoke the prime factorization theorem at that last step.
 

Related Threads for: Proof: log(x) is irrational

Replies
3
Views
26K
  • Posted
Replies
6
Views
6K
Replies
5
Views
4K
  • Posted
Replies
2
Views
2K
  • Posted
Replies
1
Views
2K
  • Posted
Replies
5
Views
2K
Replies
4
Views
15K
  • Posted
2
Replies
25
Views
3K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top