Suppose you have identical coins distributed in several piles with one or more coins in each pile. An action consists of taking two piles, which have an even total of coins among them, and redistribute their coins in two piles so that they end up with the same number of coins. A distribution is [i]levelable[/i] if it is possible, by means of 0 or more operations, to end up with all the piles having the same number of coins. Determine all positive integers $n$ such that, for all positive integers $k$, any distribution of $nk$ coins in $n$ piles is levelable.

[b]p1.[/b] A function $f$ defined on the set of positive numbers satisfies the equality $$f(xy) = f(x) + f(y), x, y > 0.$$ Find $f(2007)$ if $f\left( \frac{1}{2007} \right) = 1$. [b]p2.[/b] The plane is painted in two colors. Show that there is an isosceles right triangle with all vertices of the same color. [b]p3.[/b] Show that the number of ways to cut a $2n \times 2n$ square into $1\times 2$ dominoes is divisible by $2$. [b]p4.[/b] Two mirrors form an angle. A beam of light falls on one mirror. Prove that the beam is reflected only finitely many times (even if the angle between mirrors is very small). [b]p5.[/b] A sequence is given by the recurrence relation $a_{n+1} = (s(a_n))^2 +1$, where $s(x)$ is the sum of the digits of the positive integer $x$. Prove that starting from some moment the sequence is periodic. PS. You should use hide for answers. Collected [url=https://artofproblemsolving.com/community/c5h2760506p24143309]here[/url].

The plane angles at vertex $D$ of the pyramid $ABCD$ are equal to $\alpha$,$\beta$ and $\gamma$ ($\angle CDB = a$). An arbitrary point $M$ is taken on edge $CB$. A ball is inscribed in each of the pyramids $ABDM$ and $ACDM$. Let us draw through $D$ a plane distinct from $BCD$, tangent to both balls and not intersecting the segment connecting the centers of the balls. Let this plane intersect the segment $AM$ at point $P$. What is $\angle ADP$ equal to?

Let $ S$ be the sum of the inversible elements of a finite ring. Prove that $ S^2\equal{}S$ or $ S^2\equal{}0$.

Determine all triples $(x, y, z)$ of positive integers $x > y > z > 0$, such that $x^2 = y \cdot 2^z + 1$

$a$ is a real number. Find the all $(x,y)$ real number pairs satisfy;$$y^2=x^3+(a-1)x^2+a^2x$$$$x^2=y^3+(a-1)y^2+a^2y$$

Let $ a$, $ b$ and $ m$ be positive integers. Prove that there exists a positive integer $ n$ such that $ (a^n \minus{} 1)b$ is divisible by $ m$ if and only if $ \gcd (ab, m) \equal{} \gcd (b, m)$.

A smooth function $f:I\to \mathbb{R}$ is said to be [i]totally convex[/i] if $(-1)^k f^{(k)}(t) > 0$ for all $t\in I$ and every integer $k>0$ (here $I$ is an open interval). Prove that every totally convex function $f:(0,+\infty)\to \mathbb{R}$ is real analytic. [b]Note[/b]: A function $f:I\to \mathbb{R}$ is said to be [i]smooth[/i] if for every positive integer $k$ the derivative of order $k$ of $f$ is well defined and continuous over $\mathbb{R}$. A smooth function $f:I\to \mathbb{R}$ is said to be [i]real analytic[/i] if for every $t\in I$ there exists $\epsilon> 0$ such that for all real numbers $h$ with $|h|<\epsilon$ the Taylor series \[\sum_{k\geq 0}\frac{f^{(k)}(t)}{k!}h^k\] converges and is equal to $f(t+h)$.

Find all triples of natural numbers $ a $, $ b $, $ c $ such that $$ \gcd (a ^ 2, b ^ 2) + \gcd (a, bc) +\gcd (b, ac) +\gcd (c, ab) = 239 ^ 2 = ab + c . $$

Consider positive integers $a<b$ and the set $C\subset\{a,a+1,a+2,\dots ,b-2,b-1,b\}$. Suppose $C$ has more than $\frac{b-a+1}{2}$ elements. Prove that there are two elements $x,y\in C$ that satisfy $x+y=a+b$. [i] (From "Radu Păun" contest, Radu Miculescu)[/i]

The equation $ \frac{2x^2}{x\minus{}1}\minus{}\frac{2x\plus{}7}{3}\plus{}\frac{4\minus{}6x}{x\minus{}1}\plus{}1\equal{}0$ can be transformed by eliminating fractions to the equation $ x^2\minus{}5x\plus{}4\equal{}0$. The roots of the latter equation are $ 4$ and $ 1$. Then the roots of the first equation are: $ \textbf{(A)}\ 4 \text{ and }1 \qquad \textbf{(B)}\ \text{only }1 \qquad \textbf{(C)}\ \text{only }4 \qquad \textbf{(D)}\ \text{neither 4 nor 1} \qquad \textbf{(E)}\ \text{4 and some other root}$

In a triangle $ABC$ let $K$ be a point on the median $BM$ such that $CK=CM$. It appears that $\angle CBM = 2 \angle ABM$. Prove that $BC=MK$.

There are $n$ sheep and a wolf in sheep's clothing . Some of the sheep are friends (friendship is mutual). The goal of the wolf is to eat all the sheep. First, the wolf chooses some sheep to make friend's with. In each of the following days, the wolf eats one of its friends. Whenever the wolf eats a sheep $A$: (a) If a friend of $A$ is originally a friend of the wolf, it un-friends the wolf. (b) If a friend of $A$ is originally not a friend of the wolf, it becomes a friend of the wolf. Repeat the procedure until the wolf has no friend left. Find the largest integer $m$ in terms of $n$ satisfying the following: There exists an initial friendsheep structure such that the wolf has $m$ different ways of choosing initial sheep to become friends, so that the wolf has a way to eat all of the sheep.

Let $ b, m, n$ be positive integers such that $ b > 1$ and $ m \neq n.$ Prove that if $ b^m \minus{} 1$ and $ b^n \minus{} 1$ have the same prime divisors, then $ b \plus{} 1$ is a power of 2.

How many ordered integer pairs $ \left(x,y\right)$ are there such that $ xy \equal{} 4\left(y^{2} \plus{} x\right)$? $\textbf{(A)}\ 0 \qquad\textbf{(B)}\ 3 \qquad\textbf{(C)}\ 7 \qquad\textbf{(D)}\ 14 \qquad\textbf{(E)}\ \text{None}$

A computer science teacher has asked his students to write a program that, given a list of $n$ numbers $a_1, a_2, ..., a_n$, calculates the list $b_1, b_2, ..., b_n$ where $b_k$ is the number of times the number $a_k$ appears in the list. So, for example, for the list $1,2,3,1$, the program returns the list $2,1,1,2$. Next, the teacher asked Alexandre to run the program for a list of $2025$ numbers. Then he asked him to apply the program to the resulting list, and so on, until a number greater than or equal to $k$ appears in the list. Find the largest value of $k$ for which, whatever the initial list of $2025$ positive integers $a_1, a_2, ..., a_{2025}$, it is possible for Alexander to do what the teacher asked him to do.

Arthur, Bob, and Carla each choose a three-digit number. They each multiply the digits of their own numbers. Arthur gets 64, Bob gets 35, and Carla gets 81. Then, they add corresponding digits of their numbers together. The total of the hundreds place is 24, that of the tens place is 12, and that of the ones place is 6. What is the difference between the largest and smallest of the three original numbers? [i]Proposed by Jacob Weiner[/i]

Let be a group of order $ 2002 $ having the property that the application $ x\mapsto x^4 $ is and endomorphism of it. Show that this group is cyclic.

a) Do there exist 5 circles in the plane such that each circle passes through exactly 3 centers of other circles? b) Do there exist 6 circles in the plane such that each circle passes through exactly 3 centers of other circles?

