Summer is a great time to explore cool problems to keep your skills sharp!  Schedule a class today!

G
Topic
First Poster
Last Poster
IMO96/2 [the lines AP, BD, CE meet at a point]
Arne   47
N 18 minutes ago by Bridgeon
Source: IMO 1996 problem 2, IMO Shortlist 1996, G2
Let $ P$ be a point inside a triangle $ ABC$ such that
\[ \angle APB - \angle ACB = \angle APC - \angle ABC.
\]
Let $ D$, $ E$ be the incenters of triangles $ APB$, $ APC$, respectively. Show that the lines $ AP$, $ BD$, $ CE$ meet at a point.
47 replies
+1 w
Arne
Sep 30, 2003
Bridgeon
18 minutes ago
Can't be power of 2
shobber   31
N an hour ago by LeYohan
Source: APMO 1998
Show that for any positive integers $a$ and $b$, $(36a+b)(a+36b)$ cannot be a power of $2$.
31 replies
shobber
Mar 17, 2006
LeYohan
an hour ago
Brilliant Problem
M11100111001Y1R   4
N an hour ago by IAmTheHazard
Source: Iran TST 2025 Test 3 Problem 3
Find all sequences \( (a_n) \) of natural numbers such that for every pair of natural numbers \( r \) and \( s \), the following inequality holds:
\[
\frac{1}{2} < \frac{\gcd(a_r, a_s)}{\gcd(r, s)} < 2
\]
4 replies
M11100111001Y1R
Yesterday at 7:28 AM
IAmTheHazard
an hour ago
Own made functional equation
Primeniyazidayi   1
N an hour ago by Primeniyazidayi
Source: own(probably)
Find all functions $f:R \rightarrow R$ such that $xf(x^2+2f(y)-yf(x))=f(x)^3-f(y)(f(x^2)-2f(x))$ for all $x,y \in \mathbb{R}$
1 reply
Primeniyazidayi
May 26, 2025
Primeniyazidayi
an hour ago
not fun equation
DottedCaculator   13
N 2 hours ago by Adywastaken
Source: USA TST 2024/6
Find all functions $f\colon\mathbb R\to\mathbb R$ such that for all real numbers $x$ and $y$,
\[f(xf(y))+f(y)=f(x+y)+f(xy).\]
Milan Haiman
13 replies
DottedCaculator
Jan 15, 2024
Adywastaken
2 hours ago
Serbian selection contest for the IMO 2025 - P6
OgnjenTesic   12
N 3 hours ago by atdaotlohbh
Source: Serbian selection contest for the IMO 2025
For an $n \times n$ table filled with natural numbers, we say it is a divisor table if:
- the numbers in the $i$-th row are exactly all the divisors of some natural number $r_i$,
- the numbers in the $j$-th column are exactly all the divisors of some natural number $c_j$,
- $r_i \ne r_j$ for every $i \ne j$.

A prime number $p$ is given. Determine the smallest natural number $n$, divisible by $p$, such that there exists an $n \times n$ divisor table, or prove that such $n$ does not exist.

Proposed by Pavle Martinović
12 replies
OgnjenTesic
May 22, 2025
atdaotlohbh
3 hours ago
Geometry with fix circle
falantrng   33
N 3 hours ago by zuat.e
Source: RMM 2018 Problem 6
Fix a circle $\Gamma$, a line $\ell$ to tangent $\Gamma$, and another circle $\Omega$ disjoint from $\ell$ such that $\Gamma$ and $\Omega$ lie on opposite sides of $\ell$. The tangents to $\Gamma$ from a variable point $X$ on $\Omega$ meet $\ell$ at $Y$ and $Z$. Prove that, as $X$ varies over $\Omega$, the circumcircle of $XYZ$ is tangent to two fixed circles.
33 replies
falantrng
Feb 25, 2018
zuat.e
3 hours ago
USAMO 2001 Problem 2
MithsApprentice   54
N 3 hours ago by lpieleanu
Let $ABC$ be a triangle and let $\omega$ be its incircle. Denote by $D_1$ and $E_1$ the points where $\omega$ is tangent to sides $BC$ and $AC$, respectively. Denote by $D_2$ and $E_2$ the points on sides $BC$ and $AC$, respectively, such that $CD_2=BD_1$ and $CE_2=AE_1$, and denote by $P$ the point of intersection of segments $AD_2$ and $BE_2$. Circle $\omega$ intersects segment $AD_2$ at two points, the closer of which to the vertex $A$ is denoted by $Q$. Prove that $AQ=D_2P$.
54 replies
MithsApprentice
Sep 30, 2005
lpieleanu
3 hours ago
German-Style System of Equations
Primeniyazidayi   1
N 4 hours ago by Primeniyazidayi
Source: German MO 2025 11/12 Day 1 P1
Solve the system of equations in $\mathbb{R}$

