How many Transformations?

Algebra Level 5

Let N N be a positive integer that satisfies

( 2 0 1 4 ) N ( 2 1 ) = ( x y ) . \left(\begin{array}{cc}2 & 0 \\ 1 & 4\end{array}\right)^N\cdot \dbinom{2}{1}=\dbinom{x}{y}.

Find the largest possible value of N N such that

log 2 ( x y ) 1000. \log_2(xy) \le 1000.


The answer is 332.

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.

3 solutions

Calvin Lin Staff
May 24, 2014

This elaborates out my comment made in Daniel's solution, about how to use eigenvalue decomposition.

Let A = ( 2 0 1 4 ) A = \begin{pmatrix} 2 & 0 \\ 1 & 4 \\ \end{pmatrix} . We can calculate that the eigenvalues of A A are λ 1 = 4 , λ 2 = 2 \lambda_1 = 4, \lambda_2 = 2 with corresponding eigenvectors v 1 = ( 0 1 ) v_1= \begin{pmatrix} 0\\1 \end{pmatrix} and v 2 = ( 2 1 ) v_2 = \begin{pmatrix} 2 \\ -1 \end{pmatrix} .

Observe that ( 2 1 ) = 2 v 1 + v 2 \begin{pmatrix} 2 \\ 1 \end{pmatrix} = 2v_1 + v_2 . Hence,

A N ( 2 1 ) = A N ( 2 v 1 + v 2 ) = 4 N × 2 v 1 + 2 N × v 2 = ( 2 N + 1 2 2 N + 1 2 N ) A^N \cdot \begin{pmatrix} 2 \\ 1 \end{pmatrix} = A^N \cdot (2 v_1 + v_2) = 4^N\times 2 v_1 + 2^N\times v_2 = \begin{pmatrix} 2^{N+1} \\ 2^{2N+1} - 2^N\end{pmatrix}

Then, continue as in Daniel's solution.

Yea... I think I'll wait until later to learn these things. Better not get ahead of myself.

Daniel Liu - 7 years ago

Hey Can anyone Help me solving this problem..?? See the Problem

Sudipta Biswas - 7 years ago
Daniel Liu
May 22, 2014

We analyze what happens when we multiply the transformation matrix ( 2 0 1 4 ) \left(\begin{array}{cc}2 & 0 \\ 1 & 4\end{array}\right) by a general vector ( a b ) \dbinom{a}{b} : ( 2 0 1 4 ) ( a b ) = ( 2 a a + 4 b ) \left(\begin{array}{cc}2 & 0 \\ 1 & 4\end{array}\right)\cdot \dbinom{a}{b}=\dbinom{2a}{a+4b}