A square and equilateral triangle have the same perimeter. If the triangle has area $16\sqrt3$, what is the area of the square? [i]Proposed by Evan Chen[/i]

A circle $\omega$ touched lines $a$ and $b$ at points $A$ and $B$ respectively. An arbitrary tangent to the circle meets $a$ and $b$ at $X$ and $Y$ respectively. Points $X'$ and $Y'$ are the reflections of $X$ and $Y$ about $A$ and $B$ respectively. Find the locus of projections of the center of the circle to the lines $X'Y'$.

What is the last digit of $ 17^{1996}$? A. 1 B. 3 C. 5 D. 7 E. 9

Consider two circles $\Pi_1$ and $\Pi_1$ tangent externally at point $S$, such that the radius of $\Pi_2$ is triple the radius of $\Pi_1$. Let $\ell$ be a line that is tangent to $\Pi_1$ at point $ P$ and tangent to $\Pi_2$ at point $Q$, with $P$ and $Q$ different from $S$. Let $T$ be a point at $\Pi_2$, such that the segment $TQ$ is diameter of $\Pi_2$ and let point $R$ be the intersection of the bisector of $\angle SQT$ with $ST$. Prove that $QR = RT$.

Let $ABC$ and $A_{1}B_{1}C_{1}$ be two triangles. Prove that $\frac{a}{a_{1}}+\frac{b}{b_{1}}+\frac{c}{c_{1}}\leq\frac{3R}{2r_{1}}$, where $a = BC$, $b = CA$, $c = AB$ are the sidelengths of triangle $ABC$, where $a_{1}=B_{1}C_{1}$, $b_{1}=C_{1}A_{1}$, $c_{1}=A_{1}B_{1}$ are the sidelengths of triangle $A_{1}B_{1}C_{1}$, where $R$ is the circumradius of triangle $ABC$ and $r_{1}$ is the inradius of triangle $A_{1}B_{1}C_{1}$.

If $\alpha$, $\beta$, and $\gamma$ are the roots of $x^3 - x - 1 = 0$, compute $\frac{1+\alpha}{1-\alpha} + \frac{1+\beta}{1-\beta} + \frac{1+\gamma}{1-\gamma}$.