Join our free webinar April 22 to learn about competitive programming!

G
Topic
First Poster
Last Poster
k a April Highlights and 2025 AoPS Online Class Information
jlacosta   0
Apr 2, 2025
Spring is in full swing and summer is right around the corner, what are your plans? At AoPS Online our schedule has new classes starting now through July, so be sure to keep your skills sharp and be prepared for the Fall school year! Check out the schedule of upcoming classes below.

WOOT early bird pricing is in effect, don’t miss out! If you took MathWOOT Level 2 last year, no worries, it is all new problems this year! Our Worldwide Online Olympiad Training program is for high school level competitors. AoPS designed these courses to help our top students get the deep focus they need to succeed in their specific competition goals. Check out the details at this link for all our WOOT programs in math, computer science, chemistry, and physics.

Looking for summer camps in math and language arts? Be sure to check out the video-based summer camps offered at the Virtual Campus that are 2- to 4-weeks in duration. There are middle and high school competition math camps as well as Math Beasts camps that review key topics coupled with fun explorations covering areas such as graph theory (Math Beasts Camp 6), cryptography (Math Beasts Camp 7-8), and topology (Math Beasts Camp 8-9)!

Be sure to mark your calendars for the following events:
[list][*]April 3rd (Webinar), 4pm PT/7:00pm ET, Learning with AoPS: Perspectives from a Parent, Math Camp Instructor, and University Professor
[*]April 8th (Math Jam), 4:30pm PT/7:30pm ET, 2025 MATHCOUNTS State Discussion
April 9th (Webinar), 4:00pm PT/7:00pm ET, Learn about Video-based Summer Camps at the Virtual Campus
[*]April 10th (Math Jam), 4:30pm PT/7:30pm ET, 2025 MathILy and MathILy-Er Math Jam: Multibackwards Numbers
[*]April 22nd (Webinar), 4:00pm PT/7:00pm ET, Competitive Programming at AoPS (USACO).[/list]
Our full course list for upcoming classes is below:
All classes run 7:30pm-8:45pm ET/4:30pm - 5:45pm PT unless otherwise noted.

Introductory: Grades 5-10

Prealgebra 1 Self-Paced

Prealgebra 1
Sunday, Apr 13 - Aug 10
Tuesday, May 13 - Aug 26
Thursday, May 29 - Sep 11
Sunday, Jun 15 - Oct 12
Monday, Jun 30 - Oct 20
Wednesday, Jul 16 - Oct 29

Prealgebra 2 Self-Paced

Prealgebra 2
Sunday, Apr 13 - Aug 10
Wednesday, May 7 - Aug 20
Monday, Jun 2 - Sep 22
Sunday, Jun 29 - Oct 26
Friday, Jul 25 - Nov 21

Introduction to Algebra A Self-Paced

Introduction to Algebra A
Monday, Apr 7 - Jul 28
Sunday, May 11 - Sep 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Wednesday, May 14 - Aug 27
Friday, May 30 - Sep 26
Monday, Jun 2 - Sep 22
Sunday, Jun 15 - Oct 12
Thursday, Jun 26 - Oct 9
Tuesday, Jul 15 - Oct 28

Introduction to Counting & Probability Self-Paced

Introduction to Counting & Probability
Wednesday, Apr 16 - Jul 2
Thursday, May 15 - Jul 31
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
Wednesday, Jul 9 - Sep 24
Sunday, Jul 27 - Oct 19

Introduction to Number Theory
Thursday, Apr 17 - Jul 3
Friday, May 9 - Aug 1
Wednesday, May 21 - Aug 6
Monday, Jun 9 - Aug 25
Sunday, Jun 15 - Sep 14
Tuesday, Jul 15 - Sep 30

Introduction to Algebra B Self-Paced

Introduction to Algebra B
Wednesday, Apr 16 - Jul 30
Tuesday, May 6 - Aug 19
Wednesday, Jun 4 - Sep 17
Sunday, Jun 22 - Oct 19
Friday, Jul 18 - Nov 14

Introduction to Geometry
Wednesday, Apr 23 - Oct 1
Sunday, May 11 - Nov 9
Tuesday, May 20 - Oct 28
Monday, Jun 16 - Dec 8
Friday, Jun 20 - Jan 9
Sunday, Jun 29 - Jan 11
Monday, Jul 14 - Jan 19

Intermediate: Grades 8-12

