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
Interesting inequality
A_E_R   1
N 4 minutes ago by sqing
Let a,b,c,d are positive real numbers, if the following inequality holds ab^2+ac^2>=5bcd. Find the minimum value of explanation: (a^2+b^2+c^2+d^2)(1/a^2+1/b^2+1/c^2+1/d^2)
1 reply
+2 w
A_E_R
2 hours ago
sqing
4 minutes ago
Maximum area of the triangle
adityaguharoy   1
N 9 minutes ago by Mathzeus1024
If in some triangle $\triangle ABC$ we are given :
$\sqrt{3} \cdot \sin(C)=\frac{2- \sin A}{\cos A}$ and one side length of the triangle equals $2$, then under these conditions find the maximum area of the triangle $ABC$.
1 reply
adityaguharoy
Jan 19, 2017
Mathzeus1024
9 minutes ago
Concurrent lines
BR1F1SZ   4
N 20 minutes ago by NicoN9
Source: 2025 CJMO P2
Let $ABCD$ be a trapezoid with parallel sides $AB$ and $CD$, where $BC\neq DA$. A circle passing through $C$ and $D$ intersects $AC, AD, BC, BD$ again at $W, X, Y, Z$ respectively. Prove that $WZ, XY, AB$ are concurrent.
4 replies
BR1F1SZ
Mar 7, 2025
NicoN9
20 minutes ago
Inspired by lgx57
sqing   6
N 25 minutes ago by sqing
Source: Own
Let $ a,b\geq 0 $ and $\frac{1}{a^2+b}+\frac{1}{b^2+a}=1.  $ Prove that
$$a^2+b^2-a-b\leq 1$$$$a^3+b^3-a-b\leq \frac{3+\sqrt 5}{2}$$$$a^3+b^3-a^2-b^2\leq \frac{1+\sqrt 5}{2}$$
6 replies
sqing
2 hours ago
sqing
25 minutes ago
Arithmetic progression
BR1F1SZ   2
N 31 minutes ago by NicoN9
Source: 2025 CJMO P1
Suppose an infinite non-constant arithmetic progression of integers contains $1$ in it. Prove that there are an infinite number of perfect cubes in this progression. (A perfect cube is an integer of the form $k^3$, where $k$ is an integer. For example, $-8$, $0$ and $1$ are perfect cubes.)
2 replies
BR1F1SZ
Mar 7, 2025
NicoN9
31 minutes ago
Number Theory Chain!
JetFire008   51
N 40 minutes ago by Primeniyazidayi
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
51 replies
+1 w
JetFire008
Apr 7, 2025
Primeniyazidayi
40 minutes ago
Injective arithmetic comparison
adityaguharoy   1
N an hour ago by Mathzeus1024
Source: Own .. probably own
Show or refute :
For every injective function $f: \mathbb{N} \to \mathbb{N}$ there are elements $a,b,c$ in an arithmetic progression in the order $a<b<c$ such that $f(a)<f(b)<f(c)$ .
1 reply
adityaguharoy
Jan 16, 2017
Mathzeus1024
an hour ago
Abelkonkurransen 2025 1b
Lil_flip38   2
N an hour ago by Lil_flip38
Source: abelkonkurransen
In Duckville there is a perpetual trophy with the words “Best child of Duckville” engraved on it. Each inhabitant of Duckville has a non-empty list (which never changes) of other inhabitants of Duckville. Whoever receives the trophy
gets to keep it for one day, and then passes it on to someone on their list the next day. Gregers has previously received the trophy. It turns out that each time he does receive it, he is guaranteed to receive it again exactly $2025$ days later (but perhaps earlier, as well). Hedvig received the trophy today. Determine all integers $n>0$ for which we can be absolutely certain that she cannot receive the trophy again in $n$ days, given the above information.
2 replies
Lil_flip38
Mar 20, 2025
Lil_flip38
an hour ago
Symmetric inequalities under two constraints
ChrP   4
N an hour ago by ChrP
Let $a+b+c=0$ such that $a^2+b^2+c^2=1$. Prove that $$ \sqrt{2-3a^2}+\sqrt{2-3b^2}+\sqrt{2-3c^2} \leq 2\sqrt{2}  $$
and

