Live Discussion!
Casework 2: Overwhelming Evidence — A Text Adventure is going on now!

Stay ahead of learning milestones! Enroll in a class over the summer!

G
Topic
First Poster
Last Poster
IMO 2018 Problem 1
juckter   169
N 19 minutes ago by Thelink_20
Let $\Gamma$ be the circumcircle of acute triangle $ABC$. Points $D$ and $E$ are on segments $AB$ and $AC$ respectively such that $AD = AE$. The perpendicular bisectors of $BD$ and $CE$ intersect minor arcs $AB$ and $AC$ of $\Gamma$ at points $F$ and $G$ respectively. Prove that lines $DE$ and $FG$ are either parallel or they are the same line.

Proposed by Silouanos Brazitikos, Evangelos Psychas and Michael Sarantis, Greece
169 replies
juckter
Jul 9, 2018
Thelink_20
19 minutes ago
Game
Pascual2005   27
N 2 hours ago by HamstPan38825
Source: Colombia TST, IMO ShortList 2004, combinatorics problem 5
$A$ and $B$ play a game, given an integer $N$, $A$ writes down $1$ first, then every player sees the last number written and if it is $n$ then in his turn he writes $n+1$ or $2n$, but his number cannot be bigger than $N$. The player who writes $N$ wins. For which values of $N$ does $B$ win?

Proposed by A. Slinko & S. Marshall, New Zealand
27 replies
Pascual2005
Jun 7, 2005
HamstPan38825
2 hours ago
Lines concur on bisector of BAC
Invertibility   2
N 3 hours ago by NO_SQUARES
Source: Slovenia 2025 TST 3 P2
Let $\Omega$ be the circumcircle of a scalene triangle $ABC$. Let $\omega$ be a circle internally tangent to $\Omega$ in $A$. Tangents from $B$ touch $\omega$ in $P$ and $Q$, such that $P$ lies in the interior of $\triangle{}ABC$. Similarly, tangents from $C$ touch $\omega$ in $R$ and $S$, such that $R$ lies in the interior of $\triangle{}ABC$.

Prove that $PS$ and $QR$ concur on the bisector of $\angle{}BAC$.
2 replies
Invertibility
4 hours ago
NO_SQUARES
3 hours ago
Why is the old one deleted?
EeEeRUT   16
N 4 hours ago by ravengsd
Source: EGMO 2025 P1
For a positive integer $N$, let $c_1 < c_2 < \cdots < c_m$ be all positive integers smaller than $N$ that are coprime to $N$. Find all $N \geqslant 3$ such that $$\gcd( N, c_i + c_{i+1}) \neq 1$$for all $1 \leqslant i \leqslant m-1$

Here $\gcd(a, b)$ is the largest positive integer that divides both $a$ and $b$. Integers $a$ and $b$ are coprime if $\gcd(a, b) = 1$.