Intermediate Algebra
Monday, Apr 21 - Oct 13
Sunday, Jun 1 - Nov 23
Tuesday, Jun 10 - Nov 18
Wednesday, Jun 25 - Dec 10
Sunday, Jul 13 - Jan 18
Thursday, Jul 24 - Jan 22

Intermediate Counting & Probability
Wednesday, May 21 - Sep 17
Sunday, Jun 22 - Nov 2

Intermediate Number Theory
Friday, Apr 11 - Jun 27
Sunday, Jun 1 - Aug 24
Wednesday, Jun 18 - Sep 3

Precalculus
Wednesday, Apr 9 - Sep 3
Friday, May 16 - Oct 24
Sunday, Jun 1 - Nov 9
Monday, Jun 30 - Dec 8

Advanced: Grades 9-12

Olympiad Geometry
Tuesday, Jun 10 - Aug 26

Calculus
Tuesday, May 27 - Nov 11
Wednesday, Jun 25 - Dec 17

Group Theory
Thursday, Jun 12 - Sep 11

Contest Preparation: Grades 6-12

MATHCOUNTS/AMC 8 Basics
Wednesday, Apr 16 - Jul 2
Friday, May 23 - Aug 15
Monday, Jun 2 - Aug 18
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

MATHCOUNTS/AMC 8 Advanced
Friday, Apr 11 - Jun 27
Sunday, May 11 - Aug 10
Tuesday, May 27 - Aug 12
Wednesday, Jun 11 - Aug 27
Sunday, Jun 22 - Sep 21
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

AMC 10 Problem Series
Friday, May 9 - Aug 1
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
Tuesday, Jun 17 - Sep 2
Sunday, Jun 22 - Sep 21 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Monday, Jun 23 - Sep 15
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

AMC 10 Final Fives
Sunday, May 11 - Jun 8
Tuesday, May 27 - Jun 17
Monday, Jun 30 - Jul 21

AMC 12 Problem Series
Tuesday, May 27 - Aug 12
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
Wednesday, Aug 6 - Oct 22

AMC 12 Final Fives
Sunday, May 18 - Jun 15

F=ma Problem Series
Wednesday, Jun 11 - Aug 27

WOOT Programs
Visit the pages linked for full schedule details for each of these programs!


MathWOOT Level 1
MathWOOT Level 2
ChemWOOT
CodeWOOT
PhysicsWOOT

Programming

Introduction to Programming with Python
Thursday, May 22 - Aug 7
Sunday, Jun 15 - Sep 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Tuesday, Jun 17 - Sep 2
Monday, Jun 30 - Sep 22

Intermediate Programming with Python
Sunday, Jun 1 - Aug 24
Monday, Jun 30 - Sep 22

USACO Bronze Problem Series
Tuesday, May 13 - Jul 29
Sunday, Jun 22 - Sep 1

Physics

Introduction to Physics
Wednesday, May 21 - Aug 6
Sunday, Jun 15 - Sep 14
Monday, Jun 23 - Sep 15

Physics 1: Mechanics
Thursday, May 22 - Oct 30
Monday, Jun 23 - Dec 15

Relativity
Sat & Sun, Apr 26 - Apr 27 (4:00 - 7:00 pm ET/1:00 - 4:00pm PT)
Mon, Tue, Wed & Thurs, Jun 23 - Jun 26 (meets every day of the week!)
0 replies
jlacosta
Apr 2, 2025
0 replies
k i Adding contests to the Contest Collections
dcouchman   1
N Apr 5, 2023 by v_Enhance
Want to help AoPS remain a valuable Olympiad resource? Help us add contests to AoPS's Contest Collections.

Find instructions and a list of contests to add here: https://artofproblemsolving.com/community/c40244h1064480_contests_to_add
1 reply
dcouchman
Sep 9, 2019
v_Enhance
Apr 5, 2023
k i Zero tolerance
ZetaX   49
N May 4, 2019 by NoDealsHere
Source: Use your common sense! (enough is enough)
Some users don't want to learn, some other simply ignore advises.
But please follow the following guideline:


To make it short: ALWAYS USE YOUR COMMON SENSE IF POSTING!
If you don't have common sense, don't post.


More specifically:

For new threads:


a) Good, meaningful title:
The title has to say what the problem is about in best way possible.
If that title occured already, it's definitely bad. And contest names aren't good either.
That's in fact a requirement for being able to search old problems.

