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

G
Topic
First Poster
Last Poster
trolling geometry problem
iStud   3
N an hour ago by iStud
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.
3 replies
iStud
6 hours ago
iStud
an hour ago
3D geometry theorem
KAME06   1
N an hour ago by mathuz
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$$
1 reply
KAME06
5 hours ago
mathuz
an hour ago
IMO Shortlist 2012, Number Theory 6
mathmdmb   42
N 2 hours ago by ihategeo_1969
Source: IMO Shortlist 2012, Number Theory 6
Let $x$ and $y$ be positive integers. If ${x^{2^n}}-1$ is divisible by $2^ny+1$ for every positive integer $n$, prove that $x=1$.
42 replies
mathmdmb
Jul 26, 2013
ihategeo_1969
2 hours ago
GCD of a sequence
oVlad   7
N 3 hours ago by grupyorum
Source: Romania EGMO TST 2017 Day 1 P2
Determine all pairs $(a,b)$ of positive integers with the following property: all of the terms of the sequence $(a^n+b^n+1)_{n\geqslant 1}$ have a greatest common divisor $d>1.$
7 replies
oVlad
Yesterday at 1:35 PM
grupyorum
3 hours ago
Another System
worthawholebean   3
N 4 hours ago by P162008
Source: HMMT 2008 Guts Problem 33
Let $ a$, $ b$, $ c$ be nonzero real numbers such that $ a+b+c=0$ and $ a^3+b^3+c^3=a^5+b^5+c^5$. Find the value of
$ a^2+b^2+c^2$.
3 replies
worthawholebean
May 13, 2008
P162008
4 hours ago
Inequality with three conditions
oVlad   2
N 4 hours 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
4 hours ago
GCD Functional Equation
pinetree1   61
N 4 hours 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
4 hours ago
An easy FE
oVlad   3
N 4 hours 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
4 hours ago
p^3 divides (a + b)^p - a^p - b^p
62861   49
N 4 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
62861
Feb 23, 2017
Ilikeminecraft
4 hours ago
Funny easy transcendental geo
qwerty123456asdfgzxcvb   1
N 5 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
1 viewing
qwerty123456asdfgzxcvb
Yesterday at 7:23 PM
golue3120
5 hours ago
a