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

Putnam/Olympiad problem of the day from
http://www.math.harvard.edu/putnam/

Let p(x) be a nonzero polynomial of degree less than 1992 having no nonconstant factor in common with <span class="math">x^3 - x[/spoiler]. Let
<div class="math">{d^{1992} \over dx^{1992}} \left({p(x) \over x^3 - x}\right) = {f(x) \over g(x)}
</div> for polynomials f(x) and g(x). Find the smallest possible degree of f(x).

>> No.4292533

this one's easy

I'm not going to say it, but I guess you could check them

>>4292533

>> No.4292550

3984

>> No.4292672

What on earth does the first d/dx notation even mean? Oh infinitesimal to a power, u so crazy.

>> No.4292681

>>4292533
Totally. I figured it out in less than a minute.

I'm not going to post the answer, though, because I want other people to do it.

>> No.4292684
File: 71 KB, 500x375, 13644446.jpg [View same] [iqdb] [saucenao] [google]
4292684

>> No.4292700

Was this A1 or B1?

I've got it, but I wouldn't say it was unusually easy for a 1st problem.

I would post solution, but I'm guessing that's bad etiquette. How long do you normally wait? (first day here.)

>> No.4292703
File: 5 KB, 208x156, 1309211852330.jpg [View same] [iqdb] [saucenao] [google]
4292703

>>4292684
Fucking redditors. Please just leave.
>mfw that fucking reaction image has been used thousands of times and still no one has noticed the spot between the arms that isn't filled in with the right color

>> No.4292718

i don't frequent /sci/ too much, but i've been coming back more and more lately. what level of comprehension of mathematics is required for these problems? high school math faggot here. teach me your ways, /sci/.

>>4292703
>>mfw that fucking reaction image has been used thousands of times and still no one has noticed the spot between the arms that isn't filled in with the right color
damn. never noticed that.

>> No.4292726

>>4292700
>Was this A1 or B1?
B4, and one of the harder questions on the test

>I'm guessing that's bad etiquette.
The usual etiquette is to rip the question for being too easy, implying heavily that you can solve it, post no actual solution, and then wait until one of the handful of actual smart people here solve it so you can claim that that's the answer you had in mind all along.

>> No.4292751
File: 138 KB, 460x346, 1324331717682.jpg [View same] [iqdb] [saucenao] [google]
4292751

Ohhhhh shiiiiiiiiiit! Postan in a sticky!

(I am in precalculus and what is this)

>> No.4292773
File: 72 KB, 500x375, 13645068.jpg [View same] [iqdb] [saucenao] [google]
4292773

>>4292703

>> No.4292824

I'm on the 12th derivative of that fraction. This quotient and product rule business is a mess but lets see how it goes. I'll keep you guys posted

>> No.4292857

>>4292824
lol

>>4292726
I see. OK, I'm writing up a soln right now...

>> No.4292876

Let q(x) = x^3 - x.
Then
p(x) = a(x)q(x) + r(x)
for some r(x) of deg ≤ 2.

A partial fraction decomposition yields

p(x) / q(x) = a(x) + A/x + B/(x-1) + C/(x+1)

[here we used that r(x) cannot have roots in common with q(x), lest q(x) and p(x) share roots.]

Let n = 1992.

D^n (p/q) = 0 + n!(-1)^n [ A/x^(n+1) + B/(x-1)^(n+1) + C/(x+1)^(n+1) ].

Let
a1(x) = [(x+1)(x-1)]^(n+1),
a2(x) = [x(x-1)]^(n+1),
a3(x) = [x(x+1)]^(n+1).

Then
D^n (p/q) = n!(-1)^n [ A a1(x) + B a2(x) + C a3(x) ] / g(x),
where g(x) = (x^3 - x)^(n+1).

Since the g.c.d. of these three polynomials is 1, there exist constants A, B and C such that

A a1(x) + B a2(x) + C a3(x) = 1.

Using these particular A,B and C, we may take

p(x) = A(x-1)(x+1) + Bx(x+1) + Cx(x-1),

and we have

D^n (p/q) = n!(-1)^n /g(x).