$$ a\sqrt{2-3a^2}+b\sqrt{2-3b^2}+c\sqrt{2-3c^2} \geq 0  $$
What about the lower bound in the first case and the upper bound in the second?
4 replies
ChrP
Apr 7, 2025
ChrP
an hour ago
Terms of a same AP
adityaguharoy   1
N 2 hours ago by Mathzeus1024
Given $p,q,r$ are positive integers pairwise distinct and $n$ is also a positive integer $n \ne 1$.
Determine under which conditions can $\sqrt[n]{p},\sqrt[n]{q},\sqrt[n]{r}$ form terms of a same arithmetic progression.

1 reply
adityaguharoy
May 4, 2017
Mathzeus1024
2 hours ago
Inspired by old results
sqing   8
N 2 hours ago by sqing
Source: Own
Let $ a,b\geq 0 $ and $  a^2+ab+b^2=2$ . Prove that
$$ (a+b-ab)\left( \frac{1}{a+1} + \frac{1}{b+1}\right)\leq 2 $$$$ (a+b-ab)\left( \frac{a}{b+1} + \frac{2b}{a+2}\right)\leq 2 $$$$ (a+b-ab)\left( \frac{a}{b+1} + \frac{2b}{a+1}\right)\leq 4$$Let $ a,b  $ be reals such that $  a^2+b^2=2$ . Prove that
$$ (a+b)\left( \frac{1}{a+1} + \frac{1}{b+1}\right)= 2 $$$$ (a+b)\left( \frac{a}{b+1} + \frac{b}{a+1}\right)=2 $$
8 replies
sqing
Today at 2:42 AM
sqing
2 hours ago
Transform the sequence
steven_zhang123   1
N 2 hours ago by vgtcross
Given a sequence of \( n \) real numbers \( a_1, a_2, \ldots, a_n \), we can select a real number \( \alpha \) and transform the sequence into \( |a_1 - \alpha|, |a_2 - \alpha|, \ldots, |a_n - \alpha| \). This transformation can be performed multiple times, with each chosen real number \( \alpha \) potentially being different
(i) Prove that it is possible to transform the sequence into all zeros after a finite number of such transformations.
(ii) To ensure that the above result can be achieved for any given initial sequence, what is the minimum number of transformations required?
1 reply
steven_zhang123
Today at 3:57 AM
vgtcross
2 hours ago
NEPAL TST DAY 2 PROBLEM 2
Tony_stark0094   5
N 2 hours ago by ThatApollo777
Kritesh manages traffic on a $45 \times 45$ grid consisting of 2025 unit squares. Within each unit square is a car, facing either up, down, left, or right. If the square in front of a car in the direction it is facing is empty, it can choose to move forward. Each car wishes to exit the $45 \times 45$ grid.

Kritesh realizes that it may not always be possible for all the cars to leave the grid. Therefore, before the process begins, he will remove $k$ cars from the $45 \times 45$ grid in such a way that it becomes possible for all the remaining cars to eventually exit the grid.

What is the minimum value of $k$ that guarantees that Kritesh's job is possible?

