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

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
Strange angle condition and concyclic points
lminsl   126
N an hour ago by cj13609517288
Source: IMO 2019 Problem 2
In triangle $ABC$, point $A_1$ lies on side $BC$ and point $B_1$ lies on side $AC$. Let $P$ and $Q$ be points on segments $AA_1$ and $BB_1$, respectively, such that $PQ$ is parallel to $AB$. Let $P_1$ be a point on line $PB_1$, such that $B_1$ lies strictly between $P$ and $P_1$, and $\angle PP_1C=\angle BAC$. Similarly, let $Q_1$ be the point on line $QA_1$, such that $A_1$ lies strictly between $Q$ and $Q_1$, and $\angle CQ_1Q=\angle CBA$.

Prove that points $P,Q,P_1$, and $Q_1$ are concyclic.

Proposed by Anton Trygub, Ukraine
126 replies
lminsl
Jul 16, 2019
cj13609517288
an hour ago
Geo with unnecessary condition
egxa   7
N an hour ago by ehuseyinyigit
Source: Turkey Olympic Revenge 2024 P4
Let the circumcircle of a triangle $ABC$ be $\Gamma$. The tangents to $\Gamma$ at $B,C$ meet at point $E$. For a point $F$ on line $BC$ which is not on the segment $BC$, let the midpoint of $EF$ be $G$. Lines $GB,GC$ meet $\Gamma$ again at points $I,H$ respectively. Let $M$ be the midpoint of $BC$. Prove that the points $F,I,H,M$ lie on a circle.

Proposed by Mehmet Can Baştemir
7 replies
egxa
Aug 6, 2024
ehuseyinyigit
an hour ago
Functional equations
hanzo.ei   19
N an hour ago by GreekIdiot
Source: Greekldiot
Find all $f: \mathbb R_+ \rightarrow \mathbb R_+$ such that $f(xf(y)+f(x))=yf(x+yf(x)) \: \forall \: x,y \in \mathbb R_+$
19 replies
hanzo.ei
Mar 29, 2025
GreekIdiot
an hour ago
Functional Equation
AnhQuang_67   3
N an hour ago by GreekIdiot
Find all functions $f: \mathbb{R} \to \mathbb{R}$ satisfying $$2\cdot f\Big(\dfrac{-xy}{2}+f(x+y)\Big)=xf(y)+y(x), \forall x, y \in \mathbb{R} $$











3 replies
AnhQuang_67
4 hours ago
GreekIdiot
an hour ago
n=y^2+108
Havu   7
N an hour ago by GreekIdiot
Given the positive integer $n = y^2 + 108$ where $y \in \mathbb{N}$.
Prove that $n$ cannot be a perfect cube of a positive integer.
7 replies
Havu
Yesterday at 4:30 PM
GreekIdiot
an hour ago
Geometry :3c
popop614   4
N an hour ago by goaoat
Source: MINE :<
Quadrilateral $ABCD$ has an incenter $I$ Suppose $AB > BC$. Let $M$ be the midpoint of $AC$. Suppose that $MI \perp BI$. $DI$ meets $(BDM)$ again at point $T$. Let points $P$ and $Q$ be such that $T$ is the midpoint of $MP$ and $I$ is the midpoint of $MQ$. Point $S$ lies on the plane such that $AMSQ$ is a parallelogram, and suppose the angle bisectors of $MCQ$ and $MSQ$ concur on $IM$.

