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
Inspired by KHOMNYO2
sqing   2
N 5 minutes ago by sqing
Source: Own
Let $ a,b>0 $ and $ a^2+b^2=\frac{5}{2}. $ Prove that $$ 2a + 2b + \frac{1}{a} + \frac{1}{b}  +\frac{ab}{\sqrt 2}\geq 5\sqrt 2$$$$ a +  b +\frac{2}{a} + \frac{2}{b}  + ab\geq \frac{5}{4} + \frac{13}{\sqrt 5} $$$$ a +  b +\frac{2}{a} + \frac{2}{b}  +  \frac{ab}{\sqrt 2}\geq \frac{5}{4\sqrt 2} + \frac{13}{\sqrt 5} $$
2 replies
1 viewing
sqing
Mar 28, 2025
sqing
5 minutes ago
USAMO 2003 Problem 4
MithsApprentice   71
N 11 minutes ago by LeYohan
Let $ABC$ be a triangle. A circle passing through $A$ and $B$ intersects segments $AC$ and $BC$ at $D$ and $E$, respectively. Lines $AB$ and $DE$ intersect at $F$, while lines $BD$ and $CF$ intersect at $M$. Prove that $MF = MC$ if and only if $MB\cdot MD = MC^2$.
71 replies
MithsApprentice
Sep 27, 2005
LeYohan
11 minutes ago
Inspired by giangtruong13
sqing   6
N 11 minutes ago by sqing
Source: Own
Let $ a,b,c,d\geq 0 ,a-b+d=21 $ and $ a+3b+4c=101 $. Prove that
$$ 61\leq  a+b+2c+d\leq \frac{265}{3}$$$$- \frac{2121}{2}\leq   ab+bc-2cd+da\leq \frac{14045}{12}$$$$\frac{519506-7471\sqrt{7471}}{27}\leq   ab+bc-2cd+3da\leq 33620$$
6 replies
sqing
Friday at 2:57 AM
sqing
11 minutes ago
Inspired by Ruji2018252
sqing   4
N 12 minutes ago by sqing
Source: Own
Let $ a,b,c $ be reals such that $ a^2+b^2+c^2-2a-4b-4c=7. $ Prove that
$$ -4\leq 2a+b+2c\leq 20$$$$5-4\sqrt 3\leq a+b+c\leq 5+4\sqrt 3$$$$ 11-4\sqrt {14}\leq a+2b+3c\leq 11+4\sqrt {14}$$
4 replies
sqing
Apr 10, 2025
sqing
12 minutes ago
Inspired by Abelkonkurransen 2025
sqing   0
25 minutes ago
Source: Own
Let $ a,b,c $ be real numbers such that $ \frac{a}{bc}+\frac{4b}{ca}+\frac{c}{ab}=24. $ Prove that
$$\frac{1}{a}+\frac{1}{2b}+\frac{1}{ c}\geq -6$$$$\frac{1}{a}+\frac{1}{2b}+\frac{1}{3c}\geq 1-\sqrt{73} $$$$\frac{1}{a}+\frac{1}{4b}+\frac{1}{ c}\geq \frac{3}{2}(1-\sqrt{33} )$$
0 replies
sqing
25 minutes ago
0 replies
Problem 16
Nguyenhuyen AG   37
N 35 minutes ago by flower417477
Let $a,b,c >0 $ such that $abc\ge1 $. Prove that
$\frac{1}{a^4+b^3+c^2}+\frac{1}{b^4+c^3+a^2}+\frac{1}{c^4+a^3+b^2}\le 1$
37 replies
Nguyenhuyen AG
May 3, 2010
flower417477
35 minutes ago
NEPAL TST 2025 DAY 2
Tony_stark0094   4
N 40 minutes ago by InterLoop
Consider an acute triangle $\Delta ABC$. Let $D$ and $E$ be the feet of the altitudes from $A$ to $BC$ and from $B$ to $AC$ respectively.

