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
Wednesday at 3:18 PM
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
Wednesday at 3:18 PM
0 replies
D1010 : How it is possible ?
Dattier   15
N 2 minutes ago by maxal
Source: les dattes à Dattier
Is it true that$$\forall n \in \mathbb N^*, (24^n \times B \mod A) \mod 2 = 0 $$?

A=1728400904217815186787639216753921417860004366580219212750904
024377969478249664644267971025952530803647043121025959018172048
336953969062151534282052863307398281681465366665810775710867856
720572225880311472925624694183944650261079955759251769111321319
421445397848518597584590900951222557860592579005088853698315463
815905425095325508106272375728975

B=2275643401548081847207782760491442295266487354750527085289354
965376765188468052271190172787064418854789322484305145310707614
546573398182642923893780527037224143380886260467760991228567577
953725945090125797351518670892779468968705801340068681556238850
340398780828104506916965606659768601942798676554332768254089685
307970609932846902
15 replies
1 viewing
Dattier
Mar 10, 2025
maxal
2 minutes ago
Problem 2
blug   0
2 minutes ago
Source: Polish Math Olympiad 2025 Finals P2
Positive integers $k, m, n ,p $ integers are such that $p=2^{2^n}+1$ is prime and $p\mid 2^k-m$. Prove that there exists a positive integer $l$ such that $p^2\mid 2^l-m$.
0 replies
blug
2 minutes ago
0 replies
Problem 1
blug   0
4 minutes ago
Source: Polish Math Olympiad 2025 Finals P1
Find all $(a, b, c, d)\in \mathbb{R}$ satisfying
\[\begin{aligned}
\begin{cases}
    a+b+c+d=0,\\
    a^2+b^2+c^2+d^2=12,\\
    abcd=-3.\\
\end{cases}
\end{aligned}\]
0 replies
+1 w
blug
4 minutes ago
0 replies
Product of first m primes
joybangla   5
N 18 minutes ago by Erratum
Source: European Mathematical Cup 2013, Junior Division, P1
For $m\in \mathbb{N}$ define $m?$ be the product of first $m$ primes. Determine if there exists positive integers $m,n$ with the following property :
\[ m?=n(n+1)(n+2)(n+3) \]

Proposed by Matko Ljulj
5 replies
joybangla
Jul 3, 2014
Erratum
18 minutes ago
No more topics!
P,Q,B are collinear
MNJ2357   27
N Oct 26, 2024 by Ianis
Source: 2020 Korea National Olympiad P2
$H$ is the orthocenter of an acute triangle $ABC$, and let $M$ be the midpoint of $BC$. Suppose $(AH)$ meets $AB$ and $AC$ at $D,E$ respectively. $AH$ meets $DE$ at $P$, and the line through $H$ perpendicular to $AH$ meets $DM$ at $Q$. Prove that $P,Q,B$ are collinear.
27 replies
MNJ2357
Nov 21, 2020
Ianis
Oct 26, 2024
P,Q,B are collinear
G H J
G H BBookmark kLocked kLocked NReply
Source: 2020 Korea National Olympiad P2
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MNJ2357
644 posts
#1 • 7 Y
Y by Congruentisogonal44, chrono223, mathematicsy, centslordm, MathLuis, itslumi, Rounak_iitr
$H$ is the orthocenter of an acute triangle $ABC$, and let $M$ be the midpoint of $BC$. Suppose $(AH)$ meets $AB$ and $AC$ at $D,E$ respectively. $AH$ meets $DE$ at $P$, and the line through $H$ perpendicular to $AH$ meets $DM$ at $Q$. Prove that $P,Q,B$ are collinear.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
jacoporizzo
615 posts
#2 • 4 Y
Y by jbala, centslordm, Mango247, Efesc128e968
Since $\angle{ADH}=\angle{AEH}=90$, $E,D$ are the feet of the $B, C$ altitudes. Additionally, it is well known that $MD, ME$ are tangents to $(AH)$. Then as the center of $(AH)$ lies on $AH$, $Q=DD \cap HH$, and Pascal's on $DDAHHE$ gives the desired collinearity.
This post has been edited 1 time. Last edited by jacoporizzo, Nov 21, 2020, 7:13 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Kamran011
678 posts
#3 • 1 Y
Y by centslordm
Here goes my solution , notice some super well known facts such as $D,E$ being feet of the altitudes and $MD$ being tangent to $(AH)$ at $D$.
Then just to make the finish different than the previous solution , observe that by La Hire $Q\in{BP}\hspace{3 mm}\textbf{Q.E.D.}$
This post has been edited 2 times. Last edited by Kamran011, Aug 23, 2021, 4:57 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
RodwayWorker
40 posts
#4 • 2 Y
Y by centslordm, hodu
2020 Korea National Olympiad P2 wrote:
$H$ is the orthocenter of an acute triangle $ABC$, and let $M$ be the midpoint of $BC$. Suppose $(AH)$ meets $AB$ and $AC$ at $D,E$ respectively. $AH$ meets $DE$ at $P$, and the line through $H$ perpendicular to $AH$ meets $DM$ at $Q$. Prove that $P,Q,B$ are collinear.

