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
The antipolar lines with respect to a fixed point of a pencil of conics
lxhoanghsgs   1
N 7 minutes ago by Ritwin
Source: Well-known online.
The following problem is well-known online, but as far as I am aware of, there is no synthetic proof of this result. Should anybody know about this result, please give me more information on this (e.g., names of the theorems (if any), or proofs). Thank you in advance!

"Suppose that $A_1, A_2, A_3, A_4$ are four given points on the plane, so that no three of them are collinear. Let $S$ be the set of conics passing through $A_1, A_2, A_3, A_4$. Consider a fixed point $P$, for each $\mathcal{C}\in S$, suppose there are distinct points $A_{\mathcal{C}}, B_{\mathcal{C}}, C_{\mathcal{C}}, D_{\mathcal{C}} \in \mathcal{C}$, so that $P\in  A_{\mathcal{C}}B_{\mathcal{C}}, P\in C_{\mathcal{C}}D_{\mathcal{C}}$. Let $l_{\mathcal{C}}$ be the line joining the intersection of $A_{\mathcal{C}}C_{\mathcal{C}}$ and $B_{\mathcal{C}}D_{\mathcal{C}}$ with the intersection of $A_{\mathcal{C}}D_{\mathcal{C}}$ and $B_{\mathcal{C}}C_{\mathcal{C}}$.

1. Prove that the definition of $l_{\mathcal{C}}$ does not depend on the choice of $A_{\mathcal{C}}, B_{\mathcal{C}}, C_{\mathcal{C}}, D_{\mathcal{C}} \in \mathcal{C}$.
2. Prove that $l_{\mathcal{C}}$ passes through a fixed point when $\mathcal{C}$ varies."

The "Generalized problem" in #2 of this post is my attempt for synthetically proving this result, using only cross-ratios and Pascal's theorem.

Sincerely,
XH
1 reply
lxhoanghsgs
Today at 12:06 AM
Ritwin
7 minutes ago
$$f(1+xf(y))=yf(x+y)$$
haruboy15   12
N 8 minutes ago by Blackbeam999
Find all functions : $f:\mathbb{R^+}\rightarrow \mathbb{R^+}$ such that:
\[f(1+xf(y))=yf(x+y)\]
for all $x,y \in \mathbb{R^+}$
12 replies
haruboy15
Jan 4, 2013
Blackbeam999
8 minutes ago
Interesting inequality
sqing   4
N 13 minutes ago by sqing
Source: Own
Let $ a,b,c>0  . $ Prove that
$$\frac{a}{b}+ \frac{kb^2}{c^2} + \frac{c}{a}\geq 5\sqrt[5]{\frac{k}{16}}$$Where $ k >0. $
$$\frac{a}{b}+ \frac{16b^2}{c^2} + \frac{c}{a}\geq 5$$$$\frac{a}{b}+ \frac{ b^2}{2c^2} + \frac{c}{a}\geq \frac{5}{2} $$
4 replies
sqing
Yesterday at 1:37 PM
sqing
13 minutes ago
Inversion exercise
Assassino9931   5
N 39 minutes ago by Haris1
Source: Balkan MO Shortlist 2024 G5
Let $ABC$ be an acute scalene triangle $ABC$, $D$ be the orthogonal projection of $A$ on $BC$, $M$ and $N$ are the midpoints of $AB$ and $AC$ respectively. Let $P$ and $Q$ are points on the minor arcs $\widehat{AB}$ and $\widehat{AC}$ of the circumcircle of triangle $ABC$ respectively such that $PQ \parallel BC$. Show that the circumcircles of triangles $DPQ$ and $DMN$ are tangent if and only if $M$ lies on $PQ$.
5 replies
Assassino9931
Sunday at 10:29 PM
Haris1
39 minutes ago
diophantine abc = 2(a + b + c) with 0<a <=b <=c
parmenides51   3
N an hour ago by Namisgood
Source: Dutch NMO 2014 p1
Determine all triples $(a,b,c)$, where $a, b$, and $c$ are positive integers that satisfy

