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

G
Topic
First Poster
Last Poster
k a June Highlights and 2025 AoPS Online Class Information
jlacosta   0
3 hours ago
Congratulations to all the mathletes who competed at National MATHCOUNTS! If you missed the exciting Countdown Round, you can watch the video at this link. Are you interested in training for MATHCOUNTS or AMC 10 contests? How would you like to train for these math competitions in half the time? We have accelerated sections which meet twice per week instead of once starting on July 8th (7:30pm ET). These sections fill quickly so enroll today!

[list][*]MATHCOUNTS/AMC 8 Basics
[*]MATHCOUNTS/AMC 8 Advanced
[*]AMC 10 Problem Series[/list]
For those interested in Olympiad level training in math, computer science, physics, and chemistry, be sure to enroll in our WOOT courses before August 19th to take advantage of early bird pricing!

Summer camps are starting this month at the Virtual Campus in math and language arts that are 2 - to 4 - weeks in duration. Spaces are still available - don’t miss your chance to have a transformative summer experience. 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 upcoming events:
[list][*]June 5th, Thursday, 7:30pm ET: Open Discussion with Ben Kornell and Andrew Sutherland, Art of Problem Solving's incoming CEO Ben Kornell and CPO Andrew Sutherland host an Ask Me Anything-style chat. Come ask your questions and get to know our incoming CEO & CPO!
[*]June 9th, Monday, 7:30pm ET, Game Jam: Operation Shuffle!, Come join us to play our second round of Operation Shuffle! If you enjoy number sense, logic, and a healthy dose of luck, this is the game for you. No specific math background is required; all are welcome.[/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, Jun 15 - Oct 12
Monday, Jun 30 - Oct 20
Wednesday, Jul 16 - Oct 29
Sunday, Aug 17 - Dec 14
Tuesday, Aug 26 - Dec 16
Friday, Sep 5 - Jan 16
Monday, Sep 8 - Jan 12
Tuesday, Sep 16 - Jan 20 (4:30 - 5:45 pm ET/1:30 - 2:45 pm PT)
Sunday, Sep 21 - Jan 25
Thursday, Sep 25 - Jan 29
Wednesday, Oct 22 - Feb 25
Tuesday, Nov 4 - Mar 10
Friday, Dec 12 - Apr 10

Prealgebra 2 Self-Paced

Prealgebra 2
Monday, Jun 2 - Sep 22
Sunday, Jun 29 - Oct 26
Friday, Jul 25 - Nov 21
Sunday, Aug 17 - Dec 14
Tuesday, Sep 9 - Jan 13
Thursday, Sep 25 - Jan 29
Sunday, Oct 19 - Feb 22
Monday, Oct 27 - Mar 2
Wednesday, Nov 12 - Mar 18

Introduction to Algebra A Self-Paced

Introduction to Algebra A
Sunday, Jun 15 - Oct 12
Thursday, Jun 26 - Oct 9
Tuesday, Jul 15 - Oct 28
Sunday, Aug 17 - Dec 14
Wednesday, Aug 27 - Dec 17
Friday, Sep 5 - Jan 16
Thursday, Sep 11 - Jan 15
Sunday, Sep 28 - Feb 1
Monday, Oct 6 - Feb 9
Tuesday, Oct 21 - Feb 24
Sunday, Nov 9 - Mar 15
Friday, Dec 5 - Apr 3

Introduction to Counting & Probability Self-Paced

Introduction to Counting & Probability
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
Wednesday, Jul 2 - Sep 17
Sunday, Jul 27 - Oct 19
Monday, Aug 11 - Nov 3
Wednesday, Sep 3 - Nov 19
Sunday, Sep 21 - Dec 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Friday, Oct 3 - Jan 16
Tuesday, Nov 4 - Feb 10
Sunday, Dec 7 - Mar 8

Introduction to Number Theory
Monday, Jun 9 - Aug 25
Sunday, Jun 15 - Sep 14
Tuesday, Jul 15 - Sep 30
Wednesday, Aug 13 - Oct 29
Friday, Sep 12 - Dec 12
Sunday, Oct 26 - Feb 1
Monday, Dec 1 - Mar 2

Introduction to Algebra B Self-Paced

Introduction to Algebra B
Wednesday, Jun 4 - Sep 17
Sunday, Jun 22 - Oct 19
Friday, Jul 18 - Nov 14
Thursday, Aug 7 - Nov 20
Monday, Aug 18 - Dec 15
Sunday, Sep 7 - Jan 11
Thursday, Sep 11 - Jan 15
Wednesday, Sep 24 - Jan 28
Sunday, Oct 26 - Mar 1
Tuesday, Nov 4 - Mar 10
Monday, Dec 1 - Mar 30

Introduction to Geometry
Monday, Jun 16 - Dec 8
Friday, Jun 20 - Jan 9
Sunday, Jun 29 - Jan 11
Monday, Jul 14 - Jan 19
Wednesday, Aug 13 - Feb 11
Tuesday, Aug 26 - Feb 24
Sunday, Sep 7 - Mar 8
Thursday, Sep 11 - Mar 12
Wednesday, Sep 24 - Mar 25
Sunday, Oct 26 - Apr 26
Monday, Nov 3 - May 4
Friday, Dec 5 - May 29

Paradoxes and Infinity
Mon, Tue, Wed, & Thurs, Jul 14 - Jul 16 (meets every day of the week!)

Intermediate: Grades 8-12

Intermediate Algebra
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
Friday, Aug 8 - Feb 20
Tuesday, Aug 26 - Feb 24
Sunday, Sep 28 - Mar 29
Wednesday, Oct 8 - Mar 8
Sunday, Nov 16 - May 17
Thursday, Dec 11 - Jun 4

Intermediate Counting & Probability
Sunday, Jun 22 - Nov 2
Sunday, Sep 28 - Feb 15
Tuesday, Nov 4 - Mar 24

Intermediate Number Theory
Sunday, Jun 1 - Aug 24
Wednesday, Jun 18 - Sep 3
Wednesday, Sep 24 - Dec 17

Precalculus
Sunday, Jun 1 - Nov 9
Monday, Jun 30 - Dec 8
Wednesday, Aug 6 - Jan 21
Tuesday, Sep 9 - Feb 24
Sunday, Sep 21 - Mar 8
Monday, Oct 20 - Apr 6
Sunday, Dec 14 - May 31

Advanced: Grades 9-12

Olympiad Geometry
Tuesday, Jun 10 - Aug 26

Calculus
Wednesday, Jun 25 - Dec 17
Sunday, Sep 7 - Mar 15
Wednesday, Sep 24 - Apr 1
Friday, Nov 14 - May 22

Group Theory
Thursday, Jun 12 - Sep 11

Contest Preparation: Grades 6-12

MATHCOUNTS/AMC 8 Basics
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!)
Sunday, Aug 17 - Nov 9
Wednesday, Sep 3 - Nov 19
Tuesday, Sep 16 - Dec 9
Sunday, Sep 21 - Dec 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Monday, Oct 6 - Jan 12
Thursday, Oct 16 - Jan 22
Tues, Thurs & Sun, Dec 9 - Jan 18 (meets three times a week!)

