Mathematical induction :

Let $ p\ge3 $ be an integer.$ \alpha $ and $ \beta $ are the roots of the equation$ x^2-(p+1)x+1=0 $.Using mathematical induction prove that $ \alpha^n +\beta^n $ is - (1)an integer
2)not divisible by p

Comments

I've solved the first part

I've solved the first part of the question.Please solve the second part.

````Maths````
000
(((())))
///

Second part -- please take a look at my procedure

Let P(n) be the statement which is to be proved.

$ \alpha+\beta=p+1 $ ........(1) ,$ \alpha.\beta=1 $........(2)
From eqn (1)
$ \alpha+\beta $ is not divisible by p.

STEP1-
P(1) is true.
$ \alpha+\beta $ is not divisible by p.

To prove that P(2) is true.
$ \alpha^2+\beta^2 =(\alpha+\beta)^2 -2\alpha\beta $
=$ (\alpha+\beta)^2 -2 $ ----------This is not divisible by p.

STEP2 --- { INDUCTION ASSUMPTION }
Let P(k) and P(k-1) be true.
$ \alpha^k+\beta^k $ is not divisible by p. .............. (3)

$ \alpha^(k-1)+\beta^(k-1) $ is not divisible by p............(4)

STEP3-
To prove that P(k+1) is true.
To prove that $ \alpha^(k+1)+\beta^(k+1) $ is not divisible by p.
$ \alpha^(k+1)+\beta^(k+1) $=$ (\alpha^k+\beta^k  )(\alpha+\beta)-\alpha^k \beta-\beta\alpha^k $
=$ (\alpha^k+\beta^k  )(\alpha+\beta)-\alpha\beta{\alpha^(k-1)+\beta^(k-1)} $
$ \alpha.\beta=1 $ , so
=$ (\alpha^k+\beta^k  )(\alpha+\beta)-{\alpha^(k-1)+\beta^(k-1)} $is not divisible by p [from (3)]
---> $ (\alpha^k+\beta^k  )(\alpha+\beta) $ is not divisible by p [from (3)]
and $ {\alpha^(k-1)+\beta^(k-1)} $ is not divisible by p [from (4)]

But it isn't necessary that the difference between two integers which aren't divisible by p , should not br divisible by p. HERE LIES THE PROBLEM.
Please help in in proving $ (\alpha^k+\beta^k  )(\alpha+\beta)-{\alpha^(k-1)+\beta^(k-1)} $ isn't divisible by p.

````Maths````
000
(((())))
///

answer

$$x^2-(p+1)x+1=0$$

a,b are roots.

$$S_n=a^n+b^n$$
$$a^{n+2}-(p+1)a^{n+1}+a^n=0$$
$$b^{n+2}-(p+1)b^{n+1}+b^n=0$$
$$S_{n+2}-(p+1)S_{n+1}+S_n=0$$

modulo p

$$s_{n+2}=s_{n+1}-s_n$$
$$s_0=2$$
$$s_1=1$$
$$s_2=-1$$
$$s_3=-2$$
$$s_4=-1$$
$$s_5=1$$
$$s_6=2$$
$$s_7=1$$

This sequence is periodic with period 6 and none of its values are 0 mod p

~~THANK YOU ~~

````Maths````
000
(((())))
///

Back to top