Join our FREE webinar on May 1st to learn about managing anxiety.

G
Topic
First Poster
Last Poster
Question on Balkan SL
Fmimch   1
N 33 minutes ago by Fmimch
Does anyone know where to find the Balkan MO Shortlist 2024? If you have the file, could you send in this thread? Thank you!
1 reply
Fmimch
6 hours ago
Fmimch
33 minutes ago
Easy Geometry Problem in Taiwan TST
chengbilly   7
N an hour ago by L13832
Source: 2025 Taiwan TST Round 1 Independent Study 2-G
Suppose $I$ and $I_A$ are the incenter and the $A$-excenter of triangle $ABC$, respectively.
Let $M$ be the midpoint of arc $BAC$ on the circumcircle, and $D$ be the foot of the
perpendicular from $I_A$ to $BC$. The line $MI$ intersects the circumcircle again at $T$ . For
any point $X$ on the circumcircle of triangle $ABC$, let $XT$ intersect $BC$ at $Y$ . Prove
that $A, D, X, Y$ are concyclic.
7 replies
chengbilly
Mar 6, 2025
L13832
an hour ago
Overlapping game
Kei0923   3
N 2 hours ago by CrazyInMath
Source: 2023 Japan MO Finals 1
On $5\times 5$ squares, we cover the area with several S-Tetrominos (=Z-Tetrominos) along the square so that in every square, there are two or fewer tiles covering that (tiles can be overlap). Find the maximum possible number of squares covered by at least one tile.
3 replies
Kei0923
Feb 11, 2023
CrazyInMath
2 hours ago
Interesting Function
Kei0923   4
N 2 hours ago by CrazyInMath
Source: 2024 JMO preliminary p8
Function $f:\mathbb{Z}_{\geq 0}\rightarrow\mathbb{Z}$ satisfies
$$f(m+n)^2=f(m|f(n)|)+f(n^2)$$for any non-negative integers $m$ and $n$. Determine the number of possible sets of integers $\{f(0), f(1), \dots, f(2024)\}$.
4 replies
Kei0923
Jan 9, 2024
CrazyInMath
2 hours ago
Functional Geometry
GreekIdiot   1
N 2 hours ago by ItzsleepyXD
Source: BMO 2024 SL G7
Let $f: \pi \to \mathbb R$ be a function from the Euclidean plane to the real numbers such that $f(A)+f(B)+f(C)=f(O)+f(G)+f(H)$ for any acute triangle $\Delta ABC$ with circumcenter $O$, centroid $G$ and orthocenter $H$. Prove that $f$ is constant.
1 reply
GreekIdiot
Apr 27, 2025
ItzsleepyXD
2 hours ago
hard inequalities
pennypc123456789   1
N 2 hours ago by 1475393141xj
Given $x,y,z$ be the positive real number. Prove that

$\frac{2xy}{\sqrt{2xy(x^2+y^2)}} + \frac{2yz}{\sqrt{2yz(y^2+z^2)}} + \frac{2xz}{\sqrt{2xz(x^2+z^2)}} \le \frac{2(x^2+y^2+z^2) + xy+yz+xz}{x^2+y^2+z^2}$
1 reply
pennypc123456789
6 hours ago
1475393141xj
2 hours ago
Cute R+ fe
Aryan-23   6
N 2 hours ago by jasperE3
Source: IISc Pravega, Enumeration 2023-24 Finals P1
Find all functions $f\colon \mathbb R^+ \mapsto \mathbb R^+$, such that for all positive reals $x,y$, the following is true:

$$xf(1+xf(y))= f\left(f(x) + \frac 1y\right)$$
Kazi Aryan Amin
6 replies
Aryan-23
Jan 27, 2024
jasperE3
2 hours ago
Easy Combinatorial Game Problem in Taiwan TST
chengbilly   8
N 2 hours ago by CrazyInMath
Source: 2025 Taiwan TST Round 1 Independent Study 1-C
Alice and Bob are playing game on an $n \times n$ grid. Alice goes first, and they take turns drawing a black point from the coordinate set
\[\{(i, j) \mid i, j \in \mathbb{N}, 1 \leq i, j \leq n\}\]There is a constraint that the distance between any two black points cannot be an integer. The player who cannot draw a black point loses. Find all integers $n$ such that Alice has a winning strategy.

