Summer is a great time to explore cool problems to keep your skills sharp!  Schedule a class today!

G
Topic
First Poster
Last Poster
Parallelity and equal angles given, wanted an angle equality
BarisKoyuncu   6
N 20 minutes ago by expsaggaf
Source: 2022 Turkey JBMO TST P4
Given a convex quadrilateral $ABCD$ such that $m(\widehat{ABC})=m(\widehat{BCD})$. The lines $AD$ and $BC$ intersect at a point $P$ and the line passing through $P$ which is parallel to $AB$, intersects $BD$ at $T$. Prove that
$$m(\widehat{ACB})=m(\widehat{PCT})$$
6 replies
BarisKoyuncu
Mar 15, 2022
expsaggaf
20 minutes ago
2020 IGO Intermediate P3
turko.arias   13
N 21 minutes ago by fe.
Source: 7th Iranian Geometry Olympiad (Intermediate) P3
In acute-angled triangle $ABC$ ($AC > AB$), point $H$ is the orthocenter and point $M$ is the midpoint of the segment $BC$. The median $AM$ intersects the circumcircle of triangle $ABC$ at $X$. The line $CH$ intersects the perpendicular bisector of $BC$ at $E$ and the circumcircle of the triangle $ABC$ again at $F$. Point $J$ lies on circle $\omega$, passing through $X, E,$ and $F$, such that $BCHJ$ is a trapezoid ($CB \parallel HJ$). Prove that $JB$ and $EM$ meet on $\omega$.


Proposed by Alireza Dadgarnia
13 replies
turko.arias
Nov 4, 2020
fe.
21 minutes ago
Did you talk to Noga Alon?
pohoatza   36
N 23 minutes ago by ezpotd
Source: IMO Shortlist 2006, Combinatorics 3, AIMO 2007, TST 6, P2
Let $ S$ be a finite set of points in the plane such that no three of them are on a line. For each convex polygon $ P$ whose vertices are in $ S$, let $ a(P)$ be the number of vertices of $ P$, and let $ b(P)$ be the number of points of $ S$ which are outside $ P$. A line segment, a point, and the empty set are considered as convex polygons of $ 2$, $ 1$, and $ 0$ vertices respectively. Prove that for every real number $ x$ \[\sum_{P}{x^{a(P)}(1 - x)^{b(P)}} = 1,\] where the sum is taken over all convex polygons with vertices in $ S$.

Alternative formulation:

Let $ M$ be a finite point set in the plane and no three points are collinear. A subset $ A$ of $ M$ will be called round if its elements is the set of vertices of a convex $ A -$gon $ V(A).$ For each round subset let $ r(A)$ be the number of points from $ M$ which are exterior from the convex $ A -$gon $ V(A).$ Subsets with $ 0,1$ and 2 elements are always round, its corresponding polygons are the empty set, a point or a segment, respectively (for which all other points that are not vertices of the polygon are exterior). For each round subset $ A$ of $ M$ construct the polynomial
\[ P_A(x) = x^{|A|}(1 - x)^{r(A)}.
\]
Show that the sum of polynomials for all round subsets is exactly the polynomial $ P(x) = 1.$

Proposed by Federico Ardila, Colombia
36 replies
pohoatza
Jun 28, 2007
ezpotd
23 minutes ago
sqrt(n) or n+p (Generalized 2017 IMO/1)
vincentwant   2
N 33 minutes ago by vincentwant
Let $p$ be an odd prime. Define $f(n)$ over the positive integers as follows:
$$f(n)=\begin{cases}
\sqrt{n}&\text{ if n is a perfect square} \\
n+p&\text{ otherwise}
\end{cases}$$
Let $p$ be chosen such that there exists an ordered pair of positive integers $(n,k)$ where $n>1,p\nmid n$ such that $f^k(n)=n$. Prove that there exists at least three integers $i$ such that $1\leq i\leq k$ and $f^i(n)$ is a perfect square.
2 replies
vincentwant
Apr 30, 2025
vincentwant
33 minutes ago
Aslı tries to make the amount of stones at every unit square is equal
AlperenINAN   1
N an hour ago by expsaggaf
Source: Turkey JBMO TST 2025 P2
Let $n$ be a positive integer. Aslı and Zehra are playing a game on an $n\times n$ grid. Initially, $10n^2$ stones are placed on some of the unit squares of this grid.