Great problem! Though trivialized by projective geometry. This is extremely detailed solution.
2020 Korea National Olympiad P2 Solution

2020 Korea National Olympiad P2 Alternate Solution

RIP to my Polars bash.
This post has been edited 4 times. Last edited by RodwayWorker, Nov 21, 2020, 7:53 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Pluto04
797 posts
#6 • 1 Y
Y by centslordm
MNJ2357 wrote:
$H$ is the orthocenter of an acute triangle $ABC$, and let $M$ be the midpoint of $BC$. Suppose $(AH)$ meets $AB$ and $AC$ at $D,E$ respectively. $AH$ meets $DE$ at $P$, and the line through $H$ perpendicular to $AH$ meets $DM$ at $Q$. Prove that $P,Q,B$ are collinear.

Solution similar to above few solutions.

By three tangents lemma , $MD$ and $ME$ are tangent to $(ADHE)$ and by pascal's theorem on $DDAHHE$ we get $P,Q,B$ are collinear.
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Flash_Sloth
230 posts
#7 • 3 Y
Y by Anthraquinone, RodwayWorker, centslordm
The orthocenter $H$ is unnecessary. The problem can be generalized as follows:
Generalization: Let $D,E$ be arbitrary points on $AB$ and $AC$. Let $H = CD \cap BE$, $P=AH \cap DE$. The line through $H$ parallel to $BC$ meets $DM$ at $Q$. Prove that $P,Q,B$ are collinear.

One line Proof:Click to reveal hidden text
This post has been edited 4 times. Last edited by Flash_Sloth, Nov 22, 2020, 3:50 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
unknownpi
13 posts
#8 • 2 Y
Y by centslordm, Mango247
any solution for people who do not know about pascal's theorem or la hire's theorem?
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
bopappu
23 posts
#9 • 1 Y
Y by centslordm
Tragic Problem.

All poles and polars will be taken wrt $(AH)$. By Brokard on $ADHE$ we see that $BP$ is the polar of $C$, and since $C \in DH$ is the polar of $Q$, by La Hire $Q$ lies on the polar of $C$, hence $B, Q, P$ collinear as desired.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
A.L.E.X
133 posts
#10 • 1 Y
Y by centslordm
R.I.P
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Spacesam
597 posts
#11 • 1 Y
Y by centslordm
Let $\omega$ be the circle through $(ADEH)$. Recall that $M \in \overline{DD}$ by Three Tangents lemma. As a result, $Q = \overline{DD} \cap \overline{HH}$. Now, Pascal's on $DDAHHE$ gives us $Q$, $B = \overline{DA} \cap \overline{HE}$, and $P = \overline{AH} \cap \overline{DE}$ are collinear, as desired.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MathLuis
1471 posts
#12 • 1 Y
Y by centslordm
MNJ2357 wrote:
$H$ is the orthocenter of an acute triangle $ABC$, and let $M$ be the midpoint of $BC$. Suppose $(AH)$ meets $AB$ and $AC$ at $D,E$ respectively. $AH$ meets $DE$ at $P$, and the line through $H$ perpendicular to $AH$ meets $DM$ at $Q$. Prove that $P,Q,B$ are collinear.

