Well I did a Putnam for fun... and I did unexpectedly well
by Wolstenholme, Aug 7, 2015, 7:47 AM
So, here's what I could accomplish today on the 2000 Putnam
Let
be a positive real number. What are the possible values of
given that
are positive numbers for which
?
solution
Prove that there exist infinitely many integers
such that
,
,
are each the sum of the squares of two integers. [Example:
,
,
.]
solution
The octagon
is inscribed in a circle with the vertices around the circumference in the given order. Given that the polygon
is a square of area
, and the polygon
is a rectangle of area
, find the maximum possible area of the octagon.
solution
Show that the improper integral
converges.
partial credit?
Three distinct points with integer coordinates lie in the plane on a circle of radius
. Show that two of these points are separated by a distance of at least
.
solution
Let
be a polynomial with integer coefficients. Define a sequence
of integers such that
and
for all
. Prove that if there exists a positive integer
for which
then either
or
.
solution





solution
Note that
![\[ 0 < \displaystyle\sum_{j=0}^{\infty} x_j^2 < \left(\displaystyle\sum_{j=0}^{\infty} x_j\right)^2 = A^2. \]](//latex.artofproblemsolving.com/8/e/3/8e3729694c0748f6ae69708c19dd403aa7284bb6.png)
Now for all
let
for some
. Then
![\[ \displaystyle\sum_{j=0}^{\infty} x_j^2 = A^2\left(\frac{1 - r}{1 + r}\right)\]](//latex.artofproblemsolving.com/6/5/1/651310b387cdccdff605ffcea21922b3d3761882.png)
and since when
the function
takes on all values in the interval
we have that the desired interval is precisely 
![\[ 0 < \displaystyle\sum_{j=0}^{\infty} x_j^2 < \left(\displaystyle\sum_{j=0}^{\infty} x_j\right)^2 = A^2. \]](http://latex.artofproblemsolving.com/8/e/3/8e3729694c0748f6ae69708c19dd403aa7284bb6.png)
Now for all



![\[ \displaystyle\sum_{j=0}^{\infty} x_j^2 = A^2\left(\frac{1 - r}{1 + r}\right)\]](http://latex.artofproblemsolving.com/6/5/1/651310b387cdccdff605ffcea21922b3d3761882.png)
and since when












solution
Let
for some integer
. Then
and
are clearly the sum of two squares, so it suffices to show that there exist infinitely many
such that
is the sum of two squares. I claim even more - there exist infinitely many
such that
for some positive integer
. We rewrite this as the Pell's equation
and note that
is a solution. Hence with standard Pell equation theory every pair
where
for positive integers
is a solution and hence we have found infinitely many
as desired. (On the actual contest I would probably prove the Pell equation stuff, just to be safe)





















solution
Let's coordinate bash!!! The square's main diagonal has length
so if
are the length and width of the rectangle then
and
. We can solve a quadratic to obtain (after assuming WLOG that
)
and
. Now assume WLOG that the circle in question is centered at the origin of the Cartesian coordinate plane and that
and
and
and
. Let
with
. Then it's easy to see that
and
and
. Using the base times height over two formula we have that
![\[ [P_2P_3P_4] = [P_6P_7P_8] = \frac{\sqrt{2}}{2}\left(x - \sqrt{2}\right) \]](//latex.artofproblemsolving.com/2/7/e/27ed8cfe15c413694755e20e00e592ded41c450f.png)
and
![\[ [P_4P_5P_6] = [P_8P_1P_2] = \sqrt{2}\left(x - \frac{\sqrt{2}}{2}\right) \]](//latex.artofproblemsolving.com/2/e/4/2e4ae28f95f98415d5edc3771352dfdae52104c3.png)
so the area of the entire octagon is
![\[ 3\sqrt{2}x. \]](//latex.artofproblemsolving.com/2/a/5/2a544355dbac8c7ba1d1faf6bc603bdf5c7d2e22.png)
This is obviously maximized by letting
(the radius of the circle) hence the maximum area of the octagon is
.
















![\[ [P_2P_3P_4] = [P_6P_7P_8] = \frac{\sqrt{2}}{2}\left(x - \sqrt{2}\right) \]](http://latex.artofproblemsolving.com/2/7/e/27ed8cfe15c413694755e20e00e592ded41c450f.png)
and
![\[ [P_4P_5P_6] = [P_8P_1P_2] = \sqrt{2}\left(x - \frac{\sqrt{2}}{2}\right) \]](http://latex.artofproblemsolving.com/2/e/4/2e4ae28f95f98415d5edc3771352dfdae52104c3.png)
so the area of the entire octagon is
![\[ 3\sqrt{2}x. \]](http://latex.artofproblemsolving.com/2/a/5/2a544355dbac8c7ba1d1faf6bc603bdf5c7d2e22.png)
This is obviously maximized by letting



![\[ \lim_{B \rightarrow \infty} \displaystyle\int_{0}^{B} \sin (x) \sin (x^2) dx \]](http://latex.artofproblemsolving.com/8/3/5/83584525a5af2b8544d1c2fa084b81f41ebdf47d.png)
partial credit?
By Sum-to-Product we have that 
and now we probably do some stuff that basically shows
and
and that
converges.

and now we probably do some stuff that basically shows






solution
Ok clearly we can assume that
and that the triangle doesn't contain the center of the circle (or else one side would subtend an arc greater or equal to one-third the circle's circumference and we would be trivially done). Let
be the longest side of our triangle. It's clear then that the altitude to side
is equal to or less than
so the area of the triangle if equal to or less than
![\[ \frac{s}{2}\left(r - \sqrt{r^2 - \frac{s^2}{4}}\right) = \frac{s^3}{8\left(r + \sqrt{r^2 - \frac{s^2}{4}}\right)} \le \frac{s^3}{8r} \]](//latex.artofproblemsolving.com/b/1/6/b16bd4ab9c9656f637b1a94703db6e9bd99cf5e7.png)
But since the triangle's vertices have integer coordinates its area is at least
hence we have
and thus
as desired.




![\[ \frac{s}{2}\left(r - \sqrt{r^2 - \frac{s^2}{4}}\right) = \frac{s^3}{8\left(r + \sqrt{r^2 - \frac{s^2}{4}}\right)} \le \frac{s^3}{8r} \]](http://latex.artofproblemsolving.com/b/1/6/b16bd4ab9c9656f637b1a94703db6e9bd99cf5e7.png)
But since the triangle's vertices have integer coordinates its area is at least


![$s \ge \sqrt[3]{4r} > \sqrt[3]{r}$](http://latex.artofproblemsolving.com/f/3/b/f3bff6c7d1601eb8788debdf92be2bfeeb160370.png)










solution
How is this an A6 lol. First note that it's easily seen that the sequence is purely periodic. Now note that by basic properties of integer polynomials we have
so since
and since the sequence of differences
is also purely periodic each difference must be equal in absolute value to
. Assume WLOG that
is the smallest positive integer
for which
holds. Then it's clear by periodicity that
must all be distinct and now it's easy to see that we must have
as desired or else the previous statement will be contradicted.









This post has been edited 2 times. Last edited by Wolstenholme, Aug 8, 2015, 4:18 AM