| 
July 4th, 2009, 07:21 AM
| | Junior Member | | Join Date: Jul 2009
Posts: 40
Country: Thanks: 21
Thanked 0 Times in 0 Posts
| | Mathematical Induction Let p greater than or equal to 3 be an integer.Alpha and beta are the roots of x^2-(p+1)x+1=0.Using mathematical induction ,prove that alpha^n+beta^n 1)is an integer
2)is not divisible by p | 
July 4th, 2009, 07:48 AM
| | Junior Member | | Join Date: Jul 2009
Posts: 40
Country: Thanks: 21
Thanked 0 Times in 0 Posts
| | Please check my solution I've solved the first part of the question in the following way(with the help of second hypothesis):
Given :x^2-(p+1)x+1=0 and alpha and beta are the roots .
so, alpha+beta = p+1 ..............(1) and alpha+beta is greater than or equal to 4.............(2){since it is given that p>=3} alpha x beta =1 ................(3) STEP1 -- To prove that P(1) is an integer.
alpha^1+beta^1 =alpha+beta -------> is an integer. [from (1)]
To prove that P(2) is an integer.
P(2)=alpha^2+beta^2=(alpha+beta)^2- 2alpha .beta
{(alpha+beta)^2 is >=16 [from 2] , 2alpha .beta =2 [from 3]
so, the value of alpha^2+beta^2=(alpha+beta)^2- 2alpha .beta becomes >=14 and hence it is an integer.} STEP 2 INDUCTION ASSUMPTION
--------------------------------
Let P(k) be an integer.
so, alpha^k +beta^k be an integer.
Let P(k-1) be an integer.
so,alpha^(k-1) +beta^(k-1) be an integer. Step3 -- To prove that P(k+1) is an integer.
P(k)=alpha^(k+1) +beta^(k+1)
=(alpha^k +beta^k )(alpha+beta) - alpha^k.beta-beta^k.alpha
=(alpha^k +beta^k )(alpha+beta) - alpha .beta{alpha^(k-1)+beta^(k-1)} USING- alpha+beta is greater than or equal to 4.............(2) alpha x beta =1 ................(3) (alpha^k +beta^k )(alpha+beta) >=4 [from above 2 relations]
and alpha^(k-1)+beta^(k-1)
From induction assumption , alpha^k +beta^k is an integer and alpha^(k-1) +beta^(k-1) is also an integer.
Hence it has been proved that (alpha^k +beta^k )(alpha+beta) - alpha .beta{alpha^(k-1)+beta^(k-1)} is an integer. | 
July 4th, 2009, 08:05 AM
| | Junior Member | | Join Date: Jul 2009
Posts: 40
Country: Thanks: 21
Thanked 0 Times in 0 Posts
| | I've solved the second part by second hypothesis of induction.
alpha + beta= p+1
this implies that alpha+beta is not divisible by p...........(1)
and a lpha x beta=1 .............(2) STEP1 -- To prove that P(1) is not divisible by p.
alpha^1+beta^1=alpha+beta is not divisible by p.[from (1)]
To prove that P(2) is not divisible by p.
alpha^2+beta^2=(alpha+beta)^2 - 2 .alpha beta is not divisible by p STEP2(INDUCTION ASSUMPTION) -- Let P(k) and P(k-1) be true.
so, alpha^k+beta^k is not divisible by p. ............(3) and alpha^(k-1)+beta^(k-1) is not divisible by p..............(4) STEP3 -- To prove that P(k+1) is not divisible by p.
P(k+1)=alpha^(k+1)+beta^(k+1)
=(alpha^k+beta^k)(alpha+beta) - alpha^kbeta -beta.alpha^k
=(alpha^k+beta^k)(alpha+beta) - alpha.beta{alpha^(k-1)+beta^(k-1)} from(INDUCTION ASSUMPTION) alpha^k+beta^k is not divisible by p............(3) and alpha^(k-1)+beta^(k-1) is not divisible by p..............(4) I'm stuck at this point. 
then, how to prove (alpha^k+beta^k)(alpha+beta) - alpha.beta{alpha^(k-1)+beta^(k-1)} is not divisible by p.
I've solved this question many times but haven't proved it perfectly.
Last edited by mr fantastic; July 5th, 2009 at 12:30 AM.
Reason: Merged posts
| 
July 5th, 2009, 12:23 AM
| | Senior Member | | Join Date: Jan 2009
Posts: 334
Country: Thanks: 54
Thanked 121 Times in 96 Posts
| | Quote:
Originally Posted by matsci0000 Let p greater than or equal to 3 be an integer.Alpha and beta are the roots of x^2-(p+1)x+1=0.Using mathematical induction ,prove that alpha^n+beta^n 1)is an integer 2)is not divisible by p |
We have 
and  and  are true , now , assume  and  are also true .
Obviously , refering to the identity ,  are true
For part 2 , assume  are true.
To prove  is also true , we have to prove  Where
Last edited by simplependulum; July 5th, 2009 at 12:53 AM.
| 
July 5th, 2009, 03:07 AM
|  | MHF Contributor | | Join Date: Dec 2008 Location: South Coast of England
Posts: 2,064
Country: Thanks: 140
Thanked 1,158 Times in 1,010 Posts
| | First part of your solution Hello matsci0000
Thanks for showing us your working. This part is pretty well OK, except for where I've commented. Quote:
Originally Posted by matsci0000 I've solved the first part of the question in the following way(with the help of second hypothesis):
Given :x^2-(p+1)x+1=0 and alpha and beta are the roots .
so, alpha+beta = p+1 ..............(1) | Correct. But you don't need this bit: Quote: |
and alpha+beta is greater than or equal to 4.............(2){since it is given that p>=3} | Quote: | alpha x beta =1 ................(3) | Correct. Notice that this now shows that and are integers. Quote: STEP1 -- To prove that P(1) is an integer.
alpha^1+beta^1 =alpha+beta -------> is an integer. [from (1)]
To prove that P(2) is an integer.
P(2)=alpha^2+beta^2=(alpha+beta)^2- 2alpha .beta
| Correct, and this is all you need, in order to show that is an integer. So you don't need this bit: Quote:
{(alpha+beta)^2 is >=16 [from 2] , 2alpha .beta =2 [from 3]
so, the value of alpha^2+beta^2=(alpha+beta)^2- 2alpha .beta becomes >=14 and hence it is an integer.}
| Now for the next part: Quote: STEP 2 INDUCTION ASSUMPTION
--------------------------------
Let P(k) be an integer.
so, alpha^k +beta^k be an integer.
Let P(k-1) be an integer.
so,alpha^(k-1) +beta^(k-1) be an integer. Step3 -- To prove that P(k+1) is an integer.
P(k)=alpha^(k+1) +beta^(k+1)
| You mean here, of course. Quote:
=(alpha^k +beta^k )(alpha+beta) - alpha^k.beta-beta^k.alpha
=(alpha^k +beta^k )(alpha+beta) - alpha .beta{alpha^(k-1)+beta^(k-1)}
| This is fine. In other words 
So this, together with your assumptions that and are integers and the fact that and are both integers is all you need to show that is an integer.
Since you've already established that and are integers, this completes the proof.
So you don't need this bit: Quote: USING- alpha+beta is greater than or equal to 4.............(2) alpha x beta =1 ................(3) (alpha^k +beta^k )(alpha+beta) >=4 [from above 2 relations]
and alpha^(k-1)+beta^(k-1) | I haven't time now to look at your proof of part 2. If no-one else has commented on it, I'll do so later.
Grandad | 
July 5th, 2009, 03:22 AM
| | MHF Contributor | | Join Date: Aug 2008
Posts: 2,205
Country: Thanks: 60
Thanked 889 Times in 833 Posts
| | Part 2:
We know the following:  .
So
Try dividing  by  .  .
Clearly  can not be divided by  exactly, and you have already established that  and  are not divisible by  , so  can not be divided by  .
Q.E.D.
__________________ Two things are infinite - The Universe and Human Stupidity. Though I'm not too sure about the universe... | 
July 5th, 2009, 07:24 AM
|  | MHF Contributor | | Join Date: Dec 2008 Location: South Coast of England
Posts: 2,064
Country: Thanks: 140
Thanked 1,158 Times in 1,010 Posts
| | Induction proof - part 2 Hello everyone -
I don't think any of the proofs so far are really complete, although simplependulum has all but done it - without adequately testing the initial hypotheses. (Where, for instance, is the requirement that ?)
I'm afraid ProveIt's last line doesn't work. Just because is not an integer and is not an integer doesn't necessarily mean that is not an integer.
May I suggest the following.
Using the notation , and the proofs so far offered, we know that   . Call this equation (1)
If we now replace by in this equation we get:   
Therefore if is not a multiple of , then isn't either.
So, provided and are not multiples of , we have sufficient to show that is not a multiple of for all integers . is not a multiple of    , for  (using equation (1) with )   , for 
And that completes the proof, I think.
Grandad | 
July 5th, 2009, 11:35 AM
| | Junior Member | | Join Date: Jul 2009
Posts: 40
Country: Thanks: 21
Thanked 0 Times in 0 Posts
| | Argument Solution given by prove it(MHF contributor):
We know the following:  .
So
Try dividing  by  .  .
Clearly  can not be divided by  exactly, and you have already established that  and  are not divisible by  , so  can not be divided by  . The problem of the question lies HERE. It is true that and are not divisible by 
------------------------------------------------------------------------------------------------
But you can not say that the difference between and
is not divisible by p.
The above argument given by me can be more clear from the following example-
7 is not divisible by 3 and 4 is also not divisible by 3
But their difference which is equal to 3 is divisible by 3.
Last edited by matsci0000; July 7th, 2009 at 07:54 PM.
| 
July 7th, 2009, 07:59 PM
| | Junior Member | | Join Date: Jul 2009
Posts: 40
Country: Thanks: 21
Thanked 0 Times in 0 Posts
| | Quote:
Originally Posted by Grandad Hello everyone -
I don't think any of the proofs so far are really complete, although simplependulum has all but done it - without adequately testing the initial hypotheses. (Where, for instance, is the requirement that ?)
I'm afraid ProveIt's last line doesn't work. Just because is not an integer and is not an integer doesn't necessarily mean that is not an integer.
May I suggest the following.
Using the notation , and the proofs so far offered, we know that   . Call this equation (1)
If we now replace by in this equation we get:   
Therefore if is not a multiple of , then isn't either.
So, provided and are not multiples of , we have sufficient to show that is not a multiple of for all integers . is not a multiple of    , for  (using equation (1) with )   , for 
And that completes the proof, I think.
Grandad | Thanks Grandad for the proof but I do not know anything about modulus and its operations.Is there any other alternate solution for this? | 
July 8th, 2009, 02:27 AM
|  | MHF Contributor | | Join Date: Dec 2008 Location: South Coast of England
Posts: 2,064
Country: Thanks: 140
Thanked 1,158 Times in 1,010 Posts
| | Modular arithmetic | | The following users thank Grandad for this useful post: | |  | | Thread Tools | | | | Display Modes | Linear Mode |
Posting Rules
| You may not post new threads You may not post replies You may not post attachments You may not edit your posts HTML code is Off | | | All times are GMT -7. The time now is 04:21 AM. | | |