Even if is a bit known, is cute :3. (Love projections :3). It is know that $D,E$ are feets of altitude.
We will take polars w.r.t. $(AH)$
Let $BP \cap DH=S$ and $BP \cap AE=T$ and let $CP \cap EH=U$ and $CP \cap AD=V$
$$(D, S; H, C) \overset{B}{=} (A, T; E, C) \overset{P}{=} (H, S; D, C) \implies -1=(D, S; H, C) \overset{B}{=} (A, T; E, C) \implies B \in \mathcal P_P$$$$(E, U; H, B) \overset{C}{=} (A, V; D, B) \overset{P}{=} (H, U; E, B) \implies -1=(E, U: H, B) \overset{C}{=} (A, V; D, B) \implies C \in \mathcal P_P$$And both of them implies that $\mathcal P_P=BC$. We also have:
$$-1=(D, S; H, C) \overset{B}{=} (A, T; E, C) \implies T \in \mathcal P_C$$$$-1=(E, U; H, B) \overset{C}{=} (A, V; D, B) \implies V \in \mathcal P_B$$But otherside by the first ratio chasing $P \in \mathcal P_B$ and $P \in \mathcal P_C$ and then $\mathcal P_B=PV$ and $\mathcal P_C=PT$
We know that $\mathcal P_Q=DH$ and $\mathcal P_P=BC$. So proving that $B,P,Q$ are colinear is equivalent to prove that its polars are concurrent but:
$\mathcal P_B \cap \mathcal P_Q \cap \mathcal P_P=VC \cap DH \cap BC=C$
Thus we are done :blush:
This post has been edited 1 time. Last edited by MathLuis, May 30, 2021, 1:28 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
bora_olmez
277 posts
#13
Y by
Same as #9 - posting for storage.

Notice that both $QH$ and $QD$ are tangent to the circle with diameter $AH$, then $DH$ is the polar of $Q$ with respect to the aforementioned circle which contains $C$ and consequently by La Hire, we get that the polar of $C$ which by Brokard is $BP$ and contains $Q$, as desired. $\blacksquare$
This post has been edited 2 times. Last edited by bora_olmez, Aug 22, 2021, 8:46 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
rafaello
1079 posts
#14
Y by
Bruh, absolutely trivial.

Note that $QH,QD$ are tangent to $(AH)$ by trivial angle chase.
Hence, by Pascal's theorem on $DDEHHA$, we get that $P,Q,B$ are collinear.
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
#15 • 1 Y
Y by centslordm
We present two solutions, the second written on 6/6/23 in Korea.

Solution One: Three Tangents Lemma and Pascal. $\square$