Examples:
Bad titles:
- "Hard"/"Medium"/"Easy" (if you find it so cool how hard/easy it is, tell it in the post and use a title that tells us the problem)
- "Number Theory" (hey guy, guess why this forum's named that way¿ and is it the only such problem on earth¿)
- "Fibonacci" (there are millions of Fibonacci problems out there, all posted and named the same...)
- "Chinese TST 2003" (does this say anything about the problem¿)
Good titles:
- "On divisors of a³+2b³+4c³-6abc"
- "Number of solutions to x²+y²=6z²"
- "Fibonacci numbers are never squares"


b) Use search function:
Before posting a "new" problem spend at least two, better five, minutes to look if this problem was posted before. If it was, don't repost it. If you have anything important to say on topic, post it in one of the older threads.
If the thread is locked cause of this, use search function.

Update (by Amir Hossein). The best way to search for two keywords in AoPS is to input
[code]+"first keyword" +"second keyword"[/code]
so that any post containing both strings "first word" and "second form".


c) Good problem statement:
Some recent really bad post was:
[quote]$lim_{n\to 1}^{+\infty}\frac{1}{n}-lnn$[/quote]
It contains no question and no answer.
If you do this, too, you are on the best way to get your thread deleted. Write everything clearly, define where your variables come from (and define the "natural" numbers if used). Additionally read your post at least twice before submitting. After you sent it, read it again and use the Edit-Button if necessary to correct errors.


For answers to already existing threads:


d) Of any interest and with content:
Don't post things that are more trivial than completely obvious. For example, if the question is to solve $x^{3}+y^{3}=z^{3}$, do not answer with "$x=y=z=0$ is a solution" only. Either you post any kind of proof or at least something unexpected (like "$x=1337, y=481, z=42$ is the smallest solution). Someone that does not see that $x=y=z=0$ is a solution of the above without your post is completely wrong here, this is an IMO-level forum.
Similar, posting "I have solved this problem" but not posting anything else is not welcome; it even looks that you just want to show off what a genius you are.

e) Well written and checked answers:
Like c) for new threads, check your solutions at least twice for mistakes. And after sending, read it again and use the Edit-Button if necessary to correct errors.



To repeat it: ALWAYS USE YOUR COMMON SENSE IF POSTING!


Everything definitely out of range of common sense will be locked or deleted (exept for new users having less than about 42 posts, they are newbies and need/get some time to learn).

The above rules will be applied from next monday (5. march of 2007).
Feel free to discuss on this here.
49 replies
ZetaX
Feb 27, 2007
NoDealsHere
May 4, 2019
As some nations like to say "Heavy theorems mostly do not help"
Assassino9931   9
N 28 minutes ago by EVKV
Source: European Mathematical Cup 2022, Senior Division, Problem 2
We say that a positive integer $n$ is lovely if there exist a positive integer $k$ and (not necessarily distinct) positive integers $d_1$, $d_2$, $\ldots$, $d_k$ such that $n = d_1d_2\cdots d_k$ and $d_i^2 \mid n + d_i$ for $i=1,2,\ldots,k$.

a) Are there infinitely many lovely numbers?

