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

G
Topic
First Poster
Last Poster
An easy FE
oVlad   3
N a few seconds 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
Today at 1:36 PM
jasperE3
a few seconds ago
Interesting F.E
Jackson0423   12
N 3 minutes 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
3 minutes ago
3D geometry theorem
KAME06   0
27 minutes 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
27 minutes ago
0 replies
Funny easy transcendental geo
qwerty123456asdfgzxcvb   1
N 27 minutes 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
3 hours ago
golue3120
27 minutes ago
domino question
kjhgyuio   0
42 minutes ago
........
0 replies
kjhgyuio
42 minutes ago
0 replies
demonic monic polynomial problem
iStud   0
an hour 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
1 viewing
iStud
an hour ago
0 replies
fun set problem
iStud   0
an hour 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
an hour ago
0 replies
two tangent circles
KPBY0507   3
N an hour ago by Sanjana42
Source: FKMO 2021 Problem 5
The incenter and $A$-excenter of $\triangle{ABC}$ is $I$ and $O$. The foot from $A,I$ to $BC$ is $D$ and $E$. The intersection of $AD$ and $EO$ is $X$. The circumcenter of $\triangle{BXC}$ is $P$.
Show that the circumcircle of $\triangle{BPC}$ is tangent to the $A$-excircle if $X$ is on the incircle of $\triangle{ABC}$.
3 replies
KPBY0507
May 8, 2021
Sanjana42
an hour ago
trolling geometry problem
iStud   0
an hour ago
Source: Monthly Contest KTOM April P3 Essay
Given a cyclic quadrilateral $ABCD$ with $BC<AD$ and $CD<AB$. Lines $BC$ and $AD$ intersect at $X$, and lines $CD$ and $AB$ intersect at $Y$. Let $E,F,G,H$ be the midpoints of sides $AB,BC,CD,DA$, respectively. Let $S$ and $T$ be points on segment $EG$ and $FH$, respectively, so that $XS$ is the angle bisector of $\angle{DXA}$ and $YT$ is the angle bisector of $\angle{DYA}$. Prove that $TS$ is parallel to $BD$ if and only if $AC$ divides $ABCD$ into two triangles with equal area.
0 replies
iStud
an hour ago
0 replies
My hardest algebra ever created (only one solve in the contest)
mshtand1   6
N 2 hours ago by mshtand1
Source: Ukraine IMO TST P9
Find all functions \( f: (0, +\infty) \to (0, +\infty) \) for which, for all \( x, y > 0 \), the following identity holds:
\[
f(x) f(yf(x)) + y f(xy) = \frac{f\left(\frac{x}{y}\right)}{y} + \frac{f\left(\frac{y}{x}\right)}{x}
\]
Proposed by Mykhailo Shtandenko
6 replies
mshtand1
Apr 19, 2025
mshtand1
2 hours ago
Killer NT that nobody solved (also my hardest NT ever created)
mshtand1   4
N 2 hours ago by mshtand1
Source: Ukraine IMO 2025 TST P8
A positive integer number \( a \) is chosen. Prove that there exists a prime number that divides infinitely many terms of the sequence \( \{b_k\}_{k=1}^{\infty} \), where
\[
b_k = a^{k^k} \cdot 2^{2^k - k} + 1.
\]
Proposed by Arsenii Nikolaev and Mykhailo Shtandenko
4 replies
mshtand1
Apr 19, 2025
mshtand1
2 hours ago
Advanced topics in Inequalities
va2010   22
N 2 hours ago by Primeniyazidayi
So a while ago, I compiled some tricks on inequalities. You are welcome to post solutions below!
22 replies
va2010
Mar 7, 2015
Primeniyazidayi
2 hours ago
a