Define $D_1$ and $D_2$ as the reflections of $D$ across lines $AB$ and $AC$, respectively. Let $\Gamma$ be the circumcircle of $\Delta AD_1D_2$. Denote by $P$ the second intersection of line $D_1B$ with $\Gamma$, and by $Q$ the intersection of ray $EB$ with $\Gamma$.

If $O$ is the circumcenter of $\Delta ABC$, prove that $O$, $D$, and $Q$ are collinear if and only if quadrilateral $BCQP$ can be inscribed within a circle.

$\textbf{Proposed by Kritesh Dhakal, Nepal.}$
4 replies
Tony_stark0094
Yesterday at 8:40 AM
InterLoop
40 minutes ago
Sets With a Given Property
oVlad   3
N an hour ago by flower417477
Source: Romania TST 2025 Day 1 P4
Determine the sets $S{}$ of positive integers satisfying the following two conditions:
[list=a]
[*]For any positive integers $a, b, c{}$, if $ab + bc + ca{}$ is in $S$, then so are $a + b + c{}$ and $abc$; and
[*]The set $S{}$ contains an integer $N \geqslant 160$ such that $N-2$ is not divisible by $4$.
[/list]
Bogdan Blaga, United Kingdom
3 replies
oVlad
Apr 9, 2025
flower417477
an hour ago
Number Theory Chain!
JetFire008   39
N an hour ago by whwlqkd
I will post a question and someone has to answer it. Then they have to post a question and someone else will answer it and so on. We can only post questions related to Number Theory and each problem should be more difficult than the previous. Let's start!

Question 1
39 replies
1 viewing
JetFire008
Apr 7, 2025
whwlqkd
an hour ago
A cyclic problem
KhuongTrang   2
N an hour ago by KhuongTrang
Source: own
Problem. Given non-negative real numbers $a,b,c: ab+bc+ca>0$ then$$\frac{1}{a+kb}+\frac{1}{b+kc}+\frac{1}{c+ka}\le f(k)\cdot\frac{a+b+c}{ab+bc+ca}$$where $$f(k)=\frac{(k^2-k+1)\left(2k^2+\sqrt{k^2-k+1}+2\sqrt{k^4-k^3+k^2}\right)}{\left(k^2+\sqrt{k^4-k^3+k^2}\right)\left(k^2-k+1+\sqrt{k^4-k^3+k^2}\right)}.$$Also, $k\ge k_{0}\approx 1.874799...$ and $k_{0}$ is largest real root of the equation$$k^8 - 3 k^7 + 10 k^6 - 25 k^5 + 30 k^4 - 25 k^3 + 10 k^2 - 3 k + 1=0.$$k=2
2 replies
KhuongTrang
Sep 5, 2024
KhuongTrang
an hour ago
2025 Caucasus MO Seniors P2
BR1F1SZ   2
N 2 hours ago by MathLuis
Source: Caucasus MO
Let $ABC$ be a triangle, and let $B_1$ and $B_2$ be points on segment $AC$ symmetric with respect to the midpoint of $AC$. Let $\gamma_A$ denote the circle passing through $B_1$ and tangent to line $AB$ at $A$. Similarly, let $\gamma_C$ denote the circle passing through $B_1$ and tangent to line $BC$ at $C$. Let the circles $\gamma_A$ and $\gamma_C$ intersect again at point $B'$ ($B' \neq B_1$). Prove that $\angle ABB' = \angle CBB_2$.
2 replies
BR1F1SZ
Mar 26, 2025
MathLuis
2 hours ago
2025 Caucasus MO Seniors P1
BR1F1SZ   5
N 2 hours ago by MathLuis
Source: Caucasus MO
For given positive integers $a$ and $b$, let us consider the equation$$a + \gcd(b, x) = b + \gcd(a, x).$$[list=a]
[*]For $a = 20$ and $b = 25$, find the least positive integer $x$ satisfying this equation.
[*]Prove that for any positive integers $a$ and $b$, there exist infinitely many positive integers $x$ satisfying this equation.
[/list]
(Here, $\gcd(m, n)$ denotes the greatest common divisor of positive integers $m$ and $n$.)
5 replies
BR1F1SZ
Mar 26, 2025
MathLuis
2 hours ago
Weighted Activity Selection Algorithm
Maximilian113   0
2 hours ago
An interesting problem:

There are $n$ events $E_1, E_2, \cdots, E_n$ that are each continuous and last on a certain time interval. Each event has a weight $w_i.$ However, one can only choose to attend activities that do not overlap with each other. The goal is to maximize the sum of weights of all activities attended. Prove or disprove that the following algorithm allows for an optimal selection:

For each $E_i$ consider $x_i,$ the sum of $w_j$ over all $j$ such that $E_j$ and $E_i$ are not compatible.
1. At each step, delete the event that has the maximal $x_i.$ If there are multiple such events, delete the event with the minimal weight.
2. Update all $x_i$
3. Repeat until all $x_i$ are $0.$
0 replies
Maximilian113
2 hours ago
0 replies
$2$ spheres of radius $1$ and $2$
khanh20   0
2 hours ago
Given $2$ spheres centered at $O$, with radius of $1$ and $2$, which is remarked as $S_1$ and $S_2$, respectively. Given $2024$ points $M_1,M_2,...,M_{2024}$ outside of $S_2$ (not including the surface of $S_2$).
Remark $T$ as the number of sets $\{M_i,M_j\}$ such that the midpoint of $M_iM_j$ lies entirely inside of $S_1$.
Find the maximum value of $T$
0 replies
khanh20
2 hours ago
0 replies
Parallel lines involving the A-excenter
Kezer   22
N Apr 15, 2023 by minusonetwelth
Source: Germany 2016 - Problem 3
Let $I_a$ be the $A$-excenter of a scalene triangle $ABC$. And let $M$ be the point symmetric to $I_a$ about line $BC$.
Prove that line $AM$ is parallel to the line through the circumcenter and the orthocenter of triangle $I_aCB$.
22 replies
Kezer
Jun 19, 2016
minusonetwelth
Apr 15, 2023
Parallel lines involving the A-excenter
G H J
Source: Germany 2016 - Problem 3
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Kezer
986 posts
#1 • 3 Y
Y by AlastorMoody, Adventure10, Mango247
Let $I_a$ be the $A$-excenter of a scalene triangle $ABC$. And let $M$ be the point symmetric to $I_a$ about line $BC$.
Prove that line $AM$ is parallel to the line through the circumcenter and the orthocenter of triangle $I_aCB$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Kezer
986 posts
#2 • 3 Y
Y by Purple_Planet, Adventure10, Mango247
This was the most difficult problem at this year's German olympiad, only $16 \%$ of the marks were given to all students.
I find that kind of weird, I did not qualify but did find this problem rather easy. #toodifficulttoqualifyinbavaria
Sketch
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
PROF65
2016 posts
#3 • 1 Y
Y by Adventure10
lemma let $P,Q$ isogonal conjugates WRT the triangle $ABC $ , $\cal{C,C}$$_1,\cal{C}$$_2$ the circumcircles of $ABC,PBC,QBC$ resp. if $P',Q'$ are points of $\cal{C}$$_1,\cal{C}$$_2$ resp.such that $A-P-P'$ are collinear and $A-Q-Q'$ are collinear then $PQ\parallel P'Q'$ .we have previously prove it .
back to the problem
just take $ P=$ the circumcenter of $I_aBC$ which is the midpoint of arc $\overarc{BC}$ of $\cal{C}$ , $P'=A ,Q=$ the orthocenter of $I_aBC$ which is the symmetric of $I$ wrt the midpoint of $BC$ so $P,Q$ are isogonal wrt $I_aBC$ and $QBCM$ is cyclic then consider $Q'=M$ and applying the lemma yields the result.

