Ask your own question, for FREE!
Mathematics 23 Online
OpenStudy (anonymous):

@zzr0ck3r n^2 ≤ n!, for any integer larger than 3. Prove by induction

OpenStudy (anonymous):

OpenStudy (anonymous):

I have a clue already of what to do.

OpenStudy (anonymous):

Basis step, n = 4.

OpenStudy (anonymous):

(16) ≤ 24

OpenStudy (anonymous):

Inductive step is *n+1)^2 ≤ (n+1)!

OpenStudy (anonymous):

(n+1)^2 ≤ (n+1)!

OpenStudy (anonymous):

but then I get confused on how to move from there... I want to solve or arrange the RHS. to (n+1) n!

OpenStudy (zzr0ck3r):

we dont need the 4th line. I started writing before I knew how to do it...

OpenStudy (anonymous):

Could you please explain the last two lines for me , sorry

OpenStudy (anonymous):

mostly the last line really

OpenStudy (zzr0ck3r):

no take 6! this is 6*5*4*3*2*1 = 6*5!

OpenStudy (zzr0ck3r):

make sense?

OpenStudy (anonymous):

oh the factorial equivalent is clean. it is mostly the last part. the conclusion

OpenStudy (zzr0ck3r):

for (n+1)! = (n+1)n!

OpenStudy (zzr0ck3r):

ok

OpenStudy (anonymous):

And (n+1)∗n!≥(n+1)2n≥2∗2n=2n+1 for all n≥4

OpenStudy (zzr0ck3r):

so \((n+1)! = (n+1)n! \) and by assumption \(n^2 \le n!\) so \((n+1)! \ge(n+1)2^n \) right?

OpenStudy (anonymous):

what is the last part

OpenStudy (anonymous):

2n

OpenStudy (zzr0ck3r):

sorry n^2

OpenStudy (zzr0ck3r):

let me write this better

OpenStudy (anonymous):

thanks

OpenStudy (zzr0ck3r):

\(\large n^2 \le n!\) for \(n\ge 4\) Ok we know its true for \(n = 4\) So assume \(n^2 \le n!\) Now we want to show that \((n+1)^2\le(n+1)!\) Well \((n+1)^2=(n+1)(n+1)\) and \((n+1)!=(n+1)n!\). We know by assumption, \(n^2 \le n!\) So \((n+1)!=(n+1)n!\ge(n+1)n^2\ge(n+1)(n+1)=(n+1)^2\)

OpenStudy (zzr0ck3r):

you might want to show, by induction, \(n^2 \ge n+1\) for \(n\ge 2\).

OpenStudy (anonymous):

ok

OpenStudy (zzr0ck3r):

this making more sense?

ganeshie8 (ganeshie8):

yeah a subproof is required

OpenStudy (zzr0ck3r):

if your teacher is nice enough, you may simply use the proof duh!. Some like it, some dont... use at your own discretion

OpenStudy (anonymous):

what they seem to do is derive inequalities

OpenStudy (anonymous):

to a point where you have n^2 - n - 1 >= 0

OpenStudy (zzr0ck3r):

sure, but this is just to get the hang of induction. It is a very powerful tool in all area of mathematics

OpenStudy (anonymous):

and find the zeros and proof they are less than 4. I am just sure how we are supposed to come up with these things in our own

OpenStudy (zzr0ck3r):

so then assume it will be an inductive proof for n >= 4, and some sort of contradiction im sure then is used.

OpenStudy (zzr0ck3r):

just a guess:)

OpenStudy (anonymous):

my class is online.. it has been very hard. I am doing it all on my own.

OpenStudy (anonymous):

all that we get from our teacher is PDFs with notes.. that is it...

OpenStudy (zzr0ck3r):

what class is it?

OpenStudy (anonymous):

Discrete Mathematics 1 . CompSci major

OpenStudy (anonymous):

I am very good at Math ... expect for proofs. I am very nervous I am going to get a B or C

OpenStudy (zzr0ck3r):

just keep doing it.

OpenStudy (zzr0ck3r):

this is where the math starts:)

ganeshie8 (ganeshie8):

you started with n^2 <= n! multiply (n+1) both sides : n^2(n+1) <= n!(n+1) n^2(n+1) <= (n+1)! you will feel stuck at this point i guess

ganeshie8 (ganeshie8):

you need to think of ways to get (n+1)^2 on left hand side

OpenStudy (zzr0ck3r):

With induction, there is about 5 different "tricks" used, you will get used to them with a few more hours of practice. then they will all seem the same, and sort of fun. Just like trig identities.

OpenStudy (zzr0ck3r):

Thats why you saw all the guys rush in here for the induction proofs, because they are fun:)

OpenStudy (anonymous):

Lord Ganesha remove the obstacles in my way to an A!

OpenStudy (zzr0ck3r):

one hint that may come in handy, is that summation notation many times makes induction proofs easy. you have not had one where we could have taken advantage of it, but im sure you will.

OpenStudy (zzr0ck3r):

A! = A*(A-1)! = A(A-1)(a-2)! = .........

OpenStudy (zzr0ck3r):

had to do it.

