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

G
Topic
First Poster
Last Poster
Woaah a lot of external tangents
egxa   3
N 5 minutes ago by NO_SQUARES
Source: All Russian 2025 11.7
A quadrilateral \( ABCD \) with no parallel sides is inscribed in a circle \( \Omega \). Circles \( \omega_a, \omega_b, \omega_c, \omega_d \) are inscribed in triangles \( DAB, ABC, BCD, CDA \), respectively. Common external tangents are drawn between \( \omega_a \) and \( \omega_b \), \( \omega_b \) and \( \omega_c \), \( \omega_c \) and \( \omega_d \), and \( \omega_d \) and \( \omega_a \), not containing any sides of quadrilateral \( ABCD \). A quadrilateral whose consecutive sides lie on these four lines is inscribed in a circle \( \Gamma \). Prove that the lines joining the centers of \( \omega_a \) and \( \omega_c \), \( \omega_b \) and \( \omega_d \), and the centers of \( \Omega \) and \( \Gamma \) all intersect at one point.
3 replies
egxa
Apr 18, 2025
NO_SQUARES
5 minutes ago
2023 Hong Kong TST 3 (CHKMO) Problem 4
PikaNiko   3
N 15 minutes ago by lightsynth123
Source: 2023 Hong Kong TST 3 (CHKMO)
Let $ABCD$ be a quadrilateral inscribed in a circle $\Gamma$ such that $AB=BC=CD$. Let $M$ and $N$ be the midpoints of $AD$ and $AB$ respectively. The line $CM$ meets $\Gamma$ again at $E$. Prove that the tangent at $E$ to $\Gamma$, the line $AD$ and the line $CN$ are concurrent.
3 replies
PikaNiko
Dec 3, 2022
lightsynth123
15 minutes ago
Help my diagram has too many points
MarkBcc168   27
N 34 minutes ago by Om245
Source: IMO Shortlist 2023 G6
Let $ABC$ be an acute-angled triangle with circumcircle $\omega$. A circle $\Gamma$ is internally tangent to $\omega$ at $A$ and also tangent to $BC$ at $D$. Let $AB$ and $AC$ intersect $\Gamma$ at $P$ and $Q$ respectively. Let $M$ and $N$ be points on line $BC$ such that $B$ is the midpoint of $DM$ and $C$ is the midpoint of $DN$. Lines $MP$ and $NQ$ meet at $K$ and intersect $\Gamma$ again at $I$ and $J$ respectively. The ray $KA$ meets the circumcircle of triangle $IJK$ again at $X\neq K$.

Prove that $\angle BXP = \angle CXQ$.

Kian Moshiri, United Kingdom
27 replies
MarkBcc168
Jul 17, 2024
Om245
34 minutes ago
Geometry, SMO 2016, not easy
Zoom   18
N 2 hours ago by SimplisticFormulas
Source: Serbia National Olympiad 2016, day 1, P3
Let $ABC$ be a triangle and $O$ its circumcentre. A line tangent to the circumcircle of the triangle $BOC$ intersects sides $AB$ at $D$ and $AC$ at $E$. Let $A'$ be the image of $A$ under $DE$. Prove that the circumcircle of the triangle $A'DE$ is tangent to the circumcircle of triangle $ABC$.
18 replies
Zoom
Apr 1, 2016
SimplisticFormulas
2 hours ago
A touching question on perpendicular lines
Tintarn   2
N 2 hours ago by pi_quadrat_sechstel
Source: Bundeswettbewerb Mathematik 2025, Round 1 - Problem 3
Let $k$ be a semicircle with diameter $AB$ and midpoint $M$. Let $P$ be a point on $k$ different from $A$ and $B$.

The circle $k_A$ touches $k$ in a point $C$, the segment $MA$ in a point $D$, and additionally the segment $MP$. The circle $k_B$ touches $k$ in a point $E$ and additionally the segments $MB$ and $MP$.

Show that the lines $AE$ and $CD$ are perpendicular.
2 replies
Tintarn
Mar 17, 2025
pi_quadrat_sechstel
2 hours ago
Some nice summations
amitwa.exe   31
N 2 hours ago by soryn
Problem 1: $\Omega=\left(\sum_{0\le i\le j\le k}^{\infty} \frac{1}{3^i\cdot4^j\cdot5^k}\right)\left(\mathop{{\sum_{i=0}^{\infty}\sum_{j=0}^{\infty}\sum_{k=0}^{\infty}}}_{i\neq j\neq k}\frac{1}{3^i\cdot3^j\cdot3^k}\right)=?$
31 replies
amitwa.exe
May 24, 2024
soryn
2 hours ago
Interesting inequalities
sqing   0
2 hours ago
Source: Own
Let $ a,b,c\geq 0 ,b+c-ca=1 $ and $ c+a-ab=3.$ Prove that
$$a+\frac{19}{10}b-bc\leq 2-\sqrt 2$$$$a+\frac{17}{10}b+c-bc\leq  3$$$$ a^2+\frac{9}{5}b-bc\leq 6-4\sqrt 2$$$$ a^2+\frac{8}{5}b^2-bc\leq 6-4\sqrt 2$$$$a+1.974873b-bc\leq 2-\sqrt 2$$$$a+1.775917b+c-bc\leq  3$$

0 replies
sqing
2 hours ago
0 replies
Two permutations
Nima Ahmadi Pour   12
N 3 hours ago by Zhaom
Source: Iran prepration exam
Suppose that $ a_1$, $ a_2$, $ \ldots$, $ a_n$ are integers such that $ n\mid a_1 + a_2 + \ldots + a_n$.
Prove that there exist two permutations $ \left(b_1,b_2,\ldots,b_n\right)$ and $ \left(c_1,c_2,\ldots,c_n\right)$ of $ \left(1,2,\ldots,n\right)$ such that for each integer $ i$ with $ 1\leq i\leq n$, we have
\[ n\mid a_i - b_i - c_i
\]

