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

G
Topic
First Poster
Last Poster
k a May Highlights and 2025 AoPS Online Class Information
jlacosta   0
May 1, 2025
May is an exciting month! National MATHCOUNTS is the second week of May in Washington D.C. and our Founder, Richard Rusczyk will be presenting a seminar, Preparing Strong Math Students for College and Careers, on May 11th.

Are you interested in working towards MATHCOUNTS and don’t know where to start? We have you covered! If you have taken Prealgebra, then you are ready for MATHCOUNTS/AMC 8 Basics. Already aiming for State or National MATHCOUNTS and harder AMC 8 problems? Then our MATHCOUNTS/AMC 8 Advanced course is for you.

Summer camps are starting next month at the Virtual Campus in math and language arts that are 2 - to 4 - weeks in duration. Spaces are still available - don’t miss your chance to have an enriching summer experience. There are middle and high school competition math camps as well as Math Beasts camps that review key topics coupled with fun explorations covering areas such as graph theory (Math Beasts Camp 6), cryptography (Math Beasts Camp 7-8), and topology (Math Beasts Camp 8-9)!

Be sure to mark your calendars for the following upcoming events:
[list][*]May 9th, 4:30pm PT/7:30pm ET, Casework 2: Overwhelming Evidence — A Text Adventure, a game where participants will work together to navigate the map, solve puzzles, and win! All are welcome.
[*]May 19th, 4:30pm PT/7:30pm ET, What's Next After Beast Academy?, designed for students finishing Beast Academy and ready for Prealgebra 1.
[*]May 20th, 4:00pm PT/7:00pm ET, Mathcamp 2025 Qualifying Quiz Part 1 Math Jam, Problems 1 to 4, join the Canada/USA Mathcamp staff for this exciting Math Jam, where they discuss solutions to Problems 1 to 4 of the 2025 Mathcamp Qualifying Quiz!
[*]May 21st, 4:00pm PT/7:00pm ET, Mathcamp 2025 Qualifying Quiz Part 2 Math Jam, Problems 5 and 6, Canada/USA Mathcamp staff will discuss solutions to Problems 5 and 6 of the 2025 Mathcamp Qualifying Quiz![/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
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
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
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
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
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
Tuesday, May 6 - Aug 19
Wednesday, Jun 4 - Sep 17
Sunday, Jun 22 - Oct 19
Friday, Jul 18 - Nov 14

Introduction to Geometry
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

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

Intermediate: Grades 8-12

Intermediate Algebra
Sunday, Jun 1 - Nov 23
Tuesday, Jun 10 - Nov 18
Wednesday, Jun 25 - Dec 10
Sunday, Jul 13 - Jan 18
Thursday, Jul 24 - Jan 22

Intermediate Counting & Probability
Wednesday, May 21 - Sep 17
Sunday, Jun 22 - Nov 2

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

Precalculus
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
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
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

AIME Problem Series A
Thursday, May 22 - Jul 31

AIME Problem Series B
Sunday, Jun 22 - Sep 21

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
Mon, Tue, Wed & Thurs, Jun 23 - Jun 26 (meets every day of the week!)
0 replies
jlacosta
May 1, 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
Vietnam TST #5
IMOStarter   2
N 5 minutes ago by cursed_tangent1434
Source: Vietnam TST 2022 P5
A fractional number $x$ is called pretty if it has finite expression in base$-b$ numeral system, $b$ is a positive integer in $[2;2022]$. Prove that there exists finite positive integers $n\geq 4$ that with every $m$ in $(\frac{2n}{3}; n)$ then there is at least one pretty number between $\frac{m}{n-m}$ and $\frac{n-m}{m}$
2 replies
IMOStarter
Apr 27, 2022
cursed_tangent1434
5 minutes ago
official solution of IGO
ABCD1728   6
N 13 minutes ago by WLOGQED1729
Source: IGO official website
Where can I get the official solution of IGO for 2023 and 2024, there are some inhttps://imogeometry.blogspot.com/p/iranian-geometry-olympiad.html, but where can I find them on the official website, thanks :)
6 replies
+1 w
ABCD1728
May 4, 2025
WLOGQED1729
13 minutes ago
Squares consisting of digits 0, 4, 9
VicKmath7   4
N 19 minutes ago by NicoN9
Source: Bulgaria MO Regional round 2024, 9.3
A positive integer $n$ is called a $\textit{supersquare}$ if there exists a positive integer $m$, such that $10 \nmid m$ and the decimal representation of $n=m^2$ consists only of digits among $\{0, 4, 9\}$. Are there infinitely many $\textit{supersquares}$?
4 replies
VicKmath7
Feb 13, 2024
NicoN9
19 minutes ago
Combinatorial Sum
P162008   0
30 minutes ago
Source: ARML
Compute the greatest integer $k$ such that $2^k$ divides

$\sum_{0 \leq i < j \leq 2024} \left[\binom{2024}{i}\binom{2034}{j} - \binom{2024}{j}\binom{2034}{i}\right]^2$
0 replies
P162008
30 minutes ago
0 replies
(3x+y)(3y+z)(3z+x) \ge 64xyz if x,y,z>0
parmenides51   4
N 32 minutes ago by AylyGayypow009
Source: Greece JBMO TST 2015 p1
If $x,y,z>0$, prove that $(3x+y)(3y+z)(3z+x) \ge 64xyz$. When we have equality;
4 replies
parmenides51
Apr 29, 2019
AylyGayypow009
32 minutes ago
Need proof for greedy algorithm for array merging
avighnac   1
N 33 minutes ago by avighnac
Source: Baltic Olympiad in Informatics 2025: Day 2, Problem 2
I'm working on the following problem:

[size=150]Problem[/size]
You have an array of $n$ numbers $a_1, \dots, a_n$. You repeatedly merge two adjacent numbers $x$ and $y$ into a single number $\max(x,y)+1$, until only one number remains. Find the minimum final value that can be obtained.

Note: $a_i \ge 0$, and $a_i \in \mathbb{Z}^+_0$. So each $a_i$ is a non-negative integer.

[size=150]Greedy algorithm[/size]
I need help proving (or disproving) the following greedy algorithm: at each step merge $a_i$ with $a_{i+1}$ such that $\max(a_i, a_{i+1})+1$ is minimized across all choices of $i \in [1, n)$. In case of ties, choose the _smallest_ $i$.

I understand how to rephrase any merge sequence as a complete binary tree of depth $d_i$ at leaf $i$, and show that the final root value equals

$$\max_{1\le i \le n} a_i+d_i$$

Note that this also means the answer has to be $\le M+\log_2(n)$, where $M$ is the maximum value in the array.

However, I'm struggling to make the exchange argument fully rigourous. In particular, after swapping the first merge of an assumed-optimal strategy with the greedy-first merge, the resulting multiset of intermediate values changes. How do I argue that "continuing the same tree shape" on this new multiset still yields a no-worse maximum $a_i+d_i$, since it changes?

I’ve posted this on Math Stack Exchange but haven't received any feedback yet. It seems that the focus there is more on formal proofs and textbook-style problems. I think AoPS might be a better place for more creative and exploratory questions like this. If you have any ideas, please let me know!
1 reply
avighnac
34 minutes ago
avighnac
33 minutes ago
Really fun geometry problem
Sadigly   6
N 43 minutes ago by farhad.fritl
Source: Azerbaijan Senior MO 2025 P6
In an acute triangle $ABC$ with $AB<AC$, the foot of altitudes from $A,B,C$ to the sides $BC,CA,AB$ are $D,E,F$, respectively. $H$ is the orthocenter. $M$ is the midpoint of segment $BC$. Lines $MH$ and $EF$ intersect at $K$. Let the tangents drawn to circumcircle $(ABC)$ from $B$ and $C$ intersect at $T$. Prove that $T;D;K$ are colinear
6 replies
+1 w
Sadigly
Yesterday at 4:29 PM
farhad.fritl
43 minutes ago
the epitome of olympiad nt
youlost_thegame_1434   31
N an hour ago by MR.1
Source: 2023 IMO Shortlist N3
For positive integers $n$ and $k \geq 2$, define $E_k(n)$ as the greatest exponent $r$ such that $k^r$ divides $n!$. Prove that there are infinitely many $n$ such that $E_{10}(n) > E_9(n)$ and infinitely many $m$ such that $E_{10}(m) < E_9(m)$.
31 replies
youlost_thegame_1434
Jul 17, 2024
MR.1
an hour ago
help!!!!!!!!!!!!
Cobedangiu   6
N an hour ago by MathsII-enjoy
help
6 replies
Cobedangiu
Mar 23, 2025
MathsII-enjoy
an hour ago
Number Theory
VicKmath7   4
N an hour ago by AylyGayypow009
Source: Archimedes Junior 2014
Let $p$ prime and $m$ a positive integer. Determine all pairs $( p,m)$ satisfying the equation: $ p(p+m)+p=(m+1)^3$
4 replies
VicKmath7
Mar 17, 2020
AylyGayypow009
an hour ago
JBMO Shortlist 2023 A4
Orestis_Lignos   6
N an hour ago by MR.1
Source: JBMO Shortlist 2023, A4
Let $a,b,c,d$ be positive real numbers with $abcd=1$. Prove that

$$\sqrt{\frac{a}{b+c+d^2+a^3}}+\sqrt{\frac{b}{c+d+a^2+b^3}}+\sqrt{\frac{c}{d+a+b^2+c^3}}+\sqrt{\frac{d}{a+b+c^2+d^3}} \leq 2$$
6 replies
Orestis_Lignos
Jun 28, 2024
MR.1
an hour ago
60 posts!(and a question )
kjhgyuio   1
N 2 hours ago by Pal702004
Finally 60 posts :D
1 reply
kjhgyuio
2 hours ago
Pal702004
2 hours ago
|a^2-b^2-2abc|<2c implies abc EVEN!
tom-nowy   1
N 2 hours ago by Tkn
Source: Own
Prove that if integers $a, b$ and $c$ satisfy $\left| a^2-b^2-2abc \right| <2c $, then $abc$ is an even number.
1 reply
tom-nowy
May 3, 2025
Tkn
2 hours ago
Tricky inequality
Orestis_Lignos   28
N 2 hours ago by MR.1
Source: JBMO 2023 Problem 2
Prove that for all non-negative real numbers $x,y,z$, not all equal to $0$, the following inequality holds

$\displaystyle \dfrac{2x^2-x+y+z}{x+y^2+z^2}+\dfrac{2y^2+x-y+z}{x^2+y+z^2}+\dfrac{2z^2+x+y-z}{x^2+y^2+z}\geq 3.$

Determine all the triples $(x,y,z)$ for which the equality holds.

Milan Mitreski, Serbia
28 replies
1 viewing
Orestis_Lignos
Jun 26, 2023
MR.1
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
4223 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
1324 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
795 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