Ask your own question, for FREE!
Mathematics 9 Online
OpenStudy (dtan5457):

Can someone help explain this induction?

OpenStudy (anonymous):

first one?

OpenStudy (dtan5457):

The one the doctor answers with

OpenStudy (dtan5457):

I don't know where he got The generating function is (x+x^2+x^3+x^4+....)^4

OpenStudy (dtan5457):

and prety much anything below that. I've done induction in school before but i'm not sure how he can up with that

OpenStudy (anonymous):

lol i just read it 4 times and got stuck exactly where you did

OpenStudy (dtan5457):

Unless you know how to induct that formula your own way? The one with 2^(x-1)?

OpenStudy (anonymous):

no not at all i have an idea of what a generating function is, it is a function, usually a power series, whose coefficients are a particular sequence why the one given is the generating function is unclear to me

OpenStudy (anonymous):

my only suggestion is to google whatever you were googling again, and see if you can come up with a more detailed proof

OpenStudy (anonymous):

or ask someone smarter than me

OpenStudy (dtan5457):

im pretty sure that was the only one since its rare that partition would include order

OpenStudy (dtan5457):

is there anyway to prove it without induction?

OpenStudy (anonymous):

a better answer i think is here http://math.stackexchange.com/questions/31562/number-of-ordered-partitions-of-integer where they show (or tell you how to show) that \(P(n+1)=2P(n)\)

OpenStudy (dtan5457):

so from there i'm suppose to plug in n+1 into the according two formulas of what u wrote?

OpenStudy (dtan5457):

they didn't actually use induction but they give the correct formulas?

OpenStudy (anonymous):

they do use induction if you assume that \(P(n)=2^{n-1}\) then showing that \(P(n+1)=2p(n)\) shows that that \(p(n+1)=2^n\)

OpenStudy (anonymous):

pretty clever actually, now that i more or less understand the proof

OpenStudy (dtan5457):

im a little confused on (i) last element 11 and (ii) last element bigger than 11.

OpenStudy (anonymous):

