View Single Post
  #8  
Old July 5th, 2009, 11:35 AM
matsci0000 matsci0000 is offline
Junior Member
 
Join Date: Jul 2009
Posts: 31
Country:
Thanks: 15
Thanked 0 Times in 0 Posts
matsci0000 is on a distinguished road
Thumbs down Argument

Solution given by prove it(MHF contributor):
We know the following:

\alpha + \beta = p + 1

\alpha\beta = 1

P(k + 1) = \alpha^{k + 1} + b^{k + 1} = (\alpha^k + \beta^k)(\alpha + \beta) - \alpha\beta(\alpha^{k - 1} + \beta^{k - 1}).


So P(k + 1) = (\alpha^k + \beta^k)(p + 1) - 1(\alpha^{k - 1} + \beta^{k - 1})

= (p + 1)(\alpha^k + \beta^k) - (\alpha^{k - 1} + \beta^{k - 1})


Try dividing P(k + 1) by p.


\frac{P(k + 1)}{p} = \frac{(p + 1)(\alpha^k + \beta^k) - (\alpha^{k - 1} + \beta^{k - 1})}{p}

= \frac{(p + 1)(\alpha^k + \beta^k)}{p} - \frac{\alpha^{k - 1} + \beta^{k - 1}}{p}.


Clearly p + 1 can not be divided by p exactly, and you have already established that \alpha^k + \beta^k and \alpha^{k - 1} + \beta^{k - 1} are not divisible by p, so P(k + 1) can not be divided by p.
The problem of the question lies HERE.
It is true that \alpha^k + \beta^k and \alpha^{k - 1} + \beta^{k - 1} are not divisible by p
------------------------------------------------------------------------------------------------

But you can not say that the difference between \alpha^k + \beta^k and \alpha^{k - 1} + \beta^{k - 1}
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.
Reply With Quote