Benchmarks
View scores and output across OCR models spanning many document categories.
Want to run these evals on your own documents?
Talk to Sales
Solutions to the 60th William Lowell Putnam Mathematical Competition
Saturday, December 4, 1999
Manjul Bhargava, Kiran Kedlaya, and Lenny Ng
A-1 Note that if and are any two functions, then
Therefore, if is the given function, we have
so we may set , , and .
A-2 First solution: First factor , where has all real roots and has all complex roots. Notice that each root of has even multiplicity, otherwise would have a sign change at that root. Thus has a square root .
Now write (possible because has roots in complex conjugate pairs). Write with having real coefficients. Then for real,
(Alternatively, one can factor as a product of quadratic polynomials with real coefficients, write each as a sum of squares, then multiply together to get a sum of many squares.)
Second solution: We proceed by induction on the degree of , with base case where has degree 0. As in the first solution, we may reduce to a smaller degree in case has any real roots, so assume it has none. Then for all real , and since for , has a minimum value . Now has real roots, so as above, we deduce that is a sum of squares. Now add one more square, namely , to get as a sum of squares.
A-3 First solution: Computing the coefficient of in the identity yields the recurrence ; the sequence is then characterized by this recurrence and the initial conditions .
Define the sequence by ,
. Then
and similarly , so that satisfies the same recurrence as . Since further (where we use the recurrence for to calculate ), we deduce that for all . In particular, .
Second solution: Note that
and that
so that
A simple computation (omitted here) now shows that .
Third solution (by Richard Stanley): Let be the matrix . A simple induction argument shows that
The desired result now follows from comparing the top left corner entries of the equality .
A-4 Denote the series by , and let . Note that
where the second equality follows by interchanging