OpenStudy (anonymous):

it has been so helpful ! I hope I do well

OpenStudy (zzr0ck3r):

just keep at it.....dont go to sleep unless you understand it:)

OpenStudy (anonymous):

I am seeing double lol and there is 2 more. I am not sure I can take it. lol my boyfriend is gonna dump me at this rate lol

OpenStudy (anonymous):

All I do is work for his class.

OpenStudy (zzr0ck3r):

I have not had any fun in 5 years.....get used to it and know that your life will rule when you are done.

OpenStudy (anonymous):

There is this one @zzr0ck3r and @ganeshie8

OpenStudy (anonymous):

Seems simple but I don't get it two well with the subsets.

OpenStudy (zzr0ck3r):

ahh discrete...

OpenStudy (zzr0ck3r):

subsets are just some of the stuff (or all, or none) of the stuff in the set.

OpenStudy (zzr0ck3r):

@ganeshie8 you want this one? I want taco bell. If not ill do it.

OpenStudy (anonymous):

on this proof i think they want to prove one has twice the number of the other ...I have intuition of what is being done , but I cannot support it mathematically

OpenStudy (zzr0ck3r):

no take the set \(\{1,2,3,4\}\) they are saying there are 2^4 = 16 sub sets of this set lets list them all \(\{\emptyset,\{1\},\{2\}, \{3\}, \{4\}, \{1,2\}, \{1,3\}, \{1,4\}, \{2,3\},\{2,4\},\{3,4\}, \{1,2,3\},\\ \{1,3,4\},\{2,3,4\}, \{1,2,3,4\}\}\)

OpenStudy (zzr0ck3r):

sorry that takes allot in latex///

OpenStudy (zzr0ck3r):

I think I am missing one...what is it?

OpenStudy (anonymous):

oh wow! thanks you went out of the way to get teh subsets

OpenStudy (zzr0ck3r):

its missing one, but I cant see it...

OpenStudy (anonymous):

dont worry lol

OpenStudy (zzr0ck3r):

ill show you the proof when I get back, give me 20 minutes....

OpenStudy (anonymous):

lol i may be dead by then

ganeshie8 (ganeshie8):

you want this using induction ?

OpenStudy (anonymous):

yes, please

OpenStudy (anonymous):

I need to be able to understand it well to explain it

ganeshie8 (ganeshie8):

basis step : n = 0

OpenStudy (anonymous):

which is the empty set right?

ganeshie8 (ganeshie8):

\(\large S = \emptyset \implies |S| = 0 = n\) \(\large \implies P(S) = \{\emptyset\} \) \(\large \implies |P(S)| =1 = 2^0 \) establishes the basis

OpenStudy (anonymous):

got it! We are working with the cardinality!

ganeshie8 (ganeshie8):

exactly ! and our proof also has a name : cardinality of power set

OpenStudy (anonymous):

How awesome ! I wish I had met you and zzrock hours ago :(

OpenStudy (anonymous):

I think we are going to prove that 2^(n+1) is double the subsets that 2^n

ganeshie8 (ganeshie8):

thats it !

OpenStudy (anonymous):

because 2^(n+1) = 2*2^n

OpenStudy (anonymous):

I just don't know how to say in the terms the teachers wants lol I can write in in english like that

OpenStudy (anonymous):

I think what happens is that for 2^(n+1) we get an extra elements.... prior to that element being added... we have the exact same sets as 2^n.. like a collection.. or a book previous edition.

OpenStudy (anonymous):

so we happens is that with 2^(n+1), we add a new elements., creates a new edition.. and that element pairs with EVERY single previously existing subset to create a new unique subset in 2^(n+1)

ganeshie8 (ganeshie8):

your logic is perfectly correct. An induction proof has 3 steps : 1) show that the statement is true for `n=1` 2) assume the statement is true for some `n = k` 3) show that the statement will be true for `n=k+1`, whenever it is true for `n=k`. just split your reasoning into 3 paragraphs and put it in above format :)

OpenStudy (anonymous):

That is what I try to do , but I get stuck in the inductive step.

OpenStudy (anonymous):

I am not sure if sentences are ok, or if I always need symbols.

ganeshie8 (ganeshie8):

check proof3 : https://proofwiki.org/wiki/Cardinality_of_Power_Set

OpenStudy (anonymous):

O_O lol I suck at theory

OpenStudy (anonymous):

it feels so strange to me :(

ganeshie8 (ganeshie8):

haha no, that proof is using the exact same steps described by you earlier in induction step...

OpenStudy (anonymous):

but with the weird symbolism I am not too good at interpreting

OpenStudy (anonymous):

btw is your username related to Lord Ganesha?

ganeshie8 (ganeshie8):

Induction hypothesis : assume \(\large |S| = k \implies |P(S)| = 2^k\) and we need to show that \(\large |S| = k+1 \implies |P(S) = 2^{k+1}\)

ganeshie8 (ganeshie8):

S = set P(S) = `power set` of set S

OpenStudy (anonymous):

What is a power set sorry?

ganeshie8 (ganeshie8):

lol yes and your obstacles are removed a few moments ago :P

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!