\documentclass[12pt]{article}
\usepackage{latexsym}

\setlength{\textheight}{8.75in}
\setlength{\textwidth}{6.5in}
\setlength{\topmargin}{0.0in}
\setlength{\headheight}{0.0in}
\setlength{\headsep}{0.0in}
\setlength{\leftmargin}{0.0in}
\setlength{\oddsidemargin}{0.0in}
\setlength{\parindent}{1pc}

\def\head#1{{\medskip \bf \noindent #1}}
\def\binom#1#2{{#1 \choose #2}}

\begin{document}

\begin{center}
The Fifty-Seventh Annual William Lowell Putnam Mathematical 
Competition \\
Saturday, December 7, 1996
\end{center}

\begin{itemize}
\item[A-1]
Find the least number $A$ such that for any two squares of combined
area 1, a rectangle of area $A$ exists such that the two squares can
be packed in the rectangle (without interior overlap). You may assume
that the sides of the squares are parallel to the sides of the
rectangle.

\item[A-2]
Let $C_1$ and $C_2$ be circles whose centers are 10 units apart, and
whose radii are 1 and 3. Find, with proof, the locus of all points $M$
for which there exists points $X$ on $C_1$ and $Y$ on $C_2$ such that
$M$ is the midpoint of the line segment $XY$.

\item[A-3]
Suppose that each of 20 students has made a choice of anywhere from 0
to 6 courses from a total of 6 courses offered. Prove or disprove:
there are 5 students and 2 courses such that all 5 have chosen both
courses or all 5 have chosen neither course.

\item[A-4]
Let $S$ be the set of ordered triples $(a, b, c)$ of distinct elements
of a finite set $A$. Suppose that
\begin{enumerate}
\item $(a,b,c) \in S$ if and only if $(b,c,a) \in S$;
\item $(a,b,c) \in S$ if and only if $(c,b,a) \notin S$;
\item $(a,b,c)$ and $(c,d,a)$ are both in $S$ if and only if $(b,c,d)$
and $(d,a,b)$ are both in $S$.
\end{enumerate}
Prove that there exists a one-to-one function $g$ from $A$ to $R$ such
that $g(a) < g(b) < g(c)$ implies $(a,b,c) \in S$. Note: $R$ is the
set of real numbers.

\item[A-5]
If $p$ is a prime number greater than 3 and $k = \lfloor 2p/3
\rfloor$, prove that the sum
\[
\binom p1 + \binom p2 + \cdots + \binom pk
\]
of binomial coefficients is divisible by $p^2$.

\item[A-6]
Let $c>0$ be a constant. Give a complete description, with proof, of
the set of all continuous functions $f: R \to R$ such that $f(x) =
f(x^2+c)$ for all $x \in R$. Note that $R$ denotes the set of real numbers.

\item[B-1]
Define a \textbf{selfish} set to be a set which has its own
cardinality (number of elements) as an element. Find, with proof, the
number of subsets of $\{1, 2, \ldots, n\}$ which are \textit{minimal}
selfish sets, that is, selfish sets none of whose proper subsets is selfish.

\item[B-2]
Show that for every positive integer $n$, 
\[
\left( \frac{2n-1}{e} \right)^{\frac{2n-1}{2}} < 1 \cdot 3 \cdot 5
\cdots (2n-1) < \left( \frac{2n+1}{e} \right)^{\frac{2n+1}{2}}.
\]

\item[B-3]
Given that $\{x_1, x_2, \ldots, x_n\} = \{1, 2, \ldots, n\}$, find,
with proof, the largest possible value, as a function of $n$ (with $n
\geq 2$), of
\[
x_1x_2 + x_2x_3 + \cdots + x_{n-1}x_n + x_nx_1.
\]

\item[B-4]
For any square matrix $A$, we can define $\sin A$ by the usual power
series:
\[
\sin A = \sum_{n=0}^\infty \frac{(-1)^n}{(2n+1)!} A^{2n+1}.
\]
Prove or disprove: there exists a $2 \times 2$ matrix $A$ with real
entries such that 
\[
\sin A = \left( \begin{array}{cc} 1 & 1996 \\ 0 & 1 \end{array} \right).
\]

\item[B-5]
Given a finite string $S$ of symbols $X$ and $O$, we write $\Delta(S)$
for the number of $X$'s in $S$ minus the number of $O$'s. For example,
$\Delta(XOOXOOX) = -1$. We call a string $S$ \textbf{balanced} if every
substring $T$ of (consecutive symbols of) $S$ has $-2 \leq \Delta(T)
\leq 2$. Thus, $XOOXOOX$ is not balanced, since it contains the
substring $OOXOO$. Find, with proof, the number of balanced strings of
length $n$.

\item[B-6]
Let $(a_1, b_1), (a_2, b_2), \ldots, (a_n, b_n)$ be the vertices of a
convex polygon which contains the origin in its interior. Prove that
there exist positive real numbers $x$ and $y$ such that 
\[
(a_1, b_1)x^{a_1} y^{b_1} + (a_2, b_2)x^{a_2}y^{b_2} + \cdots
+ (a_n, b_n)x^{a_n}y^{b_n} = (0,0).
\]
\end{itemize}

\end{document}