R HAS
This post has been edited 2 times. Last edited by PROF65, Dec 30, 2018, 8:22 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
e_plus_pi
756 posts
#4 • 3 Y
Y by Satops, Adventure10, Mango247
I guess Barycentric coordinates work for this problem.
Sketch
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Ankoganit
3070 posts
#5 • 6 Y
Y by Wizard_32, Amir Hossein, Satops, Purple_Planet, Adventure10, Mango247
[asy]size(7.5cm);
pair A=(2,9),B=(0,0),C=(10,0),I,K,D,Dp,Ia,O,H,M,P;
I=incenter(A,B,C);K=(B+C)/2;D=foot(I,B,C);Dp=2*K-D;
O=extension(A,I,K,bisectorpoint(B,C));Ia=2*O-I;
H=B+C-I;M=2*Dp-Ia;P=2*I-D;
draw(circumcircle(A,B,C)^^circumcircle(Ia,B,C),green);draw(circle(I,abs(I-D)),orange);
D(MP("A",A,N)--MP("B",B,S)--MP("D",D,S)--MP("K",K,S)--MP("D' ",Dp,SE)--MP("C",C,S)--A);
D(A--MP("I",I,NE)--MP("O",O,SW)--MP("I_a",Ia,S)--MP("H",H,E)--MP("M",M,NE)--A,magenta);
D(A--MP("P",P,E)--Dp,magenta);draw(P--I--D^^I--H--B--I--C--H--O^^B--Ia--C,magenta);
dot(A^^B^^C^^I^^K^^D^^Dp^^O^^Ia^^H^^M^^P);
[/asy]
This is basically three well-known configurations tied together:
  • Fact 5: In $\triangle ABC$, the midpoint of the arc $BC$ not containing $A$ is the center of $\odot (IBCI_a)$.
  • Diameter of Incircle Lemma: In $\triangle ABC$, $A$, the antipode of the intouch point on $BC$ (wrt incircle) and the extouch point on $BC$ are collinear.
  • Orthocenter-Parallelogram Lemma: (I made that name up) In $\triangle ABC$ with orthocenter $H$, and $A$'s antipode $A'$, $BHCA'$ is a parallelogram.
In the main problem, let $O,H$ be the circumcenter and orthocenter of $I_aBC$ respectively. In $\triangle ABC$ let $D,D'$ be the in- and extouch point on $BC$ respectively, $K$ the midpoint of $BC$, $I$ the incenter. By Fact 5, $O$ is the midpoint of arc $BC$ and the midpoint of $II_a$. Also if $P$ is the antipode of $D$ in $\odot (I)$, we have $IK||PD'$, so by the Diameter of Incircle Lemma, $IK||AD$. Finally by the Orthocenter-Parallelogram Lemma applied to $I_aBC$, $H,K,I$ are collinear, so $IH||AD$.

Now that all the pieces are together, we simply note that $$IH||AD\implies \frac{I_aI}{I_aA}=\frac{I_aH}{I_aD}\implies \frac{2I_aO}{I_aA}=\frac{I_aH}{\frac12 I_aM}\implies \frac{I_aO}{I_aA}=\frac{I_aH}{I_aM}\implies AM||OH$$And this gets the job done. $\blacksquare$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
RopuToran
609 posts
#6 • 2 Y
Y by Adventure10, Mango247
What program do you use to draw ? It's so nice.
This post has been edited 1 time. Last edited by Amir Hossein, May 30, 2018, 7:56 PM
Reason: removed large quote
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
e_plus_pi
756 posts
#7 • 2 Y
Y by Adventure10, Mango247
That is Asymptote
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
#8 • 2 Y
Y by Adventure10, Mango247
The result follows from a result I found sometime ago.
Let $ABC$ be a triangle. A triangle $DBC$ is completed which is similar to the orthic triangle $H_aH_bH_c$ and oriented similarly. Prove that the reflection of $AD$ in $BC$ is parallel to the Euler line of $ABC.$

