Join our free webinar April 22 to learn about competitive programming!

G
Topic
First Poster
Last Poster
Inequality with three conditions
oVlad   2
N an hour ago by Quantum-Phantom
Source: Romania EGMO TST 2019 Day 1 P3
Let $a,b,c$ be non-negative real numbers such that \[b+c\leqslant a+1,\quad c+a\leqslant b+1,\quad a+b\leqslant c+1.\]Prove that $a^2+b^2+c^2\leqslant 2abc+1.$
2 replies
oVlad
Yesterday at 1:48 PM
Quantum-Phantom
an hour ago
GCD Functional Equation
pinetree1   61
N an hour ago by ihategeo_1969
Source: USA TSTST 2019 Problem 7
Let $f: \mathbb Z\to \{1, 2, \dots, 10^{100}\}$ be a function satisfying
$$\gcd(f(x), f(y)) = \gcd(f(x), x-y)$$for all integers $x$ and $y$. Show that there exist positive integers $m$ and $n$ such that $f(x) = \gcd(m+x, n)$ for all integers $x$.

Ankan Bhattacharya
61 replies
pinetree1
Jun 25, 2019
ihategeo_1969
an hour ago
An easy FE
oVlad   3
N an hour ago by jasperE3
Source: Romania EGMO TST 2017 Day 1 P3
Determine all functions $f:\mathbb R\to\mathbb R$ such that \[f(xy-1)+f(x)f(y)=2xy-1,\]for any real numbers $x{}$ and $y{}.$
3 replies
oVlad
Yesterday at 1:36 PM
jasperE3
an hour ago
Interesting F.E
Jackson0423   12
N an hour ago by jasperE3
Show that there does not exist a function
\[
f : \mathbb{R}^+ \to \mathbb{R}
\]satisfying the condition that for all \( x, y \in \mathbb{R}^+ \),
\[
f(x + y^2) \geq f(x) + y.
\]

~Korea 2017 P7
12 replies
Jackson0423
Apr 18, 2025
jasperE3
an hour ago
p^3 divides (a + b)^p - a^p - b^p
62861   49
N 2 hours ago by Ilikeminecraft
Source: USA January TST for IMO 2017, Problem 3
Prove that there are infinitely many triples $(a, b, p)$ of positive integers with $p$ prime, $a < p$, and $b < p$, such that $(a + b)^p - a^p - b^p$ is a multiple of $p^3$.

Noam Elkies
49 replies
1 viewing
62861
Feb 23, 2017
Ilikeminecraft
2 hours ago
3D geometry theorem
KAME06   0
2 hours ago
Let $M$ a point in the space and $G$ the centroid of a tetrahedron $ABCD$. Prove that:
$$\frac{1}{4}(AB^2+AC^2+AD^2+BC^2+BD^2+CD^2)+4MG^2=MA^2+MB^2+MC^2+MD^2$$
0 replies
KAME06
2 hours ago
0 replies
Funny easy transcendental geo
qwerty123456asdfgzxcvb   1
N 2 hours ago by golue3120
Let $\mathcal{S}$ be a logarithmic spiral centered at the origin (ie curve satisfying for any point $X$ on it, line $OX$ makes a fixed angle with the tangent to $\mathcal{S}$ at $X$). Let $\mathcal{H}$ be a rectangular hyperbola centered at the origin, scaled such that it is tangent to the logarithmic spiral at some point.

Prove that for a point $P$ on the spiral, the polar of $P$ wrt. $\mathcal{H}$ is tangent to the spiral.
1 reply
qwerty123456asdfgzxcvb
5 hours ago
golue3120
2 hours ago
domino question
kjhgyuio   0
2 hours ago
........
0 replies
kjhgyuio
2 hours ago
0 replies
demonic monic polynomial problem
iStud   0
2 hours ago
Source: Monthly Contest KTOM April P4 Essay
(a) Let $P(x)$ be a monic polynomial so that there exists another real coefficients $Q(x)$ that satisfy
\[P(x^2-2)=P(x)Q(x)\]Determine all complex roots that are possible from $P(x)$
(b) For arbitrary polynomial $P(x)$ that satisfies (a), determine whether $P(x)$ should have real coefficients or not.
0 replies
iStud
2 hours ago
0 replies
fun set problem
iStud   0
2 hours ago
Source: Monthly Contest KTOM April P2 Essay
Given a set $S$ with exactly 9 elements that is subset of $\{1,2,\dots,72\}$. Prove that there exist two subsets $A$ and $B$ that satisfy the following:
- $A$ and $B$ are non-empty subsets from $S$,
- the sum of all elements in each of $A$ and $B$ are equal, and
- $A\cap B$ is an empty subset.
0 replies
iStud
2 hours ago
0 replies
a