Difference between revisions of "2024 USAMO Problems"
Mathkiddie (talk | contribs) |
|||
Line 1: | Line 1: | ||
− | 1 | + | ==Day 1== |
+ | ===Problem 1=== | ||
+ | Find all integers <math>n \geq 3</math> such that the following property holds: if we list the divisors of <math>n !</math> in increasing order as <math>1=d_1<d_2<\cdots<d_k=n!</math>, then we have | ||
<cmath>d_2-d_1 \leq d_3-d_2 \leq \cdots \leq d_k-d_{k-1}.</cmath> | <cmath>d_2-d_1 \leq d_3-d_2 \leq \cdots \leq d_k-d_{k-1}.</cmath> | ||
− | 2 | + | ===Problem 2=== |
+ | Let <math>S_1, S_2, \ldots, S_{100}</math> be finite sets of integers whose intersection is not empty. For each non-empty <math>T \subseteq\left\{S_1, S_2, \ldots, S_{100}\right\}</math>, the size of the intersection of the sets in <math>T</math> is a multiple of the number of sets in <math>T</math>. What is the least possible number of elements that are in at least 50 sets? | ||
− | 3 | + | ===Problem 3=== |
+ | Let <math>m</math> be a positive integer. A triangulation of a polygon is <math>m</math>-balanced if its triangles can be colored with <math>m</math> 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 <math>m</math> colors. Find all positive integers <math>n</math> for which there exists an <math>m</math>-balanced triangulation of a regular <math>n</math>-gon. | ||
Note: A triangulation of a convex polygon <math>\mathcal{P}</math> with <math>n \geq 3</math> sides is any partitioning of <math>\mathcal{P}</math> into <math>n-2</math> triangles by <math>n-3</math> diagonals of <math>\mathcal{P}</math> that do not intersect in the polygon's interior. | Note: A triangulation of a convex polygon <math>\mathcal{P}</math> with <math>n \geq 3</math> sides is any partitioning of <math>\mathcal{P}</math> into <math>n-2</math> triangles by <math>n-3</math> diagonals of <math>\mathcal{P}</math> that do not intersect in the polygon's interior. | ||
− | 4 | + | ==Day 2== |
+ | ===Problem 4=== | ||
+ | Let <math>m</math> and <math>n</math> be positive integers. A circular necklace contains <math>m n</math> beads, each either red or blue. It turned out that no matter how the necklace was cut into <math>m</math> blocks of <math>n</math> consecutive beads, each block had a distinct number of red beads. Determine, with proof, all possible values of the ordered pair <math>(m, n)</math>. | ||
− | 5 | + | ===Problem 5=== |
+ | Point <math>D</math> is selected inside acute triangle <math>A B C</math> so that <math>\angle D A C=</math> <math>\angle A C B</math> and <math>\angle B D C=90^{\circ}+\angle B A C</math>. Point <math>E</math> is chosen on ray <math>B D</math> so that <math>A E=E C</math>. Let <math>M</math> be the midpoint of <math>B C</math>. | ||
Show that line <math>A B</math> is tangent to the circumcircle of triangle <math>B E M</math>. | Show that line <math>A B</math> is tangent to the circumcircle of triangle <math>B E M</math>. | ||
− | 6 | + | ===Problem 6=== |
+ | Let <math>n>2</math> be an integer and let <math>\ell \in\{1,2, \ldots, n\}</math>. A collection <math>A_1, \ldots, A_k</math> of (not necessarily distinct) subsets of <math>\{1,2, \ldots, n\}</math> is called <math>\ell</math>-large if <math>\left|A_i\right| \geq \ell</math> for all <math>1 \leq i \leq k</math>. Find, in terms of <math>n</math> and <math>\ell</math>, the largest real number <math>c</math> such that the inequality | ||
<cmath>\sum_{i=1}^k \sum_{j=1}^k x_i x_j \frac{\left|A_i \cap A_j\right|^2}{\left|A_i\right| \cdot\left|A_j\right|} \geq c\left(\sum_{i=1}^k x_i\right)^2</cmath> | <cmath>\sum_{i=1}^k \sum_{j=1}^k x_i x_j \frac{\left|A_i \cap A_j\right|^2}{\left|A_i\right| \cdot\left|A_j\right|} \geq c\left(\sum_{i=1}^k x_i\right)^2</cmath> | ||
holds for all positive integers <math>k</math>, all nonnegative real numbers <math>x_1, \ldots, x_k</math>, and all <math>\ell</math>-large collections <math>A_1, \ldots, A_k</math> of subsets of <math>\{1,2, \ldots, n\}</math>. | holds for all positive integers <math>k</math>, all nonnegative real numbers <math>x_1, \ldots, x_k</math>, and all <math>\ell</math>-large collections <math>A_1, \ldots, A_k</math> of subsets of <math>\{1,2, \ldots, n\}</math>. | ||
Note: For a finite set <math>S,|S|</math> denotes the number of elements in <math>S</math>. | Note: For a finite set <math>S,|S|</math> denotes the number of elements in <math>S</math>. |
Revision as of 19:22, 23 March 2024
Contents
Day 1
Problem 1
Find all integers such that the following property holds: if we list the divisors of
in increasing order as
, then we have
Problem 2
Let be finite sets of integers whose intersection is not empty. For each non-empty
, the size of the intersection of the sets in
is a multiple of the number of sets in
. What is the least possible number of elements that are in at least 50 sets?
Problem 3
Let be a positive integer. A triangulation of a polygon is
-balanced if its triangles can be colored with
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
colors. Find all positive integers
for which there exists an
-balanced triangulation of a regular
-gon.
Note: A triangulation of a convex polygon with
sides is any partitioning of
into
triangles by
diagonals of
that do not intersect in the polygon's interior.
Day 2
Problem 4
Let and
be positive integers. A circular necklace contains
beads, each either red or blue. It turned out that no matter how the necklace was cut into
blocks of
consecutive beads, each block had a distinct number of red beads. Determine, with proof, all possible values of the ordered pair
.
Problem 5
Point is selected inside acute triangle
so that
and
. Point
is chosen on ray
so that
. Let
be the midpoint of
.
Show that line
is tangent to the circumcircle of triangle
.
Problem 6
Let be an integer and let
. A collection
of (not necessarily distinct) subsets of
is called
-large if
for all
. Find, in terms of
and
, the largest real number
such that the inequality
holds for all positive integers
, all nonnegative real numbers
, and all
-large collections
of subsets of
.
Note: For a finite set denotes the number of elements in
.