Proof :
Let the reflection of $ A$ in $BC$ be $A'.$ Let the orthocenter and circumcenter of $A'BC$ be $H,O$ resp. Then the circles $(BHC), (BOC)$ are conjugates under the $\sqrt{bc}$ inversion and flip in $A'BC$. So the reflection of $A$ in $BC$, i.e.$ A'$, is the image of $O$, and the point $D$ is the image of $H$. So we know that $OH$ and $AD$ are parallel, and this completes the proof.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Anar24
475 posts
#9 • 3 Y
Y by Systematicworker, Adventure10, Mango247
Hmmm.. this problem was taken from Romania JBMO TST 2011(i found this on my RMC 2011 booklet)How this problem is so beautiful if it is taken from PREVIOUS TST?
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
WolfusA
1900 posts
#11 • 2 Y
Y by Adventure10, Mango247
Kezer wrote:
This was the most difficult problem at this year's German olympiad, only $16 \%$ of the marks were given to all students.
I find that kind of weird, I did not qualify but did find this problem rather easy. #toodifficulttoqualifyinbavaria

How many rounds are there? Which one was it? I guess half-final?
After reading a status of Kezer it must have been a final.
This post has been edited 1 time. Last edited by WolfusA, May 29, 2018, 8:02 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Kezer
986 posts
#12 • 2 Y
Y by Adventure10, Mango247
^There are four rounds and this is indeed the final round.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
anantmudgal09
1979 posts
#13 • 1 Y
Y by Adventure10
Kezer wrote:
Let $I_a$ be the $A$-excenter of a scalene triangle $ABC$. And let $M$ be the point symmetric to $I_a$ about line $BC$.
Prove that line $AM$ is parallel to the line through the circumcenter and the orthocenter of triangle $I_aCB$.

Let $H$ be the orthocenter and $O$ be the circumcenter of triangle $I_aCB$. Note that $\angle BAC=180^{\circ}-2\angle BI_aC$ hence $B,O,C,A$ are concyclic. Also $\angle AOC=\angle ABC=180^{\circ}-2\angle I_aBC$ hence $A$ lies on $I_aO$. Invert about circle with center $I_a$ and radius $\sqrt{I_aB \cdot I_aC}$ followed by reflection in bisector of angle $BI_aC$. Then $H \mapsto A$ and $O \mapsto M$ hence $HO \parallel AM$ as desired.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
jayme
9775 posts
#14 • 2 Y
Y by Adventure10, Mango247
Dear Mathlinkers,
this problem is in relation with the proof concerning the incenter of the Fuhrmann's triangle.

http://jl.ayme.pagesperso-orange.fr/Docs/L'orthocentre%20du%20triangle%20de%20Fuhrmann.pdf p. 11

Ayme J.-L., Revistaoim (Spain) 23 (2006) ; http://www.oei.es/historico/oim/revistaoim/numero23.htm

which nead a simple adaptation...

Sincerely
Jean-Louis
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
WolfusA
1900 posts
#15 • 2 Y
Y by Adventure10, Mango247
$r$ - radius of excircle, $O$ - center of circle circumscribed on triangle $BCI_a$, $H$ - orthocenter of this triangle. Easy to proof, that $ABOC$ is a quadrilateral inscribed in a circle, and by definition of $O$ we have $BO=CO$, so points $A,O,I_a$ lie on one line in this order. By law of sines $I_aO=\frac{a}{2\cos(A/2)}$. Easy trigonometry (from definition) gives $AI_a=\frac{r}{\sin(A/2)}$. $I_aM=2r, I_aH=\sqrt{4I_aO^2-a^2}=a\tan(A/2)$.
$\frac{I_aO}{AI_a}=\frac{a}{r}\cdot\tan(A/2)=\frac{I_aH}{I_aM}$ hence by Tales we have $OH||AM$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
niepozorny
5 posts
#16 • 2 Y
Y by Adventure10, Mango247
Analytic solution
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Fumiko
66 posts
#17 • 3 Y
Y by amar_04, Adventure10, Mango247
Overkill: Note that $A$ lies on the neuberg cubic of $\triangle I_aBC$ so that's it.
This post has been edited 1 time. Last edited by Fumiko, Oct 25, 2018, 7:45 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
TinaSprout
293 posts
#18 • 1 Y
Y by Adventure10
Fumiko wrote:
Overkill: Note that $A$ lies on the neuberg cubic of $\triangle I_aBC$
Why ?
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Fumiko
66 posts
#19 • 2 Y
Y by Adventure10, Mango247
TinaSprout wrote:
Fumiko wrote:
Overkill: Note that $A$ lies on the neuberg cubic of $\triangle I_aBC$
Why ?