MATHCOUNTS/AMC 8 Advanced
Wednesday, Jun 11 - Aug 27
Sunday, Jun 22 - Sep 21
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)
Sunday, Aug 17 - Nov 9
Tuesday, Aug 26 - Nov 11
Thursday, Sep 4 - Nov 20
Friday, Sep 12 - Dec 12
Monday, Sep 15 - Dec 8
Sunday, Oct 5 - Jan 11
Tues, Thurs & Sun, Dec 2 - Jan 11 (meets three times a week!)
Mon, Wed & Fri, Dec 8 - Jan 16 (meets three times a week!)

AMC 10 Problem Series
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!)
Sunday, Aug 10 - Nov 2
Thursday, Aug 14 - Oct 30
Tuesday, Aug 19 - Nov 4
Mon & Wed, Sep 15 - Oct 22 (meets twice a week!)
Mon, Wed & Fri, Oct 6 - Nov 3 (meets three times a week!)
Tue, Thurs & Sun, Oct 7 - Nov 2 (meets three times a week!)

AMC 10 Final Fives
Monday, Jun 30 - Jul 21
Friday, Aug 15 - Sep 12
Sunday, Sep 7 - Sep 28
Tuesday, Sep 9 - Sep 30
Monday, Sep 22 - Oct 13
Sunday, Sep 28 - Oct 19 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Wednesday, Oct 8 - Oct 29
Thursday, Oct 9 - Oct 30