$a \le b \le c$ and $abc = 2(a + b + c)$.
3 replies
parmenides51
Sep 7, 2019
Namisgood
an hour ago
find all functions
DNCT1   3
N an hour ago by Blackbeam999
Find all functions $f:\mathbb{R^+}\rightarrow \mathbb{R^+}$ such that
$$f(2f(x)+2y)=f(2x+y)+y\quad\forall x,y,\in\mathbb{R^+} $$
3 replies
DNCT1
Oct 10, 2020
Blackbeam999
an hour ago
Cool inequality
giangtruong13   3
N an hour ago by arqady
Source: Hanoi Specialized School’s Practical Math Entrance Exam (Round 2)
Let $a,b,c$ be real positive numbers such that: $a^2+b^2+c^2=4abc-1$. Prove that: $$a+b+c \geq \sqrt{abc}+2$$
3 replies
+1 w
giangtruong13
Yesterday at 4:08 PM
arqady
an hour ago
function
BuiBaAnh   12
N an hour ago by tom-nowy
Problem: Find all functions $f$: $Z->Z$ such that:
$f(xf(y)+f(x))=2f(x)+xy$ for all x,y E $Z$
12 replies
BuiBaAnh
Dec 26, 2014
tom-nowy
an hour ago
IMO ShortList 2008, Number Theory problem 3
April   24
N an hour ago by sansgankrsngupta
Source: IMO ShortList 2008, Number Theory problem 3
Let $ a_0$, $ a_1$, $ a_2$, $ \ldots$ be a sequence of positive integers such that the greatest common divisor of any two consecutive terms is greater than the preceding term; in symbols, $ \gcd (a_i, a_{i + 1}) > a_{i - 1}$. Prove that $ a_n\ge 2^n$ for all $ n\ge 0$.

Proposed by Morteza Saghafian, Iran
24 replies
April
Jul 9, 2009
sansgankrsngupta
an hour ago
Find points with sames integer distances as given
nAalniaOMliO   1
N 2 hours ago by Rohit-2006
Source: Belarus TST 2024
Points $A_1, \ldots A_n$ with rational coordinates lie on a plane. It turned out that the distance between every pair of points is an integer. Prove that there exist points $B_1, \ldots ,B_n$ with integer coordinates such that $A_iA_j=B_iB_j$ for every pair $1 \leq i \leq j \leq n$
N. Sheshko, D. Zmiaikou
1 reply
nAalniaOMliO
Jul 17, 2024
Rohit-2006
2 hours ago
Coincide
giangtruong13   2
N 2 hours ago by giangtruong13
Source: Hanoi Specialized School's Math Test (Round 2 - Phase 1)
Let $ABCD$ be a trapezoid inscribed in circle $(O)$, $AD||BC, AD < BC$. Let $P$ is the symmetric point of $A$ across $BC$, $AP$ intersects $BC$ at $K$. Let $M$ is midpoint of $BC$ and $H$ is orthocenter of triangle $ABC$. On $BD$ take a point $F$ so that $AF||HM$. Prove that: $ FK,AC,PD$ coincide
2 replies
giangtruong13
Sunday at 4:05 PM
giangtruong13
2 hours ago
Interesting number theory
giangtruong13   3
N 2 hours ago by giangtruong13
Source: Hanoi Specialized School’s Practical Math Entrance Exam (Round 2)
Let $a,b$ be integer numbers $\geq 3$ satisfy that:$a^2=b^3+ab$. Prove that:
a) $a,b$ are even
b) $4b+1$ is a perfect square number
c) $a$ can’t be any power $\geq 1$ of a positive integer number
3 replies
giangtruong13
Yesterday at 4:15 PM
giangtruong13
2 hours ago
Arbitrary point on BC and its relation with orthocenter
falantrng   22
N 2 hours ago by Rotten_
Source: Balkan MO 2025 P2
In an acute-angled triangle \(ABC\), \(H\) be the orthocenter of it and \(D\) be any point on the side \(BC\). The points \(E, F\) are on the segments \(AB, AC\), respectively, such that the points \(A, B, D, F\) and \(A, C, D, E\) are cyclic. The segments \(BF\) and \(CE\) intersect at \(P.\) \(L\) is a point on \(HA\) such that \(LC\) is tangent to the circumcircle of triangle \(PBC\) at \(C.\) \(BH\) and \(CP\) intersect at \(X\). Prove that the points \(D, X, \) and \(L\) lie on the same line.

