Suppose that $a_0, a_1, \cdots $ and $b_0, b_1, \cdots$ are two sequences of positive integers such that $a_0, b_0 \ge 2$ and \[ a_{n+1} = \gcd{(a_n, b_n)} + 1, \qquad b_{n+1} = \operatorname{lcm}{(a_n, b_n)} - 1. \] Show that the sequence $a_n$ is eventually periodic; in other words, there exist integers $N \ge 0$ and $t > 0$ such that $a_{n+t} = a_n$ for all $n \ge N$.

Let $x_i$, $1\leq i\leq n$ be real numbers. Prove that \[ \sum_{1\leq i<j\leq n}|x_i+x_j|\geq\frac{n-2}{2}\sum_{i=1}^n|x_i|. \] [i]Discrete version by Dan Schwarz of a Putnam problem[/i]

Let $S=\{(a,b)|a=1,2,\dots,n,b=1,2,3\}$. A [i]rook tour[/i] of $S$ is a polygonal path made up of line segments connecting points $p_1,p_2,\dots,p_{3n}$ is sequence such that (i) $p_i\in S,$ (ii) $p_i$ and $p_{i+1}$ are a unit distance apart, for $1\le i<3n,$ (iii) for each $p\in S$ there is a unique $i$ such that $p_i=p.$ How many rook tours are there that begin at $(1,1)$ and end at $(n,1)?$ (The official statement includes a picture depicting an example of a rook tour for $n=5.$ This example consists of line segments with vertices at which there is a change of direction at the following points, in order: $(1,1),(2,1),(2,2),(1,2), (1,3),(3,3),(3,1),(4,1), (4,3),(5,3),(5,1).$)

Let $n$ be a positive integer. We start with $n$ piles of pebbles, each initially containing a single pebble. One can perform moves of the following form: choose two piles, take an equal number of pebbles from each pile and form a new pile out of these pebbles. Find (in terms of $n$) the smallest number of nonempty piles that one can obtain by performing a finite sequence of moves of this form.

Let $\mathbb N$ be the set of all positive integers. A subset $A$ of $\mathbb N$ is [i]sum-free[/i] if, whenever $x$ and $y$ are (not necessarily distinct) members of $A$, their sum $x+y$ does not belong to $A$. Determine all surjective functions $f:\mathbb N\to\mathbb N$ such that, for each sum-free subset $A$ of $\mathbb N$, the image $\{f(a):a\in A\}$ is also sum-free. [i]Note: a function $f:\mathbb N\to\mathbb N$ is surjective if, for every positive integer $n$, there exists a positive integer $m$ such that $f(m)=n$.[/i]

Determine all real numbers $x$, such that $x^n+x^{-n}$ is an integer for all integers $n$.

In a convex $n$-gon, several diagonals are drawn. Among these diagonals, a diagonal is called [i]good[/i] if it intersects exactly one other diagonal drawn (in the interior of the $n$-gon). Find the maximum number of good diagonals.

Given two integers $ m,n$ satisfying $ 4 < m < n.$ Let $ A_{1}A_{2}\cdots A_{2n \plus{} 1}$ be a regular $ 2n\plus{}1$ polygon. Denote by $ P$ the set of its vertices. Find the number of convex $ m$ polygon whose vertices belongs to $ P$ and exactly has two acute angles.

Let $n$ be a positive integer. Marc has $2n$ boxes, and in particular, he has one box filled with $k$ apples for each $k=1,2,3,\ldots,2n$. Every day, Marc opens a box and eats all the apples in it. However, if he eats strictly more than $2n+1$ apples in two consecutive days, he gets stomach ache. Prove that Marc has exactly $2^n$ distinct ways of choosing the boxes so that he eats all the apples but doesn't get stomach ache.

Show that for any $n \not \equiv 0 \pmod{10}$ there exists a multiple of $n$ not containing the digit $0$ in its decimal expansion.

Prove that there exist infinitely many integers \(n\) which satisfy \(2017^2 | 1^n + 2^n + ... + 2017^n\).

For a positive integer $n$, let $s(n)$ denote the sum of the binary digits of $n$. Find the sum $s(1)+s(2)+s(3)+...+s(2^k)$ for each positive integer $k$.

Let $(F_n)$ be the sequence defined recursively by $F_1=F_2=1$ and $F_{n+1}=F_n+F_{n-1}$ for $n\geq 2$. Find all pairs of positive integers $(x,y)$ such that $$5F_x-3F_y=1.$$

A table with $m$ rows and $n$ columns is given. In each cell of the table an integer is written. Heisuke and Oscar play the following game: at the beginning of each turn, Heisuke may choose to swap any two columns. Then he chooses some rows and writes down a new row at the bottom of the table, with each cell consisting the sum of the corresponding cells in the chosen rows. Oscar then deletes one row chosen by Heisuke (so that at the end of each turn there are exactly $m$ rows). Then the next turn begins and so on. Prove that Heisuke can assure that, after some finite amount of turns, no number in the table is smaller than the number to the number on his right. Example: If we begin with $(1,1,1),(6,5,4),(9,8,7)$, Heisuke may choose to swap the first and third column to get $(1,1,1),(4,5,6),(7,8,9)$. Then he chooses the first and second rows to obtain $(1,1,1),(4,5,6),(7,8,9),(5,6,7)$. Then Oscar has to delete either the first or the second row, let's say the second. We get $(1,1,1),(7,8,9),(5,6,7)$ and Heisuke wins.

For each prime $p$, construct a graph $G_p$ on $\{1,2,\ldots p\}$, where $m\neq n$ are adjacent if and only if $p$ divides $(m^{2} + 1-n)(n^{2} + 1-m)$. Prove that $G_p$ is disconnected for infinitely many $p$