Solution Two: Let $Q'=\overline{BP}\cap\ell$ where $\ell$ is the line through $H$ perpendicular to $\overline{AH}$. Then, letting $M'=\overline{BC}\cap\overline{DQ}$, it suffices to show $M'=M$. Indeed, letting $P_{\infty}$ be the point at infinity along $\ell$, we have \[(B,C;M,P_{\infty})\stackrel{Q}=(\overline{BP}\cap\overline{CD},C;D,H)\stackrel{P}=(B,\overline{AB}\cap\overline{CP};D,A)=-1\]$\square$
This post has been edited 2 times. Last edited by Mogmog8, Jun 6, 2023, 12:49 PM
Reason: added second solution
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
primesarespecial
364 posts
#16
Y by
Bruh,
$MD$ is tangent to $(MH)$.
Now $Q$ is pole of $DH$,and it lies on $PB$ ,the polar of $C$ by Brocard.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Albert123
204 posts
#17
Y by
Note that in $\triangle PBC$ : $P \equiv c ; B \equiv c$
By chasing angles: $MD ; ME$ are tangents to $(AH)$
$\implies GD ; GH$ are tangents to $(AH)$
$\implies G \equiv c$
$\implies P,Q,B$ are collinear.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Rexaria112
48 posts
#18 • 1 Y
Y by Om245
One linear solution
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ismayilzadei1387
219 posts
#19
Y by
very easy :D $D-H-C$ and $E-H-B$ are obvious
$MD$ and $ME$ are tangent to $(ADHE)$
Thus Pascal yields $DDAHHED$ and we are done
This post has been edited 1 time. Last edited by ismayilzadei1387, Dec 12, 2023, 12:19 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
john0512
4176 posts
#20 • 1 Y
Y by Creeper1612
oops.

Rename $D$ to $F$ for the rest of this solution since this problem has strange naming conventions. Furthermore, let $D$ then be the foot from $A$ to $BC$. Employ barycentric coodinates with reference triangle $\triangle DEF$, and let $EF=a,DF=b,DE=c$.

Our strategy will be to let $Q'$ denote the intersection of $BP$ and $MF$, and show that $HQ'$ is parallel to $BC$, which would solve the problem.

Note that $$A=(-a:b:c),B=(a:-b:c),C=(a:b:-c).$$We will first compute $M$. Multiply $B$ by $a+b-c$ and $C$ by $a-b+c$ to make them the same sum to get $$B=(a^2+ab-ac:-ab-b^2+bc:ac+bc-c^2)$$and $$C=(a^2-ab+ac:ab-b^2+bc:-ac+bc-c^2).$$Averaging these (this is allowed now since $B$ and $C$ have the same sum) gives $$M=(a^2:-b^2+bc:-c^2+bc).$$For now, we also know that $\overrightarrow{BC}$ is a scalar multiple of $$B-C=(2ab-2ac:-2ab:2ac)$$so it is also a multiple of $$(b-c:-b:c),$$which we will use later.