AMC 12 Problem Series
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
Wednesday, Aug 6 - Oct 22
Sunday, Aug 10 - Nov 2
Monday, Aug 18 - Nov 10
Mon & Wed, Sep 15 - Oct 22 (meets twice a week!)
Tues, Thurs & Sun, Oct 7 - Nov 2 (meets three times a week!)

AMC 12 Final Fives
Thursday, Sep 4 - Sep 25
Sunday, Sep 28 - Oct 19
Tuesday, Oct 7 - Oct 28

AIME Problem Series A
Thursday, Oct 23 - Jan 29

AIME Problem Series B
Sunday, Jun 22 - Sep 21
Tuesday, Sep 2 - Nov 18

F=ma Problem Series
Wednesday, Jun 11 - Aug 27
Tuesday, Sep 16 - Dec 9
Friday, Oct 17 - Jan 30

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
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
Thursday, Aug 14 - Oct 30
Sunday, Sep 7 - Nov 23
Tuesday, Dec 2 - Mar 3

Intermediate Programming with Python
Sunday, Jun 1 - Aug 24
Monday, Jun 30 - Sep 22
Friday, Oct 3 - Jan 16

USACO Bronze Problem Series
Sunday, Jun 22 - Sep 1
Wednesday, Sep 3 - Dec 3
Thursday, Oct 30 - Feb 5
Tuesday, Dec 2 - Mar 3

Physics

Introduction to Physics
Sunday, Jun 15 - Sep 14
Monday, Jun 23 - Sep 15
Tuesday, Sep 2 - Nov 18
Sunday, Oct 5 - Jan 11
Wednesday, Dec 10 - Mar 11

Physics 1: Mechanics
Monday, Jun 23 - Dec 15
Sunday, Sep 21 - Mar 22
Sunday, Oct 26 - Apr 26

Relativity
Mon, Tue, Wed & Thurs, Jun 23 - Jun 26 (meets every day of the week!)
0 replies
+1 w
jlacosta
3 hours ago
0 replies
smallest a so that S(n)-S(n+a) = 2018, where S(n)=sum of digits
parmenides51   3
N 12 minutes ago by TheBaiano
Source: Lusophon 2018 CPLP P3
For each positive integer $n$, let $S(n)$ be the sum of the digits of $n$. Determines the smallest positive integer $a$ such that there are infinite positive integers $n$ for which you have $S (n) -S (n + a) = 2018$.
3 replies
parmenides51
Sep 13, 2018
TheBaiano
12 minutes ago
Ducks can play games now apparently
MortemEtInteritum   35
N an hour ago by pi271828
Source: USA TST(ST) 2020 #1
Let $a$, $b$, $c$ be fixed positive integers. There are $a+b+c$ ducks sitting in a
circle, one behind the other. Each duck picks either rock, paper, or scissors, with $a$ ducks
picking rock, $b$ ducks picking paper, and $c$ ducks picking scissors.
A move consists of an operation of one of the following three forms:

[list]
[*] If a duck picking rock sits behind a duck picking scissors, they switch places.
[*] If a duck picking paper sits behind a duck picking rock, they switch places.
[*] If a duck picking scissors sits behind a duck picking paper, they switch places.
[/list]
Determine, in terms of $a$, $b$, and $c$, the maximum number of moves which could take
place, over all possible initial configurations.
35 replies
1 viewing
MortemEtInteritum
Nov 16, 2020
pi271828
an hour ago
2017 IGO Advanced P3
bgn   18
N an hour ago by Circumcircle
Source: 4th Iranian Geometry Olympiad (Advanced) P3
Let $O$ be the circumcenter of triangle $ABC$. Line $CO$ intersects the altitude from $A$ at point $K$. Let $P,M$ be the midpoints of $AK$, $AC$ respectively. If $PO$ intersects $BC$ at $Y$, and the circumcircle of triangle $BCM$ meets $AB$ at $X$, prove that $BXOY$ is cyclic.

