MathDB
Problems
Contests
National and Regional Contests
USA Contests
USA - College-Hosted Events
Harvard-MIT Mathematics Tournament
2022 HMIC
2022 HMIC
Part of
Harvard-MIT Mathematics Tournament
Subcontests
(5)
5
1
Hide problems
HMIC loves "quasi"
Let
F
p
\mathbb{F}_p
F
p
be the set of integers modulo
p
p
p
. Call a function
f
:
F
p
2
→
F
p
f : \mathbb{F}_p^2 \to \mathbb{F}_p
f
:
F
p
2
→
F
p
quasiperiodic if there exist
a
,
b
∈
F
p
a,b \in \mathbb{F}_p
a
,
b
∈
F
p
, not both zero, so that
f
(
x
+
a
,
y
+
b
)
=
f
(
x
,
y
)
f(x + a, y + b) = f(x, y)
f
(
x
+
a
,
y
+
b
)
=
f
(
x
,
y
)
for all
x
,
y
∈
F
p
x,y \in \mathbb{F}_p
x
,
y
∈
F
p
. Find the number of functions
F
p
2
→
F
p
\mathbb{F}_p^2 \to \mathbb{F}_p
F
p
2
→
F
p
that can be written as the sum of some number of quasiperiodic functions.
4
1
Hide problems
Quasicolorable coloring of a graph
Call a simple graph
G
G
G
quasicolorable if we can color each edge blue, red, green, or white such that[*] for each vertex v of degree 3 in G, the three edges incident to v are either (1) red, green, and blue, or (2) all white, [*] not all edges are white.A simple connected graph
G
G
G
has
a
a
a
vertices of degree
4
4
4
,
b
b
b
vertices of degree
3
3
3
, and no other vertices, where
a
a
a
and
b
b
b
are positive integers. Find the smallest real number
c
c
c
so that the following statement is true: “If
a
/
b
>
c
a/b > c
a
/
b
>
c
, then
G
G
G
must be quasicolorable.”
3
1
Hide problems
Trivial by direct computation
For a nonnegative integer
n
n
n
, let
s
(
n
)
s(n)
s
(
n
)
be the sum of the digits of the binary representation of
n
n
n
. Prove that
∑
n
=
1
2
2022
−
1
(
−
1
)
s
(
n
)
n
+
2022
>
0.
\sum_{n=1}^{2^{2022}-1} \frac{(-1)^{s(n)}}{n+2022}>0.
n
=
1
∑
2
2022
−
1
n
+
2022
(
−
1
)
s
(
n
)
>
0.
2
1
Hide problems
An extraordinary regular pentagon
Does there exist a regular pentagon whose vertices lie on the edges of a cube?
1
1
Hide problems
Rational Infinite Product
Is
∏
k
=
0
∞
(
1
−
1
202
2
k
!
)
\prod_{k=0}^\infty \left(1-\frac{1}{2022^{k!}}\right)
k
=
0
∏
∞
(
1
−
202
2
k
!
1
)
rational?