Sum thing

Algebra Level 4

{ x + y = 2 x y = 4 S n = x n + y n \large \begin{cases} x+y=2 \\ xy=4 \\ { S }_{ n }={ x }^{ n }+{ y }^{ n } \end{cases} The above equations are given, where n n is a positive integer . It can be shown that

p S n = S n + 1 + q S n 1 \large \color{#3D99F6}{p} S_n=S_{n+1}+ \color{#D61F06}{q} S_{n-1}

where p \color{#3D99F6}{p} and q \color{#D61F06}{q} are positive integers. Find p q \color{#3D99F6}{p} \color{#D61F06}{q} .


Bonus questions:

  • Find a similar formula for D n = x n y n D_n=x^n-y^n .
  • Find a similar formula which involves D n D_n , S n S_n and i = 1 i=\sqrt{-1} , given that Im ( x ) > 0 \text{Im}(x)>0 .


The answer is 8.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

6 solutions

Rishabh Jain
Jul 17, 2016

S n + 1 = x n + 1 + y n + 1 = ( x n + y n ) S n ( x + y ) 2 x y 4 ( x n 1 + y n 1 ) S n 1 = 2 S n 4 S n 1 \begin{aligned}S_{n+1}=&x^{n+1}+y^{n+1}\\=&{\underbrace{(x^n+y^n)}_{S_n}\underbrace{(x+y)}_2}-\underbrace{xy}_4\underbrace{(x^{n-1}+y^{n-1})}_{S_{n-1}}\\=&2S_n-4S_{n-1}\end{aligned}

2 S n = S n + 1 + 4 S n 1 \implies 2S_n=S_{n+1}+4S_{n-1}

2 4 = 8 \Large\therefore 2\cdot 4=\boxed{8}


BONUS-1 \underline{\color{#D61F06}{\textbf{BONUS-1}}} D n + 1 = x n + 1 y n + 1 = ( x n y n ) D n ( x + y ) 2 x y 4 ( x n 1 y n 1 ) D n 1 \begin{aligned}D_{n+1}=&x^{n+1}-y^{n+1}\\=&{\underbrace{(x^n-y^n)}_{D_n}\underbrace{(x+y)}_2}-\underbrace{xy}_4\underbrace{(x^{n-1}-y^{n-1})}_{D_{n-1}}\end{aligned}

D n + 1 = 2 D n 4 D n 1 \implies \large\boxed{D_{n+1}=2D_n-4D_{n-1}}


BONUS-2 \underline{\color{#D61F06}{\textbf{BONUS-2}}}

{ S n = x n + y n D n = x n y n \Large{\begin{cases}S_n=x^n+y^n\\D_n=x^n-y^n\end{cases}}

Adding and subtracting we get :-

S n + D n = 2 x n . . . . ( 1 ) S_n+D_n=2x^n~~....(1)

S n D n = 2 y n . . . . ( 2 ) S_n-D_n=2y^n~~....(2)

Substituting y = 4 x y=\dfrac{4}x in x + y = 2 x+y=2 , we get :- x 2 2 x = 4 ( x 1 ) 2 = 3 x = 1 ± 3 i x^2-2x=-4\implies (x-1)^2=-3\implies x=1\pm\sqrt 3 i

Neglecting negative sign since I ( x ) > 0 \mathfrak I (\small x)>0 . Hence x = 2 ( 1 2 + 3 i 2 ) = 2 e i π / 3 x=2\left(\dfrac{1}2+\dfrac{\sqrt 3i}2\right)=2e^{i\pi/3} . Hence y = 4 x = 2 e i π / 3 y=\dfrac{4}x=2e^{-i\pi/3} . Substituting in ( 1 ) (1) and ( 2 ) (2) , we get :

S n + D n = 2 n + 1 e n i π / 3 S n D n = 2 n + 1 e n i π / 3 \boxed{S_n+D_n=2^{n+1}e^{ni\pi/3}\\S_n-D_n=2^{n+1}e^{-ni\pi/3}}

Nice! When making the bonus questions I was pleasantly surprised to see that the formulae for D n + 1 D_{n+1} is the same as the formula in the main question, just replace the letter S S s with D D s.

Michael Fuller - 4 years, 11 months ago

Log in to reply

Exactly .... :-)

Rishabh Jain - 4 years, 11 months ago
Alex G
Jul 16, 2016

Time to get really involved. Let this serve as a warning that it is best to look for mathematical beauty, as opposed to bashing.

We can solve for x and y by substitution:

x = 4 y x + 4 x = 2 x=\dfrac{4}{y} \rightarrow x+\dfrac{4}{x}=2

x 2 2 x + 4 = 0 x^2-2x+4=0

Solving the quadratic using the quadratic formula, x = 1 ± i 3 x=1\pm i\sqrt 3 . Now, we can construct the same argument for y, resulting in y = 1 ± i 3 y=1\pm i\sqrt 3 .

From simple observation, it is clear that if x takes one of these values, y must take the other, as if did not occur, the system of two equations would not be solved. As all equations considered in this solution are symmetric with respect to x and y, we can use them interchangeably. Therefore, wlog we let x = 1 + i 3 x=1+i\sqrt 3 and y = 1 i 3 y=1-i\sqrt 3 .

Now it is clear that

S n = ( 1 + i 3 ) n + ( 1 i 3 ) n S_n=(1+i\sqrt 3)^n+(1-i\sqrt 3)^n

To simplify calculation, we switch to polar form,

e i π 3 = 1 2 + i 3 2 e^{\dfrac{i\pi}{3}}=\dfrac{1}{2}+\dfrac{i\sqrt 3}{2}

2 e i π 3 = 1 + i 3 2e^{\dfrac{i\pi}{3}}=1+i\sqrt 3

Substituting

S n = ( 2 e i π 3 ) n + ( 2 e i π 3 ) n S_n=\left(2e^{\dfrac{i\pi}{3}}\right)^n+\left(2e^{\dfrac{-i\pi}{3}}\right)^n

S n = 2 n e i π n 3 + 2 n e i π n 3 S_n=2^n e^{\dfrac{i\pi n}{3}}+2^n e^{\dfrac{-i\pi n}{3}}

S n = 2 n ( cos n π 3 + i sin n π 3 + cos n π 3 i sin n π 3 ) S_n=2^n\left(\cos{\dfrac{n\pi}{3}}+i\sin{\dfrac{n\pi}{3}}+\cos{\dfrac{n\pi}{3}}-i\sin{\dfrac{n\pi}{3}}\right)

S n = 2 n + 1 cos n π 3 S_n=2^{n+1}\cos{\dfrac{n\pi}{3}}

In the third step, the facts that cos is an even function and sin is an odd function were used.

With this form of S n S_n , we now consider the equation

q S n = S n + 1 + p S n 1 qS_{n}=S_{n+1}+pS_{n-1}

Substituting S n S_n

q ( 2 n + 1 cos n π 3 ) = 2 n + 2 cos n π + π 3 + p ( 2 n cos n π π 3 ) q\left(2^{n+1}\cos{\dfrac{n\pi}{3}}\right)=2^{n+2}\cos{\dfrac{n\pi+\pi}{3}}+p\left(2^{n}\cos{\dfrac{n\pi-\pi}{3}}\right)

Dividing by 2 n 2^n

2 q cos n π 3 = 2 2 cos n π + π 3 + p cos n π π 3 2q\cos{\dfrac{n\pi}{3}}=2^{2}\cos{\dfrac{n\pi+\pi}{3}}+p\cos{\dfrac{n\pi-\pi}{3}}

Using cosine addition formula

2 q cos n π 3 = 4 ( cos n π 3 2 3 sin n π 3 2 ) + p ( cos n π 3 2 + 3 sin n π 3 2 ) 2q\cos{\dfrac{n\pi}{3}}=4\left(\dfrac{\cos{\dfrac{n\pi}{3}}}{2} - \dfrac{\sqrt 3 \sin{\dfrac{n\pi}{3}}}{2}\right)+p\left(\dfrac{\cos{\dfrac{n\pi}{3}}}{2} +\dfrac{\sqrt 3 \sin{\dfrac{n\pi}{3}}}{2}\right)

For both sides of the equation to be equal, the sines on the right hand side must cancel. Therefore, p = 4 p=4 . We now have

2 q cos n π 3 = 4 cos n π 3 2q\cos{\dfrac{n\pi}{3}}=4\cos{\dfrac{n\pi}{3}}

Resulting in q = 2 q=2 .

p q = 8 \boxed{pq=8}

That's the same way I did it... (+1).... Probably the beauty of complex numbers which makes this solution elegant and the roots of the given equation were also perfectly set up to use complex numbers :-)

Rishabh Jain - 4 years, 11 months ago

Log in to reply

This wasn't intended, but I soon found it out and it was part of the inspiration towards my bonus question!

Edit: In fact, it's not even needed for the first bonus question at all. I've added another bonus

Michael Fuller - 4 years, 11 months ago

To be honest, I consider this solution inferior to those that use the definition of S n S_n to find the identity. It requires so much work that, although not difficult, still makes the solution rather long.

Alex G - 4 years, 11 months ago

Log in to reply

No solution is inferior ... :-) The bonus-2 is difficult to calculate without complex numbers and hence has its own advantage... Every solution has its own advantage.

Rishabh Jain - 4 years, 11 months ago
Hung Woei Neoh
Jul 16, 2016

We know that { x + y = 2 x y = 4 \begin{cases}\color{#3D99F6}{x+y=2}\\\color{#D61F06}{xy=4}\end{cases}

S 0 = x 0 + y 0 = 2 S 1 = x + y = 2 S 2 = ( x + y ) 2 2 x y = 2 S 1 4 S 0 S 3 = ( x + y ) ( x 2 + y 2 ) x y ( x + y ) = 2 S 2 4 S 1 S 4 = ( x + y ) ( x 3 + y 3 ) x y ( x 2 + y 2 ) = 2 S 3 4 S 2 S 5 = ( x + y ) ( x 4 + y 4 ) x y ( x 3 + y 3 ) = 2 S 4 4 S 3 S_0 = x^0+y^0=2\\ S_1 = \color{#3D99F6}{x+y} = 2\\ S_2 = (\color{#3D99F6}{x+y})^2-2\color{#D61F06}{xy} = \color{#3D99F6}{2}S_1 - \color{#D61F06}{4}S_0\\ S_3 = (\color{#3D99F6}{x+y})(x^2+y^2)-\color{#D61F06}{xy}(x+y)=\color{#3D99F6}{2}S_2 - \color{#D61F06}{4}S_1\\ S_4 =(\color{#3D99F6}{x+y})(x^3+y^3)-\color{#D61F06}{xy}(x^2+y^2)=\color{#3D99F6}{2}S_3 - \color{#D61F06}{4}S_2\\ S_5 =(\color{#3D99F6}{x+y})(x^4+y^4)-\color{#D61F06}{xy}(x^3+y^3)=\color{#3D99F6}{2}S_4 - \color{#D61F06}{4}S_3

Therefore, we can see that

S n = 2 S n 1 4 S n 2 S n + 1 = 2 S n 4 S n 1 2 S n = S n + 1 + 4 S n 1 S_n = \color{#3D99F6}{2}S_{n-1} - \color{#D61F06}{4}S_{n-2}\\ S_{n+1} = \color{#3D99F6}{2}S_{n} - \color{#D61F06}{4}S_{n-1}\\ \color{#3D99F6}{2}S_{n} =S_{n+1} + \color{#D61F06}{4}S_{n-1}

p = 2 , q = 4 , p q = 2 × 4 = 8 \implies\color{#3D99F6}{p=2},\;\color{#D61F06}{q=4},\;\color{#3D99F6}{p}\color{#D61F06}{q}=\color{#3D99F6}{2}\times\color{#D61F06}{4}=\boxed{8}

Brilliant... (+1)

PS:- Now there is no room for my solution since both techniques have been already posted :-p

Rishabh Jain - 4 years, 11 months ago

Log in to reply

Thanks. Too bad :P

Hung Woei Neoh - 4 years, 11 months ago
Michael Fuller
Jul 16, 2016

2 S n = ( x + y ) ( x n + y n ) = x n + 1 + y n + 1 + y x n + x y n = S n + 1 + x y ( x n 1 + y n 1 ) = S n + 1 + 4 S n 1 \large \color{#3D99F6}{2} S_n=(x+y)(x^n+y^n)=x^{n+1}+y^{n+1}+yx^n+xy^n=S_{n+1}+xy(x^{n-1}+y^{n-1})=S_{n+1}+ \color{#D61F06}{4} S_{n-1}

p q = 2 × 4 = 8 \large \Rightarrow \color{#3D99F6}{p} \color{#D61F06}{q} = \color{#3D99F6}{2} \times \color{#D61F06}{4} = \large \color{#20A900}{\boxed{8}} .

One more method is to solve 2 variable 2 equations by solving for S (2) and S (3).

Prince Loomba - 4 years, 11 months ago

You should post the bonus in the question itself... BTW nice question.

Rishabh Jain - 4 years, 11 months ago

Log in to reply

Okay, I'll do that : ) :) Thanks!

Michael Fuller - 4 years, 11 months ago

Log in to reply

Great.... :-)

Rishabh Jain - 4 years, 11 months ago

Wow... Interesting bonus questions... I enjoyed solving them.. :-D

Rishabh Jain - 4 years, 11 months ago
Hypergeo H.
Jun 15, 2021

The most elegant solution is by factorising. But here's an alternative approach.

x , y x, y are roots of u 2 4 u + 2 = 0 Multiplying by u n 1 : u n + 1 4 u n + 2 u n 1 = 0 4 u n = u n + 1 2 u n 1 Substituting u = x , y and adding : 4 ( x n + y n ) = ( x n + 1 + y n + 1 ) 2 ( x n 1 + y n 1 ) 4 S n = S n + 1 2 S n 1 p q = 2 4 = 8 Similarly, by substracting: 4 D n = D n + 1 2 D n 1 \begin{aligned} &&u^2-4u+2&=0\\ &\text{Multiplying by }u^{n-1}:&u^{n+1}-4u^n+2u^{n-1}&=0\\ &&4u^n&=u^{n+1}-2u^{n-1}\\ &\text{Substituting }u=x,y \text{ and adding}: &4(x^n+y^n)&=(x^{n+1}+y^{n+1})-2(x^{n-1}+y^{n-1}) \\ &&4S_n&=S_{n+1}-2S_{n-1}\\ &&pq&=2\cdot 4 =8\\ &\text{Similarly, by substracting:} &4D_n&=D_{n+1}-2D_{n-1}\\ \end{aligned}

Aaghaz Mahajan
May 17, 2018

We don't even need to go into calculations if we know NEWTON'S SUMS!!!!!

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...