Proposed by Ali Daeinabi - Hamid Pardazi
18 replies
bgn
Sep 15, 2017
Circumcircle
an hour ago
Own made functional equation
JARP091   1
N 2 hours ago by JARP091
Source: Own (Maybe?)
\[
\text{Find all functions } f : \mathbb{R} \to \mathbb{R} \text{ such that:} \\
f(a^4 + a^2b^2 + b^4) = f\left((a^2 - f(ab) + b^2)(a^2 + f(ab) + b^2)\right)
\]
1 reply
JARP091
May 31, 2025
JARP091
2 hours ago
Floor of Cube Root
Magdalo   1
N 3 hours ago by Magdalo
Find the amount of natural numbers $n<1000$ such that $\lfloor \sqrt[3]{n}\rfloor\mid n$.
1 reply
Magdalo
3 hours ago
Magdalo
3 hours ago
Approximating nonlinear recurrence
KSH31415   0
3 hours ago
I was working on finding the general solution to this problem with $n$ red and $n$ blue balls. Its pretty simple to get the recurrence
$$E_n=1+\frac{n}{2n-1}E_{n-1}$$where $E_n=1$. I tried to find an explicit form for $E_n$ but none of my attempts worked and the fractions looked increasingly complex. I don't think finding an explicit form is possible (I would love to be disproven), so I decided to look at the relation asymptotically.

First $\lim_{n\rightarrow \infty}E_n=2$. This is pretty clear since $\frac{n}{2n-1}$ tends to $\frac 12$, in which case $E_n=\frac 12$ is a fixed point. This is also obvious when looking at the original problem, since the probability of drawing a match gets closer to $\frac 12$ for large $n$, so the expected number of draws gets closer to $\frac{1}{\frac 12}=2$. Graphing the sequence and subtracting $2$, I found that $E_n-2\approx \frac 1n$. I haven't, however, been able to match $E_n-2-\frac 1n$ to any function.

Here is a link to the Desmos graph if you want to play around.

This exploration leaves me with a some questions about the recurrence. Does and explicit form exist? How far can we keep approximating $E_n$? Could we write $E_n$ as some infinite sum?
0 replies
KSH31415
3 hours ago
0 replies
[PMO21 Areas] I.19
Magdalo   1
N 3 hours ago by Magdalo
How many distinct numbers are there from $\left\lfloor\dfrac{1^2}{2018}\right\rfloor,\left\lfloor\dfrac{2^2}{2018}\right\rfloor,\dots,\left\lfloor\dfrac{2018^2}{2018}\right\rfloor$?
1 reply
Magdalo
3 hours ago
Magdalo
3 hours ago
[PMO22 Qualifying] II.19
Magdalo   1
N 3 hours ago by Magdalo
For a real number $t$, $\lfloor t\rfloor$ is the greatest integer less than or equal to $t$. How many natural numbers $n$ are there such that $\left\lfloor\dfrac{n^3}{9}\right\rfloor$ is prime?
1 reply
Magdalo
3 hours ago
Magdalo
3 hours ago
Inequalities
sqing   8
N 4 hours ago by cj13609517288
Let $ a,b> 0 ,\frac{a}{2b+1}+\frac{b}{3}+\frac{1}{2a+1} \leq 1.$ Prove that
$$  a^2+b^2 -ab\leq 1$$$$ a^2+b^2 +ab \leq3$$Let $ a,b,c> 0 , \frac{a}{2b+1}+\frac{b}{2c+1}+\frac{c}{2a+1} \leq 1.$ Prove that
$$    a +b +c +abc \leq 4$$
8 replies
sqing
May 24, 2025
cj13609517288
4 hours ago
Sipnayan 2025 SHS Orals Final Round VD-FriedChicken
qrxz17   0
4 hours ago
Problem: Let \( a, b, c \) be complex numbers. For a complex number \( z = p + qi \) where \( i = \sqrt{-1} \), define the norm \( |z| \) to be the distance of \( z \) from the origin, or \( |z| = \sqrt{p^2 + q^2} \). Let \( m \) be the minimum value and \( M \) be the maximum value of
\[
\frac{ |a + b| + |b + c| + |c + a| }{ |a| + |b| + |c| }
\]for all complex numbers \( a, b, c \) where \( |a| + |b| + |c| \ne 0 \). Find \( M + m \).

Answer: Click to reveal hidden text

Solution: Let us first get the maximum value \(M\). When two complex numbers \(a\) and \(b\) are added, their sum \(a + b\) is also a vector. Geometrically, this is represented by placing the tail of \(b\) at the head of \(a\) or vice versa, following the parallelogram rule. The vector \(a + b\) then extends from the origin to the head of the translated \(b\), forming a triangle with the origin and the head of \(a\).

Then, we can apply the triangle inequality. We have
\begin{align*}
        |a+b| & \leq |a|+|b| \\
        |b+c| & \leq |b|+|c| \\
        |c+a| & \leq |c| + |a| 
    \end{align*}