So the min degree possible is zero.
[I wrote this fast and didn't double check it -- expect errors!]

>> No.4292892

>>4292876
>Since the g.c.d. of these three polynomials is 1, there exist constants A, B and C such that...

Nope. Polynomials, yes, but not constants.

>> No.4292908

>>4292892
Dammit, you're right. I can't believe I did that.

I was just looking over it and something didn't seem right...
OK, I'll try to salvage.

>> No.4292943

>>4292824
UPDATE PLEASE

>> No.4292979
File: 23 KB, 288x499, Kornheiser_Why.jpg [View same] [iqdb] [saucenao] [google]
4292979

>>4292824

>> No.4293120

>>4292908
OK, I've corrected my above solution. [But again, I did it quickly and didn't double check.] Here goes:
Answer: 3892.
Let q(x) = x^3 - x.
Then
p(x) = a(x)q(x) + r(x)
for some r(x) of deg ≤ 2.

A partial fraction decomposition yields

p(x) / q(x) = a(x) + A/x + B/(x-1) + C/(x+1)

for some constants A, B and C, none of which is zero. [Here we used that r(x) cannot have roots in common with q(x), lest q(x) and p(x) share roots.]

Let n = 1992.

D^n (p/q) = 0 + n!(-1)^n [ A/x^(n+1) + B/(x-1)^(n+1) + C/(x+1)^(n+1) ].

let a1(x) = [(x+1)(x-1)]^(n+1), a2(x) = [x(x+1)]^(n+1), a3(x) = [x(x-1)]^(n+1).

Then
D^n (p/q) = n!(-1)^n [ A a1(x) + B a2(x) + C a3(x) ] / g(x),
where g(x) = (x^3 - x)^(n+1).

Note that the numerator and denominator share no factors if none if A, B and C are all nonzero.

Using the binomial theorem, we get:
A a1(x) + B a2(x) + C a3(x)
= (A+B+C) x^(2n+2)
+ (n+1)(B-C) x^(2n+1)
+ [(n+1)A + Comb(n+1,2)(B+C)] x^(2n)
+ Comb(n+1,3)(B - C) x^(2n-1)
+ [Comb(n+1,2)A + Comb(n+1,4)(B+C)] x^(2n-2)
+ ...

The system obtained by setting the first three coefficients to zero,
A + B + C = 0
B - C = 0
A + (n/2)B + (n/2)C = 0,

has a unique solution (determinant ≠ 0). For this solution, A, B and C are all nonzero, and
[Comb(n+1,2)A + Comb(n+1,4)(B+C)] ≠ 0.

Thus the min possible degree of f(x) is 2n-2 = 2*1992 - 2 = 3982. This is achieved if we take

p(x) = A(x-1)(x+1) + Bx(x+1) + Cx(x-1).

>> No.4293126

>>4293120
>Note that the numerator and denominator share no factors if none if A, B and C are all nonzero.
Ignore the "if none".
And replace "factors" with "nonconstant factors".

>> No.4293133

>>4293120
>has a unique solution (determinant ≠ 0)
yes
>For this solution, A, B and C are all nonzero
no. The unique solution is A=B=C=0

>> No.4293134

>>4293120
Assuming my solution is correct, I'd say B4 sounds about right. I'm guessing
>>4292533
>>4292681
>>4292684
were jokes. Hilarious.

>> No.4293135

>>4293133
Fuck! another embarrassing error!

>> No.4293144

>>4293133
Then it becomes immediately clear that the min degree is 2 greater than what I said: 3984.

Just set the rhs of the last equation of that system,
A + (n/2)B + (n/2)C = 0,
to be nonzero.
*Then* the unique solution to the system has all of A, B and C nonzero.

>> No.4293148

>>4292550
Doh. I was far from the first....

>> No.4293150
File: 32 KB, 160x120, Applause.gif [View same] [iqdb] [saucenao] [google]
4293150

>>4293144
winrar winrar chicken dinrar

>>4293148
>implying that guy didn't just look it up

>> No.4293158

>>4293150
>implying that guy didn't just look it up
Hmm. I guess I shouldn't be surprised...but I just don't get *why* someone would do that on an anonymous forum.

>> No.4293173

>>4293158
Though I guess it's for the same reason people use cheat engines to win high scores on flash games. Whatever the fuck that reason is.