On each move (starting with Aslı), Aslı chooses a row or a column that contains at least two squares with different numbers of stones, and Zehra redistributes the stones in that row or column so that after redistribution, the difference in the number of stones between any two squares in that row or column is at most one. Furthermore, this move must change the number of stones in at least one square.

For which values of $n$, regardless of the initial placement of the stones, can Aslı guarantee that every square ends up with the same number of stones?
1 reply
AlperenINAN
May 11, 2025
expsaggaf
an hour ago
Arrange positive divisors of n in rectangular table!
cjquines0   44
N an hour ago by ezpotd
Source: 2016 IMO Shortlist C2
Find all positive integers $n$ for which all positive divisors of $n$ can be put into the cells of a rectangular table under the following constraints:
[list]
[*]each cell contains a distinct divisor;
[*]the sums of all rows are equal; and
[*]the sums of all columns are equal.
[/list]
44 replies
cjquines0
Jul 19, 2017
ezpotd
an hour ago
The angle bisectors are perpendicular/parallel
Entei   0
an hour ago
Source: Own
In $\triangle{ABC}$, let two altitudes $BE$ and $CF$ meet at the orthocenter $H$. Let the tangents of circle $(ABC)$ from $B$ and $C$ meet at a point $T$. $AT$ meets $EF$ at $X$. $M$ is the midpoint of $BC$. Prove that the angle bisector of $\angle{XHM}$ is perpendicular to the angle bisector of $\angle{BAC}.$

IMAGE
0 replies
Entei
an hour ago
0 replies
Problem 1: Triangle triviality
ZetaX   135
N an hour ago by mathnerd_101
Source: IMO 2006, 1. day
Let $ABC$ be triangle with incenter $I$. A point $P$ in the interior of the triangle satisfies \[\angle PBA+\angle PCA = \angle PBC+\angle PCB.\] Show that $AP \geq AI$, and that equality holds if and only if $P=I$.
135 replies
ZetaX
Jul 12, 2006
mathnerd_101
an hour ago
Swapping string consisting a,b,c
MarkBcc168   45
N an hour ago by ezpotd
Source: IMO Shortlist 2017 C2
Let $n$ be a positive integer. Define a chameleon to be any sequence of $3n$ letters, with exactly $n$ occurrences of each of the letters $a, b,$ and $c$. Define a swap to be the transposition of two adjacent letters in a chameleon. Prove that for any chameleon $X$ , there exists a chameleon $Y$ such that $X$ cannot be changed to $Y$ using fewer than $3n^2/2$ swaps.
45 replies
MarkBcc168
Jul 10, 2018
ezpotd
an hour ago
Jigsaw puzzle on a Cartesian plane
JustPostChinaTST   2
N an hour ago by CrazyInMath
Source: 2022 China TST, Test 3 P4
Find all positive integer $k$ such that one can find a number of triangles in the Cartesian plane, the centroid of each triangle is a lattice point, the union of these triangles is a square of side length $k$ (the sides of the square are not necessarily parallel to the axis, the vertices of the square are not necessarily lattice points), and the intersection of any two triangles is an empty-set, a common point or a common edge.
2 replies
JustPostChinaTST
Apr 30, 2022
CrazyInMath
an hour ago
Very easy geometry
mihaig   4
N an hour ago by mihaig
Source: Inspired
Let $\Delta ABC$ with no obtuse angles.
Prove
$$\frac1{\sqrt3}\cdot\left(\cot A+\cot B+\cot C\right)+\left(2-\sqrt 3\right)\sqrt[3]{\cot A\cot B\cot C}\geq\frac2{\sqrt3}.$$
4 replies
mihaig
Today at 7:03 AM
mihaig
an hour ago
two subsets with no fewer than four common elements.
micliva   41
N 2 hours ago by happypi31415
Source: All-Russian Olympiad 1996, Grade 9, First Day, Problem 4
In the Duma there are 1600 delegates, who have formed 16000 committees of 80 persons each. Prove that one can find two committees having no fewer than four common members.