The given equation can then be rewritten to
\begin{align*}
        \frac{ |a + b| + |b + c| + |c + a| }{ |a| + |b| + |c| } \leq \frac{ |a| + |b| + |b| + |c| + |c| + |a| }{ |a| + |b| + |c| } \leq \frac{ 2(|a| + |b| + |c |) }{ |a| + |b| + |c| } \leq 2
    \end{align*}
Thus, the maximum value M is equal to 2.

Now, let us determine the minimum value \(m\). To find the minimum value, we can look for configurations where ``cancellation" in the vector sums is maximized. This typically happens when the complex numbers are collinear but point in opposite directions. To do this, let \(a\) and \(b\) be at the same point, and let \(c\) be the same distance from the origin as \(a\) and \(b\), but in the opposite direction.

We have
\begin{align*}
        a =\text{ } &b \text{ } =-c \\
        |a| =|&b|=|c|.
    \end{align*}Substituting this in the given equation, we get

\begin{align*}
        \frac{ |a + b| + |b + c| + |c + a| }{ |a| + |b| + |c| } = \frac{ |a+a| + |a + -a| + |-a + a| }{ |a| + |a| + |a| } =\frac{ |2a| }{ 3|a| }=\frac{2}{3}.
    \end{align*}
Thus, the minimum value \(m\) is equal to \(\frac{2}{3}\).

Therefore, \(M+m=2+\frac{2}{3}=\boxed{\frac{8}{3}}\).
0 replies
qrxz17
4 hours ago
0 replies
MATHirang MATHibay 2012 Eliminations Average A1
qrxz17   0
4 hours ago
Problem. Determine the sum of all real and complex solutions to the equation
\[
x^2 + 2|x| - 6x + 15 = 0.
\](Note: the modulus of a complex number \( x = a + bi \) is \( |x| = \sqrt{a^2 + b^2} \).)
Answer: Click to reveal hidden text
Solution: Substituting
\begin{align*}
        x = a + bi \text{ and } |x| = \sqrt{a^2 + b^2}
    \end{align*}
into the equation, we get
\begin{align*}
        (a^2 - b^2 + 2\sqrt{a^2 + b^2} - 6a + 15) + i(2ab - 6b) = 0
    \end{align*}
For this equation to hold,
\begin{align*}
    a^2 - b^2 + 2\sqrt{a^2 + b^2} - 6a + 15 &= 0 \text{  } \text{ and}\\
    2ab - 6b &=0.
    \end{align*}
Solving this system of equations, we get \(a= 3\) and \(b=\pm 4\).

Thus, we have the solutions \(x = 3+4i\) and \(x = 3-4i\).

Summing these solutions, we get \(\boxed{6}\).
0 replies
qrxz17
4 hours ago
0 replies
Inequalities
toanrathay   0
4 hours ago
Prove that this inequality holds for all positive reals $a,b,c$ \[
\frac{ab + bc + ca}{a^2 + b^2 + c^2} + \frac{1}{6} \left( \frac{(a - b)^2}{a^2 + b^2} + \frac{(b - c)^2}{b^2 + c^2} + \frac{(c - a)^2}{c^2 + a^2} \right) \leq 1.
\]
0 replies
toanrathay
4 hours ago
0 replies
[Sipnayan 2021 SHS SF-E2] Sum of 256th powers
aops-g5-gethsemanea2   1
N 6 hours ago by aops-g5-gethsemanea2
If $r_1,r_2,\dots,r_{256}$ are the 256 roots (not necessarily distinct) of the equation $x^{256}-2021x^2-3=0$, evaluate $\sum^{256}_{i=1}r_i^{256}$.
1 reply
aops-g5-gethsemanea2
6 hours ago
aops-g5-gethsemanea2
6 hours ago
Original Problem
wonderboy807   3
N Today at 1:08 PM by reyaansh_agrawal
A non-constant polynomial function f : \mathbb{R} \to \mathbb{R} satisfies f(f(x)) = f(3x) + f(x) + 3. Also, f(0) = 1. Find f(2025).

Answer: Click to reveal hidden text

Solution: Click to reveal hidden text
3 replies
wonderboy807
Today at 1:02 AM
reyaansh_agrawal
Today at 1:08 PM
A,B', C'; A',B, C'; A',B', C are collinear (IMO SL 1987-P12)
Amir Hossein   10
N Jan 9, 2024 by Saucepan_man02
Given a nonequilateral triangle $ABC$, the vertices listed counterclockwise, find the locus of the centroids of the equilateral triangles $A'B'C'$ (the vertices listed counterclockwise) for which the triples of points $A,B', C'; A',B, C';$ and $A',B', C$ are collinear.