The angle bisectors of $\angle PAQ$ and $\angle PCQ$ meet $PQ$ at $X$ and $Y$. Prove that $PX = QY$.
4 replies
popop614
Yesterday at 12:19 AM
goaoat
an hour ago
$f(xy)=xf(y)+yf(x)$
yumeidesu   2
N 2 hours ago by jasperE3
Find $f: \mathbb{R} \to \mathbb{R}$ such that $f(x+y)=f(x)+f(y), \forall x, y \in \mathbb{R}$ and $f(xy)=xf(y)+yf(x), \forall x, y \in \mathbb{R}.$
2 replies
yumeidesu
Apr 14, 2020
jasperE3
2 hours ago
Pythagorean journey on the blackboard
sarjinius   1
N 3 hours ago by alfonsoramires
Source: Philippine Mathematical Olympiad 2025 P2
A positive integer is written on a blackboard. Carmela can perform the following operation as many times as she wants: replace the current integer $x$ with another positive integer $y$, as long as $|x^2 - y^2|$ is a perfect square. For example, if the number on the blackboard is $17$, Carmela can replace it with $15$, because $|17^2 - 15^2| = 8^2$, then replace it with $9$, because $|15^2 - 9^2| = 12^2$. If the number on the blackboard is initially $3$, determine all integers that Carmela can write on the blackboard after finitely many operations.
1 reply
sarjinius
Mar 9, 2025
alfonsoramires
3 hours ago
Assisted perpendicular chasing
sarjinius   4
N 3 hours ago by X.Allaberdiyev
Source: Philippine Mathematical Olympiad 2025 P7
In acute triangle $ABC$ with circumcenter $O$ and orthocenter $H$, let $D$ be an arbitrary point on the circumcircle of triangle $ABC$ such that $D$ does not lie on line $OB$ and that line $OD$ is not parallel to line $BC$. Let $E$ be the point on the circumcircle of triangle $ABC$ such that $DE$ is perpendicular to $BC$, and let $F$ be the point on line $AC$ such that $FA = FE$. Let $P$ and $R$ be the points on the circumcircle of triangle $ABC$ such that $PE$ is a diameter, and $BH$ and $DR$ are parallel. Let $M$ be the midpoint of $DH$.
(a) Show that $AP$ and $BR$ are perpendicular.
(b) Show that $FM$ and $BM$ are perpendicular.
4 replies
sarjinius
Mar 9, 2025
X.Allaberdiyev
3 hours ago
Problem 2
SlovEcience   1
N 3 hours ago by Primeniyazidayi
Let \( a, n \) be positive integers and \( p \) be an odd prime such that:
\[
a^p \equiv 1 \pmod{p^n}.
\]Prove that:
\[
a \equiv 1 \pmod{p^{n-1}}.
\]
1 reply
SlovEcience
5 hours ago
Primeniyazidayi
3 hours ago
H not needed
dchenmathcounts   45
N 4 hours ago by EpicBird08
Source: USEMO 2019/1
Let $ABCD$ be a cyclic quadrilateral. A circle centered at $O$ passes through $B$ and $D$ and meets lines $BA$ and $BC$ again at points $E$ and $F$ (distinct from $A,B,C$). Let $H$ denote the orthocenter of triangle $DEF.$ Prove that if lines $AC,$ $DO,$ $EF$ are concurrent, then triangle $ABC$ and $EHF$ are similar.