Proposed by Paulius Aleknavičius, Lithuania
16 replies
EeEeRUT
Apr 16, 2025
ravengsd
4 hours ago
angle chasing with 2 midpoints, equal angles given and wanted
parmenides51   5
N 4 hours ago by breloje17fr
Source: Ukrainian Geometry Olympiad 2017, IX p1, X p1, XI p1
In the triangle $ABC$, ${{A}_{1}}$ and ${{C}_{1}} $ are the midpoints of sides $BC $ and $AB$ respectively. Point $P$ lies inside the triangle. Let $\angle BP {{C}_{1}} = \angle PCA$. Prove that $\angle BP {{A}_{1}} = \angle PAC $.
5 replies
parmenides51
Dec 11, 2018
breloje17fr
4 hours ago
Problem 4 of Finals
GeorgeRP   2
N 5 hours ago by Assassino9931
Source: XIII International Festival of Young Mathematicians Sozopol 2024, Theme for 10-12 grade
The diagonals \( AD \), \( BE \), and \( CF \) of a hexagon \( ABCDEF \) inscribed in a circle \( k \) intersect at a point \( P \), and the acute angle between any two of them is \( 60^\circ \). Let \( r_{AB} \) be the radius of the circle tangent to segments \( PA \) and \( PB \) and internally tangent to \( k \); the radii \( r_{BC} \), \( r_{CD} \), \( r_{DE} \), \( r_{EF} \), and \( r_{FA} \) are defined similarly. Prove that
\[
r_{AB}r_{CD} + r_{CD}r_{EF} + r_{EF}r_{AB} = r_{BC}r_{DE} + r_{DE}r_{FA} + r_{FA}r_{BC}.
\]
2 replies
GeorgeRP
Sep 10, 2024
Assassino9931
5 hours ago
Interesting functional equation with geometry
User21837561   3
N 5 hours ago by Double07
Source: BMOSL 2024 G7
For an acute triangle $ABC$, let $O$ be the circumcentre, $H$ be the orthocentre, and $G$ be the centroid.
Let $f:\pi\rightarrow\mathbb R$ satisfy the following condition:
$f(A)+f(B)+f(C)=f(O)+f(G)+f(H)$
Prove that $f$ is constant.
3 replies
User21837561
Today at 8:14 AM
Double07
5 hours ago
greatest volume
hzbrl   1
N 5 hours ago by hzbrl
Source: purple comet
A large sphere with radius 7 contains three smaller balls each with radius 3 . The three balls are each externally tangent to the other two balls and internally tangent to the large sphere. There are four right circular cones that can be inscribed in the large sphere in such a way that the bases of the cones are tangent to all three balls. Of these four cones, the one with the greatest volume has volume $n \pi$. Find $n$.
1 reply
hzbrl
Yesterday at 9:56 AM
hzbrl
5 hours ago
(n+1)2^n, (n+3)2^{n+2} not perfect squares for the same n
parmenides51   3
N 5 hours ago by AylyGayypow009
Source: Greece JBMO TST 2015 p3
Prove that there is not a positive integer $n$ such that numbers $(n+1)2^n, (n+3)2^{n+2}$ are both perfect squares.
3 replies
parmenides51
Apr 29, 2019
AylyGayypow009
5 hours ago
IMO 2010 Problem 3
canada   59
N 5 hours ago by pi271828
Find all functions $g:\mathbb{N}\rightarrow\mathbb{N}$ such that \[\left(g(m)+n\right)\left(g(n)+m\right)\] is a perfect square for all $m,n\in\mathbb{N}.$

Proposed by Gabriel Carroll, USA
59 replies
canada
Jul 7, 2010
pi271828
5 hours ago
Equilateral triangle formed by circle and Fermat point
Mimii08   2
N 6 hours ago by Mimii08
Source: Heard from a friend
Hi! I found this interesting geometry problem and I would really appreciate help with the proof.

Let ABC be an acute triangle, and let T be the Fermat (Torricelli) point of triangle ABC. Let A1, B1, and C1 be the feet of the perpendiculars from T to the sides BC, AC, and AB, respectively. Let ω be the circle passing through points A1, B1, and C1. Let A2, B2, and C2 be the second points where ω intersects the sides BC, AC, and AB, respectively (different from A1, B1, C1).

Prove that triangle A2B2C2 is equilateral.