Then, cevian $MF$ is described by $$(a^2:-b^2+bc:t).$$We can find that the equation of line $BP$ is $$2bcx+acy-abz=0,$$so if $Q'=(a^2:-b^2+bc:t)$ then we can solve to get $$t=2ac-bc+c^2,$$which means that $$Q'=(a^2:-b^2+bc:2ac-bc+c^2).$$The sum of this is $$a^2+2ac+c^2-b^2=(a+c)^2-b^2=(a+b+c)(a-b+c),$$so we multiply $H=(a:b:c)$ by $a-b+c$ to get $$H=(a^2-ab+ac:ab-b^2+bc:ac-bc+c^2),$$so $\overrightarrow{Q'H}$ is a scalar multiple of $$Q'-H=(ab-ac:-ab:ac)$$so it is also a multiple of $$(b-c:-b:c).$$Since this is also true of $\overrightarrow{BC}$, they are parallel, so we are done.
This post has been edited 1 time. Last edited by john0512, Dec 14, 2023, 11:38 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
cursed_tangent1434
565 posts
#21 • 1 Y
Y by GeoKing
First of all, it is well known that $D$ and $E$ are the feet of the altitudes from $C$ and $B$ respectively. Further, let $F= \overline{AH} \cap \overline{BC}$ and $H' = \overline{HM} \cap (AH)$. Also, let $R= \overline{BE} \cap \overline{DM}$.

We observe that $QH$ is tangent to $(AH)$ (since the center of $(AH)$ lies on the segment $AH$). It is well known that $MD$ and $ME$ are tangent to $(AH)$. Thus,
\[-1 = (DE;HH') \overset{H}{=}(DR;QM)\]
Now, let $X_C = \overline{EF} \cap \overline{AB}$ and $Q'= \overline{BP} \cap \overline{DM}$. Then,
\[-1=(AH;PF) \overset{B}{=}(DR;Q'M)\]
But this means that $Q'=Q$ and indeed $B-Q-P$ as desired.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
lelouchvigeo
175 posts
#22
Y by
Has anybody done it by trig bash?
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
dolphinday
1318 posts
#23
Y by
By the Three Tangents Lemma, $ME$, $MD$ are both tangents to $(ADHE)$. Then $HQ$ is also a tangent since $\angle QHA = \angle HEA$. So Pascal's on $DDAHHE$ finishes.
This post has been edited 1 time. Last edited by dolphinday, Mar 18, 2024, 1:32 AM
Reason: wrong pascal
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
GrantStar
815 posts
#24
Y by
cute

I claim that the three points lie on the polar of $B$ with respect to $(AH)$ under renamed points. This is since
  • $B$ is the pole on line $AC$ by Brokard
  • Since $MF$ and the line through $A$ parallel to $BC$ are tangents to $(AH)$, we find $Q$ is the pole of line $AFB$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Aiden-1089
277 posts
#25
Y by
Note that $D$ and $E$ are feet of the altitudes from $B$ and $C$ respectively. It is well-known that QH and MD are tangent to $(AEHF)$.
Pascal on $DDAHHE$ yields 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.
Mrcuberoot
26 posts
#26 • 1 Y
Y by Hamzaachak
Let $T=AB \cap HQ$



Since $HT$ is parallel to $BC$

$\triangle DQT \sim \triangle DMB \implies \frac{DQ}{DM}=\frac{QT}{MB}$

And $\triangle DHQ \sim \triangle DCM \implies \frac{DQ}{DM}=\frac{HQ}{MC}$

Hence $\frac{HQ}{MC}=\frac{QT}{MB}$ and since $M$ is the midpoint of $BC$ we get $HQ=QT$ $\star$

Denote $\angle CAB=\alpha$ $\angle ABC =\beta$ and $\angle ACB=\gamma$

By Law of sine In triangle $PHD$ we get $\frac{\sin(\angle PDH)}{PH}=\frac{\sin(\angle HPD)}{HD}$

It is well Known that $EDBC$ is cyclic hence $\angle PEC=180-\beta$

Thus

$180-\angle HPD =\angle EPH =360-(\angle PEC + \gamma +90 )= 360-(180-\beta +90+\gamma)$

$=90+\beta -\gamma$

Thus $\sin(\angle HPD)=\sin(90+\beta-\gamma)$

And also we have $90-\gamma=\angle EBC =\angle EDC=\angle PDH$ so

$\sin(\angle PDH)=\sin(90-\gamma)=\cos(\gamma)$


Hence $PH=\frac{HD\cos(\gamma)}{\sin(90+\beta+\gamma)}$

Similarly in triangle $APD$ by law of sine we get

$\frac{\sin(\angle APD)}{AD}=\frac{\sin(\angle ADP)}{PA}$

And we have that $\angle APD =\angle EPH=90+\beta-\gamma$ (got it before)

And also by cyclic quad $EDBC$ $\gamma =\angle EDA=\angle PDA$

Hence $PA=\frac{AD\sin(\gamma)}{\sin(90+\beta-\gamma)}$



$\frac{PH}{PA}=\frac{HD\cot(\gamma)}{AD}$ and since $\frac{HD}{AD}=\cot(\beta)$ we get $\frac{PH}{PA}=\cot(\beta)\cot(\gamma)$ $\star$




We know that $BT=AB-AT$

In right Triangle $AHT$ $\frac{AH}{AT}=\sin(\angle ATH)=\sin(\beta)$

hence $AT=\frac{AH}{\sin(\beta)}$

So $\frac{BT}{BA}=1-\frac{AH}{AB\sin(\beta)}$

And by Law of sine in triangle $AHB$

$\frac{\sin(\angle HBA)}{AH}=\frac{\sin(AHB)}{AB} \implies \frac{AH}{AB}=\frac{\sin(\angle HBA)}{\sin(AHB)}$

by angle chasing we get that $\angle AHB =180-\gamma$ and $\angle HBA=90-\alpha$

Hence $\frac{AH}{AB}=\frac{\cos(\alpha)}{\sin(\gamma)}$

So $\frac{BT}{BA}=1-\frac{\cos(\alpha)}{\sin(\beta)\sin(\gamma)}$

$=\frac{\sin(\beta)\sin(\gamma)-cos(180-(\beta+\gamma))}{\sin(\beta)\sin(\gamma)}$

$=\frac{\sin(\beta)\sin(\gamma)+cos(\beta)\cos(\gamma)-\sin(\beta)\sin(\gamma)}{\sin(\beta)\sin(\gamma)}$

$=\cot(\beta)\cot(\gamma)$

Thus $\frac{BA}{BT}=\tan(\beta)\tan(\gamma)$ $\star$



Finally Using the 3 $\star$


By Menelaus Theorem

$\frac{PH}{PA}$×$\frac{BA}{BT}$×$\frac{QT}{QH}$$=\cot(\beta)\cot(\gamma)$×$\tan(\beta)\tan(\gamma)$×$\frac{QT}{QT}=1$ $\iff$ $P,Q,B$ collinear
This post has been edited 3 times. Last edited by Mrcuberoot, Jun 24, 2024, 8:15 PM
Reason: .
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Maths_Girl
24 posts
#27
Y by
Cute yet easy, here is a solution that doesn't involve projective geo:

Let $O_1$ be the midpoint of $AH$ and let $E$, $D$ be the feet of the altitudes from $B, C$ respectively. Define $Q'$ to be the intersection of $BP$ with the line through $O_1$, parallel to $AB$ and let $R'$ be the intersection of $PC$ with the line through $O_1$, parallel to $AC$ (in other words, let $Q', R'$ be the images of $B, C$ of a homothety centered at $P$ that sends $A$ to $O_1$. It is well-known (and follows directly from PoP) that $\frac{PO_1}{PA} = \frac{PH}{PH_a}$, so $H_a$ is sent to $H$ with this homothety. Hence $Q',R',H$ are collinear and $Q'R'\perp AH_a$ and $Q'R'\parallel BC$. Note that by trivial angle-chase $\angle O_1DH = \beta = \angle ABC = \angle O_1Q'R'$, so $DO_1HQ'$ is cyclic, so $\angle Q'DO_1 = 90^{\circ}$. However, as mentioned in pervious posts and also by angle-chase, $\angle MDO_1 = 90^{\circ}$, so $D, Q', M$ are collinear, hence $Q'\equiv Q$. $\square$
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
#28
Y by
By Brokard's, we see that $PB$ is the polar of $C$ with respect to $(AH)$ so if $Q$ lies on this, La Hire's Implies that $C$ lies on the polar of $Q$. Now it is well known that $MD$ is tangent to $(AH)$ and obviously $QH$ is tangent to $(AH)$ so this implies that $Q$ is pole of $DH$ or that $DH$ is polar of $Q$ but $C$ obviously lies on $DH$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Ianis
400 posts
#29
Y by
Let $F=AH\cap BC$, $G=DM\cap BH$ and $Q'=BP\cap DM$. Then\begin{align*}\{G,D;M,Q\} & \underset{H}{=}\{B,C;M,\infty \} \\
& =-1 \\
& =\{H,A;F,P\} \\
& \underset{B}{=}\{G,D;M,Q'\},
\end{align*}so $Q=Q'$, and therefore $P,Q,B$ are collinear.
Z K Y
N Quick Reply
G
H
=
a