\begin{align*}
\frac{a}{c} &= b-\sqrt{b}+c \\
\sqrt{\frac{a}{c}} &= \sqrt{b}+1 \\
\sqrt[4]{\frac{a}{c}} &=\sqrt[3]{b}-1
\end{align*}
1 reply
Primeniyazidayi
4 hours ago
Primeniyazidayi
4 hours ago
gcd nt from switzerland
AshAuktober   5
N 4 hours ago by Siddharthmaybe
Source: Swiss 2025 Second Round
Let $a, b$ be positive integers. Prove that the expression
\[\frac{\gcd(a+b,ab)}{\gcd(a,b)}\]is always a positive integer, and determine all possible values it can take.
5 replies
AshAuktober
5 hours ago
Siddharthmaybe
4 hours ago
Shortlist 2017/G1
fastlikearabbit   92
N 4 hours ago by Ilikeminecraft
Source: Shortlist 2017
Let $ABCDE$ be a convex pentagon such that $AB=BC=CD$, $\angle{EAB}=\angle{BCD}$, and $\angle{EDC}=\angle{CBA}$. Prove that the perpendicular line from $E$ to $BC$ and the line segments $AC$ and $BD$ are concurrent.
92 replies
fastlikearabbit
Jul 10, 2018
Ilikeminecraft
4 hours ago
circle geometry showing perpendicularity
Kyj9981   4
N Apr 24, 2025 by cj13609517288
Two circles $\omega_1$ and $\omega_2$ intersect at points $A$ and $B$. A line through $B$ intersects $\omega_1$ and $\omega_2$ at points $C$ and $D$, respectively. Line $AD$ intersects $\omega_1$ at point $E \neq A$, and line $AC$ intersects $\omega_2$ at point $F \neq A$. If $O$ is the circumcenter of $\triangle AEF$, prove that $OB \perp CD$.
4 replies
Kyj9981
Mar 18, 2025
cj13609517288
Apr 24, 2025
circle geometry showing perpendicularity
G H J
G H BBookmark kLocked kLocked NReply
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Kyj9981
15 posts
#1 • 1 Y
Y by Rounak_iitr
Two circles $\omega_1$ and $\omega_2$ intersect at points $A$ and $B$. A line through $B$ intersects $\omega_1$ and $\omega_2$ at points $C$ and $D$, respectively. Line $AD$ intersects $\omega_1$ at point $E \neq A$, and line $AC$ intersects $\omega_2$ at point $F \neq A$. If $O$ is the circumcenter of $\triangle AEF$, prove that $OB \perp CD$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Retemoeg
59 posts
#2 • 1 Y
Y by Kyj9981
Could be resolved nicely through Carnot's theorem.
Denote $M, N$ midpoints of segments $AE, AF$.
We'd have that $ON \perp AF$, $OM \perp AE$.
\[ MA^2 - MD^2 + BD^2 - BC^2 + NC^2 - NA^2 = 0 \]Notice that, by power of a point and Pythagorean's: $MA^2 - MD^2 = (MA - MD)(ME + MD) = -DA\cdot DE = -DB\cdot DC$.
Similarly, $NC^2 - NA^2 = CB\cdot CD$. Thus, the above sum translates to
\[ -DB\cdot DC + CB\cdot CD + BD^2 - BC^2 = (DB - DC)\cdot CD - (DB - DC)\cdot CD = 0 \]And we are done.
This post has been edited 2 times. Last edited by Retemoeg, Mar 18, 2025, 4:55 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Double07
94 posts
#3 • 2 Y
Y by Calamarul, Kyj9981
We will solve this with Moving Points Method:

Fix the $\omega_1$ and $\omega_2$ circles, $O_1$ and $O_2$ their centers and $A$ and $B$ their intersections and we will move point $C$ along $\omega_1$.

First of all, we will prove that $B, O_1, O_2, O$ are concyclic.

Notice that $OO_1$ is the bisector of segment $AE$ and $OO_2$ is the bisector of segment $AF$.

$\widehat{O_1OO_2}=180^\circ-\widehat{EAF}=180^\circ-\widehat{CAD}$.

We want to prove that $\widehat{O_1OO_2}=180^\circ-\widehat{O_1BO_2}\iff \widehat{CAD}=\widehat{O_1BO_2}=\widehat{O_1AO_2}$.