Proposed by Ricky Liu & Zuming Feng, USA
12 replies
Nima Ahmadi Pour
Apr 24, 2006
Zhaom
3 hours ago
Easy Number Theory
math_comb01   37
N 3 hours ago by John_Mgr
Source: INMO 2024/3
Let $p$ be an odd prime and $a,b,c$ be integers so that the integers $$a^{2023}+b^{2023},\quad b^{2024}+c^{2024},\quad a^{2025}+c^{2025}$$are divisible by $p$.
Prove that $p$ divides each of $a,b,c$.
$\quad$
Proposed by Navilarekallu Tejaswi
37 replies
math_comb01
Jan 21, 2024
John_Mgr
3 hours ago
ALGEBRA INEQUALITY
Tony_stark0094   3
N 3 hours ago by sqing
$a,b,c > 0$ Prove that $$\frac{a^2+bc}{b+c} + \frac{b^2+ac}{a+c} + \frac {c^2 + ab}{a+b} \geq a+b+c$$
3 replies
Tony_stark0094
Today at 12:17 AM
sqing
3 hours ago
Inspired by hlminh
sqing   3
N 3 hours ago by sqing
Source: Own
Let $ a,b,c $ be real numbers such that $ a^2+b^2+c^2=1. $ Prove that $$ |a-kb|+|b-kc|+|c-ka|\leq \sqrt{3k^2+2k+3}$$Where $ k\geq 0 . $
3 replies
sqing
Yesterday at 4:43 AM
sqing
3 hours ago
A Familiar Point
v4913   51
N 3 hours ago by xeroxia
Source: EGMO 2023/6
Let $ABC$ be a triangle with circumcircle $\Omega$. Let $S_b$ and $S_c$ respectively denote the midpoints of the arcs $AC$ and $AB$ that do not contain the third vertex. Let $N_a$ denote the midpoint of arc $BAC$ (the arc $BC$ including $A$). Let $I$ be the incenter of $ABC$. Let $\omega_b$ be the circle that is tangent to $AB$ and internally tangent to $\Omega$ at $S_b$, and let $\omega_c$ be the circle that is tangent to $AC$ and internally tangent to $\Omega$ at $S_c$. Show that the line $IN_a$, and the lines through the intersections of $\omega_b$ and $\omega_c$, meet on $\Omega$.
51 replies
v4913
Apr 16, 2023
xeroxia
3 hours ago
Isosceles Triangle Geo
oVlad   3
N Apr 14, 2025 by Turkish_sniper
Source: Romania Junior TST 2025 Day 1 P2
Consider the isosceles triangle $ABC$ with $\angle A>90^\circ$ and the circle $\omega$ of radius $AC$ centered at $A.$ Let $M$ be the midpoint of $AC.$ The line $BM$ intersects $\omega$ a second time at $D.$ Let $E$ be a point on $\omega$ such that $BE\perp AC.$ Let $N$ be the intersection of $DE$ and $AC.$ Prove that $AN=2\cdot AB.$
3 replies
oVlad
Apr 12, 2025
Turkish_sniper
Apr 14, 2025
Isosceles Triangle Geo
G H J
G H BBookmark kLocked kLocked NReply
Source: Romania Junior TST 2025 Day 1 P2
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
oVlad
1742 posts
#1
Y by
Consider the isosceles triangle $ABC$ with $\angle A>90^\circ$ and the circle $\omega$ of radius $AC$ centered at $A.$ Let $M$ be the midpoint of $AC.$ The line $BM$ intersects $\omega$ a second time at $D.$ Let $E$ be a point on $\omega$ such that $BE\perp AC.$ Let $N$ be the intersection of $DE$ and $AC.$ Prove that $AN=2\cdot AB.$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Primeniyazidayi
78 posts
#2
Y by
Found a quick angle chasing proof in 2 minutes after I'd failed about finding a bary bash solution for 2 hours :rotfl:

It is trivial that $AB=AC$,so if N is the reflection of A in C,we are done.
Because $\overline{BE} \perp \overline{AN}$ and A is the center of the circle $(BCDE)$,we have that $$\angle BNE =180 - 2\angle BEN =180 - \angle BAD$$which means that B,A,D,N are concyclic.
We want to show that $2*AC=AN$ which holds iff $AM*AN=AC^2$,but because $AB=AC$ it holds iff $AB^2=AM*AN$ which is true if $\angle DBA = \angle BNM$.But $$\angle BNM =\angle BNA=\angle BDA=\angle ABD,$$so we are done.
This post has been edited 1 time. Last edited by Primeniyazidayi, Apr 12, 2025, 12:43 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
SomeonesPenguin
125 posts
#3
Y by
If $C'$ is the reflection of $C$ over $A$ we have \[-1=(C',C;B,E)\overset{D}=(C',C;M,N)\]Which is equivalent to $AN=2AB$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Turkish_sniper
2 posts
#11
Y by
We want to prove that $2*MC=CN$
It's clear that $AB = AC$ and $\triangle NEB$ is isosceles.
$\angle CEX=\angle CBX=\angle NEC=\angle CBD$
$\frac{MC}{BM}=\frac{\sin{(\angle CBD)}}{\sin{(\angle MCB)}}=\frac{CN}{BN}$
A,B,N,D are concyclic because of $\angle NBD=2*\angle CBD=\angle NAD$
So $\triangle AMD \sim \triangle BMN$
$ \frac{MC}{CN} = \frac{BM}{BN} = \frac {AM}{AD} = \frac{1}{2}$
As desired.
Z K Y
N Quick Reply
G
H
=
a