[ 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: 5 KB, 547x115, day.gif [View same] [iqdb] [saucenao] [google]
4266560 No.4266560 [Reply] [Original]

<div class="math">\overline{\underline{\displaystyle{\bf Putnam/IMO~problem~of~the~day~from}\atop
\fbox{http://www.math.harvard.edu/putnam}}}\atop{\phantom{\fbox{}}\atop{\phantom{\fbox{}}\atop{
\phantom{\fbox{}}\atop{\displaystyle{{\rm Let~} f {\rm ~be~an~infinitely~differentiable~
real-valued~function~defined~on~the~real~numbers.~~If}}\atop{\phantom{\fbox{}}\atop{
\displaystyle{f \left( \frac{1}{n} \right) = \frac{n^2}{n^2 + 1}, \qquad n = 1,2,3,\ldots,}
\atop {\phantom{\fbox{}}\atop {\displaystyle{{\rm compute~the~values~of~the~derivatives~}
f^{(k)}(0), k=1,2,3,\ldots.}}}}}}}}}</div>

>> No.4266569 [DELETED] 

[spoiler]Hey mod, are you still mad?
<div class="math"> \def \d#1{{{#1}\atop{#1}}}\def \e#1{\d{\d{\d{\d{\d{#1}}}}}}\def \f#1{\e{\e{#1}}}\smash{\f{{-------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
-------------------------------------------------------------------------------------}}} </div></spoiler>

>> No.4266584

inb4 someone tries to just take the derivatives of n^2/(n^2+1)

>> No.4266592

f(x) = f(1 / (1/x)) = (1/x^2) / (1 / x^2 + x^2/x^2) = (1/x^2) / ((x^2 + 1) / x^2) = 1 / (x^2 + 1).

The taylor series of this is 1 - x^2 + x^4 - x^6 + ...
So for odd derivatives we'll get 0. And for even, we'll get -n! for n = 2, 6, 10, ... and n! for n = 4, 8, 12 ...

I think I still have to show that either this is the only such function, or that all functions of this type will have the same derivative at 0.

>> No.4266619
File: 46 KB, 524x533, 854.jpg [View same] [iqdb] [saucenao] [google]
4266619

Apply the following inductively to <span class="math">F(x) = f(x) - 1/(x^2+1), F(x) = f'(x) - [1/(x^2+1)]', etc.[/spoiler]

Lemma: Let <span class="math">F(x)[/spoiler] be infinitely differentiable and suppose there is a strictly decreasing sequence <span class="math">x_1 > x_2 > \cdots > 0[/spoiler] with limit zero such that <span class="math">F(x_i) = 0[/spoiler] for all <span class="math">i[/spoiler], and also <span class="math">F(0) = 0[/spoiler]. Then <span class="math">F'(0) = 0[/spoiler] and there exists another strictly decreasing sequence <span class="math">y_1 > y_2 > \cdots > 0[/spoiler] with limit zero such that <span class="math">F'(y_i) = 0[/spoiler].

Proof: The sequence of difference quotients <span class="math">(F(x_i) - F(0))/x_i[/spoiler] is identically zero, and since <span class="math">x_i \rightarrow 0[/spoiler], <span class="math">F'(0) = \lim_{i \rightarrow \infty} (F(x_i) - F(0))/x_i = \lim_{i \rightarrow \infty} 0 = 0[/spoiler] by continuity of <span class="math">F'[/spoiler]. The sequence <span class="math">y_i[/spoiler] exists by Rolle's theorem, choosing a <span class="math">y_i[/spoiler] between each pair of consecutive <span class="math">x_i[/spoiler]'s.

Therefore <span class="math">f^{(n)}(x) - \frac{d^n}{dx^n} 1/(1+x^2)[/spoiler] is zero at <span class="math">x=0[/spoiler] for all <span class="math">n[/spoiler] and the answers are what >>4266592 said.


Now pony tiem

>> No.4266630 [DELETED] 

[spoiler]<div class="math"> \def \d#1{{{#1}\atop{#1}}}\def \e#1{\d{\d{\d{\d{\d{#1}}}}}}\def \f#1{\e{\e{#1}}}\smash{\f{{WHY HELLO , /SCI/}}} </div></spoiler>

>> No.4266631

>>4266619
Very niec.

>> No.4266828 [DELETED] 

[spoiler]<div class="math"> \def \d#1{{{#1}\atop{#1}}}\def \e#1{\d{\d{\d{\d{\d{#1}}}}}}\def \f#1{\e{\e{#1}}}\smash{\f{{█████████████████████████