A. Skopenkov
41 replies
micliva
Apr 18, 2013
happypi31415
2 hours ago
Russia-Sharygin-geometry olympiad 2016 correspondence round
MRF2017   12
N May 3, 2016 by randomusername
Source: http://geometry.ru/
Hi every one, here is problems of the first (correspondence) round of Sharygin geometry olympiad.
Let's solve them in this topic Good Luck :)
12 replies
MRF2017
Apr 13, 2016
randomusername
May 3, 2016
Russia-Sharygin-geometry olympiad 2016 correspondence round
G H J
G H BBookmark kLocked kLocked NReply
Source: http://geometry.ru/
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MRF2017
237 posts
#1 • 1 Y
Y by Adventure10
Hi every one, here is problems of the first (correspondence) round of Sharygin geometry olympiad.
Let's solve them in this topic Good Luck :)
Attachments:
first round 2016.pdf (160kb)
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
#2 • 3 Y
Y by anantmudgal09, Adventure10, Mango247
Attached are my solutions for problems 14-20, 22 :). 3D geo (23, 24) is hard :o

EDIT: Attachment removed for now. Are we allowed to discuss? I know the submission deadline was April 1, but I don't see it posted anywhere that we're allowed to discuss after this deadline.

EDIT: Attachment restored.
Attachments:
2016 Sharygin Correspondence Round.pdf (228kb)
This post has been edited 2 times. Last edited by Dukejukem, May 2, 2016, 11:00 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
anantmudgal09
1980 posts
#3 • 2 Y
Y by Adventure10, Mango247
I submitted problems 9-20 and 22. I am in grade 9 as per Russian schools. Is that good enough? :)

I will post mine here as soon as it is sure that there is no problem in doing so.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MRF2017
237 posts
#4 • 2 Y
Y by Adventure10, Mango247
Dukejukem wrote:
Attached are my solutions for problems 14-20, 22 :). 3D geo (23, 24) is hard :o

EDIT: Attachment removed for now. Are we allowed to discuss? I know the submission deadline was April 1, but I don't see it posted anywhere that we're allowed to discuss after this deadline.

Hi,I think there is no problem for discussion on problems and you can post your solutions ,Because now the solutions are available in main site of Sharygin geometry olympiad. :P :D
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
nikolapavlovic
1246 posts
#5 • 2 Y
Y by Adventure10, Mango247
14 caught my eye right away hence the solution:
Lemma :Let the A-mixtlinear excircle touch $\odot ABC$ in $A_{2}$ and let the touch point of the incircle with $BC$ be $A_{2}$ $\implies$ $AA_{1}$,$AA_{2}$ are isogonals.
Proof:
Consider the inversion around $A$ with arbitrary radius.$A_{1}$ is taken to $A_{2}$ hence the result.
Let the desired A-circle cut $AB,AC$ in $B^{*},C^{*}$
$\triangle AB^{*}C^{*}$ and $\triangle ABC$ are homothetic so but by lemma $AA_{1},AA_{2}$ are isogonals in $AB^{*}C^{*}$ so also in $\triangle ABC$

The proof can also go along the line of Mongue-De Alambert's but then you would have to explain that the centar of negative homothety taking the incentre to $\odot ABC$ is isogonal conjugate of $G_{e}$

Notice the part of the configuration of USAMO 2007 6.
This post has been edited 1 time. Last edited by nikolapavlovic, May 1, 2016, 10:46 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
navi_09220114
487 posts
#6 • 2 Y
Y by Adventure10, Mango247
Too bad i am in grade 11 :(

14. a) We claim that the point of concurrence is $X(56)$, the exsimilicenter of incircle and circumcircle. For simplicity, call the circle touching its circumcircle at A and touching externally its incircle be $\omega_a$. Let $AA_1$ intersect the circumcircle again at $A'$, consider the homothety $\phi$ centered $A$ that maps $\omega_a$ to the circumcircle $\Gamma$, then it maps $A_1$ to $A'$.

