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

G
Topic
First Poster
Last Poster
problem about equation
jred   2
N 2 hours ago by Truly_for_maths
Source: China south east mathematical Olympiad 2006 problem4
Given any positive integer $n$, let $a_n$ be the real root of equation $x^3+\dfrac{x}{n}=1$. Prove that
(1) $a_{n+1}>a_n$;
(2) $\sum_{i=1}^{n}\frac{1}{(i+1)^2a_i} <a_n$.
2 replies
jred
Jul 4, 2013
Truly_for_maths
2 hours ago
number theory and combinatoric sets of integers relations
trying_to_solve_br   40
N 2 hours ago by MathLuis
Source: IMO 2021 P6
Let $m\ge 2$ be an integer, $A$ a finite set of integers (not necessarily positive) and $B_1,B_2,...,B_m$ subsets of $A$. Suppose that, for every $k=1,2,...,m$, the sum of the elements of $B_k$ is $m^k$. Prove that $A$ contains at least $\dfrac{m}{2}$ elements.
40 replies
trying_to_solve_br
Jul 20, 2021
MathLuis
2 hours ago
Interesting inequalities
sqing   10
N 3 hours ago by ytChen
Source: Own
Let $ a,b,c\geq 0 , (a+k )(b+c)=k+1.$ Prove that
$$\frac{1}{a+1}+\frac{1}{b+1}+\frac{1}{c+1}\geq  \frac{2k-3+2\sqrt{k+1}}{3k-1}$$Where $ k\geq \frac{2}{3}.$
Let $ a,b,c\geq 0 , (a+1)(b+c)=2.$ Prove that
$$\frac{1}{a+1}+\frac{1}{b+1}+\frac{1}{c+1}\geq 2\sqrt{2}-1$$Let $ a,b,c\geq 0 , (a+3)(b+c)=4.$ Prove that
$$\frac{1}{a+1}+\frac{1}{b+1}+\frac{1}{c+1}\geq  \frac{7}{4}$$Let $ a,b,c\geq 0 , (3a+2)(b+c)= 5.$ Prove that
$$\frac{1}{a+1}+\frac{1}{b+1}+\frac{1}{c+1}\geq  \frac{2(2\sqrt{15}-5)}{3}$$
10 replies
sqing
May 10, 2025
ytChen
3 hours ago
GMO 2024 P1
Z4ADies   5
N 3 hours ago by awesomeming327.
Source: Geometry Mains Olympiad (GMO) 2024 P1
Let \( ABC \) be an acute triangle. Define \( I \) as its incenter. Let \( D \) and \( E \) be the incircle's tangent points to \( AC \) and \( AB \), respectively. Let \( M \) be the midpoint of \( BC \). Let \( G \) be the intersection point of a perpendicular line passing through \( M \) to \( DE \). Line \( AM \) intersects the circumcircle of \( \triangle ABC \) at \( H \). The circumcircle of \( \triangle AGH \) intersects line \( GM \) at \( J \). Prove that quadrilateral \( BGCJ \) is cyclic.

Author:Ismayil Ismayilzada (Azerbaijan)
5 replies
Z4ADies
Oct 20, 2024
awesomeming327.
3 hours ago
Power sequence
TheUltimate123   7
N 3 hours ago by MathLuis
Source: ELMO Shortlist 2023 N2
Determine the greatest positive integer \(n\) for which there exists a sequence of distinct positive integers \(s_1\), \(s_2\), \(\ldots\), \(s_n\) satisfying \[s_1^{s_2}=s_2^{s_3}=\cdots=s_{n-1}^{s_n}.\]
Proposed by Holden Mui
7 replies
TheUltimate123
Jun 29, 2023
MathLuis
3 hours ago
IMO Shortlist 2013, Combinatorics #4
lyukhson   21
N 5 hours ago by Ciobi_
Source: IMO Shortlist 2013, Combinatorics #4
Let $n$ be a positive integer, and let $A$ be a subset of $\{ 1,\cdots ,n\}$. An $A$-partition of $n$ into $k$ parts is a representation of n as a sum $n = a_1 + \cdots + a_k$, where the parts $a_1 , \cdots , a_k $ belong to $A$ and are not necessarily distinct. The number of different parts in such a partition is the number of (distinct) elements in the set $\{ a_1 , a_2 , \cdots , a_k \} $.
We say that an $A$-partition of $n$ into $k$ parts is optimal if there is no $A$-partition of $n$ into $r$ parts with $r<k$. Prove that any optimal $A$-partition of $n$ contains at most $\sqrt[3]{6n}$ different parts.
21 replies
lyukhson
Jul 9, 2014
Ciobi_
5 hours ago
Cycle in a graph with a minimal number of chords
GeorgeRP   4
N 6 hours ago by CBMaster
Source: Bulgaria IMO TST 2025 P3
In King Arthur's court every knight is friends with at least $d>2$ other knights where friendship is mutual. Prove that King Arthur can place some of his knights around a round table in such a way that every knight is friends with the $2$ people adjacent to him and between them there are at least $\frac{d^2}{10}$ friendships of knights that are not adjacent to each other.
4 replies
GeorgeRP
Wednesday at 7:51 AM
CBMaster
6 hours ago
amazing balkan combi
egxa   8
N Yesterday at 7:55 PM by Gausikaci
Source: BMO 2025 P4
There are $n$ cities in a country, where $n \geq 100$ is an integer. Some pairs of cities are connected by direct (two-way) flights. For two cities $A$ and $B$ we define:

$(i)$ A $\emph{path}$ between $A$ and $B$ as a sequence of distinct cities $A = C_0, C_1, \dots, C_k, C_{k+1} = B$, $k \geq 0$, such that there are direct flights between $C_i$ and $C_{i+1}$ for every $0 \leq i \leq k$;
$(ii)$ A $\emph{long path}$ between $A$ and $B$ as a path between $A$ and $B$ such that no other path between $A$ and $B$ has more cities;
$(iii)$ A $\emph{short path}$ between $A$ and $B$ as a path between $A$ and $B$ such that no other path between $A$ and $B$ has fewer cities.
Assume that for any pair of cities $A$ and $B$ in the country, there exist a long path and a short path between them that have no cities in common (except $A$ and $B$). Let $F$ be the total number of pairs of cities in the country that are connected by direct flights. In terms of $n$, find all possible values $F$

Proposed by David-Andrei Anghel, Romania.
8 replies
egxa
Apr 27, 2025
Gausikaci
Yesterday at 7:55 PM
abc = 1 Inequality generalisation
CHESSR1DER   6
N Yesterday at 7:41 PM by CHESSR1DER
Source: Own
Let $a,b,c > 0$, $abc=1$.
Find min $ \frac{1}{a^m(bx+cy)^n} + \frac{1}{b^m(cx+ay)^n} + \frac{1}{c^m(cx+ay)^n}$.
$1)$ $m,n,x,y$ are fixed positive integers.
$2)$ $m,n,x,y$ are fixed positive real numbers.
6 replies
CHESSR1DER
Yesterday at 6:40 PM
CHESSR1DER
Yesterday at 7:41 PM
Fond all functions in M with a) f(1)=5/2, b) f(1)=√3
Amir Hossein   5
N Yesterday at 7:35 PM by jasperE3
Source: IMO LongList 1982 - P34
Let $M$ be the set of all functions $f$ with the following properties:

(i) $f$ is defined for all real numbers and takes only real values.

(ii) For all $x, y \in \mathbb R$ the following equality holds: $f(x)f(y) = f(x + y) + f(x - y).$

(iii) $f(0) \neq 0.$

Determine all functions $f \in M$ such that

(a) $f(1)=\frac 52$,