$\textbf{Proposed by Shining Sun. USA}$
5 replies
Tony_stark0094
Yesterday at 8:37 AM
ThatApollo777
2 hours ago
Product of distinct integers in arithmetic progression -- ever a perfect power ?
adityaguharoy   1
N 2 hours ago by Mathzeus1024
Source: Well known (the gen. is more difficult, but may be not this one -- so this is here)
Let $a_1,a_2,a_3,a_4$ be four positive integers in arithmetic progression (that is, $a_1-a_2=a_2-a_3=a_3-a_4$) and with $a_1 \ne a_2$. Can the product $a_1 \cdot a_2 \cdot a_3 \cdot a_4$ ever be a number of the form $n^k$ for some $n \in \mathbb{N}$ and some $k \in \mathbb{N}$, with $k \ge 2$ ?
1 reply
adityaguharoy
Aug 31, 2019
Mathzeus1024
2 hours ago
an acute angled triangle with $\angle{BAC}=60^0$
N.T.TUAN   22
N Mar 12, 2024 by AshAuktober
Source: APMO 2007
Let $ABC$ be an acute angled triangle with $\angle{BAC}=60^\circ$ and $AB > AC$. Let $I$ be the incenter, and $H$ the orthocenter of the triangle $ABC$ . Prove that $2\angle{AHI}= 3\angle{ABC}$.
22 replies
N.T.TUAN
Mar 31, 2007
AshAuktober
Mar 12, 2024
an acute angled triangle with $\angle{BAC}=60^0$
G H J
G H BBookmark kLocked kLocked NReply
Source: APMO 2007
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
N.T.TUAN
3595 posts
#1 • 5 Y
Y by Adventure10, Mango247, Rounak_iitr, DEKT, and 1 other user
Let $ABC$ be an acute angled triangle with $\angle{BAC}=60^\circ$ and $AB > AC$. Let $I$ be the incenter, and $H$ the orthocenter of the triangle $ABC$ . Prove that $2\angle{AHI}= 3\angle{ABC}$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
e.lopes
349 posts
#2 • 3 Y
Y by vsathiam, Adventure10, Mango247
Click to reveal hidden text
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
anuj kumar
61 posts
#3 • 1 Y
Y by Adventure10
in fact $B,C,H,O,I$ are concyclic and that leads to an easy solution.
by the way i was not a contestent at apmo .
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
saywhattt
14 posts
#4 • 3 Y
Y by aats411, Adventure10, Mango247
Here is my solution:

Easy angle chasing yields $\angle BIC=120^\circ$, while more angle chasing yields $\angle BHC=120^\circ$. Hence $BIHC$ is cyclic, and if we denote the foot of the perpendicular from $C$ to $AB$ as $D$, then $\angle IHD=\angle IBC$. Now, let $\angle ABC=2\beta$. It is easy to find $\angle DCB=90-2\beta$, hence $\angle AHD=2\beta$. Therefore, $3\angle ABC=6\beta=2\angle AHI$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
aditya21
717 posts
#5 • 1 Y
Y by Adventure10
we first prove a lemma
lemma = let $ABC$ be a triangle with $D$ as midpoint of minor arc $BC$ of circumcircle of $ABC$
also let $I$ be incentre of triangle $ABC$ than we prove that $D$ is centre of circumcircle of $BIC$.

proof = it is evident that $A$ excentre of triangle $ABC$ lie on circumcircle of $BIC$
also $BD=DC$ and thus $\angle CBD=A/2 = \angle CAD=\angle BAI$
thus $A,I,D$ are collinear.
now $\angle IBD = 90-C/2=\angle JCB=\angle BID$ where $J$ is $A$ excentre.
and thus $BD=DI$
thus $D$ is circumcentre of $BIC$.

main proof = by this lemma and $\angle A = 60$ we get that $\angle BOC=\angle BIC=\angle BHC = 120$
and hence $B,H,O,I,C$ are concyclic.
by concyclicity of $HIJB$ we have $\angle HBJ = \angle AIH = 120-C-B/2=60+B/2$
in triangle $AHI$ we thus get $\angle AHI=3B/2$ since $\angle HAI=60-B$
and thus $2\angle AHI = 3\angle B$.