█████████████████████████████████
██████████████████████████}}} </div></spoiler>

>> No.4266870

>>4266619
>Therefore f(n)(x)−dndxn1(1+x2) is zero at x=0 for all n

It looks like you went to a lot of effort to prove something completely trivial.

>> No.4266990
File: 6 KB, 220x185, Rimshot.png [View same] [iqdb] [saucenao] [google]
4266990

>>4266870

>> No.4267113

>>4266560
Fuck, thanks for posting it in LaTeX.

It's impossible to read that image when you're using a dark theme.

>> No.4267350

>>4267113
protip: press ctrl+a

>> No.4267388 [DELETED] 
File: 127 KB, 401x354, 1310039258589.png [View same] [iqdb] [saucenao] [google]
4267388

[spoiler]>>4267350
thats the retard way of circumventing sigouneys faggotry, dumass. it gives all pics a retarded blue tinge</spoiler>

>> No.4267473

>>4267388
thanks for offering an alternative, instead of just insulting people.

>> No.4267512 [DELETED] 
File: 11 KB, 406x352, 56783393.jpg [View same] [iqdb] [saucenao] [google]
4267512

[spoiler]>>4267473
>insulting people
you didnt really get offended by 'dumass' did you? you fucking overly sensitive weak-assed pussy!

i DO have an alternative actually, one i could give you in less than 5 seconds, but seeing as you're a fucking whiny bitch i think i'll leave you to rot.

eat shit, hun.</spoiler>

>> No.4267558

bump so I dont see the face of the whore from EK's avatar in the front page

>> No.4267567 [DELETED] 
File: 140 KB, 370x351, 434839842226.png [View same] [iqdb] [saucenao] [google]
4267567

[spoiler]>>4267558</spoiler>

>> No.4267572
File: 13 KB, 294x331, 1318788553592.jpg [View same] [iqdb] [saucenao] [google]
4267572

>>4267567

You think this is a motherfucking game?

>> No.4267581 [DELETED] 
File: 14 KB, 283x424, 1302695972098.jpg [View same] [iqdb] [saucenao] [google]
4267581

[spoiler]>>4267572</spoiler>

>> No.4267810
File: 17 KB, 250x250, constanza.jpg [View same] [iqdb] [saucenao] [google]
4267810

>>4267473
http://userscripts.org/scripts/show/123446

>> No.4267913
File: 60 KB, 950x534, 961.jpg [View same] [iqdb] [saucenao] [google]
4267913

>>4266870
>It looks like you went to a lot of effort to prove something completely trivial.

It looks like you don't even understand the question.

>> No.4268074

Poasting so I don't have to see this pony every time I refresh the page.

>> No.4268170
File: 227 KB, 829x892, 875.jpg [View same] [iqdb] [saucenao] [google]
4268170

>>4268074
u mad?

>> No.4268212

>>4266870
>prove something completely trivial.
When you took analysis, is that what you wrote on your exams?

I can imagine:

>implying you don't know my name
>implying you need to know the date

>implying i will do your homework
>implying this isn't trivial
>implying a 5th grader couldn't do this proof
>implying this isn't babby calculus
>this involves harmonic conjugate functions? laughing_undergrads.tiff
>implying i'd waste my time

alone with a bunch of poorly drawn sketched images of george costanza in the margins.

>> No.4268308

>>4267350
No, I didn't mean that.

Even without this blackout thing, it's really hard to read those with a dark theme.

There's a difference between the blackout and a dark theme. I really appreciate what mods did.

>> No.4268316

PROTIP to >>4268308 : Just open the .gifs in a new tab.

PROTIP to OP: Resave the pictures as .jpgs before posting them so they don't show up as white-on-black in the thumbnail.

>> No.4268605
File: 34 KB, 403x422, 719.jpg [View same] [iqdb] [saucenao] [google]
4268605

poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni

>> No.4268632
File: 13 KB, 387x219, 23566213112.jpg [View same] [iqdb] [saucenao] [google]
4268632

>> No.4268656
File: 48 KB, 350x600, 717.jpg [View same] [iqdb] [saucenao] [google]
4268656

poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni poni

>> No.4268898

Is it weird that ponymath gives me a semi?

>> No.4268964
File: 69 KB, 631x564, 235.jpg [View same] [iqdb] [saucenao] [google]
4268964

>>4268898
pics or it didn't happen

>> No.4269123

>>4266870
And that's how you prove something.

>> No.4269140

It was posted a while back. But does anyone have the archive of the problems of this website?

>> No.4269352

>>4266619
0 points.