b) Is there a lovely number, greater than $1$, which is a perfect square of an integer?
9 replies
Assassino9931
Dec 20, 2022
EVKV
28 minutes ago
congruence
moldovan   5
N an hour ago by EVKV
Source: Canada 2004
Let $p$ be an odd prime. Prove that:
\[\displaystyle\sum_{k=1}^{p-1}k^{2p-1} \equiv \frac{p(p+1)}{2} \pmod{p^2}\]
5 replies
moldovan
Jun 26, 2009
EVKV
an hour ago
Checking a summand property for integers sufficiently large.
DinDean   1
N an hour ago by Double07
For any fixed integer $m\geqslant 2$, prove that there exists a positive integer $f(m)$, such that for any integer $n\geqslant f(m)$, $n$ can be expressed by a sum of positive integers $a_i$'s as
\[n=a_1+a_2+\dots+a_m,\]where $a_1\mid a_2$, $a_2\mid a_3$, $\dots$, $a_{m-1}\mid a_m$.
1 reply
DinDean
2 hours ago
Double07
an hour ago
Equations
Jackson0423   1
N an hour ago by Maxklark
Solve the system of equations
\[
\begin{cases}
x - y z = 1,\\[2pt]
y - z x = 2,\\[2pt]
z - x y = 4.
\end{cases}
\]
1 reply
Jackson0423
3 hours ago
Maxklark
an hour ago
Calculate the distance of chess king!!
egxa   3
N an hour ago by egxa
Source: All Russian 2025 9.4
A chess king was placed on a square of an \(8 \times 8\) board and made $64$ moves so that it visited all squares and returned to the starting square. At every moment, the distance from the center of the square the king was on to the center of the board was calculated. A move is called $\emph{pleasant}$ if this distance becomes smaller after the move. Find the maximum possible number of pleasant moves. (The chess king moves to a square adjacent either by side or by corner.)
3 replies
egxa
Apr 18, 2025
egxa
an hour ago
real+ FE
pomodor_ap   4
N an hour ago by jasperE3
Source: Own, PDC001-P7
Let $f : \mathbb{R}^+ \to \mathbb{R}^+$ be a function such that
$$f(x)f(x^2 + y f(y)) = f(x)f(y^2) + x^3$$for all $x, y \in \mathbb{R}^+$. Determine all such functions $f$.
4 replies
pomodor_ap
Yesterday at 11:24 AM
jasperE3
an hour ago
FE solution too simple?
Yiyj1   8
N an hour ago by lksb
Source: 101 Algebra Problems from the AMSP
Find all functions $f: \mathbb{R} \rightarrow \mathbb{R}$ such that the equality $$f(f(x)+y) = f(x^2-y)+4f(x)y$$holds for all pairs of real numbers $(x,y)$.

My solution

I feel like my solution is too simple. Is there something I did wrong or something I missed?
8 replies
Yiyj1
Apr 9, 2025
lksb
an hour ago
Polynomials in Z[x]
BartSimpsons   16
N 2 hours ago by bin_sherlo
Source: European Mathematical Cup 2017 Problem 4
Find all polynomials $P$ with integer coefficients such that $P (0)\ne  0$ and $$P^n(m)\cdot P^m(n)$$is a square of an integer for all nonnegative integers $n, m$.