It is well known that if $P$ lies on the neuberg cubic of $\triangle ABC$ then $A$ lies on the neuberg cubic of $\triangle BPC$ .
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
wu2481632
4233 posts
#20 • 2 Y
Y by Adventure10, Mango247
Looking at the problem from the perspective of triangle $I_ABC$ leads to an almost immediate solution: it's easy to show that $\sqrt{bc}$ inversion swaps $O$ and $M$, and $H$ and $A$. Then $I_AH \cdot I_AA = I_AO \cdot I_AM$, so we are done by similar triangles.
This post has been edited 1 time. Last edited by wu2481632, Oct 26, 2018, 1:38 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MathInfinite
187 posts
#21 • 2 Y
Y by AlastorMoody, Adventure10
Here’s my solution

[asy]size(10cm);
pair A=(2,9),B=(0,0),C=(10,0),I,K,D,Dp,Ia,O,H,M,P;
I=incenter(A,B,C);K=(B+C)/2;D=foot(I,B,C);Dp=2*K-D;
O=extension(A,I,K,bisectorpoint(B,C));Ia=2*O-I;
H=B+C-I;M=2*Dp-Ia;P=2*I-D;
draw(circumcircle(A,B,C),orange);
D(MP("A",A,N)--MP("B",B,S)--MP("D",D,S)--MP("K",K,S)--MP("D' ",Dp,SE)--MP("C",C,S)--A);
D(A--MP("I",I,NE)--MP("O",O,SW)--MP("I_a",Ia,S)--MP("H",H,E)--MP("M",M,NE)--A,heavygreen);
D(A--MP("P",P,E)--Dp,heavygreen);draw(P--I--D^^I--H--B--I--C--H--O^^B--Ia--C,red);
dot(A^^B^^C^^I^^K^^D^^Dp^^O^^Ia^^H^^M^^P);
[/asy]

It is well known that $IKH \parallel AD’$.
So, by comparing ratios, we have
$\frac{I_aI}{2I_aA} = \frac{I_aO}{I_aA} = \frac{I_aH}{2I_aD’} = \frac{I_aH}{I_aM}$.
Thus $\boxed{AM \parallel OH}$. $\blacksquare$.
This post has been edited 10 times. Last edited by MathInfinite, Feb 20, 2019, 4:43 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
WolfusA
1900 posts
#22
Y by
Denote $O,H$ respectively as circumcenter and orthocenter of the triangle $BCI_A$.
Let $a,b,c$ be complex numbers lying on unit circle such that $a^2,b^2,c^2$ are vertices of the triangle and $-(ab+bc+ca)$ is the incenter. Then $$e_A=ab-bc+ca,\ o=-bc,\ h=b^2+c^2+ab+bc+ca.$$Last equation can be obtained without complex bashing by observing that $BICH$ is a parallelogram.
Reflection formula yields
$$m=b^2+c^2-b^2c^2\cdot \overline{e_A}=b^2+c^2+\frac{a-b-c}{a}\cdot bc.$$Finally
$$a^2-m=a^2-b^2-c^2+\frac{-a+b+c}{a}\cdot bc=\frac{(a-b)(a-c)(a+b+c)}{a}$$and
$$h-o=(b+c+a)(b+c).$$If $a+b+c=0$ we have $a^2-m=h-o$ implying $AM\parallel HO$. If $a+b+c=0\neq 0$
$$\frac{a^2-m}{h-o}=\frac{(a-b)(a-c)}{a(b+c)}=\overline{\left(\frac{a^2-m}{h-o}\right)}.\square$$#1710
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
amar_04
1915 posts
#23
Y by
Here are two solutions which I found just now by just gazing at the diagram in #21.
Kezer wrote:
Let $I_a$ be the $A$-excenter of a scalene triangle $ABC$. And let $M$ be the point symmetric to $I_a$ about line $BC$.
Prove that line $AM$ is parallel to the line through the circumcenter and the orthocenter of triangle $I_aCB$.