Proposed by Theoklitos Parayiou, Cyprus
22 replies
falantrng
Sunday at 11:47 AM
Rotten_
2 hours ago
Hard Inequality Problem
Omerking   2
N 2 hours ago by surfstyle
$\frac{1}{a}+\frac{1}{b}+\frac{1}{c}=3$ is given where $a,b,c$ are positive reals. Prove that:
$$\frac{1}{\sqrt{a^3+1}}+\frac{1}{\sqrt{b^3+1}}+\frac{1}{\sqrt{c^3+1}} \le \frac{3}{\sqrt{2}}$$
2 replies
Omerking
Yesterday at 3:51 PM
surfstyle
2 hours ago
Perpendicularity
socrates   15
N Dec 11, 2024 by shendrew7
Source: Moldova JTST 2017, problem 7
Given is an acute triangle $ABC$ and the median $AM.$ Draw $BH\perp AC.$ The line which goes through $A$ and is perpendicular to $AM$ intersects $BH$ at $E.$ On the opposite ray of the ray $AE$ choose $F$ such that $AE=AF.$ Prove that $CF\perp AB.$
15 replies
socrates
May 3, 2017
shendrew7
Dec 11, 2024
Perpendicularity
G H J
G H BBookmark kLocked kLocked NReply
Source: Moldova JTST 2017, problem 7
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
socrates
2105 posts
#1 • 2 Y
Y by itslumi, Adventure10
Given is an acute triangle $ABC$ and the median $AM.$ Draw $BH\perp AC.$ The line which goes through $A$ and is perpendicular to $AM$ intersects $BH$ at $E.$ On the opposite ray of the ray $AE$ choose $F$ such that $AE=AF.$ Prove that $CF\perp AB.$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MathStudent2002
934 posts
#2 • 2 Y
Y by UzbekMathematician, Adventure10
Solution
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
$M$ is the circumcenter of $\odot (BCB'C')$ where $B',C'$ are the feet of $B,C$ .let $K,S$ the orthocenter and the intersection of $B'C'$ and $BC$ we have $SK$ is the polar of $A$ WRT $\odot (BCB'C')$ so $AM \perp SK$ so $SK \parallel AE $ since $K(BC,SA')=-1$ where $A'$ is the foot of $A$ then $ K(EF',SP_\infty)=-1$ therefore $A$ midpoint of $EF'$ hence $F'=F$ and the altitude from $C$ goes through $F$
RH HAS
This post has been edited 1 time. Last edited by PROF65, May 11, 2018, 9:51 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
RaduAndreiLecoiu
59 posts
#5 • 3 Y
Y by Adventure10, Mango247, ehuseyinyigit
We show that $AF^2 + BC^2 = BF^2 + AE^2$
Using Pappus for $FM$ and $EM$ medians in $FBC$ and $CEB$ and using that $FM =EM$ we obtain that $FB^2 + FC^2 = BE^2 + BC^2$. In $AECB$ we have $AE^2 + BC^2 = AB^2 + EC^2$. (*)
So it is enough to show that $AC^2 + FB^2 = AB^2 + EC^2$. That`s from Pappus in $CEF$ and in $FBE $ combined with (*)
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Edin_Morris
38 posts
#6 • 1 Y
Y by Adventure10
Just count angles AFC and FAB
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Mprog.
39 posts
#7 • 2 Y
Y by yayups, Adventure10
Let the orhogonals from B and C to EF be O1, O2.
Let the altitude CC1 intersect EF at point F'
So C(O2)(O1)B trapezoid and since M midpoint BC and MA || CO2 || BO1 => A is midpoint of EF'
Realise that BF'C1O1 is cyclic => AO1 * AF' = AC1 * AB (power of point A wrt tha circle)
Similarly CO2EH is cyclic =>AO2 * AE = AH * AC
Since CHC1B is cyclic =>AC1 * AB = AH * AC ==> AO1 * AF' = AO2 * AE ==> AE=AF'
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
pad
1671 posts
#8 • 2 Y
Y by Adventure10, Mango247
Restated wrote:
Let $ABC$ be an acute triangle with orthocenter $H$. Let $M$ be the midpoint of $BC$. Rays $BH$ and $CH$ intersect the line through $A$ perpendicular to $AM$ at $X$ and $Y$ respectively. Prove that $AX=AY$.
Diagram
Let $DEF$ be the orthic triangle of $ABC$. Let $N$ be the intersection of $BC$ and the line through $H$ parallel to $XY$. Let $Q$ be the foot from $H$ to $AM$. We have $(XY,A\infty)\stackrel{H}{=}(BC;DN)$, which we want to show is $-1$. This is equivalent to $E,F,N$ collinear. Now, radical axis on (1) $(DMQH)$, (2) $(DMEF)$, the 9-pt circle, (3) $(QHFE)$, the circle of diameter $AH$ yields that $EF,QH,BC$ concur. Since $QH\perp AM$, $QH$ is the line through $H$ parallel to $XY$, so we are done.

Alternatively, finish by using Brokard on complete cyclic quadrilateral $BCEF$. Define instead $N=EF\cap BC$. By Brokard, we know $A$ is the pole of $NH$, so $AM\perp NH$.
This post has been edited 1 time. Last edited by pad, Aug 22, 2019, 12:55 AM
Reason: added diagram
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
#9 • 3 Y
Y by Adventure10, Mango247, ehuseyinyigit
Complex coordinates: $a,b,c\in\mathbb C\wedge |a|=|b|=|c|=1$. Then $2m=b+c$.
$$BE\perp AC\iff \frac{b-e}{a-c}=-\overline{\left(\frac{b-e}{a-c}\right)}$$$$AM\perp AE\iff \frac{a-e}{a-m}=-\overline{\left(\frac{a-e}{a-m}\right)}$$$$(BE\perp AC\ \wedge\  AM\perp AE)\iff e=\frac{b^3+2b^2(c-a)+b(a^2+c^2-5ac)+3a^2c-ac^2}{(b-a)(b-c)}$$Let $f$ be the coordinate of point $F'$ such that $CF'\perp AB\ \wedge \ AM\perp AF'$. We will prove that $A$ is the midpoint of segment $EF'$. From there it's clear that $F=F'$.
Changing variables $b,c$ in formula for $e$ we get $$f=\frac{c^3+2c^2(b-a)+c(a^2+b^2-5ab)+3a^2b-ab^2}{(c-a)(c-b)}$$Essential part:
$$e+f=\frac{(c-a)[b^3+2b^2(c-a)+b(a^2+c^2-5ac)+3a^2c-ac^2]-(b-a)[c^3+2c^2(b-a)+c(a^2+b^2-5ab)+3a^2b-ab^2]}{(c-a)(b-a)(b-c)}=2a$$so it's all true.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
srijonrick
168 posts
#10 • 4 Y
Y by A-Thought-Of-God, jelena_ivanchic, Mango247, Mango247
socrates wrote:
Given is an acute triangle $ABC$ and the median $AM.$ Draw $BH\perp AC.$ The line which goes through $A$ and is perpendicular to $AM$ intersects $BH$ at $E.$ On the opposite ray of the ray $AE$ choose $F$ such that $AE=AF.$ Prove that $CF\perp AB.$

I have changed the labelling a bit, to maintain familiarity.
Rephrased problem wrote:
Let $ABC$ be an acute triangle with orthocenter $H$. Let $M$ be the midpoint of $BC$. Rays $BH$ and $CH$ intersect the line through $A$ perpendicular to $AM$ at points $X$ and $Y$, respectively. Prove that $AX = AY$.
My Solution: Let $\overline{AH} \cap \overline{BC}=D, \overline{BH} \cap \overline{CA} = E, \overline{CH} \cap \overline{AB} = F, \overline{EF} \cap \overline{BC} = G$ and $\overline{AM} \cap \overline{GH} = K.$

First, we note that $BCEF$ is a cyclic quadrilateral, hence, by Brokard's $M$ is the orthocenter of $\triangle AHG.$ Thus, $\angle AKH = 90^{\circ}$ and $\overline{AM} \cap \overline{GH} = \{K\} \in \odot(AEHF)$. Since, $\angle MAY = \angle MAX = 90^{\circ} \implies \overline{AY} \parallel \overline{HG}$ i.e. $\overline{XY} \parallel \overline{HG}-(*)$ thus, they intersect at $P_{\infty}$, the point at infinity along $\overline{XY}.$

Let $A'$ denote the midpoint of $XY.$ Now, by Cevians Induce Harmonic Bundles Lemma $$-1=(G,D;B,C)\stackrel{H} = (P_\infty,A;X,Y)$$But, by Midpoints and Parallel Lines Lemma $(X,Y;A',P_{\infty})=-1$, thus $A'=A$ and we're done. $\quad \square$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
itslumi
284 posts
#11
Y by
We can solve this using Phantom points and cross-ratio.Take $BE$ and $CF$ that intersect the line through $A$ perpendicular to $AM$ at points $X$ nd $Y$.Define $N=EFnBC$,$W$ e can easily prove that $N,H,H_m$ are collinear and from definition we know that $HH_m$ is perpendicular to $AM$.$-1(N,D:B,C)\stackrel{A} =(N,ADnEF:F,E)\stackrel{H} =(P_\infty,A:Y,X)$,and we are done.$\blacksquare$
This post has been edited 1 time. Last edited by itslumi, Sep 22, 2020, 3:08 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ike.chen
1162 posts
#12
Y by
Adapted Problem I Solved: Let $ABC$ be an acute triangle with orthocenter $H$. Let $M$ be the midpoint of $BC$. Rays $BH$ and $CH$ intersect the line through $A$ perpendicular to $AM$ at points $X$ and $Y$, respectively. Prove that $AX = AY$.


Solution. Let $E$ and $F$ be the feet of the $B$-altitude and $C$-altitude respectively, and define $K = AM \cap (AEHF)$.

By the Three Tangents Lemma, we know $ME$ and $MF$ are tangent to $(AEHF)$. Now, it's easy to see $(A, K; E, F) = -1$.

Claim: $XY \parallel KH$.

Proof. Notice $\angle AKH = 90^{\circ}$, so $AK \perp KH$. But $AK \perp XY$ from the problem statement, and the result follows easily. $\square$

Let $P_\infty$ denote the point at infinity on $XY$. Observe $$-1 = (A, K; E, F) \overset{H}{=} (A, P_\infty; X, Y)$$which finishes the problem. $\blacksquare$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Ru83n05
170 posts
#13
Y by
Let $P$ be the $A$--Humpty point and $D, X, Y$ be the feet of the altitude from $A, B, C$. By radical axis theorem on $\{(AH), (BCEF), (BCPH)\}$ we get that $XY, PH$ and $BC$ are concurrent. Now notice that
$$-1=(E, F; A, \infty_{AE})\overset{\mathrm{H}}{=}(B, HF\cap BC; D, HP\cap XY\cap BC)$$However $(B, C; D, XY\cap BC)=-1$, so $F-H-C$ are colinear and the conclusion follows.
This post has been edited 4 times. Last edited by Ru83n05, Aug 17, 2021, 2:54 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
RedFireTruck
4221 posts
#14 • 1 Y
Y by ehuseyinyigit
restated problem wrote:
Let $ABC$ be an acute triangle with orthocenter $H$. Let $M$ be the midpoint of $\overline{BC}$. Rays $BH$ and $CH$ intersect the line through $A$ perpendicular to $\overline{AM}$ at points $X$ and $Y$, respectively. Prove that $AX = AY$.

Let $D\in AM$, $E\in AC$, and $F\in AB$ s.t. $HD\perp AM$, $BE\perp AC$, and $CF\perp AB$. Since $$\angle AFH=\angle ADH=\angle AEH=90^\circ,$$$A,F,H,D,E$ lie on the circle $(AFHDE)$ with diameter $AH$. Since $$\angle BFC=\angle BEC=90^\circ,$$$B,F,E,C$ lie on the circle $(BFEC)$ with diameter $BC$ and center $M$. Therefore, $$\angle MFC=\angle MCF=90^\circ-\angle ABC=\angle BAH$$so $MF$ is tangent to $(AFHDE)$. Similarly, $ME$ is tangent to $(AFHDE)$, so $AM$ is the symmedian of $AEF$ and $D=AM\cap (AFHDE)$ so $AFDE$ is harmonic. Therefore $$-1=(FE;AD)\stackrel{H}{=}(YX;A\infty)$$so $AX=AY$, as desired.
This post has been edited 2 times. Last edited by RedFireTruck, Aug 8, 2024, 2:44 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
dolphinday
1325 posts
#15 • 2 Y
Y by ehuseyinyigit, RedFireTruck
Solved with OTIS version of problem which can be found @above

Let $\triangle DEF$ be the orthic triangle. Then let $H_A$ be the $A$-Humpty point. Notice that $H_A$ lies on $AM$ and lies on $(AEF)$ so $(A, H_A; E, F) = -1$. Then we will show that $H_AMDH$ is cyclic. Let $EF \cap BC = X_A$. It is well known that $X_A - H - H_A$. Combining the facts that $(B, C; X_A, D) = -1$ from Ceva-Menelaus and that $H_A \in (BHC)$ we get that $X_AD \cdot X_AM = X_AB \cdot X_AC = X_AH \cdot X_AH_A$ which implies the desired. So then $\angle HDM = \angle HH_AM = 90^\circ$ which then implies that $HH_A \parallel XY$. Now projecting $(A, H_A; E, F) \overset{H}= (A, \infty_{XY}; X, Y)$ implies that $A$ is the midpoint of segment $XY$ so we are done.
This post has been edited 2 times. Last edited by dolphinday, Aug 9, 2024, 4:09 AM
Reason: holy crap this writeup was so bad
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Eka01
204 posts
#16
Y by
Also Solved the $OTIS$ version:-
Let the $A$ humpty point be $H_A$,the $A$ expoint be $T$ and the foot of $A$ altitude be $D$. It is well known that $(BC;DT)=-1$ and since $HH_A \perp AM$ $\implies HH_A || XY$ so projecting onto $XY$ , we get that $A$ must be the midpoint of $XY$ which is what we desired.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
shendrew7
794 posts
#17
Y by
OTIS wrote:
Let $ABC$ be an acute triangle with orthocenter $H$. Let $M$ be the midpoint of $\overline{BC}$. Rays $BH$ and $CH$ intersect the line through $A$ perpendicular to $\overline{AM}$ at points $X$ and $Y$, respectively. Prove that $AX = AY$.

Let $K$ be the $A$ ex point and $D = AH \cap BC$. Since $HK \perp AM \perp XY$, we have
\[-1 = (DK; BC) \overset{H}{=} (A \infty, XY) \implies AX = AY. \quad \blacksquare\]
Z K Y
N Quick Reply
G
H
=
a