Remark: For a nonnegative integer $k$ and an integer $n$, $P^k(n)$ is defined as follows: $P^k(n) = n$ if $k = 0$ and $P^k(n)=P(P(^{k-1}(n))$ if $k >0$.

Proposed by Adrian Beker.
16 replies
BartSimpsons
Dec 27, 2017
bin_sherlo
2 hours ago
Why is the old one deleted?
EeEeRUT   13
N 2 hours ago by EVKV
Source: EGMO 2025 P1
For a positive integer $N$, let $c_1 < c_2 < \cdots < c_m$ be all positive integers smaller than $N$ that are coprime to $N$. Find all $N \geqslant 3$ such that $$\gcd( N, c_i + c_{i+1}) \neq 1$$for all $1 \leqslant i \leqslant m-1$

Here $\gcd(a, b)$ is the largest positive integer that divides both $a$ and $b$. Integers $a$ and $b$ are coprime if $\gcd(a, b) = 1$.

Proposed by Paulius Aleknavičius, Lithuania
13 replies
EeEeRUT
Apr 16, 2025
EVKV
2 hours ago
Factor sums of integers
Aopamy   2
N 2 hours ago by cadaeibf
Let $n$ be a positive integer. A positive integer $k$ is called a benefactor of $n$ if the positive divisors of $k$ can be partitioned into two sets $A$ and $B$ such that $n$ is equal to the sum of elements in $A$ minus the sum of the elements in $B$. Note that $A$ or $B$ could be empty, and that the sum of the elements of the empty set is $0$.

For example, $15$ is a benefactor of $18$ because $1+5+15-3=18$.

Show that every positive integer $n$ has at least $2023$ benefactors.
2 replies
Aopamy
Feb 23, 2023
cadaeibf
2 hours ago
Least integer T_m such that m divides gauss sum
Al3jandro0000   33
N 2 hours ago by NerdyNashville
Source: 2020 Iberoamerican P2
Let $T_n$ denotes the least natural such that
$$n\mid 1+2+3+\cdots +T_n=\sum_{i=1}^{T_n} i$$Find all naturals $m$ such that $m\ge T_m$.

Proposed by Nicolás De la Hoz
33 replies
Al3jandro0000
Nov 17, 2020
NerdyNashville
2 hours ago
Estonian Math Competitions 2005/2006
STARS   2
N 2 hours ago by jasperE3
Source: Juniors Problem 4
A $ 9 \times 9$ square is divided into unit squares. Is it possible to fill each unit square with a number $ 1, 2,..., 9$ in such a way that, whenever one places the tile so that it fully covers nine unit squares, the tile will cover nine different numbers?
2 replies
STARS
Jul 30, 2008
jasperE3
2 hours ago
Sum of whose elements is divisible by p
nntrkien   43
N 3 hours ago by lpieleanu
Source: IMO 1995, Problem 6, Day 2, IMO Shortlist 1995, N6
Let $ p$ be an odd prime number. How many $ p$-element subsets $ A$ of $ \{1,2,\dots,2p\}$ are there, the sum of whose elements is divisible by $ p$?
43 replies
nntrkien
Aug 8, 2004
lpieleanu
3 hours ago
Arrangement of integers in a row with gcd
egxa   2
N 3 hours ago by Qing-Cloud
Source: All Russian 2025 10.5 and 11.5
Let \( n \) be a natural number. The numbers \( 1, 2, \ldots, n \) are written in a row in some order. For each pair of adjacent numbers, their greatest common divisor (GCD) is calculated and written on a sheet. What is the maximum possible number of distinct values among the \( n - 1 \) GCDs obtained?
2 replies
egxa
Apr 18, 2025
Qing-Cloud
3 hours ago
exists a circle tangent to three others
XbenX   9
N Sep 1, 2022 by Mahdi_Mashayekhi
Source: 2020 MEMO I-3
Let $ABC$ be an acute scalene triangle with circumcircle $\omega$ and incenter $I$. Suppose the orthocenter $H$ of $BIC$ lies inside $\omega$. Let $M$ be the midpoint of the longer arc $BC$ of $\omega$. Let $N$ be the midpoint of the shorter arc $AM$ of $\omega$.
Prove that there exists a circle tangent to $\omega$ at $N$ and tangent to the circumcircles of $BHI$ and $CHI$.
9 replies
XbenX
Aug 30, 2020
Mahdi_Mashayekhi
Sep 1, 2022
exists a circle tangent to three others
G H J
G H BBookmark kLocked kLocked NReply
Source: 2020 MEMO I-3
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
XbenX
590 posts
#1
Y by
Let $ABC$ be an acute scalene triangle with circumcircle $\omega$ and incenter $I$. Suppose the orthocenter $H$ of $BIC$ lies inside $\omega$. Let $M$ be the midpoint of the longer arc $BC$ of $\omega$. Let $N$ be the midpoint of the shorter arc $AM$ of $\omega$.
Prove that there exists a circle tangent to $\omega$ at $N$ and tangent to the circumcircles of $BHI$ and $CHI$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
timon92
224 posts
#2
Y by
This problem was proposed by Burii.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Tintarn
9038 posts
#3 • 3 Y
Y by A-Thought-Of-God, Muaaz.SY, math_comb01
It seems that can be easily done by a bunch of angle chasing after observing that...
Hint
Solution
This post has been edited 1 time. Last edited by Tintarn, Aug 30, 2020, 3:59 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
EagleEye
497 posts
#4 • 1 Y
Y by Tintarn
Tintarn wrote:
It seems that can be easily done by a bunch of angle chasing after observing that...
Hint
Solution
Good solution. It's almost similar to mine. I have slightly different proof for 4), 5).

Details for 1), 2)

Another ending instead of 4), 5)
Attachments:
This post has been edited 1 time. Last edited by EagleEye, Aug 30, 2020, 4:47 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Kagebaka
3001 posts
#5
Y by
Here is a different solution:

WLOG let $AB>AC$ because there are a lot of half angles so directing is kind of annoying. Let $BA,BM$ and $CA,CM$ meet $(BIH)$ and $(CIH)$ at $K,P$ and $L,Q,$ respectively. For shorthand, let $\angle BAC =\angle A,\angle ACB=\angle C,\angle CBA=\angle B.$ Observe that
\begin{align*}
\angle ACI&=\frac{1}{2}\angle C \\
\angle ACI&=\frac{1}{2}\angle B+\frac{1}{2}\angle C-90^\circ+\frac{1}{2}\angle A+\frac{1}{2}\angle C \\
\angle ACI&=\angle IBA-\angle MBA \\
\angle ACI&=\angle IBM \\
\angle LCH&=\angle HBP,
\end{align*}so it follows that $R=MB\cap HC$ and $S=MC\cap HB$ lie on $(PLH)$ and $(KQH),$ respectively. Combined with $\angle CBM=90^\circ-\frac{1}{2}\angle A=180^\circ-\angle BIC=\angle BHC=\angle LHR,$ this implies that $\angle MQK=\angle SHK=\angle LPM\implies KQ||PL||BC.$ Thus,
\[\angle HPL=\angle HRL=\angle CBL=\angle PLH\]and a very similar process also implies that $\angle HKQ=\angle KQH,$ so $KQ$ and $PL$ share a perpendicular bisector $IH$ and therefore are the parallel sides of an isosceles trapezoid. Finally, since
\begin{align*}
\angle MQL&=180^\circ-\angle LQB \\
&=\angle CHL \\
&=180^\circ-\angle LHR \\
&=\angle LPM,
\end{align*}we find that $M$ also lies on $(LPKQ).$ This implies that $\angle KQL=\angle PKQ=\angle PMQ=\angle A$ so $A$ lies on $(LPKQ)$ as well and we're done by homothety (the desired circle circumscribes the midpoints of arcs $AM,KP,LQ$ on their respective circles). $\blacksquare$
Attachments:
This post has been edited 5 times. Last edited by Kagebaka, Aug 31, 2020, 8:06 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
bora_olmez
277 posts
#6 • 1 Y
Y by Mango247
see my solution below (I can't delete this post)...
This post has been edited 2 times. Last edited by bora_olmez, Feb 25, 2021, 3:50 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
bora_olmez
277 posts
#7 • 1 Y
Y by Mango247
see my solution below (I can't delete this post)...
This post has been edited 2 times. Last edited by bora_olmez, Feb 25, 2021, 3:50 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
bora_olmez
277 posts
#8 • 1 Y
Y by Muaaz.SY
Probably one of my favourite geometry problems, here is the rather lengthy solution I gave at the competition :)
Let $circ(BHI) = \omega_1$, $circ(CHI) = \omega_2$, centers of $\omega$, $\omega_1$, $\omega_2$ be $O, O_1, O_2$, respectively. Let $D$ be the midpoint of arc $BC$ not containing $A$.
Also, let $\angle BAC$ = $\alpha$, $\angle ABC$ = $\beta$, $\angle ACB$ = $\gamma$
Let $HI$ $\cap$ $BC$ = $H_I$, $HB$ $\cap$ $CI$ = $H_B$ and $HC$ $\cap$ $BI$ = $H_C$.
Now, $\angle HBI$ = $\angle H_BBI$ = $\frac{\alpha}{2}$ = $\angle ICH_C$ $   $ = $\angle HCI$

Let the radii of $\omega$, $\omega_1$, $\omega_2$ be $R$, $R_1$, $R_2$.
We get: $HI$ = $2R_1 \sin \frac{\alpha}{2}$, $HI$ = $2R_2 \sin \frac{\alpha}{2}$ because of sine rule. $\implies$ $R_1$ = $R_2$

Claim:
$AD$ $\parallel$ $ON$
Proof)
Let $\angle ADM$ = $\phi$
Now, $\angle NDM$ = $\frac{1}{2}$ $\angle ADM$ because $N$ is the midpoint of arc AM. $\implies$ $\angle NDM $= $\frac{\phi}{2}$
Also, $\angle NOM$ = $2 \angle NDM$ because $O$ is the center of $\omega$. $\implies$ $\angle NOM$ = $\phi$.
Therefore, $\angle NOM$ = $\angle ADM$ meaning that $AD$ is indeed parallel $ON$. $\square$
Moreover, $AD$ $\parallel$ $NO$ $\implies$ $AI$ $\parallel$ $NO$ (because $AI$ and $AD$ coincide).

Claim:
$BO_1$ $\parallel$ $AI$ (analagously, $CO_2$ $\parallel$ $AI$)
Proof)
From our initial angle chase, $\angle HBI$ = $\frac{\alpha}{2}$. Moreover, $\angle IBC$ = $\frac{\beta}{2}$. $\implies$ $\angle HBH_I$ = $\frac{\beta + \alpha}{2}$
Consequently, $\angle BHH_I$ = $90^{\circ}$ -$\frac{\beta +\alpha}{2}$ = $\frac{\gamma}{2}$
As $O_1$ is the center of $\omega_1$, $\angle O_1BI$ = $90^{\circ}$ -$\angle BHI$ = $90^{\circ}$ - $\angle BHH_I$ = $90^{\circ}$ - $\frac{\gamma}{2}$ = $\frac{\alpha + \beta}{2}$
Furthermore, $\angle BIA$ = $180^{\circ}$ - $\angle ABI$ - $\angle BAI$ = $180^{\circ}$ - $\frac{\alpha}{2}$ - $\frac{\beta}{2}$ from $
\triangle$$BIA$
$\implies$ $\angle BIA$ + $\angle O_1BI$ = $180^{\circ}$