we are done :D
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
HMed
2 posts
#6 • 3 Y
Y by igli.2001, Adventure10, Mango247
A nice problem .
We will show that points B,I, H and C are concyclic wich is too easy since angle<BIC = 90°+A/2 = 120°=180°-A=<BHC.
Let (w) the cercle ( BIHC). Let Y be the intersection point of line AH with (w);then angle <YBC = <ABC .
Prof
By simple angle chasing <BAY = <HCB =<HYB = <AYB and (AY) perpendicular to (BC) so triangle BAY is isoceles then the equality follows.
Now denote by X the center of (w) ,then :
2<AHI=360°-2<IHY = <IXY = 2<IBY =<ABC+ 2<CBY = <ABC + 2<ABC = 3<ABC , QED
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
AMN300
563 posts
#7 • 2 Y
Y by Mai-san, Adventure10
Solution
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Abdollahpour
63 posts
#9 • 2 Y
Y by Adventure10, Mango247
This problem is easy.
First we should know $B,I,H,C$ are concyclic.
$<BHC=<CIB=120$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
dikhendzab
108 posts
#11 • 3 Y
Y by Mango247, Mango247, Mango247
Let altitudes intersect sides $a,b,c$ in points $F,D,E$. Now, $\angle IBH=\angle ABD-\angle ABI=30^\circ-\frac{\beta}{2}$.
$\angle ICH=\angle ACI-\angle ACH=30^\circ-\frac{\beta}{2} \implies \angle IBH=\angle ICH$. Using that quadrilateral $BCHI$ is cyclic we obtain:
$\angle BCI=\angle BHI=\frac{\gamma}{2}$ and $\angle FHB=90^\circ-\angle FBH=90^\circ-\beta+\angle ABH=120^\circ-\beta$
Finally, $\angle AHI=180^\circ-\angle BHI-\angle FHB=60^\circ-\frac{\gamma}{2}+\beta=60^\circ-\frac{120^\circ-\beta}{2}+\beta=\frac{3\beta}{2} \implies 2\angle AHI=3\beta$ :)
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
dchenmathcounts
2443 posts
#13
Y by
Note $\angle BHC=\angle BIC=\angle BOC=120^{\circ},$ so $H,O$ lie on $(BIC).$

We claim that $AHO$ is isosceles with $AH=AO.$ We use complex numbers. Put $ABC$ on the unit circle and note that $H=A+B+C=A+D,$ so $AH=OD=AO.$ Now note that $\angle CAH=\angle BAO=90^{\circ}-\angle C,$ so $\angle HAO=\angle A-(180^{\circ}-\angle 2C)=\angle C-\angle B=2\angle C-120^{\circ}.$ Thus $\angle AHO=150^{\circ}-\angle C=\angle B+30^{\circ}.$

