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

G
Topic
First Poster
Last Poster
Geometry
IstekOlympiadTeam   26
N 27 minutes ago by ihategeo_1969
Source: All Russian Grade 9 Day 2 P 3
An acute-angled $ABC \ (AB<AC)$ is inscribed into a circle $\omega$. Let $M$ be the centroid of $ABC$, and let $AH$ be an altitude of this triangle. A ray $MH$ meets $\omega$ at $A'$. Prove that the circumcircle of the triangle $A'HB$ is tangent to $AB$. (A.I. Golovanov , A.Yakubov)
26 replies
IstekOlympiadTeam
Dec 12, 2015
ihategeo_1969
27 minutes ago
hard problem
Cobedangiu   17
N 33 minutes ago by DKI
problem
17 replies
Cobedangiu
Mar 27, 2025
DKI
33 minutes ago
gcd(f(m) + n, f(n) + m) bounded for m != n
62861   10
N 44 minutes ago by ihategeo_1969
Source: IMO 2015 Shortlist, N7
Let $\mathbb{Z}_{>0}$ denote the set of positive integers. For any positive integer $k$, a function $f: \mathbb{Z}_{>0} \to \mathbb{Z}_{>0}$ is called $k$-good if $\gcd(f(m) + n, f(n) + m) \le k$ for all $m \neq n$. Find all $k$ such that there exists a $k$-good function.

Proposed by James Rickards, Canada
10 replies
62861
Jul 7, 2016
ihategeo_1969
44 minutes ago
Inspired by old results
sqing   1
N an hour ago by lbh_qys
Source: Own
Let $a,b$ be real numbers such that $  a^3 +b^3+6ab=8 . $ Prove that
$$a+b \leq 2$$Let $a,b$ be real numbers such that $ a^2+b^2+a^3 +b^3+8ab=12 . $ Prove that
$$a+b \leq 2$$Let $a,b$ be real numbers such that $a+b + a^2+b^2+a^3 +b^3+8ab=14 . $ Prove that
$$a+b \leq 2$$
1 reply
sqing
an hour ago
lbh_qys
an hour ago
Pythagorean new journey
XAN4   3
N an hour ago by navier3072
Source: Inspired by sarjinius
The number $4$ is written on the blackboard. Every time, Carmela can erase the number $n$ on the black board and replace it with a new number $m$, if and only if $|n^2-m^2|$ is a perfect square. Prove or disprove that all positive integers $n\geq4$ can be written exactly once on the blackboard.
3 replies
XAN4
Yesterday at 3:41 AM
navier3072
an hour ago
Geometry
youochange   6
N an hour ago by Captainscrubz
m:}
Let $\triangle ABC$ be a triangle inscribed in a circle, where the tangents to the circle at points $B$ and $C$ intersect at the point $P$. Let $M$ be a point on the arc $AC$ (not containing $B$) such that $M \neq A$ and $M \neq C$. Let the lines $BC$ and $AM$ intersect at point $K$. Let $P'$ be the reflection of $P$ with respect to the line $AM$. The lines $AP'$ and $PM$ intersect at point $Q$, and $PM$ intersects the circumcircle of $\triangle ABC$ again at point $N$.

Prove that the point $Q$ lies on the circumcircle of $\triangle ANK$.
6 replies
youochange
Yesterday at 11:27 AM
Captainscrubz
an hour ago
NT random problem with tau function
CrazyInMath   16
N an hour ago by luutrongphuc
Source: 2022 IMOC N6
Find all integer coefficient polynomial $P(x)$ such that for all positive integer $x$, we have $$\tau(P(x))\geq\tau(x)$$Where $\tau(n)$ denotes the number of divisors of $n$. Define $\tau(0)=\infty$.
Note: you can use this conclusion. For all $\epsilon\geq0$, there exists a positive constant $C_\epsilon$ such that for all positive integer $n$, the $n$th smallest prime is at most $C_\epsilon n^{1+\epsilon}$.