Robin Son
45 replies
dchenmathcounts
May 23, 2020
EpicBird08
4 hours ago
Problem 1
blug   4
N 4 hours ago by grupyorum
Source: Polish Math Olympiad 2025 Finals P1
Find all $(a, b, c, d)\in \mathbb{R}$ satisfying
\[\begin{aligned}
\begin{cases}
    a+b+c+d=0,\\
    a^2+b^2+c^2+d^2=12,\\
    abcd=-3.\\
\end{cases}
\end{aligned}\]
4 replies
blug
Today at 11:46 AM
grupyorum
4 hours ago
A board with crosses that we color
nAalniaOMliO   3
N 4 hours ago by nAalniaOMliO
Source: Belarusian National Olympiad 2025
In some cells of the table $2025 \times 2025$ crosses are placed. A set of 2025 cells we will call balanced if no two of them are in the same row or column. It is known that any balanced set has at least $k$ crosses.
Find the minimal $k$ for which it is always possible to color crosses in two colors such that any balanced set has crosses of both colors.
3 replies
nAalniaOMliO
Mar 28, 2025
nAalniaOMliO
4 hours ago
April Fools Geometry
awesomeming327.   6
N 5 hours ago by GreekIdiot
Let $ABC$ be an acute triangle with $AB<AC$, and let $D$ be the projection from $A$ onto $BC$. Let $E$ be a point on the extension of $AD$ past $D$ such that $\angle BAC+\angle BEC=90^\circ$. Let $L$ be on the perpendicular bisector of $AE$ such that $L$ and $C$ are on the same side of $AE$ and
\[\frac12\angle ALE=1.4\angle ABE+3.4\angle ACE-558^\circ\]Let the reflection of $D$ across $AB$ and $AC$ be $W$ and $Y$, respectively. Let $X\in AW$ and $Z\in AY$ such that $\angle XBE=\angle ZCE=90^\circ$. Let $EX$ and $EZ$ intersect the circumcircles of $EBD$ and $ECD$ at $J$ and $K$, respectively. Let $LB$ and $LC$ intersect $WJ$ and $YK$ at $P$ and $Q$. Let $PQ$ intersect $BC$ at $F$. Prove that $FB/FC=DB/DC$.
6 replies
awesomeming327.
Apr 1, 2025
GreekIdiot
5 hours ago
collinear
wanwan4343   17
N Jan 3, 2024 by IAmTheHazard
Source: 2015 Taiwan TST Round 3 Quiz 1 P2
Let $O$ be the circumcircle of the triangle $ABC$. Two circles $O_1,O_2$ are tangent to each of the circle $O$ and the rays $\overrightarrow{AB},\overrightarrow{AC}$, with $O_1$ interior to $O$, $O_2$ exterior to $O$. The common tangent of $O,O_1$ and the common tangent of $O,O_2$ intersect at the point $X$. Let $M$ be the midpoint of the arc $BC$ (not containing the point $A$) on the circle $O$, and the segment $\overline{AA'}$ be the diameter of $O$. Prove that $X,M$, and $A'$ are collinear.
17 replies
wanwan4343
Apr 27, 2015
IAmTheHazard
Jan 3, 2024
collinear
G H J
G H BBookmark kLocked kLocked NReply
Source: 2015 Taiwan TST Round 3 Quiz 1 P2
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, Adventure10, Mango247, Funcshun840
Let $O$ be the circumcircle of the triangle $ABC$. Two circles $O_1,O_2$ are tangent to each of the circle $O$ and the rays $\overrightarrow{AB},\overrightarrow{AC}$, with $O_1$ interior to $O$, $O_2$ exterior to $O$. The common tangent of $O,O_1$ and the common tangent of $O,O_2$ intersect at the point $X$. Let $M$ be the midpoint of the arc $BC$ (not containing the point $A$) on the circle $O$, and the segment $\overline{AA'}$ be the diameter of $O$. Prove that $X,M$, and $A'$ are collinear.
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
4145 posts
#3 • 6 Y
Y by mhq, HoRI_DA_GRe8, Adventure10, Mango247, IAmTheHazard, Funcshun840
Let $P,Q$ be the tangency points of $(O_1)$ and $(O_2)$ with $(O).$ It's well-known that $AP$ and $AQ$ go through the exsimilicenter $U$ and insimilicenter $V$ of $(O)$ and the incircle $(I)$ (for this use Monge & d'Alembert theorem for $(I),(O),(O_1)$ and similarly for $(I),(O),(O_2)$). Since $(O,I,U,V)=-1,$ then the pencil $A(A',M,P,Q)$ is harmonic $\Longrightarrow$ quadrilateral $PMQA'$ is harmonic $\Longrightarrow$ $X \in MA'.$
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
#4 • 5 Y
Y by nguyendangkhoa17112003, enhanced, Adventure10, Mango247, Funcshun840
My solution:

Let $ I, I_a $ be the Incenter, A-excenter of $ \triangle ABC $, respectively .
Let $ T=AI \cap BC $ and $ H $ be the projection of $ A $ on $ BC $ .
Let $ Y, Z $ be the tangent point of $ \odot (I), \odot (I_a) $ with $ BC $, respectively .
Let $ Y^*, Z^* $ be the tangent point of $ \odot (O_2), \odot (O_1) $ with $ \odot (O) $, respectively .

Since $ \{ AY, AY^* \}, \{ AZ, AZ^* \} $ are isogonal conjugate of $ \angle A $ (well-known) ,
so from $ (A, T;I, I_a)=-1 \Longrightarrow A(H, T; Y, Z)=-1 \Longrightarrow A(A', M; Y^*, Z^*)=-1 $ ,
hence we get $ A'Y^*MZ^* $ is a harmonic quadrilateral $ \Longrightarrow X, M $ and $ A' $ are collinear .

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.
YaWNeeT
64 posts
#5 • 3 Y
Y by Adventure10, Mango247, Funcshun840
$X$ is the radical center of three circles,that is,to prove $A'M$ is radical axis of $O_1,O_2$,and it is not hard by using mannheim theorem and chicken claw theorem.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
polya78
105 posts
#6 • 2 Y
Y by Adventure10, Mango247
Let $I,J$ be incenter and A-excenter of $\triangle ABC$. Let $U,V$ be the points of tangency of $O_1,O_2$ and $\overrightarrow{AB}$. Let $f$ be the inversion followed by reflection about $AM$ such that $f(B)=B,f(C)=C$. Then $f$ brings $O_1,O_2$ into the A-excircle and incircle of $\triangle ABC$ respectively, and also $f(I)=J$, so we have that $IU,JV \perp AM$. Since $M$ is the midpoint of $IJ$, it follows that if $W$ is the midpoint of $UV$, $MW \perp AM$. $W$ and its corresponding point on $\overrightarrow{AC}$ are on the radical axis of $O_1,O_2$. Since $A'M \perp AM$, it follows that $M,A',X$ are all on this radical axis.
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
#7 • 1 Y
Y by Adventure10
Let $O_1,O_2$ touch $\odot ABC$ in $P,Q$.$O_1,O_2$ are the mixtlinear in,ex circle and hence the touch point lie on isogonals of Nagell and Gergonne cevian.Take the inversion $\Psi$ with radius $\sqrt{bc}$ composed with reflection $A$ angle bisector.

Let $\Psi(P),\Psi(Q),\Psi(A_1),\Psi(M)$ be the touch point of incircle,excircle,the foot of A-altitude,the foot of $A$-angle bicestor,respectively.Show that $(\Psi(P),\Psi(Q);\Psi(M),\Psi(A'))=-1$

Proof.
Let $W$ be the midpoint of $A\Psi(A')$ than it's well-known that $W,I,\Psi(Q)$ are collinear.Projecting $I(A,\Psi(A');W,\infty)=-1$ on $BC$ we're finished.
This post has been edited 1 time. Last edited by nikolapavlovic, May 14, 2017, 3:04 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
nguyenvanthien63
60 posts
#8 • 1 Y
Y by Adventure10
Telvcohl, can you give me a simply proof for AZ, AZ* is isogonal conjugate of angle A.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
atmargi
23 posts
#9 • 2 Y
Y by Adventure10, Mango247
nguyenvanthien63 wrote:
Telvcohl, can you give me a simply proof for AZ, AZ* is isogonal conjugate of angle A.

Check out EGMO 2013
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Wizard_32
1566 posts
#10 • 2 Y
Y by Adventure10, Mango247
YaWNeeT wrote:
mannheim theorem and chicken claw theorem.
Which theorems are these? Can you share any link or something?
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
WizardMath
2487 posts
#11 • 3 Y
Y by Wizard_32, Adventure10, Mango247
Wizard_32 wrote:
YaWNeeT wrote:
mannheim theorem and chicken claw theorem.
Which theorems are these? Can you share any link or something?
Mannheim wrote:
Let $ABC$ be a triangle, and let $L,M,N$ be points on $BC,CA,AB$ respectively. Let $A', B', C'$ be points on $(AMN), (BNL), (CLM)$, and denote $K \equiv AA' \cap BB'$. Then if $K \in CC'$, $A',B',C',K$ are concyclic.
Chicken claw theorem is probably Fact 5, a.k.a. the Trident theorem.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
mathman3880
423 posts
#12 • 3 Y
Y by Einstein314, Adventure10, Mango247
Let $N$ be the midpoint of arc $BAC$ in $O$, and let $T_1$ and $T_2$ be the tangency points between $O, O_1$ and $O, O_2$, respectively.

It's well-known($\sqrt{bc}$) that $N, I, T_1$ and $N, I_A, T_2$ are collinear, where $I$ and $I_A$ are the incenter and $A$-excenter of $\triangle ABC$, respectively.
Then $N(T_1, T_2; M, A') = (I, I_A; M, P_\infty) = -1$, where $P_\infty$ is the point at infinity along $AM$, so $(T_1MT_2A')$ is harmonic and we are done.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Mindstormer
102 posts
#14 • 2 Y
Y by Adventure10, Mango247
Let $T_1$, $T_2$ be the points of tangency of $O_1$, $O_2$ with $O$, $N_1$, $N_2$ the points of tangency of the excirlce and incircle $(I)$ with $BC$. It's well known that the point symmetric to $N_2$ wrt $I$ ($U$) lies on $AN_1$ (homothety) and $AT_1,AN_1$ and $AT_2,AN_2$ are isogonals wrt angle $BAC$ ($\sqrt{bc}$ inversion). It's enough to prove $(A'M;T_1T_2)=-1 \iff (AO,AM;AT_1,AT_2)=-1$ reflecting in the $AM$ we're left to prove that $(AH,AM;AN_1,AN_2)=1$, where $AH \perp BC$. Projecting this to $IN_2$ we get $(P_{\infty}I;UN_2)=-1$, so we're done.
This post has been edited 3 times. Last edited by Mindstormer, Nov 8, 2018, 12:56 PM
Reason: typoes
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
math_pi_rate
1218 posts
#15 • 3 Y
Y by AlastorMoody, Adventure10, Mango247
Nice problem. Here's my solution: Invert the figure about $A$ with radius $\sqrt{AB \cdot AC}$, followed by reflection in the angle bisector of $\angle BAC$. Then we get the following equivalent problem:-
Inverted problem wrote:
Let $P$ and $Q$ be the $A$-intouch and $A$-extouch point in $\triangle ABC$, $X$ be the foot of internal angle bisector of $\angle BAC$, and $D$ be the foot of the $A$-altitude. Let $H_A$ be the $A$-Humpty point of $\triangle APQ$. Show that $ADXH_A$ is cyclic.
Let $H$ be the orthocenter of $\triangle APQ$. We wish to show that $\measuredangle XH_AA=\measuredangle XDA=90^{\circ}$, or equivalently that $H,X,H_A$ are collinear. From here, this is equivalent to proving that $(D,X;P,Q)=-1$. Now, Let $I$ and $I_A$ be the incenter and $A$-excenter of $\triangle ABC$. Also, Let $P_{\infty}$ be the point at infinity on line $AD$. Then, as $BI$ and $BI_A$ are internal and external angle bisectors of $\angle ABX$, we have that $-1=(A,X;I,I_A) \overset{P_{\infty}}{=} (D,X;P,Q)$. Hence, done. $\blacksquare$
This post has been edited 1 time. Last edited by math_pi_rate, Nov 8, 2018, 2:52 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
RC.
439 posts
#16 • 2 Y
Y by Adventure10, Mango247
Restated problem wrote:
Let $O$ be the circumcircle of the triangle $ABC$. Two circles $O_1,O_2$ are tangent to each of the circle $O$ and the rays $\overrightarrow{AB},\overrightarrow{AC}$, with $O_1$ interior to $O$, $O_2$ exterior to $O$. The common tangent of $O,O_1$ and the common tangent of $O,O_2$ intersect at the point $X$. Let $M$ be the midpoint of the arc $BC$ (not containing the point $A$) on the circle $O$, and the segment $\overline{AA'}$ be the diameter of $O$. Denote \(T_1, T_2\) as the touchpoints of \(O_1, O_2\) resp. with \((O)\) \(; I, I_A\) resp. as the incenter and \(A-\) excenter and \(N\) the midpoint of \(\overarc{BAC}.\) Then \(T_1 = IM \cap \odot O, T_2 = I_AM \cap \odot O\). Prove that \(\overline{A',M,X}\)
So, we have to prove that \(A'X\) is the symmedian of \(\Delta A'T_1T_2 \iff \Delta A'T_2T_1 \sim \Delta MII_A \iff \angle A'T_2T_1 = \angle MII_A
\iff 180^{\circ}- \angle A'T_2T_1= \angle A'AT_1 = 180^{\circ}-\angle  MII_A\) which is obvious. Darn
This post has been edited 2 times. Last edited by RC., Apr 17, 2019, 1:29 PM
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
#19 • 1 Y
Y by ISIS121
let $X_1,X_2$ the intouch,extouch point of inMixtilinear and exMixtilinear with $(ABC)$
first solution by me

let $I,I_a$ be the incenter A-excenter and let $K,K_a,K' $ be on $AB$ such that $\angle{IKA}=90$ , $\angle{K_aI_aA}=90$ , $\angle{MK'A}=90$
and so define $L,L_a,L'$
since $M$ is the midpoint of $I,I_a$ we have $K',l'$ are the midpoints of $KK_a,LL_a$
but it's well-known that $L,K$ are on the A-mixtilinear circle which is $O_1$ and similary $L_a,K_a$ also on the exterior A-mixtilinear which is $O_2$
so $M'K'$ is the radical axis of $O_1,O_2$ but $A',M,L',K'$ are collinear so $X,M,A',L',K'$ are colinear
and we win :D
$\blacksquare$
a one-line solution via Fouad Al-mouine
let $N$ the midpoint of arc $BAC$ it's well-konwn that $N,I,X_1$ and $N,I_a,X_2$ are collinear
$-1=(M,P_{\infty};I,I_a) \stackrel{N}{=} (X_1,X_2;M;A')$
done
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MP8148
888 posts
#20 • 2 Y
Y by PRMOisTheHardestExam, Mango247
[asy]
size(10cm);
defaultpen(fontsize(10pt));
defaultpen(linewidth(0.35));
dotfactor *= 1.5;

pair A = dir(130), B = dir(200), C = dir(340), I = incenter(A,B,C), D = foot(I,B,C), E = extension(A,I,B,C), M = (B+C)/2, F = 2M-D, G = foot(A,B,C), X = foot(E,A,M);

draw(A--B--C--A);
draw(incircle(A,B,C), gray);
draw(circumcircle(A,D,X)^^arc(circumcenter(A,F,X),circumradius(A,F,X),150,315), heavygreen);
draw(A--G^^A--E^^A--M^^A--F, blue);
draw(circumcircle(A,G,E), purple+dashed);

dot("$A$", A, dir(135));
dot("$B$", B, dir(200));
dot("$C$", C, dir(340));
dot("$D$", D, dir(270));
dot("$E$", E, dir(270));
dot("$F$", F, dir(270));
dot("$M$", M, dir(270));
dot("$G$", G, dir(270));
dot("$X$", X, dir(90));
[/asy]
$\sqrt{bc}$ inversion gives the following:
Inverted problem wrote:
Let $ABC$ be a triangle with altiude $\overline{AG}$, angle bisector $\overline{AE}$, and median $\overline{AM}$. The incircle touches $\overline{BC}$ at $D$ and the $A$-excircle touches $\overline{BC}$ at $F$. The circle through $A$ tangent to $\overline{BC}$ at $D$ and the circle through $A$ tangent to $\overline{BC}$ at $F$ meet again at $X$. Show that $AGEX$ is cyclic.

It is well known that $DM = FM$, so $M$ lies on the radical axis $\overline{AX}$. By USMCA 2019 Premier #3 $X$ is the projection of $E$ on $\overline{AM}$, so $AGEX$ is cyclic with diameter $\overline{AE}$ as desired. $\blacksquare$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Tafi_ak
309 posts
#21 • 2 Y
Y by PRMOisTheHardestExam, Funcshun840
It is sufficient to prove $M$ lies on the radical axis of $O_1$ and $O_2$. Let $f\colon \mathbb R^2\to \mathbb R$ be a function of point $\bullet$ such that \[ f(\bullet)=P(\bullet, O_1)-P(\bullet, O_2). \]It is known $f$ is linear. Let $P\in AB$, $Q\in AC$ and $R\in AB$, $S\in AC$ be the tangency point of $O_1$, $O_2$ on $AB$, $AC$ respectively. It is known that $I$, $I_A$ are the midpoints of $PQ$, $RS$ respectively. We want $f(M)=0$. Notice \[ 4f(M)=2\left(f(I)+f(I_A)\right)=f(P)+f(Q)+f(R)+f(S)=0. \]Done.
This post has been edited 1 time. Last edited by Tafi_ak, May 27, 2023, 7:43 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
IAmTheHazard
5000 posts
#22
Y by
After $\sqrt{bc}$ inversion, the problem becomes the following: let $ABC$ be a triangle and $P,Q$ be the $A$-intouch and $A$-extouch points respectively. Let $D$ be the foot of the $\angle A$-bisector. Let $\omega_1$ and $\omega_2$ be the circles passing through $A$ tangent to $\overline{BC}$ at $P$ and $Q$ respectively, and let them intersect again at $E$. Prove that $\angle AED=90^\circ$.

Let $M$ be the midpoint of $\overline{BC}$, which is also the midpoint of $\overline{PQ}$, so $\overline{AE}$ passes through $M$ because of power of a point. Redefine $E$ to be the foot of the altitude from $D$ to $\overline{AM}$; I will show that $(AEP)$ is tangent to $\overline{BC}$: $(AEQ)$ being tangent is similar. It suffices to show that $MP^2=AM\cdot DM$. WLOG let $b>c$. We can calculate $MP=\tfrac{1}{2}|b-c|$ and
$$DM=EM\cos \angle AMB=\left(\frac{a}{2}-\frac{ac}{b+c}\right)\frac{AM^2+a^2/4-c^2}{2AM(a/2)} \implies AM\cdot DM=\frac{b-c}{2(b+c)}\cdot \frac{(2b^2+2c^2-a^2)+a^2-4c^2}{4}=\frac{2(b-c)(b^2-c^2)}{8(b+c)}=MP^2,$$as desired. $\blacksquare$
Z K Y
N Quick Reply
G
H
=
a