You never proved that such a decreasing sequence exists. Also, the function is n^2/(n^2 + 1), not 1/(n^2+1)

>> No.4269402
File: 47 KB, 1300x1300, costanza hi-res.jpg [View same] [iqdb] [saucenao] [google]
4269402

>>4269352
The initial sequence is 1/2, 1/3, 1/4, ... and f(x) = (1/x)^2/(1+(1/x)^2) = 1/(x^2+1)

>> No.4269445
File: 28 KB, 1021x624, hurrthefuckingdurr.png [View same] [iqdb] [saucenao] [google]
4269445

>>4268316
If you open the gifs in a new tab and you're using some dark themes, it will still open with a dark background.

For fuck's sake, stop pretending you understand my problem

>> No.4269534
File: 30 KB, 601x695, 1318223687725.jpg [View same] [iqdb] [saucenao] [google]
4269534

>>4268964
>>4268656
>>4268632
>>4268605
>>4268170

>> No.4269725
File: 15 KB, 260x293, w3e456787654.jpg [View same] [iqdb] [saucenao] [google]
4269725

>>4268632

>> No.4269727

>>4269445
Make a greasemonkey or userscript that handles clicks on .gif images on 4chan and instead of opening them in a new tab, opens a local tab like http://localhost/scigif/1326874867078.gif.html (which does not exist). Then make another greasemonkey that handles pages http://localhost/scigif/*.gif.html, and make it something like (modulo a mistake or two that I've likely made in something that I haven't tested):
var gif_location = [some regexp to get the URL from the window.location];
document.body.innerHTML = "<div style='bgcolor=white'><img url='" + gif_location + "' /></div>";

That'll open your gifs on a white background. I could make you the scripts if you can't do it but would really like to be able to read stupidly coded gifs.

>> No.4269792

>>4269727
> confirmed for full retard

>> No.4269840

>>4269792
Well that would work. Maybe it's not optimal, maybe it has a few annoying problems like you can't use ctrl+s to save the picture in its new tab because it would try saving the html instead, so you have to right-click+save it. But that would work anyway.

If you have a far better solution that has the same "low risk" has unprivileged user scripts, that is as simple to code, and that also allows directly viewing "black on transparent" gifs on a dark background theme, please suggest it. If not, don't pretend that you can judge my solution.

>> No.4269844

>>4269840
How about.....click the image. It appears as black text on white background in a new tab.

>> No.4269850

>>4269844
Have you read >>4269445 ?
If you have a dark theme, at least in some browsers, it looks like opening the image in a new tab opens in on the background color of the theme, which is NOT white.

>> No.4269857

So make a custom style sheet in the browser so images appear on white backgrounds.

>> No.4269886

>>4269857
I don't know if you can make a custom stylesheet for images that are opened in a new tab, therefore not in an html document, therefore not subject to CSS. Or well, maybe that's possible but I don't know how to do it.

>> No.4269902

Oh. Well, just change the background to white then.

>> No.4270133
File: 670 KB, 2479x3229, CCF01192012_0000.jpg [View same] [iqdb] [saucenao] [google]
4270133

That awkward moment when your knowledge of math doesn't extend outside of Pre-Calculus, and therefore can't use theorems and shit to prove this shit. Feels bad man.

>> No.4270245 [DELETED] 

>>4270133

>theorems and shit to prove this shit

Get the fuck out of here. This is the wrong place for your flippant way of acting like total nigger.

>> No.4270253

>>4270245
>saging a sticky

>> No.4270256

>>4270245
Neither is this the place for racism. Ergo GTFO applies to you too.

>> No.4270299 [DELETED] 
File: 11 KB, 251x226, laughinggirls.jpg [View same] [iqdb] [saucenao] [google]
4270299

>>4270256
>Thinking Nigger on 4chan is racism
You must be new here.

>> No.4270316

>>4270133

I feel kinda bad for your having done all that work when it's all wrong...

Now I know how only really heartless people can be teachers and not go insane...

The first post explicitly told you you can't do it that way.

YUDOTHIS??????????

>> No.4270336

So, 1/n - 1/(n+1) goes to zero for large n, so taking n to be an integer (large) the derivative at zero looks like

lim n->infinity
(f(1/n) - f(1/(n+1)))/((1/n)-(1/(n+1)))

which is defined by the problem

I'm too lazy to plug in the numbers, but I think it's zero. I don't know where to go from there though

>> No.4271267

>>4266592
What are you doing? The function isn't defined that way for x not in natural numbers.

>>4266619
Your proof is erroneous. You completely disregarded the denominator which tends to zero as i goes to infinity. This results in an indeterminate form. I'm not even sure how you are "using the continuity of F' ".