Also note $\angle HIO=180^{\circ}-\angle CHO=180^{\circ}-\angle A+\angle B=120^{\circ}+\angle B,$ so $\angle IHO = 30^{\circ}-\frac{1}{2}\angle B.$ Thus $\angle AHI=\frac{3}{2}\angle B,$ as desired.
This post has been edited 1 time. Last edited by dchenmathcounts, Jun 15, 2020, 5:43 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
star32
165 posts
#14 • 1 Y
Y by TwilightZone
solution sketch
This post has been edited 1 time. Last edited by star32, Jul 17, 2020, 5:29 PM
Reason: typo:(
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
snakeaid
125 posts
#15 • 1 Y
Y by TwilightZone
Let $M$ be the midpoint of minor arc $BC$ of $(ABC)$ and $O$ be its center. We have that $\triangle COM$ is equilateral and hence $OM=AH$. Also evidently $AH || OM$, hence $AOMH$ is a parallelogram. But since $OM=OA$ it's a rhombus, whence $OM=MH$. Now from the excenter/incenter lemma we have that $CHIOB$ is cyclic. We have $\angle AHI=\angle AOI=\angle AOC-\angle COH=\angle AOC-\angle IBC=\angle AOC-\frac{1}{2}\angle ABC=\frac{3}{2}\angle ABC$, as desired.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
kevinmathz
4680 posts
#16
Y by
Note that we have $$\angle BIC = 180^{\circ}-\angle IBC - \angle ICB = 180^{\circ} - \frac{\angle ABC + \angle ACB}{2} = 180^{\circ} - \frac{180^{\circ}-\angle A}{2}$$and since $\angle A = 60^{\circ}$, then $\angle BIC = 120^{\circ}$. Now, it is well-known that $$\angle BHC = 180^{\circ}-\angle A = 180^{\circ}-60^{\circ}=120^{\circ}$$so as a result we have $\angle BIC = \angle BHC$ so $BIHC$ is cyclic. Now, reflecting $A$ over $BC$ and letting that point be $A'$ we know $A'$ is on the circumcircle of $BIHC$, so $$\angle AHI = 180^{\circ}- \angle A'HI = \angle A'BI = \angle B + \angle CBI = \frac32\angle B$$so $2\angle AHI = 3 \angle B$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
PCChess
548 posts
#17
Y by
First note that $BIC$ are concyclic. I claim that $H$ lies on this circle. Let $\Gamma_1$ denote the circumcircle of $\triangle ABC$ and $\Gamma_2$ denote $(BIC)$. Then, arc $\overarc {BAC}$ has measure $240^{\circ}$. Then, since $\angle BIC=90^{\circ}+\frac{\angle A}{2}=120^{\circ}$, looking at $\Gamma_2$, $\overarc{BC}$ not containing $I$ has measure $240^{\circ}$ as well. Hence, $\Gamma_1$ and $\Gamma_2$ are reflections of each other across $BC$. Since the reflection of $H$ across $BC$ lies on $\Gamma_1$, $H$ must lie on $\Gamma_2$.

Now,
\[3\angle ABC=6\angle IBC=6(180-\angle IHC)=1080-6(180-\angle AHI+\angle ABC)=6\angle AHI-6\angle ABC,\]which implies the desired result
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Maths_1729
390 posts
#18 • 2 Y
Y by shalomrav, Mango247
Points $I, H, O, B, C$ Will lie on same circle..
And then by some angle chase we will get the desired results
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
franzliszt
23531 posts
#19 • 1 Y
Y by JustinLee2017
We start with a lemma.

Lemma: In a triangle $ABC$ with orthocenter $H$, $AH=2R\cos A$.

Proof. Consult problem Exercise 4.4.7 in the AoPS Precalculus Book. $\square$

Now note that $AH=2R\cos A=2R\cdot \frac12=R=AO$. Also, $AI=AI$ and $\measuredangle HAI=\measuredangle IAO$ since $H$ and $O$ are isogonal conjugates. Thus, $\triangle AHI\cong \triangle AOI$.

Now observe the following angle equalities: \begin{align*} \angle BHC&=180^\circ-\angle A=120^\circ\\ \angle BIC&=90^\circ+\frac{\angle A}2=120^\circ\\ \angle BOC&=2\angle A=120^\circ \end{align*}
so hexagon $CHIOBI_A$ is cyclic.

The rest is just angle chasing: $$\measuredangle AHI=\measuredangle IOA=\measuredangle IOC+\measuredangle COA=\measuredangle IBC+2\measuredangle CBA=4\measuredangle CBI- \measuredangle CBI=3\measuredangle CBI$$and multiplying both sides by $2$ gives the desired $2\measuredangle AHI=6\measuredangle CBI=3\measuredangle CBA$. $\blacksquare$


Remarks
This post has been edited 4 times. Last edited by franzliszt, Mar 8, 2021, 2:06 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
geometry6
304 posts
#20
Y by
APMO 2007 P2 wrote:
Let $ABC$ be an acute angled triangle with $\angle{BAC}=60^\circ$ and $AB > AC$. Let $I$ be the incenter, and $H$ the orthocenter of the triangle $ABC$ . Prove that $2\angle{AHI}= 3\angle{ABC}$.
Solution. Since $\angle A=60^{\circ}$, we have that $BIHC$ is cyclic. Now just by angle chasing, we get that:
$$\angle AHI=180^{\circ}-\angle IHD=180^{\circ}-(\angle IHB+\angle BHD)=180^{\circ}-(\frac{\angle C}{2}+\angle C)=180^{\circ}-\frac{3\angle C}{2}$$$$2\angle AHI=360^{\circ}-3\angle C=3(120^\circ-\angle C)=3\angle B.\blacksquare$$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Mogmog8
1080 posts
#21 • 1 Y
Y by centslordm
Claim: $BIHC$ is cyclic.

Proof. Notice that \begin{align*}\angle HCI&=\tfrac{1}{2}\angle C-(90-60)\\&=\tfrac{1}{2}\angle C-30+\tfrac{1}{2}(\angle B+\angle C-120)\\&=\tfrac{1}{2}\angle B-(90-\angle C)\\&=\angle HBI.\end{align*}$\blacksquare$

Hence, $$\angle AHI=(180-\angle IHC)+(180-AHC)=\tfrac{1}{2}\angle B+180-\angle A-\angle C=\tfrac{3}{2}\angle B.$$$\square$
This post has been edited 3 times. Last edited by Mogmog8, Dec 17, 2021, 3:51 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Mahdi_Mashayekhi
689 posts
#22
Y by
Let AD,BE and CF be altitudes of triangle. ∠EHF = 180 - 60 = 120 = ∠BHC and ∠BIC = ∠A + ∠B/2 + ∠C/2 = 120 so BIHC is cyclic.
∠AHI = ∠IHF + ∠FHA = ∠IBC + ∠DHC = ∠IBC + ∠ABC ---> ∠AHI = 3/2 ∠ABC.
we're Done.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
dwip_neel
40 posts
#23 • 1 Y
Y by Mango247
$BHIC$ is cyclic since $\angle BHC = 180^{\circ} - \angle A = 120^{\circ} = 90^{\circ} + \frac{\angle A}{2}$. $D$ be the foot from $A$ to $BC$. Consider $DHIC$ where $\angle HDC = 90^{\circ}$, $\angle IBC = \frac{\angle B}{2}$, $\angle HIC = 180^{\circ} - 90^{\circ} + \angle B = 90^{\circ} + \angle B$. Now, trivial calculation gives, $\angle AHI = \frac{3}{2}\angle B$ and check that, this is the result we wanted.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
lifeismathematics
1188 posts
#24
Y by
[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(42cm); 
real labelscalefactor = 0.5; /* changes label-to-point distance */
pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */ 
pen dotstyle = black; /* point style */ 
real xmin = -10.982013289036544, xmax = 16.091971207087482, ymin = -7.555732004429678, ymax = 8.00945071982281;  /* image dimensions */

 /* draw figures */
draw((-0.2750542635658916,5.839758582502767)--(-9.51982945736434,-4.371944629014396), linewidth(2)); 
draw((-0.2750542635658916,5.839758582502767)--(2.932316722037652,-0.5513997785160583), linewidth(2)); 
draw((-9.51982945736434,-4.371944629014396)--(2.932316722037652,-0.5513997785160583), linewidth(2)); 
draw(circle((-0.9208974895600552,1.0958517060424493), 2.7050286774217995), linewidth(2)); 
draw((xmin, -3.25925925925926*xmin + 4.943285427176898)--(xmax, -3.25925925925926*xmax + 4.943285427176898), linewidth(2)); /* line */
draw((xmin, 0.5018450184501846*xmin + 0.405534360659222)--(xmax, 0.5018450184501846*xmax + 0.405534360659222), linewidth(2)); /* line */
draw((xmin, -0.9053117782909931*xmin + 2.103261087624264)--(xmax, -0.9053117782909931*xmax + 2.103261087624264), linewidth(2)); /* line */
draw((-0.2750542635658916,5.839758582502767)--(-0.9208974895600541,1.0958517060424489), linewidth(2)); 
draw((-0.9208974895600541,1.0958517060424489)--(1.2064943515156186,1.0110075407556212), linewidth(2)); 
draw((-0.9208974895600541,1.0958517060424489)--(-9.51982945736434,-4.371944629014396), linewidth(2)); 
draw((-0.9208974895600541,1.0958517060424489)--(2.932316722037652,-0.5513997785160583), linewidth(2)); 
 /* dots and labels */
dot((-0.2750542635658916,5.839758582502767),dotstyle); 
label("$A$", (-0.1807198228128475,6.07559468438538), NE * labelscalefactor); 
dot((-9.51982945736434,-4.371944629014396),dotstyle); 
label("$B$", (-9.425495016611295,-4.136108527131783), NE * labelscalefactor); 
dot((2.932316722037652,-0.5513997785160583),dotstyle); 
label("$C$", (3.0266511627906953,-0.3155636766334448), NE * labelscalefactor); 
dot((-0.9208974895600541,1.0958517060424489),dotstyle); 
label("$I$", (-0.8174772978959038,1.3352890365448493), NE * labelscalefactor); 
dot((-0.12745211158699393,-1.490192488832711),dotstyle); 
label("$D$", (-0.03921816168327944,-1.2589080841638987), NE * labelscalefactor); 
dot((-2.9262243575179765,2.9112977389281434),dotstyle); 
label("$E$", (-2.822084163898118,3.151227021040973), NE * labelscalefactor); 
dot((1.4967668262111673,2.3091444991970103),dotstyle); 
label("$F$", (1.5880509413067534,2.538053156146178), NE * labelscalefactor); 
dot((1.2064943515156186,1.0110075407556212),dotstyle); 
label("$H$", (1.3050476190476172,1.240954595791804), NE * labelscalefactor); 
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle); 
 /* end of picture */
[/asy]


Claim:-points $B,I,H,C$ are concylic

Proof:- we notice that $\angle{BHC}=180^{\circ}-\angle{A}=120^{\circ}$ and $\angle{BIC}=90^{\circ}+\frac{A}{2}=120^{\circ}$ so we get $\angle{BHC}=\angle{BIC}$ hence points $B,I,H,C$ are concylic $\blacksquare$

now we have $\angle{AHI}+\angle{AHC}+\angle{CHI}=360^{\circ} \implies \angle{AHI}=360^{\circ}-\left(180^{\circ}-\frac{\angle{B}}{2}\right)-(180^{\circ}-\angle{B}) \implies \angle{AHI}=\frac{3\angle{B}}{2} \implies 2\angle{AHI}=3\angle{ABC}$ $\square$
This post has been edited 1 time. Last edited by lifeismathematics, Apr 6, 2023, 9:42 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
john0512
4178 posts
#25
Y by
Let $\angle ABC=2\theta$ and $\angle ACB=120-2\theta$. We wish to show that $\angle AHI=3\theta$.

Claim: $HIBC$ is cyclic. This is because $$\angle BHC=180-\angle A=120$$and $$\angle BIC=90+(\angle A/2)=120.$$
Then, $$\angle IHB=\angle ICB=60-\theta.$$Let $E$ be the foot from $B$ to $AC$. Then, $$\angle AHE=\angle C=120-2\theta,$$so $$\angle AHI=180-\angle AHE-\angle IHB=180-(120-2\theta)-(60-\theta)=3\theta,$$hence done.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
AshAuktober
983 posts
#26
Y by
Observe that $B, C, H, I$ are concyclic, as $\angle BHC = 120^\circ = \angle BIC$ from some simple angle chasing.
Now we have $\angle AHC = 180^\circ - B, \angle CHI = 180^\circ - \frac{B}{2} \implies \angle AHI = \frac{3B}{2}$, and we are done. $\square$
Z K Y
N Quick Reply
G
H
=
a