Meaning that: $BO_1$ $\parallel$ $AI$
$\implies$ $BO_1$ $\parallel$ $CO_2$ $\parallel$ $AI$ $\parallel$ $ON$ (1)

After these "preliminary steps" we can finally "construct" the circle which will be tangent to the three circles, $\omega, \omega_1, \omega_2$

Let $O_3$ be the point on $ON$ such that $BO_1$ = $OO_3$ and $D,O,O_3$ lie on $ON$ in this order.
Now, (1)$ \implies$ $BO_1O_3O$ and $O_3OCO_2$ are parallelograms because $BO_1$ = $OO_3$. Let $R_3$ = $O_3N$ and let $\omega_3$ be the circle with center $O_3$ and radius $R_3$ (i.e $\omega_3$ is the circle with center $O_3$ through $N$).
Then $R_3$ =$BO_1$ = $OO_3$ = $R-R_3$ $\implies$ $R$ = $R_1+R_3$.
Also, $R_1+R_3$ = $R$ = $BO$ = $O_1O_3$.
Let $K$ = $O_3O_1$ $\cap$ $\omega_1$.
Then, $R_1+R_3$ = $O_1O_3$ = $O_1K + KO_3$ = $R_1$ + $KO3$. $\implies$ $KO_3$ = $O_3$.
Therefore $K$ $\cap$ $\omega_1$ and $O_3$, $O_1$, $K$ are collinear meaning that $\omega_3$ is tangent to $\omega_1$ at $K$. Analogously, $\omega_3$ is tangent to $\omega_2$.
Finally, $O_3$, $O$, $N$ are collinear. $\implies$ $\omega_3$ is tangent to $\omega$ at $N$ because $\omega$ has center $O$ and $\omega_3$ has center $O_3$.
Essentially $\omega_3$ with center $O_3$ through $N$ satisfies all three conditions. $\square$
Attachments:
This post has been edited 3 times. Last edited by bora_olmez, Jul 9, 2021, 1:44 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
lazizbek42
548 posts
#9
Y by
I think very hard problem for p3
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Mahdi_Mashayekhi
694 posts
#10 • 1 Y
Y by Mango247
Let $BN$ and $CN$ meet $BIH$ and $CIH$ at $X$ and $Y$. Let $M'$ be midpoint of arc $BC$.
Claim $:$ circles $BIH$ and $CIH$ are symmetric wrt $HI$.
Proof $:$ Note that $2R_{BHI} = \frac{BI}{\sin{BHI}} = \frac{BI}{\sin{ICB}} = \frac{CI}{\sin{IBC}} = \frac{CI}{\sin{CHI}} = 2R_{CHI}$ so circles are congruent and since $HI$ is their Radical Axis then Claim is proved.

Now By this symmetry we have that $O_1X$ and $O_2Y$ intersect on Radical Axis. Let the intersection point be $K$. we claim $K$ is center of wanted circle.
Claim $: BO_1IM'$ is Rhombus.
Proof $:$ Note that $\angle BM'I = 2\angle BCI = 2\angle BHI = \angle BO_1I$ and $O_1B = O_1I$ and $M'B = M'I$.
Claim $: O_1K || BO$ where $O$ is center of $ABC$.
Proof $:$ Note that $\angle O_1BI = \angle M'BI$ so $\angle O_1BA = \angle CBM = \frac{\angle A}{2} = \angle MBO$ and since $\angle ABN = \angle NBM$ then $\angle O_1XB = \angle O_1BX = \angle O_1BN = \angle NBO = \angle XBO$

Note that with same approach $O_2Y || CO$ so $\angle XKY = \angle BOC = 2\angle A = 2\angle BNC = 2\angle XNY$ so $K$ is center of $XYN$ and we only need to prove that $N,K,O$ are collinear to prove that $XYN$ is tangent at $N$. Note that $ON \perp AM \perp AI || O_1B || KO$ so $KO || ON \implies O,K,N$ are collinear as wanted.
Z K Y
N Quick Reply
G
H
=
a