>> No.4271377

>>4271267

Doesn't matter that the denominator goes to zero because the numerator IS zero. So you have 0/x_i = 0. The limit of zero is zero.

What you are thinking of is when both numerator and denominator are non-zero but approach zero. Then you have an indeterminate form.

>> No.4271412

>>4266560
$\frac{n}{x}$

>> No.4271452 [DELETED] 

>>4271267
That's a function that satisfies the requirements.
The post below it shows that any function f has the same derivative at 0.

It's not an indeterminate form. lim x->0 of 0/x = 0. He's using continuity to show that the limit exists, so that the derivative must be equal to the lim i -> inf of f(xi) - f(0) / (xi) = 0

>> No.4271823

>>4266592

I believe this is the correct answer, but for the wrong reasons (the author even admits it's not enough). You should use this answer to conjecture a formula and use the limit definition of the derivative, which becomes:

f'(0) = lim_{n->\infty} n * ( f(1/n) - f(0) )

You then continue inductively for higher derivatives. It's much easier if you know the general form of the nth derivative (it looks like a binomial coefficient).

>> No.4271888
File: 216 KB, 448x499, 1322429487859.png [View same] [iqdb] [saucenao] [google]
4271888

>>4271267
Oops, should be continuity of the difference quotient, not F'. If h is cts then <span class="math">\lim_{i\rightarrow \infty} h(x_i) = \lim_{x\rightarrow 0} h(x)[/spoiler] if <span class="math">\lim x_i = 0[/spoiler]

I FAIL

>> No.4272129

I can't even get the Taylor series right.

>> No.4272132
File: 4 KB, 126x101, fail (5).jpg [View same] [iqdb] [saucenao] [google]
4272132

>>4272129

>> No.4272588

op is a fag

>> No.4272894

>>4266619
this is why this boards makes me feel dumb every fucking time
i have no god damn clue what the hell you are talking about

>> No.4272974

>>4272894
Yeah because not studying maths at university level makes you dumb? It's actually not hard to understand what ponymath writes (harder to come up with it, which is the point of putnam), but obviously that requires the math knowledge. And lack of knowledge isn't dumbness. Thinking that is is, however, is a bit dumb.

>> No.4272979

>>4272894
*hugs*

Don't worry about it. The math is surprisingly simple. It's only the symbols that might confuse you.
The work like

a = something really easy like a meter
a+b+c+d+e = something a bit more complex, but once you understand, it becomes easy
and we can call that "f"
and f is basically the equation above, and once you understand the equation above, "f" becomes easy to use in other equations like
f+g+h+i= ?
And each of those letters is also something more complex, but with study, they become easily understood. I mean, you can't make a really good cake from scratch, can you? But a professional chef can because he practices and understands the ingredients.
Same with this. You are not dumb, you just need to study and understand.

For some basic stuff, I recommend "Understanding Physics" by Issac Asimov. It's good for beginners, and can lead you on the path to understanding the more complex stuff.
Just work hard and STUDY.

>> No.4272991

>>4272979
You sir, are a bro.

>> No.4272998

>>4272991
Really?
I made this thread >>4272960
But the people there seem to dislike me.
I suppose people truly are shallow and dislike any sort of divergence from the norm.

>> No.4273202

why is this problem still up? it's time for a new problem.

>> No.4273788

Wut are limit of polynomial interpolation of the points (1, f(1)), (2, f(2)), (3, f(3), ..., (n, f(n)) as n goes to infinity? I can has the derivative of thems?

>> No.4273803

>>4273788
oops i ment (1, f(1)), (1/2, f(1/2)), (1/3, f(1/3)), ... (1/m, f(1/m)) as m goes to infinity

>> No.4273805

try this...
instead of E=mc2
put E=t

>> No.4274044

Okay, stand back bitches, math is about to happen.

Maybe now somebody can finally update this old stickey.

f(1/n) = (1 + (1/n)^2)^-1
Taylor expand about 1/n = 0 (use the binomial theorem):

f(1/n) = (-1)^i * (1/n)^2i

f^n(0) is therefore 0 is n is odd and (-1)^(n/2) * (1/n)^n if n is even

>> No.4274156

>>4272979
im really fucking late to answer, but anyway
thanks for cheering me up
sometimes i seem to forget that 4cha­n is not compleatly made of assholes (like /b/)

>> No.4274504

>>4269840
Well that's pretty good, but I'd rather leave my 4chan theme dark.

Still, thanks a lot.


.... mods, why is this thread still alive? It's been like three days, did Putnam website suddenly die?