Found problems: 105
2014 USAJMO, 2
Let $\triangle{ABC}$ be a non-equilateral, acute triangle with $\angle A=60^\circ$, and let $O$ and $H$ denote the circumcenter and orthocenter of $\triangle{ABC}$, respectively.
(a) Prove that line $OH$ intersects both segments $AB$ and $AC$.
(b) Line $OH$ intersects segments $AB$ and $AC$ at $P$ and $Q$, respectively. Denote by $s$ and $t$ the respective areas of triangle $APQ$ and quadrilateral $BPQC$. Determine the range of possible values for $s/t$.
2021 USAJMO, 4
Carina has three pins, labeled $A, B$, and $C$, respectively, located at the origin of the coordinate plane. In a [i]move[/i], Carina may move a pin to an adjacent lattice point at distance $1$ away. What is the least number of moves that Carina can make in order for triangle $ABC$ to have area 2021?
(A lattice point is a point $(x, y)$ in the coordinate plane where $x$ and $y$ are both integers, not necessarily positive.)
2014 Contests, 3
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$.
2015 USAJMO, 2
Solve in integers the equation
\[ x^2+xy+y^2 = \left(\frac{x+y}{3}+1\right)^3. \]
2022 USAJMO, 6
Let $a_0, b_0, c_0$ be complex numbers, and define \begin{align*}a_{n+1} &= a_n^2 + 2b_nc_n \\ b_{n+1} &= b_n^2 + 2c_na_n \\ c_{n+1} &= c_n^2 + 2a_nb_n\end{align*}for all nonnegative integers $n.$
Suppose that $\max{\{|a_n|, |b_n|, |c_n|\}} \leq 2022$ for all $n.$ Prove that $$|a_0|^2 + |b_0|^2 + |c_0|^2 \leq 1.$$
2016 USAJMO, 2
Prove that there exists a positive integer $n < 10^6$ such that $5^n$ has six consecutive zeros in its decimal representation.
[i]Proposed by Evan Chen[/i]
2019 USAMO, 5
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]
2015 USAJMO, 5
Let $ABCD$ be a cyclic quadrilateral. Prove that there exists a point $X$ on segment $\overline{BD}$ such that $\angle BAC=\angle XAD$ and $\angle BCA=\angle XCD$ if and only if there exists a point $Y$ on segment $\overline{AC}$ such that $\angle CBD=\angle YBA$ and $\angle CDB=\angle YDA$.
2018 USAJMO, 3
Let $ABCD$ be a quadrilateral inscribed in circle $\omega$ with $\overline{AC} \perp \overline{BD}$. Let $E$ and $F$ be the reflections of $D$ over lines $BA$ and $BC$, respectively, and let $P$ be the intersection of lines $BD$ and $EF$. Suppose that the circumcircle of $\triangle EPD$ meets $\omega$ at $D$ and $Q$, and the circumcircle of $\triangle FPD$ meets $\omega$ at $D$ and $R$. Show that $EQ = FR$.
2018 USAJMO, 4
Triangle $ABC$ is inscribed in a circle of radius 2 with $\angle ABC \geq 90^\circ$, and $x$ is a real number satisfying the equation $x^4 + ax^3 + bx^2 + cx + 1 = 0$, where $a=BC$, $b=CA$, $c=AB$. Find all possible values of $x$.
2016 USAJMO, 6
Find all functions $f:\mathbb{R}\rightarrow \mathbb{R}$ such that for all real numbers $x$ and $y$,
$$(f(x)+xy)\cdot f(x-3y)+(f(y)+xy)\cdot f(3x-y)=(f(x+y))^2.$$
2025 USAJMO, 1
Let $\mathbb Z$ be the set of integers, and let $f\colon \mathbb Z \to \mathbb Z$ be a function. Prove that there are infinitely many integers $c$ such that the function $g\colon \mathbb Z \to \mathbb Z$ defined by $g(x) = f(x) + cx$ is not bijective.
[i]Note: [/i] A function $g\colon \mathbb Z \to \mathbb Z$ is bijective if for every integer $b$, there exists exactly one integer $a$ such that $g(a) = b$.
2017 USAJMO, 5
Let $O$ and $H$ be the circumcenter and the orthocenter of an acute triangle $ABC$. Points $M$ and $D$ lie on side $BC$ such that $BM=CM$ and $\angle BAD = \angle CAD$. Ray $MO$ intersects the circumcircle of triangle $BHC$ in point $N$. Prove that $\angle ADO = \angle HAN$.
2014 USAJMO, 3
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$.
2016 USAJMO, 1
The isosceles triangle $\triangle ABC$, with $AB=AC$, is inscribed in the circle $\omega$. Let $P$ be a variable point on the arc $\stackrel{\frown}{BC}$ that does not contain $A$, and let $I_B$ and $I_C$ denote the incenters of triangles $\triangle ABP$ and $\triangle ACP$, respectively.
Prove that as $P$ varies, the circumcircle of triangle $\triangle PI_BI_C$ passes through a fixed point.
2025 USAJMO, 4
Let $n$ be a positive integer, and let $a_0,\,a_1,\dots,\,a_n$ be nonnegative integers such that $a_0\ge a_1\ge \dots\ge a_n.$ Prove that
\[
\sum_{i=0}^n i\binom{a_i}{2}\le\frac{1}{2}\binom{a_0+a_1+\dots+a_n}{2}.
\]
[i]Note:[/i] $\binom{k}{2}=\frac{k(k-1)}{2}$ for all nonnegative integers $k$.
2020 USOJMO, 6
Let $n \geq 2$ be an integer. Let $P(x_1, x_2, \ldots, x_n)$ be a nonconstant $n$-variable polynomial with real coefficients. Assume that whenever $r_1, r_2, \ldots , r_n$ are real numbers, at least two of which are equal, we have $P(r_1, r_2, \ldots , r_n) = 0$. Prove that $P(x_1, x_2, \ldots, x_n)$ cannot be written as the sum of fewer than $n!$ monomials. (A monomial is a polynomial of the form $cx^{d_1}_1 x^{d_2}_2\ldots x^{d_n}_n$, where $c$ is a nonzero real number and $d_1$, $d_2$, $\ldots$, $d_n$ are nonnegative integers.)
[i]Proposed by Ankan Bhattacharya[/i]
2023 USAJMO, 5
A positive integer $a$ is selected, and some positive integers are written on a board. Alice and Bob play the following game. On Alice's turn, she must replace some integer $n$ on the board with $n+a$, and on Bob's turn he must replace some even integer $n$ on the board with $n/2$. Alice goes first and they alternate turns. If on his turn Bob has no valid moves, the game ends.
After analyzing the integers on the board, Bob realizes that, regardless of what moves Alice makes, he will be able to force the game to end eventually. Show that, in fact, for this value of $a$ and these integers on the board, the game is guaranteed to end regardless of Alice's or Bob's moves.
2023 USAJMO, 3
Consider an $n$-by-$n$ board of unit squares for some odd positive integer $n$. We say that a collection $C$ of identical dominoes is a [i]maximal grid-aligned configuration[/i] on the board if $C$ consists of $(n^2-1)/2$ dominoes where each domino covers exactly two neighboring squares and the dominoes don't overlap: $C$ then covers all but one square on the board. We are allowed to slide (but not rotate) a domino on the board to cover the uncovered square, resulting in a new maximal grid-aligned configuration with another square uncovered. Let $k(C)$ be the number of distinct maximal grid-aligned configurations obtainable from $C$ by repeatedly sliding dominoes. Find the maximum value of $k(C)$ as a function of $n$.
[i]Proposed by Holden Mui[/i]
2022 USAJMO, 1
For which positive integers $m$ does there exist an infinite arithmetic sequence of integers $a_1, a_2, . . .$ and an infinite geometric sequence of integers $g_1, g_2, . . .$ satisfying the following properties?
[list]
[*] $a_n - g_n$ is divisible by $m$ for all integers $n \ge 1$;
[*] $a_2 - a_1$ is not divisible by $m$.
[/list]
[i]Holden Mui[/i]
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]
2023 USAJMO Solutions by peace09, 1
Find all triples of positive integers $(x,y,z)$ that satisfy the equation
$$2(x+y+z+2xyz)^2=(2xy+2yz+2zx+1)^2+2023.$$
2016 USAJMO, 5
Let $\triangle ABC$ be an acute triangle, with $O$ as its circumcenter. Point $H$ is the foot of the perpendicular from $A$ to line $\overleftrightarrow{BC}$, and points $P$ and $Q$ are the feet of the perpendiculars from $H$ to the lines $\overleftrightarrow{AB}$ and $\overleftrightarrow{AC}$, respectively.
Given that $$AH^2=2\cdot AO^2,$$ prove that the points $O,P,$ and $Q$ are collinear.
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, 2
Let $m$ and $n$ be positive integers. Let $S$ be the set of integer points $(x,y)$ with $1\leq x\leq 2m$ and $1\leq y\leq 2n$. A configuration of $mn$ rectangles is called [i]happy[/i] if each point in $S$ is a vertex of exactly one rectangle, and all rectangles have sides parallel to the coordinate axes. Prove that the number of happy configurations is odd.
[i]Proposed by Serena An and Claire Zhang[/i]