 |
|
|
|
 |
Noisician
Harsh electronic purity

Registered: Aug 2001
Location:
|
|
|
| quote: | Originally posted by Flyboy217
Are you familiar with the Gosper-Zeilberger algorithm for finding closed forms for hypergeometrics, for example? |
yes, i heard about it.
| quote: | Originally posted by Flyboy217
I'm curious, are you a math undergraduate? |
yes.and you are a graduate student?
| quote: | Originally posted by Flyboy217
Oh and so that I have something to contribute, too, I'd like to share a problem or two.
|
all right, i will study them in depth when i have more time. at the moment i *think* i know how to do two of them.
| quote: |
Prove that there are two distinct permutations b and c, such that n! is a divisor of S(b) - S(c) |
ok. if s(b)-s(c) weren't a multiple of n!, the remainders of s(a), s(b), etc. would form a complete residue system modulo m! because otherwise we would have
s(d) mod n! = s(e) mod n! ⇔ s(d)-s(e)≡0(mod n!) for some particular permutations d and e.
so assume n! does not divide s(b)-s(c) for any two distinct permutations. then since there are n! of such permutations in total, we have
∑i=1n!s(pi) ≡ 0+1+2+3+...+n!-1 (mod n!) ≡ n!(n!-1)/2 (mod n!)
on the other hand, there are (n-1)! permutations in which the 1st term in a equals 1, (n-1)! permutations in which the same term equals 2... (n-1)! permutations in which it equals n. so k1 is multiplied by each of them (n-1)! times. hence its cumulative weight equals
(n-1)!(1+2+3+...+n) = (n-1)!(n+1)n/2 = (n+1)!/2
the above applies to the rest of k's as well. so we have
∑i=1n!s(pi) = (n+1)!/2(k1+...+kn)
hence,
(n+1)!/2(k1+...+kn) ≡ n!(n!-1)/2 (mod n!)
but (n+1)!/2 = n!(n+1)/2, which yields no remainder when divided by n! because n+1 is even.
at the same time, n!-1 is odd and hence is not divisible by 2.
a contradiction.
| quote: |
Show that there exist two disjoint subsets of S whose sums are equal. |
we have |P(A)|=2|A|
in this case, |P(A)|=210=1024
since the greatest possible sum is 99+...+90=945, by the pigeonhole principle there must be at least 2 subsets with the same sum. call them B and C. then B-C and C-B are *disjoint* subsets with the same sum.
___________________
Last edited by Noisician on Jun-17-2004 at 16:40
|
|
Jun-17-2004 16:27
|
|
|
 |
 |
Flyboy217
Senior tranceaddict

Registered: Aug 2003
Location: In DEEP SPACE... Space... space... sp...
|
|
|
| quote: | Originally posted by Noisician
actually, i spent about 45/50 minutes on this board figuring out/writing the solution. so i wouldn't say it was some kind of sudden irradiation. i just think 1b and especially 1c are going to take much longer than 1 hour to get them done.
|
Whew, I feel a lot better . Still, impressive... I haven't found another TA who can solve problems at that level. For someone experienced with the pigeonhole principle, 1a is fairly trivial. 1b still took me (and friends) several hours. It's slightly painful, but still produces some nice ideas. Props if you solve 1c (since it's of course unsolved).
| quote: |
no, not international. i did participate in a number of national olympiads though. |
Did pretty well I imagine?
Let's step up the heat 
| quote: |
Given n > 2 points in the plane, no three collinear, show that some line is incident on exactly two points.
|
| quote: |
There is an nxn grid of cells. The state of each cell is always either "on" or "off." The cells evolve at discrete time intervals, by the following rules.
1) If at time t, a cell is on, then it will also be on at t+1.
2) If at time t, a cell is off, and has at least 2 adjacent neighbors (that is, cells that share an edge, so not diagonally), it turns on at time t+1.
Show that, if at some time t, all n2 cells are on, then at no point in the past were fewer than n cells on.
|

|
|
Jun-17-2004 21:14
|
|
|
 |
 |
|
 |
 |
Flyboy217
Senior tranceaddict

Registered: Aug 2003
Location: In DEEP SPACE... Space... space... sp...
|
|
|
| quote: | Originally posted by Noisician
for any particular but arbitrary n > 2, let P be the set of n given points and L the set of all lines incident on two or more of them. since not all the points are on any one such line, there exist a line and a point not on this line for which the distance between them is minimal. call them l and A correspondingly. now suppose l is incident on three of the given points. then at least two of them have to be on one side of the perpendicular AA'. without loss of generality, assume these two points (B and C) are on the left side, with B being closer to A'.

triangles AA'C and CBB' are similar. we have CA > CA' > CB. hence AA' > BB'. and since CA is incident on A&C∈P, CA itself ∈ L, giving us a pair with the smaller distance between them, which contradicts the minimality of AA'. |
Please, oh please tell me you had already read this solution somewhere. Sylvester's Theorem was an open problems for many decades, and this particular solution is generally regarded as the most elegant. In any case, it's nice to know the solutions to such problems 
|
|
Jun-18-2004 16:23
|
|
|
 |
 |
|
 |
All times are GMT. The time now is 12:20.
Forum Rules:
You may not post new threads
You may not post replies
You may not edit your posts
|
HTML code is ON
vB code is ON
[IMG] code is ON
|
|
|
|
|
|
Contact Us - return to tranceaddict
Powered by: Trance Music & vBulletin Forums
Copyright ©2000-2026, Jelsoft Enterprises Ltd.
Privacy Statement / DMCA
|