[asy]size(10cm);
pair A=(2,9),B=(0,0),C=(10,0),I,K,D,Dp,Ia,O,H,M,P;
I=incenter(A,B,C);K=(B+C)/2;D=foot(I,B,C);Dp=2*K-D;
O=extension(A,I,K,bisectorpoint(B,C));Ia=2*O-I;
H=B+C-I;M=2*Dp-Ia;P=2*I-D;
draw(circumcircle(A,B,C),orange);
D(MP("A",A,N)--MP("B",B,S)--MP("D",D,S)--MP("K",K,S)--MP("D' ",Dp,SE)--MP("C",C,S)--A);
D(A--MP("I",I,NE)--MP("O",O,SW)--MP("I_a",Ia,S)--MP("H",H,E)--MP("M",M,NE)--A,heavygreen);
D(A--MP("P",P,E)--Dp,heavygreen);draw(P--I--D^^I--H--B--I--C--H--O^^B--Ia--C,red);
dot(A^^B^^C^^I^^K^^D^^Dp^^O^^Ia^^H^^M^^P);
[/asy]

\begin{align*} \textbf{First Solution:-} \end{align*}
$\measuredangle CI_aH=\measuredangle AI_aB$ and $\measuredangle HCI_a=\measuredangle BAI_a\implies\Delta I_aHV\stackrel{+}{\sim}\Delta I_aBA\implies I_aH\cdot I_aA=I_aB\cdot I_aC$. So, $\sqrt{I_aB\cdot I_aC}$ Inversion around $I_a$ followed by a reflection around the angle bisector of $\angle BI_aC$ swaps $\{O,M\}$ and $\{H,A\}$. So, $\overline{OH}\|\overline{AM}$. $\blacksquare$

\begin{align*} \textbf{Second Solution:-} \end{align*}
Notice that $\{A,M\}$ are pairs of Isogonal Conjugates WRT $\Delta BI_aC$ also $A$ lies on the Neuberg Cubic of $\Delta BI_aC$. So, $\overline{AM}\|\overline{OH}$ as Neuberg Cubic has its pivot at $\infty_{\overline{OH}}$. $\blacksquare$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
minusonetwelth
225 posts
#24
Y by
We use complex numbers and set $(ABC)$ as the unit circle. Let the coordinates of $A$, $B$ and $C$ be $a^2$, $b^2$ and $c^2$ so that the incenter $J$ is given by $j=-ab-bc-ca$. It is well-known that the excenter $I_a$ is given by $j_a=ab+ca-bc$ so that the coordinates of $O$, the circumcenter of $I_ABC$ is given by $o=\frac12(j+j_a)=bc$ as it is the midpoint of $II_A$ by the incenter excenter lemma. Then we calculate
\[m=\frac{(b-c)(\overline{ab+ca-bc})+\overline{b}c-b\overline{c}}{\overline{b}-\overline{c}}=\frac{(b-c)(\frac{1}{ab}+\frac{1}{ca}-\frac{1}{bc})+\frac{c}{b}-\frac{b}{c}}{\frac{1}{b}-\frac{1}{c}}\]As $OH$ is the Euler-line of $I_ABC$, we know that its centroid $s=\frac{j_a+b+c}{3}=\frac{ab+ca-bc+b+c}{3}$ also lies on that line. Therefore, it suffices to show that the points $m-a^2$ and $s-o$ are collinear with the orgin, meaning the ratio
\[\left(\frac{m-a^2}{s-o}\right)\]should be real. From here on it is just straight calculation.
Z K Y
N Quick Reply
G
H
=
a