But $\widehat{O_1AO_2}=180^\circ-\widehat{AO_1O_2}-\widehat{AO_2O_1}=180^\circ-\frac{1}{2}\widehat{AO_1B}-\frac{1}{2}\widehat{AO_2B}=180^\circ-\widehat{ACB}-\widehat{ADB}=\widehat{CAD}\quad\blacksquare$

Let now $X$ be the intersection of the perpendicular in $B$ on the $CD$ line with the $(BO_1O_2)$ circle (other than $B$).

We will show there exist projective maps $C\to O$ and $C\to X$ and then we will just have to prove that $O=X$ for $3$ points $C\in\omega_1$.

Since $C\to AC$ is projective ($A$ is fixed), $AC\to O_2O$ is projective ($O_2O$ is the perpendicular from $O_2$ to $AC$) and $O_2O\to O$ is projective (the $(BO_1O_2)$ circle is fixed and $O$ is the intersection of $O_2O$ with it), we have $C\to O$ - projective.

Since $C\to BC$ is projective ($B$ is fixed), $BC\to BX$ is projective ($BX$ is the perpendicular in $B$ on line $BC$) and $BX\to X$ is projective (the $(BO_1O_2)$ circle is fixed and $X$ is the intersection of $BX$ with it), we have $C\to X$ - projective.

Now we are just left to show that $O=X$ for $3$ points $C$.

1. $C\to B\implies BC$ becomes the tangent to $\omega_1$ in $B\implies BX\to BO_1\implies X\to O_1$.
$C\to B\implies AC\to AB\implies O_2O\to O_2O_1\implies O\to O_1\implies X=O$.

2. $C$ is the antipode of $A$ in $\omega_1\implies BC\parallel O_1O_2\implies BX\to BA\implies X=BA\cap (BO_1O_2)$.
But $\widehat{O_1XO_2}=180^\circ-\widehat{O_1BO_2}=180^\circ-\widehat{O_1AO_2}$.
Since $\widehat{O_1XO_2}=180^\circ-\widehat{O_1AO_2}$ and $XA\perp O_1O_2$, we can conclude that $A$ is the orthocenter of $\Delta XO_1O_2\implies O_1A\perp XO_2$.
We also have $AC=AO_1\implies O_2O\perp O_1A\implies X=O$.

3. $C\to A\implies AC$ becomes the tangent in $A$ at $\omega_1\implies OO_2\parallel O_1A$ and we similarly get $OO_1\parallel O_2A\implies O_1AO_2O$ is a parallelogram. Since $A$ is the reflection of $B$ across $O_1O_2$, is well-known that $O$ is the reflection of $B$ across the bisector of segment $O_1O_2$.
$C\to A\implies BC\to AB\implies BX\parallel O_1O_2\implies O_1O_2XB$ is an isoscelles trapezoid, so $X$ is also the reflection of $B$ across the bisector of segment $O_1O_2$, so $X=O$.

So projective functions $C\to O$ and $C\to X$ are equal in $3$ different points $C$, so $O=X$ for all points $C\in\omega_1$.
This means that $OB\perp CD$.
This post has been edited 1 time. Last edited by Double07, Mar 18, 2025, 7:30 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
JollyEggsBanana
2 posts
#4 • 1 Y
Y by Kyj9981
Let $O_1$ and $O_2$ be the centers of $\omega_1$ and $\omega_2$ respectively.

The main claim is that $O_1O_2BO$ is cyclic. Note $O_1O \perp AE$ and $O_2O \perp AF$ by radax. This implies $\measuredangle O_1OO_2 = \measuredangle DAC = \measuredangle O_1BO_2$.

From here we can angle chase
\[\measuredangle OBC = \measuredangle  OBO_1 + \measuredangle O_1BC = \measuredangle FAB + 90 - \measuredangle CAB = 90\]
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
cj13609517288
1924 posts
#5 • 1 Y
Y by Kyj9981
https://www.geogebra.org/calculator/vz7v5yep

Let $G=CE\cap DF$ which lies on $(AEF)$ by triangle Miquel. Then $\angle CBE=\angle DBF=\angle G$, so $\angle EOF=2\angle G=180^\circ-\angle EBF$, so $EBFO$ cyclic. Now we can access the argument of $OB$, so the problem dies:
\[\angle OBC=\angle OBE+\angle EBC=\angle OFE+\angle EAC=90^\circ.\]
This post has been edited 1 time. Last edited by cj13609517288, Apr 24, 2025, 2:41 PM
Z K Y
N Quick Reply
G
H
=
a