Proofs of Irrationality Correct?

Answers and Replies

  • #2
shmoe
Science Advisor
Homework Helper
1,992
1
I'm just going to comment on 2b, though you could have put this in your other thread, no?


q^2*n=p^2 does NOT imply n divides p like you claim, n is not necessarily prime.

You didn't bother to show such an r and m even exist, and it doesn't really matter since you didn't use them anyways except to state their existence. It looks like you just cut and pasted some of my suggestions without understanding or even using them?

the purpose of pulling out this squarefree thing r from n was to let you isolate a prime with an odd power appearing on one side but not the other. See, this is where 2*q^2=p^2 goes wrong, you will have 2 appearing to an odd power on the left (possibly 1) and an even power on the right (possibly 0). You *know* unique factorization even if you haven't proven it at this point right? Something should be fishy about a prime appearing to different exponents on either side. This is what you exploit in the sqrt(2) case, this is what you can exploit in the sqrt(n) case when n is not a perfect square.
 
  • #3
shmoe
Science Advisor
Homework Helper
1,992
1
What you are now claiming in that link, n=r*m^(2k+1) with r squarefree, is no longer possible in general. I don't see why you think m would have to divide p either.

If you are going to try to invoke unique factorization, aka the fundamental theorem of arithmetic (not algebra), then you can just compare the exponents of primes in n*q^2=p^2. Since n is not a perfect square you should know that it has a prime appearing to an odd power (you MUST prove this if you haven't established it already). Again, you should only use unique factorization if this is something you, your book, or your notes have proven already.
 
  • #4
1,235
1
How would you prove that [tex] \sqrt[p]{n} [/tex] is irrational? Assume that it is rational. I said it was equal to [tex] \frac{a}{b} [/tex] where [tex] a,b [/tex] are positive integers. Then we get [tex] b^{p}\times n = a^{p} [/tex]. From this last equation, we see that [tex] n [/tex] divides [tex] a [/tex]. Therefore there exists some integer [tex] k [/tex] such that [tex] a = nk [/tex]. Substituting gives us [tex] b^{p}\times n = n^{p}k^{p} [/tex] or [tex] b^{p} = n^{p-1}k^{p} [/tex]. Can we conclude that [tex] n [/tex] divides [tex] b [/tex]?

By the way, this is from a calculus book not an analysis book (Courant and John)

Thanks
 
  • #5
shmoe
Science Advisor
Homework Helper
1,992
1
courtrigrad said:
How would you prove that [tex] \sqrt[p]{n} [/tex] is irrational?

I would settle the square case first before trying to tackle this more general version.

courtrigrad said:
Assume that it is rational. I said it was equal to [tex] \frac{a}{b} [/tex] where [tex] a,b [/tex] are positive integers. Then we get [tex] b^{p}\times n = a^{p} [/tex]. From this last equation, we see that [tex] n [/tex] divides [tex] a [/tex].

This doesn't follow. This gives n divides a^p, you can't then conclude n divides a since n isn't necessarily prime here.

courtrigrad said:
By the way, this is from a calculus book not an analysis book (Courant and John)

The title of the book doesn't really matter.
 
  • #6
1,235
1
ok, I got the [tex] \sqrt{n} [/tex] case. What about the [tex] \sqrt[p]{n} [/tex] case? [tex] p [/tex] cant be a perfect pth power. I have to show that because of unique factorization, you cant have an odd and even number of prime factors on two different sides of the equality sign.

So a perfect pth power has an even number of prime factors?
 

Related Threads on Proofs of Irrationality Correct?

  • Last Post
Replies
7
Views
1K
Replies
20
Views
4K
Replies
4
Views
2K
Replies
5
Views
2K
  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
3
Views
863
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
1
Views
1K
Replies
5
Views
3K
Replies
6
Views
3K
Top