Proposed by chengbilly
8 replies
chengbilly
Mar 5, 2025
CrazyInMath
2 hours ago
Tiling problem (Combinatorics or Number Theory?)
Rukevwe   4
N 2 hours ago by CrazyInMath
Source: 2022 Nigerian MO Round 3/Problem 3
A unit square is removed from the corner of an $n \times n$ grid, where $n \geq 2$. Prove that the remainder can be covered by copies of the figures of $3$ or $5$ unit squares depicted in the drawing below.
IMAGE

Note: Every square must be covered once and figures must not go over the bounds of the grid.
4 replies
Rukevwe
May 2, 2022
CrazyInMath
2 hours ago
Finding all integers with a divisibility condition
Tintarn   15
N 3 hours ago by CrazyInMath
Source: Germany 2020, Problem 4
Determine all positive integers $n$ for which there exists a positive integer $d$ with the property that $n$ is divisible by $d$ and $n^2+d^2$ is divisible by $d^2n+1$.
15 replies
Tintarn
Jun 22, 2020
CrazyInMath
3 hours ago
Find all functions
WakeUp   21
N 3 hours ago by CrazyInMath
Source: Baltic Way 2010
Let $\mathbb{R}$ denote the set of real numbers. Find all functions $f:\mathbb{R}\rightarrow\mathbb{R}$ such that
\[f(x^2)+f(xy)=f(x)f(y)+yf(x)+xf(x+y)\]
for all $x,y\in\mathbb{R}$.
21 replies
WakeUp
Nov 19, 2010
CrazyInMath
3 hours ago
Incircle-excircle config geo
a_507_bc   13
N Apr 6, 2025 by Bonime
Source: Serbia 2024 MO Problem 4
Let $ABC$ be a triangle with incenter and $A$-excenter $I, I_a$, whose incircle touches $BC, CA, AB$ at $D, E, F$. The line $EF$ meets $BC$ at $P$ and $X$ is the midpoint of $PD$. Show that $XI \perp DI_a$.
13 replies
a_507_bc
Apr 4, 2024
Bonime
Apr 6, 2025
Incircle-excircle config geo
G H J
G H BBookmark kLocked kLocked NReply
Source: Serbia 2024 MO Problem 4
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
a_507_bc
676 posts
#1 • 3 Y
Y by Rounak_iitr, Funcshun840, PikaPika999
Let $ABC$ be a triangle with incenter and $A$-excenter $I, I_a$, whose incircle touches $BC, CA, AB$ at $D, E, F$. The line $EF$ meets $BC$ at $P$ and $X$ is the midpoint of $PD$. Show that $XI \perp DI_a$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MathLuis
1514 posts
#2 • 4 Y
Y by GeoKing, KevinYang2.71, Funcshun840, PikaPika999
This is Spoiler config, but here's a way to solve if you didn't know that.
Let $(PD) \cap (DEF)=X'$, $H$ feet of altitude from $A$ to $BC$, $DD'$ diameter in $(DEF)$, $AD \cap (DEF)=J$, $AI \cap BC=K$ and $N$ midpoint of $AH$.
As $-1=(P, D; E, F)$ by McLaurin we have $XD^2=XB \cdot XC$ so $XX'$ is tangent to $(BX'C)$ in addition as $XX'=DX$ we must have $XX'$ tangent to $(DEF)$ as well, also note that $P,X',D'$ sre colinear due to the $90º$ angles so as $-1=(J, D; E, F)$ and the given colinearity we have that $-1=(J, D; X', D') \overset{D}{=} (A, H; DX' \cap AH, \infty_{AH})$ therefore $D,X',N$ are colinear and now we finish with $-1=(A, H; N, \infty_{AH}) \overset{D}{=} (A, K; X'D \cap AI, I)$ therefore $X',D,I_a$ are colinear and now this means that since $XI \perp DX'$ we in fact have $XI \perp DI_a$ as desired thus we are done :D.
Motivational Remarks
This post has been edited 1 time. Last edited by MathLuis, Apr 4, 2024, 6:58 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
PROF65
2016 posts
#3 • 2 Y
Y by Steff9, PikaPika999
Since $(DP,BC)=-1$ then $XB\cdot XC=XD^2$ hence $X$ in the radical axis of $(I)$ and $(ABC)$
but $X$ is also on the radical axis of $(ABC)$ and $(IBC)$
therefore $X$ is the radical center of $(ABC),(IBC),(I)$
hence $X$ is on the radical axis of $ (IBC)$ and $(I)$ which is $ST$ where $S,T $ their intersections;
but $II_a$ is diameter then $I_aS\perp SI, I_aT\perp ST$ i.e. $X$ on the polar of $I_a$ so $I_a$ is on the polar of $X$
therfore $DI_a$ is the polar of $X$ which leads to the desired result.

Best regards.
RH HAS
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
rstenetbg
72 posts
#4 • 3 Y
Y by VicKmath7, Assassino9931, PikaPika999
Solution 1:

WLOG assume $AB>AC$. Let $I_aK\perp BC$, where $K\in BC$ and let $S=XI\cap I_aD.$ Since $\angle IDX=90^{\circ}$, we will be done if we show that $$\angle DIS=\angle SDX \iff \angle DIS=\angle KDI_a \iff \triangle KDI_a \sim \triangle DIX\iff \frac{KI_a}{KD}=\frac{DX}{DI}.$$
Firstly, we will calculate $PC$. Since $(B,C;D,P)=-1$ from the Ceva/Menelaus picture, we obtain that $$\frac{DB}{DC}\div\frac{PB}{PC}=1\iff \frac{PC}{PC+BC}=\frac{DC}{DB}\iff PC=\frac{BC\cdot CD}{DB-DC}=\frac{a(p-c)}{c-b}.$$Hence, $$PD=PC+CD=(p-c)\left(\frac{a}{c-b}+1\right)=\frac{(p-c)(a+c-b)}{c-b}.$$Therefore, $$XD=\frac{PD}{2}=\frac{(p-c)(a+c-b)}{2(c-b)}=\frac{(p-c)(p-b)}{c-b}$$
Also, note that $KB=CD=p-c$, so $$KD=BC-BK-CD=a-2(p-c)=c-b.$$
Moreover, $$KI_a\cdot DI=r_a\cdot r=\frac{S}{p-a}\cdot \frac{S}{p}=\frac{S^2}{p(p-a)}=(p-b)(p-c),$$where we used Heron's formula. Thus, $$XD\cdot KD=(p-c)(p-b)=KI_a\cdot DI,$$as desired.


Solution 2: With help from VicKmath7

Let $Y=XI\cap(IBC)$. We wish to show that $Y, D, I_a$ are collinear.

Since $(B,C;D,P)=-1$ and $X$ is the midpoint of $PD$, we obtain that $XB\cdot XC=XD^2.$
However, from PoP we know that $XB\cdot XC=XY\cdot XI$.

Hence, $XD^2=XY\cdot XI$ and since $\angle IDX = 90^{\circ}$, we obtain that $DY\perp XI$.
Note that $II_a$ is the diameter in $(IBC)$, thus $\angle IYI_a = 90^{\circ}=\angle IYD$, so $Y, D, I_a$ are collinear, as desired.
This post has been edited 2 times. Last edited by rstenetbg, Apr 5, 2024, 9:36 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
gvole
201 posts
#5 • 1 Y
Y by PikaPika999
MathLuis wrote:
This is Spoiler config, but here's a way to solve if you didn't know that.
Let $(PD) \cap (DEF)=X'$, $H$ feet of altitude from $A$ to $BC$, $DD'$ diameter in $(DEF)$, $AD \cap (DEF)=J$, $AI \cap BC=K$ and $N$ midpoint of $AH$.
As $-1=(P, D; E, F)$ by McLaurin we have $XD^2=XB \cdot XC$ so $XX'$ is tangent to $(BX'C)$ in addition as $XX'=DX$ we must have $XX'$ tangent to $(DEF)$ as well, also note that $P,X',D'$ sre colinear due to the $90º$ angles so as $-1=(J, D; E, F)$ and the given colinearity we have that $-1=(J, D; X', D') \overset{D}{=} (A, H; DX' \cap AH, \infty_{AH})$ therefore $D,X',N$ are colinear and now we finish with $-1=(A, H; N, \infty_{AH}) \overset{D}{=} (A, K; X'D \cap AI, I)$ therefore $X',D,I_a$ are colinear and now this means that since $XI \perp DX'$ we in fact have $XI \perp DI_a$ as desired thus we are done :D.
Motivational Remarks

How unexpected that yet another problem is well-known. Let's hope they came up with something original for the TST! :oops_sign:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
motannoir
171 posts
#6 • 1 Y
Y by PikaPika999
Let ${N}=DI_A\cap (DEF)$,obviously $(P,D,B,C)=-1$ so well known X is the center of circle appolonius for points $S$ such that $\frac{SB}{SC}=\frac{DB}{DC}$.By 2002 G7 $(BNC)$ is tangent to $(DFEN)$ and since $BC$ is a chord tangent to incircle, $ND$ is bisector of $\angle BNC$ so $\frac{NB}{NC}=\frac{DB}{DC}$ so $N$ is on the circle appolonius.
Finish: ND is the radical axis of the appolonius circle and incircle so $ND\perp XI$ (the line of centers). Since $ND$ is the same as $I_aD$ we are done
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
NuMBeRaToRiC
19 posts
#7 • 1 Y
Y by PikaPika999
Another Solution
Let $G$ be a point on incircle such that $XG$ tangent to incircle.Then $GD \perp XI$. Since $(P,D;B,C)=-1$ and $X$ midpoint of $PD$, from harmonic properties we get that $XD^2=XB \cdot XC$, from $XD=XG$ we get that $XG^2=XB \cdot XC$, so $XG$ tangent to the $(BGC)$. From IMO 2002 G7 we get that $G, D, I_a$ collinear, so $I_aD \perp XI$
This post has been edited 2 times. Last edited by NuMBeRaToRiC, Apr 30, 2024, 6:25 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
jrpartty
44 posts
#8 • 1 Y
Y by PikaPika999
WLOG, assume $AB<AC$. Let the $A-$excircle touches $BC$ at $Q$.

Let $DI$ and $DI_a$ meet the incircle again at $R$ and $S$,
respectively. Note that $\triangle DRS\sim\triangle I_aDR$.

By length chasing, we obtain that $PD=\dfrac{\left(a-b+c\right)\left(a+b-c\right)}{2\left(b-c\right)}$ and $DQ=b-c$.

Hence, $$PD\cdot DQ=\dfrac{\left(a-b+c\right)\left(a+b-c\right)}{2}=2rr_a=DR\cdot I_aQ=DS\cdot DI_a,$$i.e. $P,S,Q,I_a$ are concyclic. This implies $P,S,R$ are collinear and $PR\perp DI_a$.

Since $XI\parallel PR$, we are done.
This post has been edited 1 time. Last edited by jrpartty, Apr 30, 2024, 10:50 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
sami1618
900 posts
#9 • 5 Y
Y by GeoKing, ehuseyinyigit, zzSpartan, Steff9, PikaPika999
Let the excircle touch $BC$ at $G$ and $H$ be the antipode of $G$.

Claim: $HD\perp IP$
By homthety $A$, $D$, and $H$ are collinear. Let $AD$ intersect the incircle again at $Q$. By construction $EQFD$ is harmonic so $PQ$ is tangent to the incircle. So $DQ\perp IP$ as desired.

Claim: $XI\perp DI_a$
Notice triangles $IPD$ and $DHG$ are similar so triangles $IXD$ and $DI_aG$ are also similar finishing the problem.
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
WLOGQED1729
43 posts
#10 • 1 Y
Y by PikaPika999
Just Bash!
Let $AB=c$, $BC=a$, $CA=b$, $s=\frac{a+b+c}{2}$, inradius$=r$ and $A$-exradius$=R$
WLOG, assume that $b>c$
Step 1 Identify the position of $X$
It is well-known that $(P,D;B,C)=-1$
Since $X$ is midpoint of $BC$, we obtain $XD^2=XB\cdot XC$.
Let $XB=k \implies \left(k+\frac{a+c-b}{2}\right)^2=(k)(k+a)\implies k=\frac{(a+c-b)^2}{4(b-c)}$
$\implies XD= k+\frac{a+c-b}{2}=\frac{(a+c-b)(a+b-c)}{4(b-c)}$
Step 2 Spot similar triangles
Let $A’$ be a point which $A$-excircle is tangent to $BC$ $\implies DA’=b-c $
Note that $\angle IDX=\angle DA’I_A$
Consider $$XD\cdot DA’=\frac{(a+c-b)(a+b-c)}{4}=(s-b)(s-c)=\frac{s(s-a)(s-b)(s-c)}{s(s-a)}=\frac{4[ABC]^2}{(a+b+c)(b+c-a)}=\frac{2[ABC]}{a+b+c}\cdot \frac{2[ABC]}{b+c-a}=rR$$So, $\triangle IDX \sim \triangle DA’I_A \implies XI \perp DI_A \qquad \blacksquare$
This post has been edited 1 time. Last edited by WLOGQED1729, Nov 12, 2024, 3:09 AM
Reason: Minor mistake
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
SomeonesPenguin
128 posts
#11 • 1 Y
Y by PikaPika999
Beautiful problem :10: Setup

Since $II_a$ is a diameter in $(BIC)$ we get $\overline{I_a-T-R}$ and $I_aV\parallel BC$. Notice that \[-1=(P,D;X,\infty_{BC})\overset{I}{=}(Q,V;K,R)\]Now, it suffices to prove that $I_a$, $D$ and $K$ are collinear. If we let $I_aD$ meet $(BIC)$ again at $K'$, it suffices to then prove $-1=(Q,V;K',R)$.

We also have \[-1=(P,D;B,C)\overset{I}{=}(Q,V;B,C)\overset{I_a}{=}(I_aQ\cap BC,\infty_{BC};B,C)\]Hence $Q$, $M$ and $I_a$ are collinear and since $BD=TC$, by butterfly theorem we get that $R$, $M$ and $U$ are also collinear. Therefore \[(Q,V;K',R)\overset{D}{=}(U,I;I_a,S)\overset{R}{=}(M,\infty_{BC};D,T)=-1. \ \ \blacksquare\]
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
cosdealfa
27 posts
#12 • 2 Y
Y by Steff9, PikaPika999
:love:
Denote the incircle by $\omega$.
Let $(BIC) \cap \omega = {J, K}$. Since $(P, D; B, C)=-1$ and $M$ is the midpoint of $PD$, from EGMO Lemma 9.17 we have $XB \cdot XC = XD^2$. Therefore $X$ has equal power wrt $(BIC)$ and $\omega$ so $X-J-K$ collinear. But $\angle IJI_a = \angle IBI_a = 90^{\circ}$ so $JI_a$ is tangent to $\omega$. Similarly, $KI_a$ is tangent to $\omega$, hence $JK$ is the pole of $I_a$ wrt to $\omega$. By La Hire’s Theorem, $I_a$ lies on the pole of $X$ wrt $\omega$. Since $XD$ is tangent to $\omega$, $D$ lies on the pole of $X$ too, so the conclusion follows $\blacksquare$
This post has been edited 1 time. Last edited by cosdealfa, Nov 28, 2024, 2:08 PM
Reason: Forgot to add the number of the lemma
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
tugra_ozbey_eratli
7 posts
#13 • 3 Y
Y by bin_sherlo, poirasss, PikaPika999
Let $K$ be the feet of the altitude from $A$ to $BC$, $M$ be the midpoint of $AK$,$D'$ be the antipode of $D$
in $(DEF)$. We know that $M,D,I_A$ are colinear. Because of homothety from $D$, we have $XI\parallel PD'$.
So we want to show that $MD \perp PD'$
Now we will use complex bashing. WLOG
$$|d|=|e|=|f|=1$$$$d=1$$$$d'=-1$$$PD$ tangent to $(DEF)\implies$ $$p=2-\overline{p}$$$P;E,F$ are colinear $\implies$ $$p=e+f-ef\overline{p}$$from two of this, $$p=\frac{e+f-2ef}{1-ef}$$
$$a=\frac{2ef}{e+f}$$
$$k=\frac{a+2-\overline{a}}{2}=\frac{ef+e+f-1}{e+f}$$
$$m=\frac{a+k}{2}=\frac{3ef+e+f-1}{2(e+f)}$$
$$\frac{m-d}{p-d'}=\frac{ef-1}{2(e+f)}\in i\mathbb{R} \implies MD \perp PD'$$We are done.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Bonime
36 posts
#14 • 1 Y
Y by PikaPika999
Cute and simple geo.

Define $G=(BIC) \cap XI$ since $(B,C; D, P)=-1$ we get that $XD^2=XB\cdot XC=XG\cdot XI$ so $G$ is the feet of perpendicular from $D$ in $XI$. Then, by IE-lemma, $II_a$ is diameter of $(BIC)$, so the perpendicular from $G$ in $XI$ pass trough $I_a$ and then, we´re done! $\blacksquare$
Z K Y
N Quick Reply
G
H
=
a