Proposed by USJL
16 replies
CrazyInMath
Sep 5, 2022
luutrongphuc
an hour ago
Sum of complex numbers over plus/minus
Miquel-point   1
N 2 hours ago by removablesingularity
Source: RNMO 1980 10.2
Show that if $z_1,z_2,z_3\in\mathbb C$ then
\[\sum |\pm z_1\pm z_2\pm z_3|^2=2^3\sum_{i=1}^3|z_k|^2.\]Generalize the problem.

1 reply
Miquel-point
Yesterday at 6:07 PM
removablesingularity
2 hours ago
isogonal geometry
Tuguldur   0
2 hours ago
Let $P$ and $Q$ be isogonal conjugates with respect to $\triangle ABC$. Let $\triangle P_1P_2P_3$ and $\triangle Q_1Q_2Q_3$ be their respective pedal triangles. Let\[ X_1=P_2Q_3\cap P_3Q_2,\quad X_2=P_1Q_3\cap P_3Q_1,\quad X_3=P_1Q_2\cap P_2Q_1 \]Prove that the points $X_1$, $X_2$ and $X_3$ lie on the line $PQ$.
0 replies
Tuguldur
2 hours ago
0 replies
Cute inequality in equilateral triangle
Miquel-point   1
N 2 hours ago by Quantum-Phantom
Source: Romanian IMO TST 1981, Day 3 P5
Let $ABC$ be an equilateral triangle, $M$ be a point inside it, and $A',B',C'$ be the intersections of $AM,\; BM,\; CM$ with the sides of $ABC$. If $A'',\; B'',\; C''$ are the midpoints of $BC$, $CA$, $AB$, show that there is a triangle with sides $A'A''$, $B'B''$ and $C'C''$.

Laurențiu Panaitopol
1 reply
Miquel-point
Yesterday at 6:44 PM
Quantum-Phantom
2 hours ago
Inspired by giangtruong13
sqing   3
N 2 hours ago by sqing
Source: Own
Let $ a,b\in[\frac{1}{2},1] $. Prove that$$ 64\leq (a+b^2+\frac{4}{a^2}+\frac{2}{b})(b+a^2+\frac{4}{b^2}+\frac{2}{a})\leq\frac{6889}{16} $$Let $ a,b\in[\frac{1}{2},2] $. Prove that$$ 8(3+2\sqrt 2)\leq (a+b^2+\frac{4}{a^2}+\frac{2}{b})(b+a^2+\frac{4}{b^2}+\frac{2}{a})\leq\frac{6889}{16} $$
3 replies
sqing
Apr 5, 2025
sqing
2 hours ago
2015 Taiwan TST Round 3 Mock IMO Day 2 Problem 1
wanwan4343   11
N Aug 29, 2020 by Gaussian_cyber
Source: 2015 Taiwan TST Round 3 Mock IMO Day 2 Problem 1
Let $ABC$ be a fixed acute-angled triangle. Consider some points $E$ and $F$ lying on the sides $AC$ and $AB$, respectively, and let $M$ be the midpoint of $EF$. Let the perpendicular bisector of $EF$ intersect the line $BC$ at $K$, and let the perpendicular bisector of $MK$ intersect the lines $AC$ and $AB$ at $S$ and $T$, respectively. If the quadrilateral $KSAT$ is cycle, prove that $\angle{KEF}=\angle{KFE}=\angle{A}$.
11 replies
wanwan4343
Jul 12, 2015
Gaussian_cyber
Aug 29, 2020
2015 Taiwan TST Round 3 Mock IMO Day 2 Problem 1
G H J
Source: 2015 Taiwan TST Round 3 Mock IMO Day 2 Problem 1
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
wanwan4343
102 posts
#1 • 4 Y
Y by Davi-8191, tenplusten, HsuAn, Adventure10
Let $ABC$ be a fixed acute-angled triangle. Consider some points $E$ and $F$ lying on the sides $AC$ and $AB$, respectively, and let $M$ be the midpoint of $EF$. Let the perpendicular bisector of $EF$ intersect the line $BC$ at $K$, and let the perpendicular bisector of $MK$ intersect the lines $AC$ and $AB$ at $S$ and $T$, respectively. If the quadrilateral $KSAT$ is cycle, prove that $\angle{KEF}=\angle{KFE}=\angle{A}$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Luis González
4146 posts
#2 • 1 Y
Y by Adventure10
Since $EF \parallel ST,$ then $AM$ cuts $ST$ at its midpoint $N.$ Since $NK$ is the reflection of $NA$ on $ST,$ then it follows by symmetry that $KN$ cuts $\odot(AST)$ again at $D$ forming the isosceles trapezoid $ATSD.$ Thus again, by symmetry, if $AN$ cuts $\odot(AST)$ again at $K',$ then $KK' \parallel ST$ $\Longrightarrow$ $AK$ and $AM \equiv AK'$ are isogonals WRT $\angle EAF$ $\Longrightarrow$ $AK$ is the A-symmedian of $\triangle AEF$ $\Longrightarrow$ $KE,KF$ are tangents of $\odot(AEF)$ $\Longrightarrow$ $\angle KEF=\angle KFE=\angle A.$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Dukejukem
695 posts
#3 • 3 Y
Y by MagnusRid, Adventure10, Mango247
Let us relabel points $S, T, M$ as $B, C, X$, respectively (we can ignore the points $B, C$ specified in the problem statement). Now, let $H$ be the orthocenter of $\triangle ABC$ and let $M$ be the midpoint of $\overline{BC}.$ $\Gamma_1, \Gamma_2$ denote $\odot (ABC), \odot (BHC)$, respectively and $U, V$ are reflections of $A$ in $BC, M$, respectively.