Consider the tangent line of $A_1$ to $\omega_a$, then this tangent line is also tangent to the incircle at $A_1$. But since $\phi(\omega_a)=\Gamma$ and $\phi(A_1)=A'$, the tangent line of $A_1$ to $\omega_a$, which is the tangent line of $A_1$ to the incircle, is parallel to the tangent line of $A'$ to the circumcircle. So the negative homothety that maps the incircle to the circumcircle must map $A_1$ to $A'$, so $X(56)$ lies on $A_1A'$, which is line $AA_1$. Similarly, $X(56)$ lies on lines $BB_1$ and $CC_1$.

b) We prove the well known fact that the isogonal conjugate of $X(56)$ is the Gergonne point $G$, which also solves the problem.

Consider a circle $\omega'_a$ such that it is tangent to $AB, AC$ and the circumcircle $\Gamma$ externally. Consider the transformation $\tau$ which is an inversion centered $A$ with radius $\sqrt{AB \cdot AC}$, then a reflection about the $A$-inner angle bisector. Then $\tau(\omega'_a)$, the image of $\omega_a$ under this transformation is tangent to $AB, AC$ and $\tau(\Gamma)=BC$. So its image is the incircle.

Consider the point $A'$ as in part (a), then note that $\phi(\omega_a)$ is tangent to $AB, AC$ and $\Gamma$, so $\phi(\omega_a)=\omega'_a$. So the contact point of $\omega'_a$ and $\Gamma$ is $A'$, so $\tau(A')=A_2$. This implies that the lines $AA'=AA_1$ and $AA_2$ are isogonal, which solves the problem.

To prove the claim, just note the same properties for vertices $B$ and $C$, consequently $X(56)$ and $G$ are isogonal conjugates.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
navi_09220114
487 posts
#7 • 2 Y
Y by Adventure10, Mango247
15. We will use two well known lemmas. (I will include proof if requested)

Lemma 1. $IO=IH$ $\iff$ one of the angles $\angle A, \angle B, \angle C$ is $60^{\circ}$.

Lemma 2. If $I$ is the incenter of $\triangle ABC$, then $MN=2MI$, and $I, M, N$ are colinear in this order.

Now, denote $H, O_9$ be the orthocenter, nine-point center of $\triangle ABC$ respectively. Then since $MN=2MI$ by Lemma 2 and it is well known that $MO=2MO_9$, so $\angle MON=\angle MO_9I$, and since $O, O_9, H, G$ are colinear with $OO_9=HO_9$, then $$\angle MON=90^{\circ}\iff \angle MO_9I=90^{\circ} \iff IO_9\perp OH \iff IO=IH \iff \text{one of the angles $\angle A, \angle B, \angle C$ is $60^{\circ}$.}$$where the last part is due to the Lemma 1.
This post has been edited 1 time. Last edited by navi_09220114, May 2, 2016, 2:56 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
navi_09220114
487 posts
#8 • 1 Y
Y by Adventure10
17. Consider the transformation $\tau$ which is an inversion centered $A$ with radius $\sqrt{AB \cdot AC}$, then a reflection about the $A$-inner angle bisector. We denote $\tau(T)$ to be the image of object $T$ under $\tau$. To start, note that $D$ lies on $BC$, so $\tau(D)$ lies on $\tau(BC)=(ABC)$.

Consider the circle $\omega_1$, then $\tau(\omega_1)$ is a line $\ell_1$, passes $\tau(D)$, and parallel to $A\tau(B)=AC$. Similarly, $\tau(\omega_2)$ is a line $\ell_2$, passes through $\tau(D)$, and parallel to $AB$. Now consider the line $BX$, then $\tau(BX)$ is a circle passes through $A, \tau(B)=C$ and tangent to $\tau(\omega_1)=\ell_1$. Conseuqently the contact point of $\ell_1$ and $\tau(BX)$ is $\tau(X)$. Similarly define $\tau(Y)$, and $\tau(CY)$ is tangent to $\ell_2$ at $\tau(Y)$.

To prove $(XDY)$ is tangent to $BC$, it suffices to show that $\tau((XDY))=(\tau(X)\tau(D)\tau(Y))$ is tangent to $\tau(BC)=(ABC)$. Let $\tau(D)\tau(X)$ intersect $\Gamma$ again at $X'$, and $\tau(D)\tau(Y)$ intersect $\Gamma$ again at $Y'$, then $AB\tau(D)X'$ is an isosceles trapezoid, so the circle passes though $A$ and $B$ and tangent to the segment $\tau(D)X'$ must be tangent to it at its midpoint. So $\tau(X)$ is the midpoint of $\tau(D)X'$, and similarly $\tau(Y)$ is the midpoint of $\tau(D)Y'$. So $X'Y'\parallel \tau(X)\tau(Y)$, implying the circles $(\tau(X)\tau(D)\tau(Y))$, $(ABC)$ are homothetic at $\tau(D)$. Therefore they are tangent to each other at $\tau(D)$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
aopser123
136 posts
#9 • 2 Y
Y by Adventure10, Mango247
Any solution to problem 20??
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
navi_09220114
487 posts
#10 • 2 Y
Y by aopser123, Adventure10
20. Observe $P$ and $Q$ lies on $ABA_0$ and $ACA_0$ respectively. This is because $AB\neq BA_0$, $PB$ bisects $ABA_0$, and $PA=PA_0$, and likewise for $Q$.

Next, observe that triangles $\triangle A_0PQ$ and $\triangle A_0B_0C_0$ are similar, because $\angle QPA_0=\frac{1}{2}\angle APA_0=90-\frac{\angle B}{2}=\angle C_0B_0A_0$, and likewise $\angle PQA_0=\angle B_0C_0A_0$.

So consider the spiral center $Z$ mapping $\triangle A_0PQ$ to $\triangle A_0B_0C_0$, it lies on circle $(A_0B_0C_0)$, and the lines $PB_0, QC_0$, i.e. $PB_0, QC_0$ meet at $Z\in (A_0B_0C_0)$, as desired.
This post has been edited 1 time. Last edited by navi_09220114, May 2, 2016, 2:51 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
aopser123
136 posts
#11 • 1 Y
Y by Adventure10
Thanks navi_09220114. ;)