(b) $f(1)= \sqrt 3$.
5 replies
Amir Hossein
Mar 18, 2011
jasperE3
Yesterday at 7:35 PM
Prove excircle is tangent to circumcircle
sarjinius   8
N Apr 24, 2025 by Lyzstudent
Source: Philippine Mathematical Olympiad 2025 P4
Let $ABC$ be a triangle with incenter $I$, and let $D$ be a point on side $BC$. Points $X$ and $Y$ are chosen on lines $BI$ and $CI$ respectively such that $DXIY$ is a parallelogram. Points $E$ and $F$ are chosen on side $BC$ such that $AX$ and $AY$ are the angle bisectors of angles $\angle BAE$ and $\angle CAF$ respectively. Let $\omega$ be the circle tangent to segment $EF$, the extension of $AE$ past $E$, and the extension of $AF$ past $F$. Prove that $\omega$ is tangent to the circumcircle of triangle $ABC$.
8 replies
sarjinius
Mar 9, 2025
Lyzstudent
Apr 24, 2025
Prove excircle is tangent to circumcircle
G H J
Source: Philippine Mathematical Olympiad 2025 P4
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
sarjinius
245 posts
#1 • 4 Y
Y by MathLuis, mpcnotnpc, JollyEggsBanana, Rounak_iitr
Let $ABC$ be a triangle with incenter $I$, and let $D$ be a point on side $BC$. Points $X$ and $Y$ are chosen on lines $BI$ and $CI$ respectively such that $DXIY$ is a parallelogram. Points $E$ and $F$ are chosen on side $BC$ such that $AX$ and $AY$ are the angle bisectors of angles $\angle BAE$ and $\angle CAF$ respectively. Let $\omega$ be the circle tangent to segment $EF$, the extension of $AE$ past $E$, and the extension of $AF$ past $F$. Prove that $\omega$ is tangent to the circumcircle of triangle $ABC$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ilovemath0402
188 posts
#2
Y by
bump bump this problem is so nice
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
sarjinius
245 posts
#3
Y by
ilovemath0402 wrote:
bump bump this problem is so nice