Since $EF \parallel BC$, it follows that $A, X, M$ are collinear. From $\triangle AFX \sim \triangle ABM$ we obtain $\tfrac{XF}{MB} = \tfrac{AX}{AM}.$ From $\triangle MXK \sim \triangle MAU$ we find $\tfrac{XK}{AU} = \tfrac{MX}{AM}.$ It follows that $\tfrac{XF}{XK} = \tfrac{AX}{MX} \cdot \tfrac{MB}{AU}.$ Now, because the reflection $X$ in $BC$ lies on $\Gamma_1$, it follows that $X$ lies on the reflection of $\Gamma_1$ in $BC$, which is just $\Gamma_2$ (well-known). Meanwhile, since $\Gamma_1$ and $\Gamma_2$ are symmetric about $BC$ and $M$, it follows that $U, V$ lie on $\Gamma_2.$ By Power of a Point, we obtain $AX \cdot AV = AH \cdot AU$ and $MX \cdot MV = MB^2.$ Therefore, \[\frac{AX}{MX} \cdot \frac{MB}{AU} = \frac{AH}{MB} \cdot \frac{MV}{AV} = \frac{AH}{2MB} = \frac{OM}{MB},\] where $O$ denotes the center of $\Gamma_1$, and we have used the well-known fact that $AH = 2OM.$ Then by side-angle-side similarity, we deduce that $\triangle KFX \sim \triangle BOM$, and hence $\angle KFE = \angle BOM = \angle A.$ $\square$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
pi37
2079 posts
#4 • 3 Y
Y by mathmaster2012, Adventure10, Mango247
Suppose $GH\parallel EF$ and passes through $K$ with $G,H$ on $AE,AF$ respectively. Let $GF$ intersect $HE$ at $X$. Then by parallelism
\[
\angle FXE=\angle GXH=\angle TKS=180-\angle FAE
\]
so $FAEX$ is cyclic. By Brokard's Theorem, $K'$, the intersection of the tangents from $E,F$ to $(AEXF)$, lies on $GH$. But of course $K'$ lies on the perpendicular bisector of $EF$, so $K'=K$, and we're done.
This post has been edited 1 time. Last edited by pi37, Aug 27, 2015, 3:45 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
TKDLH-99
24 posts
#5 • 1 Y
Y by Adventure10
Dear pi37: What's $X$ mean?
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
pi37
2079 posts
#6 • 2 Y
Y by Adventure10, Mango247
Sorry, I edited it in.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
utkarshgupta
2280 posts
#7 • 2 Y
Y by Adventure10, Mango247
Consider the circumcircle of $\triangle AST$.
Obviously since $ST||EF$, $AM$ is the median of $\triangle AST$.
Now we have that a point on the arc $ST$ not containing $A$whose reflection in $ST$ lie on the $A-$median.