Thus, we can set up a recurrence relationship for the values of x , y x,y . Our equation is ( 2 0 1 4 ) N ( x 0 y 0 ) = ( x N y N ) \left(\begin{array}{cc}2 & 0 \\ 1 & 4\end{array}\right)^N\cdot \dbinom{x_0}{y_0}=\dbinom{x_N}{y_N} We see that x 0 = 2 x_0=2 and y 0 = 1 y_0=1 . Also, x n x_n and y n y_n satisfy the following recurrence relationship: { x n = 2 x n 1 y n = x n 1 + 4 y n 1 \left\{\begin{array}{l}x_n=2x_{n-1}\\ y_n=x_{n-1}+4y_{n-1}\end{array}\right.

We can first immediately notice that since x 0 = 2 x_0=2 and x n = 2 x n 1 x_n=2x_{n-1} , then obviously x n = 2 n + 1 x_n=2^{n+1} .

Thus, we just need to find the general form of the recurrence y n = 2 n + 4 y n 1 y_n=2^n+4y_{n-1}

Note that y n + 1 = 2 n + 1 + 4 y n y_{n+1}=2^{n+1}+4y_n

If we double the original equation 2 y n = 2 n + 1 + 8 y n 1 2y_n=2^{n+1}+8y_{n-1}

we can subtract it from this the new equation we found: y n + 1 2 y n = 4 ( y n y n 1 ) y_{n+1}-2y_n=4(y_n-y_{n-1})

Now let z n = y n + 1 2 y n z_n=y_{n+1}-2y_n . Thus, z n = 4 z n 1 z_n=4z_{n-1}

We see that y 0 = 1 y_0=1 and y 1 = 6 y_1=6 by computation. Thus, z 0 = 4 z_0=4 and it is obvious our general form for z n z_n is z n = 4 n + 1 z_n=4^{n+1}

Thus, y n + 1 2 y n = 4 n + 1 y_{n+1}-2y_n=4^{n+1} . Note that 2 y n 4 y n 1 = 2 4 n 2y_n-4y_{n-1}=2\cdot 4^n ; we can add this to our first equation to get y n + 1 4 y n 1 = 4 n + 1 + 2 4 n y_{n+1}-4y_{n-1}=4^{n+1}+2\cdot 4^n . We can continue adding similar terms until we create a telescoping sum, where we conclude that y n + 1 = i = 0 n + 1 2 i 4 n + 1 i = i = 0 n + 1 2 2 n + 2 i y_{n+1}=\sum_{i=0}^{n+1}2^i4^{n+1-i}=\sum_{i=0}^{n+1}2^{2n+2-i}

But i = 0 n + 1 2 2 n + 2 i = i = 0 2 n + 2 2 i i = 0 n 2 i = 2 2 n + 3 2 n + 1 \sum_{i=0}^{n+1}2^{2n+2-i}=\sum_{i=0}^{2n+2}2^i-\sum_{i=0}^{n}2^i=2^{2n+3}-2^{n+1}

Thus, y n + 1 = 2 2 n + 3 2 n + 1 y_{n+1}=2^{2n+3}-2^{n+1} or y n = 2 2 n + 1 2 n y_n=2^{2n+1}-2^n

We now have both general forms of x n x_n and y n y_n ; thus, we can find x N x_N and y N y_N : x N = 2 N + 1 x_N=2^{N+1} y N = 2 2 N + 1 2 N y_N=2^{2N+1}-2^N

Thus, log 2 ( x N y N ) = log 2 ( 2 3 N + 2 2 2 N + 1 ) = ( 2 N + 1 ) + log 2 ( 2 N + 1 1 ) < ( 2 N + 1 ) + log 2 ( 2 N + 1 ) = 3 N + 2 1000 \begin{aligned}\log_2 (x_Ny_N)&=\log_2 (2^{3N+2}-2^{2N+1})\\ &=(2N+1)+\log_2 (2^{N+1}-1) \\ &< (2N+1)+\log_2(2^{N+1})\\ &= 3N+2\\ &\le 1000\end{aligned}

Since 3 N + 2 1000 3N+2 \le 1000 , we have N 998 3 N \le \dfrac{998}{3} or N 332 N \le \boxed{332} and we are done.

Another (easier) way to solve the problem is to consider eigenvalue decomposition of the matrix A = ( 2 0 1 4 ) A=\begin{pmatrix}2 & 0\\1 & 4\end{pmatrix} .

Abhishek Sinha - 7 years ago

Log in to reply

Unfortunately, I am not that wise in the realm of matrices. I do not even know how to take the inverse of a matrix. :P I would never think of doing something like that. My problems are more designed for pre-calculus techniques; even though what you mentioned might not be precalculus, I'm fairly sure one does not learn it in ordinary high school. (don't quote me on that, though, because I'm still in middle school). So there might be some more advanced techniques that completely kill my problems.

I guess my creating problems like these, I can get more familiar with matrices. Expect to see more matrix problems from me in the future.

Daniel Liu - 7 years ago

Can you add a solution with that approach? You can demonstrate how we can easily calculate x N , y N x_N, y_N in a few lines.

Calvin Lin Staff - 7 years ago

Log in to reply

Wait; is it true, then that one could solve a general recurrence relationship { x n + 1 = a 1 x n + b 1 y n y n + 1 = a 2 x n + b 2 y n \left\{\begin{array}{l}x_{n+1}=a_1x_n+b_1y_n\\ y_{n+1}=a_2x_n+b_2y_n\end{array}\right.

(where a 1 , a 2 , b 1 , b 2 a_1,a_2,b_1,b_2 are constants) by transforming it into a matrix and performing the eigenvalue decomposition of that matrix, and solving the recurrence like that?

Daniel Liu - 7 years ago

Log in to reply

@Daniel Liu Yes. That's known as the Fast Fibonacci Transform. Set x n = f n + 1 x_n = f_{n+1} and y n = f n y_n = f_n , and you get the system of equations

{ x n + 1 = 1 x n + 1 y n y n + 1 = 1 x n + 0 y n \begin{cases} x_{n+1} = 1x_n + 1y_n \\ y_{n+1} = 1x_n + 0 y_n \\ \end{cases}

Hence, ( x n y n ) = ( 1 1 1 0 ) n ( 1 1 ) \begin{pmatrix} x_n \\ y_n \\ \end{pmatrix} = \begin{pmatrix} 1 & 1 \\ 1 & 0 \\ \end{pmatrix}^n \begin{pmatrix} 1 \\ 1 \\ \end{pmatrix}

If you do the eigenvalue decomposition, it gives you Binet's formula. (Check this!)

If you do other matrix stuff to it, it gives you other identities. For example, using only matrix properties, conclude that

f 2 n + 1 = f n + 1 2 + f n 2 . f_{2n+1} = f_{n+1} ^2 + f_n ^2.

Hint: A 2 n = A n × A n A^{2n} = A^n \times A^n .

Calvin Lin Staff - 7 years ago
Akash Shah
May 23, 2014

I tried to find ( 2 0 1 4 ) n { \begin{pmatrix} 2 & 0 \\ 1 & 4 \end{pmatrix} }^{ n } by multiplying the matrix ( 2 0 1 4 ) \begin{pmatrix} 2 & 0 \\ 1 & 4 \end{pmatrix} two three times with itself and found some relation like ( 2 n 0 2 2 n 1 2 n 1 4 n ) \begin{pmatrix} { 2 }^{ n } & 0 \\ { 2 }^{ 2n-1 }-{ 2 }^{ n-1 } & { 4 }^{ n } \end{pmatrix} and then multiplied it to ( 2 1 ) \begin{pmatrix} 2 & \\ 1 & \end{pmatrix} and obtained x = 2 n + 1 x={ 2 }^{ n+1 } and y = 2 2 n + 1 2 n y={ 2 }^{ 2n+1 }-{ 2 }^{ n } and on solving we get n = 332. n=332.

So you just guessed that there was a pattern? I disapprove of this solution :(

Daniel Liu - 7 years ago

Log in to reply

Woah how did you do that font? :O

Finn Hulse - 7 years ago

Log in to reply

I was on Japanese typesetting when I typed it, then I was too lazy to delete it and switch to normal.

Daniel Liu - 7 years ago

Log in to reply

@Daniel Liu BTW your new avatar is the bomb.com. :D

Finn Hulse - 7 years ago

Well generally in these type of problems you can easily find a pattern .So I tried it and got the answer.

Akash Shah - 7 years ago

So, this is what happens in most such questions. And I tried solving it both way. An informed guess worked well for me though :P

Umang Gupta - 7 years ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...