Thanks, I proposed this problem :)
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
SimplisticFormulas
118 posts
#4
Y by
what’s the solution? I am completely stuck
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MathLuis
1535 posts
#5 • 4 Y
Y by drago.7437, sarjinius, Mysteriouxxx, radian_51
Well this geo is really amazing I have to say...solved in around 30 mins but I think this could even be around 30-35 MOHS because the way to find things on this problem requires deep intuition.
Let $BI \cap (ABC)=M_B$ and $CI \cap (ABC)=M_C$, also let $N_A$ be midpoint of arc $BAC$ on $(ABC)$, now let reflections of $D$ over $EX, FY, BI, CI, Y \infty_{\perp CI}, X \infty_{\perp BI}$ be $D_B, D_C, L', K', K, L$ respectively now let reflection of $D_B$ over $AX$ be $L_1$ and reflection of $D_C$ over $AY$ be $K_1$.
Using the paralelogram we can easly see from the direction of the reflections that $KK'$ and $LL'$ are diameters on $(Y, YD), (X, XD)$ respectively, now let $I_B, I_C$ be the $B,C$ excenters of $\triangle ABC$ then notice we have $\measuredangle II_CA=\measuredangle CBI=\measuredangle CDY=\measuredangle YK'C$ which implies $I_CAK'Y$ cyclic and similarily $I_BAL'X$ is cyclic however since $\measuredangle CDY=\measuredangle YD_CF$ we also get that $I_CAK'YD_C$ is cyclic and similarily $I_BAL'XD_B$ is cyclic, however it doesn't end here...
Now notice that $YK'=YD_C$ so $Y$ is midpoint of arc $K'D_C$ on $(I_CAK')$ however $D, K'$ are symetric in $CI$ which means both $I_CD, I_CD'$ are reflections of $I_CK'$ over $CI$ and thus $I_C, D, D_C$ are colinear, and similarily $I_B, D, D_B$ are colinear.
Now $\measuredangle CDY=\measuredangle YD_CA=\measuredangle AK_1Y$ which means $CK_1YD$ is cyclic and similarily we have $L_1BXD$ cyclic, but also note that $\measuredangle L_1DL=\measuredangle L_1L'L=\measuredangle AI_BX=\measuredangle ACI=\measuredangle K_1DY$ which means that $L_1, D, K_1$ are colinear.
Now from here notice that $\measuredangle DL_1A=\measuredangle DXI=\measuredangle IYD=\measuredangle AK_1D$ which does in fact show that $\triangle L_1AK_1$ is isosceles and therefore $AK_1=AL_1$, and from reflections this gives $AD_B=AD_C$, but notice from other reflections we have $D_BG=DG=D_CG$ where $EX \cap FY=G$ (clearly then $G$ is A-excenter of $\triangle EAF$), but now also note that we have $\measuredangle AD_BG=\measuredangle GDE=\measuredangle AD_CG$ which means that $AD_BGD_C$ is cyclic but by summing arcs we end up realising $AG$ is diameter and in fact now this means $(D_BDD_C)$ is $\omega$ from the tangencies.
To finish let $J$ be the miquelpoint of $L_1BCK_1$ then $J$ lies on $(ABC)$ but also from Reim's we get $N_A, D, J$ colinear and then Reim's twice gives $M_CX \cap M_BY=J$ and from double Reim's once again we have that $(AL'X) \cap (AK'Y)=J$ and this is excellent news because now we can note that $\measuredangle D_CJD_B=\measuredangle D_CJA+\measuredangle AJD_B=\measuredangle D_CI_CA+\measuredangle AI_BD_B=\measuredangle D_CDD_B$ which shows that $J$ lies on $\omega$ as well, but since $N_A, D, J$ are colinear from the converse of Archiemedes Lemma (or just shooting Lemma/homothety) we have that $\omega, (ABC)$ are tangent at $J$ as desired thus we are done :cool:
This post has been edited 1 time. Last edited by MathLuis, Mar 13, 2025, 8:16 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
AndreiVila
210 posts
#6 • 1 Y
Y by Lyzstudent
Notice that $X$ and $Y$ are the incenters of $\triangle ABE$ and $\triangle ACF$. Let $X'$ and $Y'$ be the projections of $X$ and $Y$ onto $BC$. Let $T$ and $S$ be the projections of $X$ onto $AE$ and $AB$ respectively, and let $K$ be the tangency point of $\omega$ with $AE$.

Claim 1. The $A$-excircle of $\triangle AEF$ is tangent to $EF$ in $D$.
Proof: Since $IXDY$ is a parallelogram, by projecting onto $BC$ we get that $BX'+BY'=BT+BD$. This is equivalent to $$BE+AB-AE+2BF+FC+AF-AC=BA+BC-AC+2BD.$$Simplifying yields $AE+ED=AF+FD$, which is equivalent to $D$ being the tangency point of the excircle.

Claim 2. Circle $\omega$ is tangent to $(ABC)$.
Proof: By Casey's Theorem, we need to prove that $$b\cdot BD + c\cdot CD = a\cdot AK.$$But $$AK=AT+TK=AT+X'D=AT-BX'+BD=AS-BS+BD=c-2BS+BD.$$With Thales' Theorem, $\frac{BS}{p-b}=\frac{BX}{BI}=\frac{BD}{a},$ so $BS=\frac{BD(p-b)}{a},$ thus getting $AK=\frac{ac+BD(b-c)}{a},$ and the conclusion follows.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
SimplisticFormulas
118 posts
#7
Y by
I found that $X,Y$ are in centres, $XE$ meets $YF$ in $Z=$$A$- excentre of $AEF$ and that$A$ appears to be Miquel point of $IXYZ$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
markam
4 posts
#10
Y by
sarjinius, what solution did you have in mind at first, when you proposed this problem?
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Lyzstudent
1 post
#11
Y by
AndreiVila wrote:
Notice that $X$ and $Y$ are the incenters of $\triangle ABE$ and $\triangle ACF$. Let $X'$ and $Y'$ be the projections of $X$ and $Y$ onto $BC$. Let $T$ and $S$ be the projections of $X$ onto $AE$ and $AB$ respectively, and let $K$ be the tangency point of $\omega$ with $AE$.

Claim 1. The $A$-excircle of $\triangle AEF$ is tangent to $EF$ in $D$.
Proof: Since $IXDY$ is a parallelogram, by projecting onto $BC$ we get that $BX'+BY'=BT+BD$. This is equivalent to $$BE+AB-AE+2BF+FC+AF-AC=BA+BC-AC+2BD.$$Simplifying yields $AE+ED=AF+FD$, which is equivalent to $D$ being the tangency point of the excircle.

Claim 2. Circle $\omega$ is tangent to $(ABC)$.
Proof: By Casey's Theorem, we need to prove that $$b\cdot BD + c\cdot CD = a\cdot AK.$$But $$AK=AT+TK=AT+X'D=AT-BX'+BD=AS-BS+BD=c-2BS+BD.$$With Thales' Theorem, $\frac{BS}{p-b}=\frac{BX}{BI}=\frac{BD}{a},$ so $BS=\frac{BD(p-b)}{a},$ thus getting $AK=\frac{ac+BD(b-c)}{a},$ and the conclusion follows.
Excellent!!!Much better than the solution above.
Z K Y
N Quick Reply
G
H
=
a