# I got explicit formula to the sequence correct, but confused on checking

1. Nov 28, 2006

### mr_coffee

Hello everyone.

I got the hard part of the problem done with help from another forum member,
and i transfered it into a gemeotric sum,
which i will show below but i'm confused on the following
directions that my profressor wrote:
I checked in the section he was talking about and to my luck, no problem
deals with what he is speaking of...but i do have an example of what he means.

In #8 on the image below, i have boxed the check in which he requires. #11. is where i'm stuck,
i'm not sure what i'm suppose to plug in, following his pattern for #8, it looks like he took
the right hand side of the given equation, and set it equal to the formula i found in replace
of f_{k-1} because there is a +2^k after the formula i found in #8 which was: f_n = 2^{n+1} - 3.

Sorry if this is confusing but the directions to these problems are the following:

In eavch of 3-15 a sequence is defined recursively. Use iteration to guess
an explicit formula for the sequence.

and here is my work:

http://suprfile.com/src/1/4ni4e7l/lastscan.jpg [Broken]

Thanks!

Last edited by a moderator: May 2, 2017
2. Nov 28, 2006

### mattmns

Not quite what you want. You want to have each exponent on the right hand side to be to the power k-1 (since you are looking at $p_{k-1}$). Also you want 2 times that, so you need to factor the 2 out. So you should have:
$$2p_{k-1} + 3^k = 2 \left(2^{k-1} + 3^{k-1} + \frac{4\cdot 3^{k-1} - 9\cdot 2^{k-1}}{2} \right) + 3^k$$

If you then do some algebra, it all works out.

Last edited: Nov 28, 2006
3. Nov 28, 2006

### mr_coffee

Thanks matt,

So it looks like, I have to get that right hand side to simplify down to the formula i found which is: P_k = 2^k + 3^k + [4*3^k-9*2^k]/2

By looking at that, do you think that is possible or am I misunderstanding somthing?

Because in #8, thats all he did, was he made the right hand side equal the formula i found.

4. Nov 28, 2006

### mattmns

That is exactly what you want to do, and yes it does work out (keep your goal in mind when doing the algebra).

5. Nov 28, 2006

### mr_coffee

Thanks i'll work on it and let you know how it goes

6. Nov 28, 2006

### mr_coffee

i ended up getting:
3*3^k - (7*2^k)/2

I think i'm approaching this wrong,
its not even close to:
2^k + 3^k + [4*3^k-9*2^k]/2

7. Nov 28, 2006

### mattmns

Hmm, not sure how you got that. Let us start from the beginning:

We have the following:

$$2p_{k-1} + 3^k = 2 \left(2^{k-1} + 3^{k-1} + \frac{4\cdot 3^{k-1} - 9\cdot 2^{k-1}}{2} \right) + 3^k$$
$$=2\cdot 2^{k-1} + 2\cdot 3^{k-1} + 4\cdot 3^{k-1} - 9\cdot 2^{k-1}} + 3^k$$ (Just distributing the 2)
$$=2^k + 2\cdot 3^{k-1} + 4\cdot 3^{k-1} - 9\cdot 2^{k-1}} + 3\cdot 3^{k-1}$$ (exponent properties)
$$=2^k + (2+3)\cdot 3^{k-1} + 4\cdot 3^{k-1} - 9\cdot 2^{k-1}}$$ (factoring)
$$=2^k + 3^{k} + 2\cdot 3^{k-1} + 4\cdot 3^{k-1} - 9\cdot 2^{k-1}}$$(distribute the 2 and 3, exponent properties)
$$=2^k + 3^{k} + 6\cdot 3^{k-1} - 9\cdot 2^{k-1}}$$ (group the 2 and 4 from the 3^(k-1))
$$=2^k + 3^{k} + 2\cdot3\cdot 3^{k-1} - 9\cdot 2^{k-1}}$$ (6 = 2x3)
$$=2^k + 3^{k} + 2\cdot 3^{k} - 9\cdot 2^{k-1}}$$ (exponent properties)
$$=2^k + 3^{k} + \frac{2}{2}\left(2\cdot 3^{k} - 9\cdot 2^{k-1}}\right)$$ (multiply by 1)
$$=2^k + 3^{k} + \frac{4\cdot 3^{k} - 9\cdot 2\cdot 2^{k-1}}{2}$$ (distribute 2 on top)
$$=2^k + 3^{k} + \frac{4\cdot 3^{k} - 9\cdot 2^{k}}{2}$$ (exponent properties)
$$=p_k$$

Maybe I showed a little too much work there, but you should notice that I could have "simplified" things, like 2x9 = 18, but we do not always want to do that (remember that we know what we want our answer to be, so try to get the answer to look like that).

As I said above, you have a goal that you want to reach so try to do the algebra with that goal in mind.

$$3\cdot3^k - \frac{7\cdot 2^k}{2} = 3^k + 2\cdot 3^k - \frac{7\cdot 2^k}{2}$$
$$= 3^k + \frac{4\cdot 3^k - 7\cdot 2^k}{2}$$ multiply by 2/2 and then put as a bigger fraction
$$= 3^k + \frac{4\cdot 3^k - 9\cdot 2^k + 2\cdot 2^k}{2}$$ add "0" subtract 2*2^k then add 2*2^k
$$= 3^k + \frac{4\cdot 3^k - 9\cdot 2^k}{2} + \frac{2\cdot 2^k}{2}$$ split up fraction
$$= 2^k + 3^k + \frac{4\cdot 3^k - 9\cdot 2^k}{2}$$
$$= p_k$$

Last edited: Nov 28, 2006
8. Nov 28, 2006

### mr_coffee

Awesome explanation, thanks so much, nice review too.

9. Nov 28, 2006

### matt grime

All he is asking is that when you guess a solution you do two things.

1. Check that the guess is correct for the base case
2. Check that the guess actually satisfies the recurrence relation

I.e. things you should have done anyway but which the teacher is obviously fed up of students ignoring and so is making you remember to do it by this unsubtle but understandable tactic.

10. Nov 28, 2006

### mr_coffee

I understand his reasonings i just was confused on how he was subbing in the explicit formula into the orginal formula, the section he talks of didn't have an example of this kind but used induction rather than this technique.

11. Nov 28, 2006

### mattmns

You are actually doing induction, just in a slightly different way.

First you are showing that the first case(s) are true (think of base case(s)), and then you are showing that if the formula is true for k-1, then it is also true for k (the inductive step).

12. Nov 28, 2006

### mr_coffee

Oh! that does make sense, never thought of it that way, awesome