[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math


View post   

File: 139 KB, 1063x556, lGy1G.png [View same] [iqdb] [saucenao] [google]
10760791 No.10760791 [Reply] [Original]

How did he prove this? I don't understand his steps.

>> No.10760804

>>10760791
Which step? Also, use /sqt/ next time

>> No.10760815

>>10760804
2^(n-1) +2^(n-1)

>> No.10760819

>>10760815
2^(n - 2) < 2^(n - 1)
Add 2^(n - 1) to both sides

>> No.10760834

>>10760815
come on man, you really have to be more specific.
do you understand what the inductive step is? we assume that the claim is true for n-1 and n-2, i.e. [math]F(n-2) < 2^(n-2)[/math] and [math]F(n-1) < 2^(n-1)[/math].
Adding these together, [math]F(n-2) + F(n-1) < 2^(n-2) + 2^(n-1)[/math].
But [math]F(n) = F(n-2) + F(n-1)[/math].
On the other hand, [math]2^(n-2) < 2^(n-1)[/math], so [math]F(n) < 2^(n-2) + 2^(n-1) < 2^(n-1) + 2^(n-1) = 2*2^(n-1) = 2^n[/math].
This completes the inductive step.

>> No.10760839

>>10760834
aw fuck, i forgot my curly braces. jesus christ.
whatever, try to figure out the exponents.

>> No.10760971

>proof by induction

Stopped reading there

>> No.10761034

jesus, how much of a brainlet do you have to be to not understand the assertion 2^(n-2) + 2^(n-1) < 2^(n-1) + 2^(n-1) = 2^n

>>10760834
you can preview your tex by click the button on the top left or right of reply interface

>> No.10761102

>>10760815
a+a=2a

>> No.10761512

>>10760791
it's really easy OP.

try substituting 3 for n:

[math]
F(3) = F(n-2) + F(n - 1)
F(3) = F(1) + F(2)
[\math]

now we already know that

[math]
F(1) < 2^1
F(2) < 2^2
[\math]

so

[math]
F(1) + F(2) < 2^1 + 2^2 < 2^3
[\math]

so therefore

[math]
F(3) < 2^3
[\math]

this can be extended for all n by repeating the process for n = 4,5,6,7 ... etc since we always know that the conditions for any n hold for n-2 and n-1

>> No.10761519

>>10761512
fuck I fucked up my formatting. I hope that makes sense anyways

>> No.10761537

>>10761034
I know I can preview my tex you fucking moron, I DIDNT FUCKING THINK I WOULD BE GETTING IT WRONG NOW DID I??

>> No.10761655

>>10761537
but you got it wrong anyways didnt you?
retard

>> No.10761673

Holy shit, is your brain replaced with used donkey shit toilet paper? You deserve no response, brainlet bag of your grandma's shit, faggot hairless paralyzed cave monkey. They say thinking is human's great power, but your neurological network resembles that of a sewage system. Your entire humanity up to this point can be reproduced as an image of a long shit leaving a cow's asshole midway. Never post here again bitch, head over to /pol where you're accepted.

>> No.10761695

>>10760815
it only works with 2
look at it as 2(2^(n-1)) instead of 2^(n-1)+2^(n-1)
since x(x^n)=x^(n+1) you can turn 2(2^(n-1)) into 2^n

>> No.10761756

>>10760791
CS major detected

>> No.10761757

>>10761673
this, and not ironically

>> No.10761774

>>10760971
What's wrong with induction, if it gives the correct result?

>> No.10761776

>>10761673
>>10761757
/pol/ is very high IQ though

>> No.10761788

>>10760971
Why don't you prove why induction doesn't work fag?

>>10760971
>if it gives the correct result
Lmao faggot. The reasoning must be correct, not just the answer.

>> No.10761808

>>10761537
Tbh I think it’s a valid tip. I didn’t know you could preview Tex before reading their post.

>> No.10761809

>>10761776
no, no it is not. it's one of the stupidest places i've ever seen, anywhere.

>> No.10761812
File: 581 KB, 1436x714, 89.jpg [View same] [iqdb] [saucenao] [google]
10761812

>>10761809
this is you

>> No.10761832

>>10761812
those people are probably more intelligent than /pol/ simply because they are more likely to admit they are wrong.
For a place that constantly argues the opposing side appeals to emotion to form their arguments, they sure do "feel" something is right with unscientific conviction.

>> No.10761842
File: 251 KB, 550x565, polls.png [View same] [iqdb] [saucenao] [google]
10761842

>>10761832
All I'm seeing in this post is cope

>> No.10761964

>>10761842
im not even american. watching your country devolve into this shitshow requires no coping, trust me, it's hilarious

>> No.10762010

I remember doing this bullshit for CS
you know how often I used any of this shit while in a job: 0
That's right, zero. CS is bullshit. They just care if they can pay you less since you're wet behind the ears then throw you away once you're old if you don't move into managment
fuck programming and other "coders" everyone who works that job is a piece of fat shit

>> No.10762028

>>10762010
here's a perfect example of dealing with this horseshit:

I haven't touched python in 10 fuckin years but I need an older module/script/whatevergayshituwantocallit
I go to install the older script

>RuntimeError: Python version >= 3.5 required.

but I have python 3.....

>brew install python3
>Warning: python 3.7.3 is already installed and up-to-date
>To reinstall 3.7.3, run `brew reinstall python`


now I can waste my time looking around to find out why, without getting started on what I want to do.
you know why? because some faggot can't write FATLAB bs so I want to turn it into python so it's hopefully somewhat more readable instead of single character variable names everywhere

now someone will pipe up and laugh and say "OMG WHY DIDNT U JUST KNOW ABOUT BLERF DE BLARF FORT TYPE THAT IN GOD UR SO DUMB!!!"

that's your fat cowerker who hasn't taken a shower in half a week that you have to sit next to listening to him typewritter away on some manual keyboard becuase it's what all the cool kids are using

what a waste of 10+ fucking years of my life the money was not worht it
BLARRRRRRRRRRRRR

all the jews in sf can die in a fire

>> No.10762135
File: 124 KB, 750x740, 1561613232296.jpg [View same] [iqdb] [saucenao] [google]
10762135

>>10761756
.....

>> No.10762192
File: 284 KB, 680x1075, 1561612598844.gif [View same] [iqdb] [saucenao] [google]
10762192

>>10761695
That's not the issue I just dont understand how he got to 2^(n-1) + 2^(n-1) from 2^(n-1) +2^(n-2)

>> No.10763466

>>10762192
Say b < a. Then a + b < a + a. You're fucking stupid, and no matter how much you browse /pol/, that's not going to change.

>> No.10763525
File: 202 KB, 1200x799, pol irl.jpg [View same] [iqdb] [saucenao] [google]
10763525

>>10761812

>> No.10763621

>>10762192
plug in small n's. That should help you out.

>> No.10763640

>>10763466
Dilate. This whole site is /pol/ territory.

>> No.10764476

I still dont get it... can someone write out the proof if its soo fucking easy.

>> No.10764482

>>10762192
Because n-1 is larger than n-2.

>> No.10764549
File: 84 KB, 233x533, 1561412721799.gif [View same] [iqdb] [saucenao] [google]
10764549

>>10764476

>> No.10765030
File: 174 KB, 1012x537, Untitled.png [View same] [iqdb] [saucenao] [google]
10765030

>>10764476
here you go

>> No.10765031

>>10761812
high iq counter

>> No.10765033
File: 479 KB, 1125x909, FEB11555-45B7-4CCA-BCBD-0AEDCC687AAE.jpg [View same] [iqdb] [saucenao] [google]
10765033

>>10761812

>> No.10765034

>>10763525
they look so determined. they are probably not afraid to put countless hours into posting racial-iq and anti-climate-alarmist threads on /sci/.

>> No.10765067

>>10761812
This post just proved his point. Being an automatically defensive and anti-sjw when confronted is exactly what the average sjw does when presented with a new idea

>> No.10765070

>>10763525
The white master race kek

>> No.10765542
File: 71 KB, 499x440, 1561224631840.jpg [View same] [iqdb] [saucenao] [google]
10765542

>>10765030
Mr High IQ over here

>> No.10765575

>>10762192
You shouldn't worry too much about how he "got" it.
You should worry about whether it's true or not.

It's true that:
[math] 2^{n-2} < 2^{n-1} [/math]

Therefore it's true that:
[math] 2^{n-2} + 2^{n-1} < 2^{n-1} + 2^{n-1} [/math]

And [math] 2^{n-1} + 2^{n-1} [/math] can be rewritten as [math] 2^n [/math], because:
[math] 2^{n-1} + 2^{n-1} = 2 \cdot 2^{n-1} = 2^n [/math]

Tell me which part you don't understand.

>> No.10765760

>>10760791

The idea behind this proof is that we use the fact that if we have a sum [math]A+B[/math], we can say that [math]A+B \leq 2M[/math] where [math]M=max(A,B)[/math].

So, we construct another recurrence that we know is larger than the Fibonacci numbers at each step by replacing each step with this inequality. It happens that this recurrence is [math]A(n) = 2^n[/math]

>> No.10766438

>>10765760
Stop trolling

>> No.10767358

>>10765575
I dont understand how the 2^(n-1) happen s

>> No.10768292

>>10767358
jesus fuck. Are you even making an effort?

>> No.10769260

>>10760791
haha the proposition number is 4.20 ha ha!

>> No.10770896
File: 3 KB, 108x125, 1561977939015s.jpg [View same] [iqdb] [saucenao] [google]
10770896

>>10769260
Grow up

>> No.10771557

>>10761512
Not OP but thanks, I'm an ESL so understanding math in English is kinda hard soemtimes

>> No.10771561

>>10770896
Holy shit that image is tiny

>> No.10771696

>>10760791
I have a quick and dirty "proof" that would make an engineer blush.
F(n) = F(n-1) + F(n-2)
Subtract F(n-2) and divide by 2.
(F(n) - F(n-2))/2= F(n-1)/2
Write the difference equation as a differential equation.
F'(x) = F(x)/2
F(x) = e^(x/2) + C
F(0) = 1 implies C=0
1/2 < ln(2) implies F(x) = e^(x/2) < 2^x.

>> No.10771735

>>10767358
[eqn]2^{n-1}+2^{n-1}=1\dot2^{n-1}+1\dot2^{n-1}[/eqn]

Factor out the ones Anon and see what happens :) I often forget this stuff too.

>> No.10771745

>>10771735
Sorry this, [eqn]1 \cdot 2^{n-1} + 1 \cdot 2^{n-1} [/eqn]

Now factor out the ones

>> No.10771751

>>10771745
Jesus sorry I just woke up lol factor out 2^(n-1) God damn it