
#1
Oct706, 12:08 PM

P: 113

Hi,
I am going through the book on number theory by ivan niven. well its tough book though, and i am stuck with problems in the first topic divisbility.Hope some help. 1. prove that abc if and only if a/(b,c)c where (b,c) is the lcm of b and c. 2. Prove that there are no positive integers a,b,n>1 such that [tex](a^nb^n)(a^n+b^n)[/tex]. In the first one i have no clue how to start the proof. any hint will be appreciated. In the second one i had the following proof: if posssible let there be a +ve integer k such that [tex]\frac{a^nb^n}{a^n+b^n} = k[/tex] clearly k is not equal to 1, since then b=0 which is contradictory. applying compodendo and dividendo to the above frac we write (a/b)^n = (k+1)/(k1) (1) now (k+1)/(k1) can be written as (1 + 2/(k1) ) It can be directly checked that k=2,3 do not satisfy (1) for k>3, (k+1)/(k1) lies between 1 and 2 and hence cannot be a perfect nth number. this contradiction gives the desired proof. well,are my lines of reasoning true? 



#2
Oct706, 12:22 PM

Emeritus
Sci Advisor
PF Gold
P: 16,101





#3
Oct706, 12:37 PM

P: 113

Ok, i didn't check that .Sorry, but I don't know how to attack the problem.
Any hints? 



#4
Oct706, 02:26 PM

Sci Advisor
HW Helper
P: 9,398

Some divisibility questions
Rule 1: never write things like x/2 in number theory unless you know before hand that x is divisible by 2. Divisibility is not about quotients, it is about multiplication.
We may suppose that a and b are coprime, and that a^nb^n =/=1 since n=/1. Now think about things..... 



#5
Oct706, 08:29 PM

P: 113

sorry matt,I am not able to see what conclusions will i get on those assumption. a little more help, please.
thanks. 



#6
Oct806, 02:16 AM

Mentor
P: 4,499

EDIT: Never mind, I'm retarded




#7
Oct806, 02:43 AM

Sci Advisor
HW Helper
P: 9,398

I wasn't expecting you to 'see' conclusions just like that. You're supposed to play around with things. Do you see that you may assume a and b are coprime irrespective of why that may be useful? Do you see that we may assume that a^nb^n does not equal 1? Given we may assume that, what can we do that contradicts these assumptions if a^nb^n divides a^n+b^n? (Note, this is a very useful idea in general.) Let's try a different tack. x divides y means that hcf(x,y)=x. Remember the proof of the euclidean algorithm too. hcf(x,y)=hcf(x,x+y)=hcf(x,xy). 



#8
Oct806, 08:58 AM

P: 696





#9
Oct806, 10:14 AM

P: 113

first of all sorry for the typo here (b,c) represents the hcf of b and c.
I did the following:If a^nb^n divides a^n+b^n then (a^nb^n , a^n+b^n) = a^nb^n now since (x,y)=(x,x+y)=(x,xy) we have [tex] ((a^nb^n),(a^n+b^n))=((a^nb^n),2 a^n)=((a^nb^n),2 b^n)[/tex] This implies that [tex] a^n = m b^n [/tex] therefore [tex]\frac{a^n+b^n}{a^nb^n} = \frac{m+1}{m1}[/tex] since the last fraction is not an integer for m=/=2,3. we arrive at a contradiction. Hoping to be correct 



#10
Oct806, 02:04 PM

Sci Advisor
HW Helper
P: 9,398

Never ever write fractions like that, only ever write integers. ONly ever work in terms of things that divide some thing, never rational numbers.
If p is some prime that divides a^nb^n, and a^n+b^n, then it divides which two other things you've written there. Now, remember we can assume that a and b a coprime... 



#11
Oct906, 05:52 AM

P: 113





#12
Oct906, 06:14 AM

Sci Advisor
HW Helper
P: 9,398

Ontological commitment? That's one philosophical reaon to do this. Another is that it makes you prove things for the correct reason, rather than invoking the rational numbers for benefit whatsoever. Divisibility is not about dividing things it is about multiplying things: x divides y means there is a z with zx=y. It is good practice, and makes you think about these things in the 'correct' way. I.e. that something is true for reasons that are apply to the objects in question, not because something is not true about some object that a priori does not exist. You are working in the integers. The rational numbers should not be something you invoke when thinking about these things. This assures us amongst other things that you are working the the right notions, and that the result applies to other situations in which it might be nonsensical to talk about rationals. 



#13
Oct906, 06:35 AM

P: 113

No, I didn't understand the assumption of a and b being coprime.But I understood that if they were not coprime then let a=x*a' and b=x*b' , then we can take x^n as common and then a'^n and b'^n will be coprime. Is this the reasoning behind the assumption? Please correct me.
>>Prove that if we can find an example, we can find an example with a,b coprime well how do I prove this? 



#14
Oct906, 06:47 AM

P: 113

>>since a and b are coprime a^nb^n equals 1 or 2
How? >>(x+1)^n => x+nx+1 just throwing away terms in the expansion. So if a^n=b^n+1 or b^n+2, then n=1 which we assumed it wasn't I am not able to follow. Please Matt will you write the whole proof with rather more details. 



#15
Oct906, 06:51 AM

Sci Advisor
HW Helper
P: 9,398





#16
Oct906, 06:55 AM

Sci Advisor
HW Helper
P: 9,398

because you know a^nb^n divides both 2a^n and 2b^n, and a and b are coprime. The definition of highest common factor hcf(x,y) is that it divides x and y and evey other comon divisor of x and y divides it. Thus a^nb^n divides the highest common factor of 2a^n and 2b^n which is 2. I used: 1. binomial expansion 2. subtraction of some terms that is all. 



#17
Oct906, 11:06 AM

P: 113

Ok What I understood I will reproduce.Please look for any flaw.
Without the loss of generality we can suppose that (a,b) =1. Obviously, [tex] a^nb^n =/=1[/tex] let us assume that [tex](a^nb^n)(a^n+b^n)[/tex] Then [tex](a^nb^n , a^n+b^n) = a^nb^n[/tex] But since (x,y) = (x,x+y) = (x,xy) we have, [tex] ((a^nb^n),(a^n+b^n))=((a^nb^n),2 a^n)=((a^nb^n),2 b^n)=a^nb^n[/tex] Therefore [tex]a^nb^n[/tex] must divide both 2a^n and 2b^n. Hence [tex]a^n = 1+b^n or 2+b^n[/tex] The first one contradicts our initial assumption and the second one contradicts the statement that the next n'th power after x^n, which is (x+1)^n is at least 3 more than x^n if n=>2, which is clear from binomial expansion. These contradictions establish the given theorem. If this is correct then please give some hints about the first question. Thanks JItendra 



#18
Oct906, 11:10 AM

Sci Advisor
HW Helper
P: 9,398

I am always troubled when people write out a proof and then say 'is this correct?' If you have to ask that then you don't understand the proof. (Or perhaps they don't understand whay it proves what they want it to prove.) So what part of that do no you not understand?



Register to reply 
Related Discussions  
divisibility of n by 6  Linear & Abstract Algebra  10  
divisibility!!!  Precalculus Mathematics Homework  6  
There exists or not exists a natural number  Brain Teasers  9  
divisibility  Calculus & Beyond Homework  1  
Divisibility Questions  Calculus & Beyond Homework  5 