it is similar to proving that the number of subsets of a set of n element is 2^n`

OpenStudy (anonymous):

the line that says If the last element is 1, remove it, and you get an ordered partition of n. Moreover, all ordered partitions of n arise in this way, for any ordered partition of n can be extended to an ordered partition of n+1 by appending a 1. So there are P(n) ordered partitions of n+1 with last element 1 ??

OpenStudy (anonymous):

it makes sense to me, does it make sense to you?

OpenStudy (dtan5457):

i think this would make a lot more sense if you use an example

OpenStudy (anonymous):

ok lets do a simple one list the ordered partitions of 4, and then the ordered partitions of 5

OpenStudy (dtan5457):

4=(4) (1+1+1+1) (2+2) (1+2+1)(1+1+2) (2+1+1)(3+1) (1+3) (8 ways) 5=(5) (4+1) (1+4) (3+2) (2+3) (1+1+3)(1+3+1)(3+1+1) (1+1+1+2)(1+2+1+1)(1+1+2+1)(2+1+1+1) (2+2+1) (2+1+2)(1+2+2)(1+1+1+1+1) 16 ways

OpenStudy (anonymous):

wow you are quick

OpenStudy (anonymous):

so now let us assume (without counting) that there are 8 ordered partitions of 4

OpenStudy (dtan5457):

im doing a research paper so i already had that for some base cases lol

OpenStudy (dtan5457):

ok

OpenStudy (anonymous):

take away all the ordered partitions of 5 that end in a 1

OpenStudy (anonymous):

ok not take them away, list them

OpenStudy (dtan5457):

(4+1)(3+1+1)(1+2+1+1)(1+1+2+1)(2+1+1+1)(2+2+1)(1+1+1+1+1)

OpenStudy (anonymous):

think you missed at least one

OpenStudy (dtan5457):

(1+3+1)(3+1+1)

OpenStudy (anonymous):

(4+1)(3+1+1)(1+3+1)(1+2+1+1)(1+1+2+1)(2+1+1+1)(2+2+1)(1+1+1+1+1)

OpenStudy (anonymous):

how many we got?

OpenStudy (dtan5457):

8 i repeated one

OpenStudy (anonymous):

ok now eliminate the last 1 for each of those

OpenStudy (dtan5457):

(4)(3+1)(1+3)(1+2+1)(1+1+2)(2+1+1)(2+2)(1+1+1+1)

OpenStudy (anonymous):

exactly they are the partitions of 4

OpenStudy (dtan5457):

nice i just noticed that

OpenStudy (dtan5457):

could you add one's to get partition of 5,6,7 etc?

OpenStudy (anonymous):

none are missed, and all the partitions of 5 that end in a 1 are generated by tacking a 1 on the end of those

OpenStudy (anonymous):

lol lets not get ahead of ourselves here

OpenStudy (dtan5457):

lol i just wanted to see if it worked as a general rule or if its only backwards

OpenStudy (dtan5457):

to better understand this

OpenStudy (anonymous):

we are only comparing partitions of 5 with partitions of 4

OpenStudy (anonymous):

so to understand the general statement made in the explanation

OpenStudy (anonymous):

this statement If the last element is 1, remove it, and you get an ordered partition of n. Moreover, all ordered partitions of n arise in this way, for any ordered partition of n can be extended to an ordered partition of n+1 by appending a 1. So there are P(n) ordered partitions of n+1 with last element 1 is more or less clear now right?

OpenStudy (dtan5457):

so in the example n+1 was 5 and n=4?

OpenStudy (anonymous):

yes

OpenStudy (anonymous):

we did it by example listed all partitions of 5, listed the ones that ended in a 1 removed the 1 see that we get exactly the partitions of 4

OpenStudy (dtan5457):

so whats the other case when the element is greater than 1?

OpenStudy (anonymous):

that is even easier we already know there that P(4) =2^3 partitions of 5 that end in a 1 now how about the ones that don't end it a 1, how many of those?

OpenStudy (anonymous):

to list them, take all the partitions of 4, and add a 1 to the last number

OpenStudy (dtan5457):

only for the ones greater than 1 on the last element right?

OpenStudy (anonymous):

no

OpenStudy (anonymous):

take all the partitions of 4 here (4) (1+1+1+1) (2+2) (1+2+1)(1+1+2) (2+1+1)(3+1) (1+3)

OpenStudy (anonymous):

add a 1 to the last number

OpenStudy (dtan5457):

oh you get 8 partitions of 5

OpenStudy (anonymous):

(5),(1+1+1+2),(2+3) (1+2+2)m (1+1+3), (2+1+2), (3+2), (1+4)

OpenStudy (anonymous):

ignore the m

OpenStudy (anonymous):

those are all the partitions of 5 that do NOT end in a 1

OpenStudy (anonymous):

and there are clearly P(4)=2^3 of those as well

OpenStudy (anonymous):

so P(4) partitions of 5 that end in a 1, and p(4) partitions that do not end in a 1, for a total of 2p(4) partitions all together

OpenStudy (dtan5457):

from your listed partitions of (5),(1+1+1+2),(2+3) (1+2+2)m (1+1+3), (2+1+2), (3+2), (1+4), if we had added the 1 without simplifying out the term we would get the other 8 terms right?

OpenStudy (anonymous):

i am not sure what you are asking what i did was take the 8 partitions of 4 and added a 1 to the last number, to get another 8 partitions of 5 that do not end in 1

OpenStudy (anonymous):

oh i see what you are saying, yes

OpenStudy (dtan5457):

such as (4), add 1 to get (5) if we leave it at (4+1), its all the other missing partitions?

OpenStudy (dtan5457):

oh ok

OpenStudy (anonymous):

add one, get 8 partitions of 5, append a 1 at the end, get another 8, right

OpenStudy (anonymous):

good way to think about it

OpenStudy (dtan5457):

so i basically do get their statement now but where they used induction if you assume that P(n)=2^(n−1) then showing that P(n+1)=2p(n) shows that that p(n+1)=2n is this ever interpretted like a sum formula?

OpenStudy (dtan5457):

but then again a sum formula would not serve much of a purpose i think

OpenStudy (dtan5457):

im not sure if knowing the sum of the powers helps prove anything

OpenStudy (anonymous):

you are thinking too hard maybe if you assume \[P(n)=2^{n-1}\] and prove that \[P(n+1)=2P(n)\] then that automatically shows \[P(n+1)=2^n\]

OpenStudy (anonymous):

ok typo there

OpenStudy (anonymous):

\[P(n+1)=2P(n)=2\times 2^{n-1}=2^n\]

OpenStudy (dtan5457):

oh true true

OpenStudy (anonymous):

\[P(n+1)=2P(n)=2\times \overbrace{2^{n-1}}^{\text{induction here}}=2^n\]

OpenStudy (dtan5457):

but in my class's induction we usually get a sum formula in that we add then sum of maybe p(n+1)+2pn=2p(n+1) something of that sort

OpenStudy (dtan5457):

and we see that its alike on both sides

OpenStudy (anonymous):

induction is induction there are lots of ways to get to what you want, it doesn't have to be a summation formula

OpenStudy (anonymous):

let me clue you in on something, that they do not tell you when they teach induction

OpenStudy (dtan5457):

yeah i think im generally good with this part. my research also consists of wheather partition (order or not) works with non-whole numbers or negative numbers like you can get a specific formula

OpenStudy (dtan5457):

im assuming none are possible but im suppose to know why

OpenStudy (dtan5457):

negatives i just researched and they undefined apparently

OpenStudy (anonymous):

don't ask me as for induction,you are taught with examples that are more or less trivial it is usually some simple algebra to go from the case of n to n + 1 in fact you don't need induction to prove summation formulas (but that is a different story) later on you will see that the hard part of induction is not to do some algebra to get what you want, but to figure out how (or why) you can reduce from the case of n + 1 to the case of n this is trivial in summation formulas, you just omit the last term in the sum

OpenStudy (anonymous):

you see we were sort of stuck with that here you have a partition of n + 1, how do you compare it to a partition of n that was the hard part it gets harder

OpenStudy (dtan5457):

i think your induction explanation was pretty good and i should be ok with that in my paper but is there a general statement of why negative partition can't work ?

OpenStudy (anonymous):

now you are out of my league, i have no idea in fact i didn't even know this until i googled

OpenStudy (dtan5457):

i think i already see why there would be an infinite amount of partitions for every negative number

OpenStudy (anonymous):

i do like the other explanation as well there are n - 1 spaces between n rocks there are \(2^n\) subsets of a set of n-1 spaces, same as partitioning the n rocks

OpenStudy (anonymous):

oops i meant \(2^{n-1}\) must be getting tired good luck with your research

OpenStudy (dtan5457):

this was the majority of my paper so you basically saved my night with your explanation. might actually get decent sleep, thank you again sir

OpenStudy (anonymous):

you are quite welcome it is great to help someone actually engaged in mathematics as apposed to say "find the line..."

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!