Also is there any solution to problem 16? :maybe:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
SmartClown
82 posts
#12 • 1 Y
Y by Adventure10
Here is a solution for problem 16:
Let $A',B',C'$ be midpoints of $BC,AC,AB$ respectively. We immediately have $A',B_1,N$ and $A',C_1,M$ are colinear. Now because $A'C'||AM$ we have $\triangle C_1A'C' \sim \triangle C_1MA \sim B_1MC_1$ (last similarity is because $MC_1$ is tangent to circumcircle of $\triangle AB_1C_1$). From this similarity we get $C_1C' \cdot B_1M= A'C_1 \cdot B_1C_1$. Doing the exact same way on the other side we get $B_1B' \cdot C_1N=A'B_1 \cdot B_1C_1$ so we conclude $\frac{C1C'}{C_1N}=\frac{B_1B'}{B_1M}$. Now because $C_1,B_1$ are perpendiculars from $H$ and $C',B'$ perpendiculars from $O$ on $AB,AC$ we conclude that perpendiculars at $M,N$ to $AC,AB$ intersect on $OH$ at some point $X$. Note that $AMXN$ is cyclic. Now if $Y$ is perpendicular from $A$ to $OH$ we have $\angle AYH=90=\angle AYX$ so $Y$ is the second intersection of $AC_1B_1H$ and $AMNX$ so we are finished.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
randomusername
1059 posts
#13 • 3 Y
Y by buzzychaoz, Adventure10, Mango247
Everyone, could we please discuss these problems one by one in different topics? It would be nice to add the 2016 Sharygin Olympiad to the Contests page as well. Has anyone posted some of these problems yet separately? If yes, please PM me the link.
Z K Y
N Quick Reply
G
H
=
a