2 replies
Mimii08
Yesterday at 10:36 PM
Mimii08
6 hours ago
tangent circles
parmenides51   3
N Apr 19, 2025 by ihategeo_1969
Source: 2019 Geo Mock - Olympiad by Tovi Wen #5 https://artofproblemsolving.com/community/c594864h1787237p11805928
Let $ABC$ be an acute triangle with orthocenter $H$, and let $D$ denote the foot of the altitude from $B$ to $\overline{AC}$. Let the circle $\Omega$ with diameter $\overline{BC}$ intersect altitude $\overline{AH}$ at distinct points $X$ and $Y$. Suppose that the circle with center $C$ passing through point $X$ intersects segment $\overline{BD}$ at $L$. Line $\overline{CL}$ meets $\Omega$ at $P \neq C$. If $\overline{PX}$ intersects $\overline{AL}$ at $R$, and $\overline{PY}$ intersects $\overline{AL}$ at $S$, prove that $\Omega$ is tangent to the circumcircle of $\triangle DRS$.
3 replies
parmenides51
Nov 26, 2023
ihategeo_1969
Apr 19, 2025
tangent circles
G H J
G H BBookmark kLocked kLocked NReply
Source: 2019 Geo Mock - Olympiad by Tovi Wen #5 https://artofproblemsolving.com/community/c594864h1787237p11805928
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
parmenides51
30651 posts
#1
Y by
Let $ABC$ be an acute triangle with orthocenter $H$, and let $D$ denote the foot of the altitude from $B$ to $\overline{AC}$. Let the circle $\Omega$ with diameter $\overline{BC}$ intersect altitude $\overline{AH}$ at distinct points $X$ and $Y$. Suppose that the circle with center $C$ passing through point $X$ intersects segment $\overline{BD}$ at $L$. Line $\overline{CL}$ meets $\Omega$ at $P \neq C$. If $\overline{PX}$ intersects $\overline{AL}$ at $R$, and $\overline{PY}$ intersects $\overline{AL}$ at $S$, prove that $\Omega$ is tangent to the circumcircle of $\triangle DRS$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
aqwxderf
168 posts
#2
Y by
Very cute.

Let $\overline{AH} \cap \overline{BC} = E$.

Since $[CL]^2 = [CX]^2= [CY]^2 \Rightarrow L$ is the incenter of $\triangle PXY $.
$[CL]^2 = [CX]^2 = [CE] \cdot [CB] = [CD] \cdot [CA] \Rightarrow \overline{AL} \perp \overline{CL}\Rightarrow R$ and $S $ belong to the $P $ mixtilinear incircle of $\triangle PXY$.
Since $B $ is the midpoint of arc $XPY$ and $B - L - D \Rightarrow D$ belongs to the $P $ mixtilinear incircle of $\triangle PXY$.

This clearly implies that the circumcircle of $\triangle DRS$ is the $P $ mixtilinear incircle of $\triangle PXY$ thus tangent to $\Omega$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
parmenides51
30651 posts
#3
Y by
older posted solutions from another thread in order to have them all in one place

by TheDarkPrince

by rocketscience

by math_pi_rate
This post has been edited 1 time. Last edited by parmenides51, Nov 27, 2023, 8:21 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ihategeo_1969
235 posts
#4
Y by
Let $D$ be foot of $A$ to $\overline{BC}$.

Claim: $\measuredangle ALC=90^\circ$.
Proof: Say $L'$ is point on segment $\overline{BE}$ such that $\measuredangle AL'C=90^\circ$ so $\overline{CL'}$ is tangent to $(AEL')$ and also $\overline{CX}$ is tangent to $(BXD)$ and hence by PoP we have $CL'^2=CE \cdot CA=CD \cdot CB=CX^2$ and so $L \in (C,CX)$. $\square$

Claim: $L$ is incenter of $\triangle PXY$.
Proof: $\measuredangle XPL=\measuredangle XYC=\measuredangle CXY=\measuredangle LPY$ and see that $C$ is minor arc midpoint of $\widehat{XY}$ and so $L \in (C,CX)$ and $L$ obviously lies inside $\triangle PXY$ and so by IE lemma, the result follows. $\square$

Now $B$ is major arc midpoint of $\widehat{XY}$ and so $E=\overline{BC} \cap (PXY)$ and hence it is the $P$-Mixtilinear intouch point and by first claim $(RES)$ is $P$-Mixtilinear incircle and done.
This post has been edited 1 time. Last edited by ihategeo_1969, Apr 19, 2025, 12:16 AM
Z K Y
N Quick Reply
G
H
=
a