Proposed by Poland.
10 replies
Amir Hossein
Aug 19, 2010
Saucepan_man02
Jan 9, 2024
A,B', C'; A',B, C'; A',B', C are collinear (IMO SL 1987-P12)
G H J
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Amir Hossein
5452 posts
#1 • 2 Y
Y by wiseman, Adventure10
Given a nonequilateral triangle $ABC$, the vertices listed counterclockwise, find the locus of the centroids of the equilateral triangles $A'B'C'$ (the vertices listed counterclockwise) for which the triples of points $A,B', C'; A',B, C';$ and $A',B', C$ are collinear.

Proposed by Poland.
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
4150 posts
#2 • 4 Y
Y by Arab, Adventure10, Mango247, MS_asdfgzxcvb
Fixed circumcircles $(X),(Y),(Z)$ of $\triangle A'BC , \triangle C'AB , \triangle B'CA$ meet at the Miquel point of $\triangle A'B'C' \cup ABC,$ i.e. the 1st Fermat point $F$ of $\triangle ABC.$ Let $T$ be the midpoint of $B'C',$ running on midcircle $(K)$ of $(Y),(Z),$ and let $L$ be the 2nd intersection of $A'T$ with $(X);$ midpoint of its arc $BFC.$ Since $AF$ bisects $\angle BFC,$ it follows that $FL$ is the external bisector of $\angle BFC$ $\Longrightarrow$ $\angle AFL=90^{\circ}$ $\Longrightarrow$ $L \in (K).$

Let $G$ and $U$ be the centroids of $\triangle ABC$ and $\triangle A'B'C'.$ Since $G$ is also the centroid of $\triangle XYZ,$ then $\frac{_{\overline{GX}}}{^{\overline{GK}}}=-2 \ (*).$ But $\frac{_{\overline{UA'} \cdot \overline{UL}}}{^{\overline{UL} \cdot \overline{UT}}}=-2$ $\Longrightarrow$ powers of $U$ WRT circles $(X),(K)$ are in the same ratio $\Longrightarrow$ $U$ is on circle $\Omega$ coaxal with $(X),(K),$ but from $(*)$ we deduce that $G$ is the center of $\Omega.$ Therefore, locus of $U$ is the circle $\Omega$ centered at the centroid $G$ of $\triangle ABC$ and passing through its 1st Fermat point $F.$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
skytin
418 posts
#3 • 1 Y
Y by Adventure10
Hint :
take midpoints of arc's AB , BC , CA of (ABC') , (BCA') , (CAB')
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
4150 posts
#4 • 3 Y
Y by Adventure10, Mango247, MS_asdfgzxcvb
Another proof, following skytin's idea:

Circumcircles $(X),(Y),(Z)$ of $\triangle A'BC,$ $\triangle B'CA$ and $\triangle C'AB$ concur at the Fermat point $F$ of $\triangle ABC.$ Since $U$ is the incenter of $\triangle A'B'C',$ then $UA',UB',UC'$ cut $(X),(Y),(Z)$ again at the midpoints $A_0,B_0,C_0$ of its arcs $FBC,FCA,FAB,$ these are none other than the reflections of $X,Y,Z$ on $BC,CA,AB.$ Thus $\triangle A_0B_0C_0$ is the inner equilateral Napoleon triangle of $\triangle ABC,$ whose center is the centroid $G$ of $\triangle ABC.$ Its circumcircle passes through $F$ and $U,$ since $\angle (FC_0,FB_0)=60^{\circ}$ and $\angle (UC_0,UB_0)=60^{\circ}$ $\pmod\pi.$ 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.
wiseman
216 posts
#5 • 3 Y
Y by GammaBetaAlpha, Adventure10, Mango247
A more generalized decision: Let $K$ be an arbitrary point in the plane.Draw circles $\odot(BKC),\odot(CKA),\odot(AKB)$. We'll prove that the locus of the centroid $G$ of triangles like $\triangle{MNP}$ such that $P \in \odot(BKC),N \in \odot(CKA),M \in \odot(AKB)$ and $MN,MP,NP$ passes through $A,B,C$ respectively, is a circle centered at the centroid $L$ of triangle $\triangle{A'B'C'}$ passing through $K$ where $A',B',C'$ are the circumcircles of $\odot(BKC),\odot(CKA),\odot(AKB)$ respectively.