Let $X,Y$ be two such points on the arc $ST$ whose reflections in $ST$ lie on $A-$median.
Denote these reflections by $X'Y'$
Thus since $S,T,X,Y$ are concyclic, $S,T,X'Y'$ are also concyclic which is not possible as they lie on the same side of $ST$.

Thus there exists only one such point on the arc $ST$.

It is well known and easy to show that this point ($K$ in the question) lies on the symmedian.

Now the question is easy.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
AdithyaBhaskar
652 posts
#8 • 2 Y
Y by Adventure10, Mango247
Never seen an uglier problem.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
HsuAn
14 posts
#9 • 1 Y
Y by Adventure10
Actually, this question can be done by Bary. Just ignore B and C, and the rest is straightforward caculate.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
zuss77
520 posts
#10 • 2 Y
Y by Adventure10, Mango247
For starters let's reformulate the problem so that $ST$ become $BC$:
nicer formulation wrote:
In $\triangle ABC$ points $E,F$ lay on $AC,AB$ so that $EF \parallel BC$ and reflection ($M \mapsto K$) of midpoint of $EF$ over $BC$ lays on $\odot ABC$.
Prove that $\angle{KFE}=\angle{A}$.
Let $AM$ cut ($ABC$) at $L$. $AL$ goes through midpoint of chord $BC$ and reflected over it. Due to this symmetry $KL \parallel BC$, $\angle KAB = \angle LAC$ $\implies AK$ - $A$-symmedian of $\triangle AEF$. With $MK$ being perp. bisector of $EF$ it means that $KF$ is tangent to $(AEF)$ and result follows.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Ali3085
214 posts
#11
Y by
it's clear that if $K$ is moving on the perpindacular bisector of $EF$ then there exists a unique point $K_0$ outside $\triangle AEF$ such that $ATSK$ is cyclic
I'll claim that this point is the intersection of tangents at $E,F$ to $(AEF)$
proof:
let $\omega $ the circle with radius zero centered at $K$ since $ST || EF$ we have that $TS$ goes from the modpoints of $KF,KE$ so $TS$ is the radical axis of $\omega$ and $(AEF)$
so
$$TM^2=TK^2=TF.TA$$then $TM$ is tangent to$(AFM)$
so
$\angle EAK=\angle FAM = \angle TMF=\angle STM =\angle KTS$
and we win :D
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Gaussian_cyber
162 posts
#12
Y by
\begin{align*} \textbf{Let's review Humpty points} \end{align*}Notice it's enough to prove $AK$ is $A$ symmedian in $\triangle AST$ .
Notice $M$ in triangle $AST$. Call orthocenter of $AST$ as $H$.
Reflection of $M$ wrt $ST$ is on $\odot (AST)$ so $M \in \odot(SHT)$ . It's well known that In $\triangle ABC$ with orthocenter $H$ . Intersection of $A-$median and $\odot (BHC)$ is $A-$Humpty point. So $M$ is $A$-humpty point in $\triangle AST$.
It's well known that $A$-humpty point is the reflection of intersection of $A$-symmedian with circumcircle wrt $ST$. So $AK$ is $A-$symmedian in $\triangle AST$ $\blacksquare$
This post has been edited 3 times. Last edited by Gaussian_cyber, Aug 29, 2020, 4:25 AM
Z K Y
N Quick Reply
G
H
=
a