Found problems: 303
2022 USAJMO, 3
Let $b\geq2$ and $w\geq2$ be fixed integers, and $n=b+w$. Given are $2b$ identical black rods and $2w$ identical white rods, each of side length 1.
We assemble a regular $2n-$gon using these rods so that parallel sides are the same color. Then, a convex $2b$-gon $B$ is formed by translating the black rods, and a convex $2w$-gon $W$ is formed by translating the white rods. An example of one way of doing the assembly when $b=3$ and $w=2$ is shown below, as well as the resulting polygons $B$ and $W$.
[asy]size(10cm);
real w = 2*Sin(18);
real h = 0.10 * w;
real d = 0.33 * h;
picture wht;
picture blk;
draw(wht, (0,0)--(w,0)--(w+d,h)--(-d,h)--cycle);
fill(blk, (0,0)--(w,0)--(w+d,h)--(-d,h)--cycle, black);
// draw(unitcircle, blue+dotted);
// Original polygon
add(shift(dir(108))*blk);
add(shift(dir(72))*rotate(324)*blk);
add(shift(dir(36))*rotate(288)*wht);
add(shift(dir(0))*rotate(252)*blk);
add(shift(dir(324))*rotate(216)*wht);
add(shift(dir(288))*rotate(180)*blk);
add(shift(dir(252))*rotate(144)*blk);
add(shift(dir(216))*rotate(108)*wht);
add(shift(dir(180))*rotate(72)*blk);
add(shift(dir(144))*rotate(36)*wht);
// White shifted
real Wk = 1.2;
pair W1 = (1.8,0.1);
pair W2 = W1 + w*dir(36);
pair W3 = W2 + w*dir(108);
pair W4 = W3 + w*dir(216);
path Wgon = W1--W2--W3--W4--cycle;
draw(Wgon);
pair WO = (W1+W3)/2;
transform Wt = shift(WO)*scale(Wk)*shift(-WO);
draw(Wt * Wgon);
label("$W$", WO);
/*
draw(W1--Wt*W1);
draw(W2--Wt*W2);
draw(W3--Wt*W3);
draw(W4--Wt*W4);
*/
// Black shifted
real Bk = 1.10;
pair B1 = (1.5,-0.1);
pair B2 = B1 + w*dir(0);
pair B3 = B2 + w*dir(324);
pair B4 = B3 + w*dir(252);
pair B5 = B4 + w*dir(180);
pair B6 = B5 + w*dir(144);
path Bgon = B1--B2--B3--B4--B5--B6--cycle;
pair BO = (B1+B4)/2;
transform Bt = shift(BO)*scale(Bk)*shift(-BO);
fill(Bt * Bgon, black);
fill(Bgon, white);
label("$B$", BO);[/asy]
Prove that the difference of the areas of $B$ and $W$ depends only on the numbers $b$ and $w$, and not on how the $2n$-gon was assembled.
[i]Proposed by Ankan Bhattacharya[/i]
1987 USAMO, 1
Determine all solutions in non-zero integers $a$ and $b$ of the equation \[(a^2+b)(a+b^2) = (a-b)^3.\]
1993 USAMO, 3
Consider functions $\, f: [0,1] \rightarrow \mathbb{R} \,$ which satisfy
(i) $f(x) \geq 0 \,$ for all $\, x \,$ in $\, [0,1],$
(ii) $f(1) = 1,$
(iii) $f(x) + f(y) \leq f(x+y)\,$ whenever $\, x, \, y, \,$ and $\, x + y \,$ are all in $\, [0,1]$.
Find, with proof, the smallest constant $\, c \,$ such that
\[ f(x) \leq cx \]
for every function $\, f \,$ satisfying (i)-(iii) and every $\, x \,$ in $\, [0,1]$.
2010 USAJMO, 6
Let $ABC$ be a triangle with $\angle A = 90^{\circ}$. Points $D$ and $E$ lie on sides $AC$ and $AB$, respectively, such that $\angle ABD = \angle DBC$ and $\angle ACE = \angle ECB$. Segments $BD$ and $CE$ meet at $I$. Determine whether or not it is possible for segments $AB$, $AC$, $BI$, $ID$, $CI$, $IE$ to all have integer lengths.
1988 USAMO, 5
A polynomial product of the form \[(1-z)^{b_1}(1-z^2)^{b_2}(1-z^3)^{b_3}(1-z^4)^{b_4}(1-z^5)^{b_5}\cdots(1-z^{32})^{b_{32}},\] where the $b_k$ are positive integers, has the surprising property that if we multiply it out and discard all terms involving $z$ to a power larger than $32$, what is left is just $1-2z$. Determine, with proof, $b_{32}$.
1982 USAMO, 1
In a party with $1982$ persons, among any group of four there is at least one person who knows each of the other three. What is the minimum number of people in the party who know everyone else?
2012 USAMO, 3
Determine which integers $n > 1$ have the property that there exists an infinite sequence $a_1, a_2, a_3, \ldots$ of nonzero integers such that the equality \[a_k+2a_{2k}+\ldots+na_{nk}=0\]holds for every positive integer $k$.
1999 USAMO, 5
The Y2K Game is played on a $1 \times 2000$ grid as follows. Two players in turn write either an S or an O in an empty square. The first player who produces three consecutive boxes that spell SOS wins. If all boxes are filled without producing SOS then the game is a draw. Prove that the second player has a winning strategy.
1980 USAMO, 2
Determine the maximum number of three-term arithmetic progressions which can be chosen from a sequence of $n$ real numbers \[a_1<a_2<\cdots<a_n.\]
1997 USAMO, 1
Let $p_1, p_2, p_3, \ldots$ be the prime numbers listed in increasing order, and let $x_0$ be a real number between 0 and 1. For positive integer $k$, define
\[ x_k = \begin{cases} 0 & \mbox{if} \; x_{k-1} = 0, \\[.1in] {\displaystyle \left\{ \frac{p_k}{x_{k-1}} \right\}} & \mbox{if} \; x_{k-1} \neq 0, \end{cases} \]
where $\{x\}$ denotes the fractional part of $x$. (The fractional part of $x$ is given by $x - \lfloor x \rfloor$ where $\lfloor x \rfloor$ is the greatest integer less than or equal to $x$.) Find, with proof, all $x_0$ satisfying $0 < x_0 < 1$ for which the sequence $x_0, x_1, x_2, \ldots$ eventually becomes 0.
1996 Taiwan National Olympiad, 6
Let $q_{0},q_{1},...$ be a sequence of integers such that
a) for any $m>n$ we have $m-n\mid q_{m}-q_{n}$, and
b) $|q_{n}|\leq n^{10}, \ \forall n\geq 0$.
Prove there exists a polynomial $Q$ such that $q_{n}=Q(n), \ \forall n\geq 0$.
1978 USAMO, 4
(a) Prove that if the six dihedral (i.e. angles between pairs of faces) of a given tetrahedron are congruent, then the tetrahedron is regular.
(b) Is a tetrahedron necessarily regular if five dihedral angles are congruent?
2019 USAJMO, 6
Two rational numbers \(\tfrac{m}{n}\) and \(\tfrac{n}{m}\) are written on a blackboard, where \(m\) and \(n\) are relatively prime positive integers. At any point, Evan may pick two of the numbers \(x\) and \(y\) written on the board and write either their arithmetic mean \(\tfrac{x+y}{2}\) or their harmonic mean \(\tfrac{2xy}{x+y}\) on the board as well. Find all pairs \((m,n)\) such that Evan can write 1 on the board in finitely many steps.
[i]Proposed by Yannick Yao[/i]
2024 USAJMO, 6
Point $D$ is selected inside acute $\triangle ABC$ so that $\angle DAC = \angle ACB$ and $\angle BDC = 90^{\circ} + \angle BAC$. Point $E$ is chosen on ray $BD$ so that $AE = EC$. Let $M$ be the midpoint of $BC$.
Show that line $AB$ is tangent to the circumcircle of triangle $BEM$.
[i]Proposed by Anton Trygub[/i]
2014 Contests, 2
Let $\mathbb{Z}$ be the set of integers. Find all functions $f : \mathbb{Z} \rightarrow \mathbb{Z}$ such that \[xf(2f(y)-x)+y^2f(2x-f(y))=\frac{f(x)^2}{x}+f(yf(y))\] for all $x, y \in \mathbb{Z}$ with $x \neq 0$.
2013 Purple Comet Problems, 15
Let $a$, $b$, and $c$ be positive real numbers such that $a^2+b^2+c^2=989$ and $(a+b)^2+(b+c)^2+(c+a)^2=2013$. Find $a+b+c$.
2014 India IMO Training Camp, 2
Let $n$ be a natural number.A triangulation of a convex n-gon is a division of the polygon into $n-2$ triangles by drawing $n-3$ diagonals no two of which intersect at an interior point of the polygon.Let $f(n)$ denote the number of triangulations of a regular n-gon such that each of the triangles formed is isosceles.Determine $f(n)$ in terms of $n$.
2024 USAMO, 3
Let $m$ be a positive integer. A triangulation of a polygon is [i]$m$-balanced[/i] if its triangles can be colored with $m$ colors in such a way that the sum of the areas of all triangles of the same color is the same for each of the $m$ colors. Find all positive integers $n$ for which there exists an $m$-balanced triangulation of a regular $n$-gon.
[i]Note[/i]: A triangulation of a convex polygon $\mathcal{P}$ with $n \ge 3$ sides is any partitioning of $\mathcal{P}$ into $n-2$ triangles by $n-3$ diagonals of $\mathcal{P}$ that do not intersect in the polygon's interior.
[i]Proposed by Krit Boonsiriseth[/i]
1981 USAMO, 3
If $A,B,C$ are the angles of a triangle, prove that
\[-2 \le \sin{3A}+\sin{3B}+\sin{3C} \le \frac{3\sqrt{3}}{2}\]
and determine when equality holds.
2008 Tuymaada Olympiad, 2
Is it possible to arrange on a circle all composite positive integers not exceeding $ 10^6$, so that no two neighbouring numbers are coprime?
[i]Author: L. Emelyanov[/i]
[hide="Tuymaada 2008, Junior League, First Day, Problem 2."]Prove that all composite positive integers not exceeding $ 10^6$
may be arranged on a circle so that no two neighbouring numbers are coprime. [/hide]
1999 USAMO, 3
Let $p > 2$ be a prime and let $a,b,c,d$ be integers not divisible by $p$, such that
\[ \left\{ \dfrac{ra}{p} \right\} + \left\{ \dfrac{rb}{p} \right\} + \left\{ \dfrac{rc}{p} \right\} + \left\{ \dfrac{rd}{p} \right\} = 2 \]
for any integer $r$ not divisible by $p$. Prove that at least two of the numbers $a+b$, $a+c$, $a+d$, $b+c$, $b+d$, $c+d$ are divisible by $p$.
(Note: $\{x\} = x - \lfloor x \rfloor$ denotes the fractional part of $x$.)
1987 Flanders Math Olympiad, 3
Find all continuous functions $f: \mathbb{R}\rightarrow\mathbb{R}$ such that \[f(x)^3 = -\frac x{12}\cdot\left(x^2+7x\cdot f(x)+16\cdot f(x)^2\right),\ \forall x \in \mathbb{R}.\]
2018 USAMO, 3
For a given integer $n\ge 2$, let $\{a_1,a_2,…,a_m\}$ be the set of positive integers less than $n$ that are relatively prime to $n$. Prove that if every prime that divides $m$ also divides $n$, then $a_1^k+a_2^k + \dots + a_m^k$ is divisible by $m$ for every positive integer $k$.
[i]Proposed by Ivan Borsenco[/i]
2014 USAMO, 2
Let $\mathbb{Z}$ be the set of integers. Find all functions $f : \mathbb{Z} \rightarrow \mathbb{Z}$ such that \[xf(2f(y)-x)+y^2f(2x-f(y))=\frac{f(x)^2}{x}+f(yf(y))\] for all $x, y \in \mathbb{Z}$ with $x \neq 0$.
2021 USAMO, 6
Let $ABCDEF$ be a convex hexagon satisfying $\overline{AB} \parallel \overline{DE}$, $\overline{BC} \parallel \overline{EF}$, $\overline{CD} \parallel \overline{FA}$, and
\[
AB \cdot DE = BC \cdot EF = CD \cdot FA.
\]
Let $X$, $Y$, and $Z$ be the midpoints of $\overline{AD}$, $\overline{BE}$, and $\overline{CF}$. Prove that the circumcenter of $\triangle ACE$, the circumcenter of $\triangle BDF$, and the orthocenter of $\triangle XYZ$ are collinear.