olymmath

Putnam 1993

William Lowell Putnam Mathematical Competition 1993.

Session A

A1

  • Session A

The horizontal line y=cy=c intersects the curve y=2x−3x3y = 2x - 3x^3 in the first quadrant as in the figure. Find cc so that the areas of the two shaded regions are equal. [Figure not included. The first region is bounded by the yy-axis, the line y=cy=c and the curve; the other lies under the curve and above the line y=cy=c between their two points of intersection.]

Answer, solutions and source

A2

  • Session A

Let (xn)n≥0(x_n)_{n \geq 0} be a sequence of nonzero real numbers such that xn2−xn−1xn+1=1x_n^2 - x_{n-1}x_{n+1} = 1 for n=1,2,3,…n=1,2,3,\dots. Prove there exists a real number aa such that xn+1=axn−xn−1x_{n+1} = ax_n - x_{n-1} for all n≥1n \geq 1.

Answer, solutions and source

A3

  • Session A

Let Pn{\cal P}_n be the set of subsets of {1,2,…,n}\{1, 2, \dots, n\}. Let c(n,m)c(n, m) be the number of functions f:Pn→{1,2,…,m}f: {\cal P}_n \to \{1, 2, \dots, m\} such that f(A∩B)=min⁡{f(A),f(B)}f(A \cap B) = \min\{f(A), f(B)\}. Prove that c(n,m)=∑j=1mjn.c(n, m) = \sum_{j=1}^m j^n.

Answer, solutions and source

A4

  • Session A

Let x1,x2,…,x19x_1, x_2, \dots, x_{19} be positive integers each of which is less than or equal to 93. Let y1,y2,…,y93y_1, y_2, \dots, y_{93} be positive integers each of which is less than or equal to 19. Prove that there exists a (nonempty) sum of some xix_i's equal to a sum of some yjy_j's.

Answer, solutions and source

A5

  • Session A

Show that

∫−100−10(x2−xx3−3x+1)2dx+∫1101111(x2−xx3−3x+1)2dx+∫1011001110(x2−xx3−3x+1)2dx\begin{gathered}\int_{-100}^{-10} \left( \frac{x^2 - x}{x^3 - 3x + 1} \right)^2 dx + \\ \int_{\frac{1}{101}}^{\frac{1}{11}} \left( \frac{x^2 - x}{x^3 - 3x + 1} \right)^2 dx + \\ \int_{\frac{101}{100}}^{\frac{11}{10}} \left( \frac{x^2 - x}{x^3 - 3x + 1} \right)^2 dx\end{gathered}

is a rational number.

Answer, solutions and source

A6

  • Session A

The infinite sequence of 2's and 3's

2,3,3,2,3,3,3,2,3,3,3,2,3,3,2,3,3,3,2,3,3,3,2,3,3,3,2,3,3,2,3,3,3,2,…\begin{aligned}&2,3,3,2,3,3,3,2,3,3,3,2,3,3,2,3,3, \\ &3,2,3,3,3,2,3,3,3,2,3,3,2,3,3,3,2,\dots\end{aligned}

has the property that, if one forms a second sequence that records the number of 3's between successive 2's, the result is identical to the given sequence. Show that there exists a real number rr such that, for any nn, the nnth term of the sequence is 2 if and only if n=1+⌊rm⌋n = 1 + \lfloor rm \rfloor for some nonnegative integer mm. (Note: ⌊x⌋\lfloor x \rfloor denotes the largest integer less than or equal to xx.)

Answer, solutions and source

Session B

B1

  • Session B

Find the smallest positive integer nn such that for every integer mm with 0<m<19930 < m < 1993, there exists an integer kk for which m1993<kn<m+11994.\frac{m}{1993} < \frac{k}{n} < \frac{m+1}{1994}.

Answer, solutions and source

B2

  • Session B

Consider the following game played with a deck of 2n2n cards numbered from 1 to 2n2n. The deck is randomly shuffled and nn cards are dealt to each of two players. Beginning with AA, the players take turns discarding one of their remaining cards and announcing its number. The game ends as soon as the sum of the numbers on the discarded cards is divisible by 2n+12n+1. The last person to discard wins the game. Assuming optimal strategy by both AA and BB, what is the probability that AA wins?

Answer, solutions and source

B3

  • Session B

Two real numbers xx and yy are chosen at random in the interval (0,1) with respect to the uniform distribution. What is the probability that the closest integer to x/yx/y is even? Express the answer in the form r+sπr+s\pi, where rr and ss are rational numbers.

Answer, solutions and source

B4

  • Session B

The function K(x,y)K(x,y) is positive and continuous for 0≤x≤1,0≤y≤10 \leq x \leq 1, 0 \leq y \leq 1, and the functions f(x)f(x) and g(x)g(x) are positive and continuous for 0≤x≤10 \leq x \leq 1. Suppose that for all xx, 0≤x≤10 \leq x \leq 1, ∫01f(y)K(x,y)dy=g(x)\int_0^1 f(y)K(x,y) dy = g(x) and ∫01g(y)K(x,y)dy=f(x).\int_0^1 g(y)K(x,y) dy = f(x). Show that f(x)=g(x)f(x) = g(x) for 0≤x≤10 \leq x \leq 1.

Answer, solutions and source

B5

  • Session B

Show there do not exist four points in the Euclidean plane such that the pairwise distances between the points are all odd integers.

Answer, solutions and source

B6

  • Session B

Let SS be a set of three, not necessarily distinct, positive integers. Show that one can transform SS into a set containing 0 by a finite number of applications of the following rule: Select two of the three integers, say xx and yy, where x≤yx \leq y and replace them with 2x2x and y−xy-x.

Answer, solutions and source