$\rightarrow \vec{LG} = \frac{1}{3}.(\vec{MC'}+\vec{NB'}+\vec{PA'})$.
$\rightarrow$ Now let $M$ traverses a distance equal to $\alpha$ on the perimeter of $\odot(AKB)$ and makes the point $M'$ ($\widehat{M'C'M}=2\alpha$). WLOG suppose the movement is clockwise; Then if we call the intersection points of $M'A$ and $M'B$ with $\odot(CKA)$ and $\odot(BKC)$ as $N',P'$ respectively, we obviously have $\widehat{M'C'M}=\widehat{N'B'N}=\widehat{P'A'P}=2\alpha \Rightarrow$ If $G'$ be the centroid of $\triangle{M'N'P'}$ then $\vec{GG'}$ is the rotatated vector of $\vec{LG}$ with angle $2\alpha$(Note that $N'$ and $P'$ are also traversing clockwise). So the length of $\vec{LG}$ is constant $\Longrightarrow$ The locus of $G$ is a circle centered at the centroid $L$ of triangle $\triangle{A'B'C'}$ passing through $K \blacksquare$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
TelvCohl
2312 posts
#6 • 6 Y
Y by wiseman, GammaBetaAlpha, Adventure10, Mango247, MS_asdfgzxcvb, and 1 other user
wiseman wrote:
A more generalized decision: Let $K$ be an arbitrary point in the plane.Draw circles $\odot(BKC),\odot(CKA),\odot(AKB)$. We'll prove that the locus of the centroid $G$ of triangles like $\triangle{MNP}$ such that $P \in \odot(BKC),N \in \odot(CKA),M \in \odot(AKB)$ and $MN,MP,NP$ passes through $A,B,C$ respectively, is a circle centered at the centroid $L$ of triangle $\triangle{A'B'C'}$ passing through $K$ where $A',B',C'$ are the circumcircles of $\odot(BKC),\odot(CKA),\odot(AKB)$ respectively.
Another proof of wiseman's generalization:

Let $ P', N', M' $ be the midpoint of $ NM, MP, PN $, respectively .
Let $ \triangle A_1B_1C_1 $ be the anti-pedal triangle of $ K $ WRT $ \triangle ABC $ .
Let $ G_1 $ be the centroid of $ \triangle A_1B_1C_1 $ .

Easy to see $ A', B', C' $ is the midpoint of $ KA_1, KB_1, KC_1 $, respectively .

Since all $ \triangle PNM $ are similar,
so $ PP' $ pass through a fixed point $ P_1 \in \odot (KBC) $ .
Similarly, $ NN', MM' $ pass through a fixed point $ N_1 \in \odot (KCA), M_1 \in \odot (KAB) $, respectively .

Since $ PP', NN', MM' $ are concurrent at $ G $,
so we get $ G, K, P_1, N_1, M_1 $ are concyclic .
ie. the locus of $ G $ is a circle $ \mathcal{C} $ passing through $ K $

Consider the case $ P \equiv A_1, N \equiv B_1, M \equiv C_1 $ .

Since $ KA_1 $ is the diameter of $ \odot (KBC) $ ,
so we get $ P_1 $ is the projection of $ K $ on $ A_1G_1 $ .
Similarly, $ N_1, M_1 $ is the projection of $ K $ on $ B_1G_1, C_1G_1 $, respectively ,
so we get $ KG_1 $ is the diameter of $ \mathcal{C} $ . ie. $ L $ is the center of $ \mathcal{C} $

Q.E.D
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
4150 posts
#7 • 4 Y
Y by wiseman, Arab, JasperL, Adventure10
Even more general, all points $U$ that verify $\triangle MNP \cup U \sim \triangle A'B'C' \cup U'$ orbit on a circle with center $U'$ that passes through $K.$ My proof is exactly the same what I did in my 1st post.

If $MU$ cuts $PN$ at $D$ and cuts $\odot(KBC)$ again at $M',$ we have $\angle KM'M=\angle KCM=\angle KAN$ $\Longrightarrow$ $M' \in \odot(KAD).$ Powers of $D$ WRT $\odot(KCA),\odot(KAB)$ are in constant ratio $\overline{DN}:\overline{DP}$ $\Longrightarrow$ center of $\odot(KAD)$ is the intersection $D' \equiv A'U' \cap B'C'$ that verifies $\overline{D'B'}:\overline{D'C'}=\overline{DN}:\overline{DP}.$ Now, powers of $U$ WRT $\odot(KBC)$ and $\odot(KAD)$ are in constant ratio $\overline{UM}:\overline{UD}$ $\Longrightarrow$ locus of $U$ is a circle centered at $U' \in A'D',$ because $\overline{U'A'}:\overline{U'D'}=\overline{UM}:\overline{UD},$ and passing through $K,M'.$

P.S. Telv's method also works in this general configuration.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
khanhnx
1619 posts
#8 • 3 Y
Y by Adventure10, Mango247, MS_asdfgzxcvb
Here is my solution for this problem
Solution
Let $F_1$ be first Fermat point of $\triangle$ $ABC$; $I$ be centroid of $\triangle$ $A'B'C'$; $M$ $\equiv$ $IA'$ $\cap$ ($BCA'$), $N$ $\equiv$ $IB'$ $\cap$ ($CAB'$), $P$ $\equiv$ $IC'$ $\cap$ ($ABC'$) ($M$ $\ne$ $A'$, $N$ $\ne$ $B'$, $P$ $\ne$ $C'$)
Then: $M$, $N$, $P$ are midpoint of $\stackrel\frown{BC}$, $\stackrel\frown{CA}$, $\stackrel\frown{AB}$ of ($BCA'$), ($CAB'$), ($ABC'$) in $\triangle$ $ABC$ and it's easy to see that $M$, $N$, $P$ are fixed
We have: ($F_1M$ ; $F_1P$) $\equiv$ ($F_1M$ ; $F_1B$) + ($F_1B$ ; $F_1P$) $\equiv$ $\dfrac{5 \pi}{6}$ + $\dfrac{5 \pi}{6}$ $\equiv$ $\dfrac{\pi}{3}$ $\equiv$ ($IM$ ; $IP$) (mod $\pi$)
So: $F_1$, $I$, $M$, $P$ lie on a circle
Similarly: $F_1$, $N$, $I$, $P$ lie on a circle
Hence: $F_1$, $N$, $I$, $M$, $P$ lie on a circle or $E$ $\in$ ($INMP$) which is fixed circle
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Saucepan_man02
1363 posts
#9 • 3 Y
Y by FIREDRAGONMATH16, CoolJupiter, Sreepranad
One of the nice problems involving geometric constructions...!
This post has been edited 3 times. Last edited by Saucepan_man02, Jan 9, 2024, 6:13 AM
Reason: Edit
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
samrocksnature
8791 posts
#10
Y by
The locus is also known as the Inner Napoleon Circle

“History is a set of lies agreed upon.”
― Napoleon Bonaparte
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Saucepan_man02
1363 posts
#11 • 1 Y
Y by Sreepranad
Here is the proof:

Construction of the Locus:
Let $P$ be the Torricelli-Point of $\triangle ABC$. Then, let $K, L, M$ denote the midpoints of arcs $BC, CA, AB$ of circles $(BPC), (CPA), (APB)$ respectively. Then, we claim that the locus $\L$ of all the possible centroids of $\triangle A'B'C'$ is all the points on $(KLM)$ except point $P$.

Claim: The centroid of every such $\triangle A'B'C'$ lies on $\L$.
Proof: Let $G$ denote the centroid of $\triangle A'B'C'$. Then, notice that: $A'K, B'L, C'M$ meet at $G$. Hence, $\measuredangle A'GF = \measuredangle KGL = 60^\circ$.


Claim: For every point on $\L$, there is an equilateral triangle $\triangle A'B'C'$.
Proof: Let $J$ be a point on $\L$. Then, extend lines $JK, JL, JM$ and let it intersect $(BPC), (CPA), (APB)$ at $A', B', C'$ respectively. We will prove that $A', C, B'$ are collinear, from which it follows that $\triangle A'B'C'$ is equilateral by symmetry.

Notice that, $\measuredangle GA'C = \measuredangle GB'A = 30^\circ$ and $\measuredangle A'GB' = 120^\circ$. Hence, we must have $\measuredangle A'CB' = 180^\circ$ which implies $A', C, B$ are collinear. Therefore, $\triangle A'B'C'$ is equilateral.


Hence proved.
Z K Y
N Quick Reply
G
H
=
a