Summer and Fall classes are open for enrollment. Schedule today!

G
Topic
First Poster
Last Poster
k a June Highlights and 2025 AoPS Online Class Information
jlacosta   0
Jun 2, 2025
Congratulations to all the mathletes who competed at National MATHCOUNTS! If you missed the exciting Countdown Round, you can watch the video at this link. Are you interested in training for MATHCOUNTS or AMC 10 contests? How would you like to train for these math competitions in half the time? We have accelerated sections which meet twice per week instead of once starting on July 8th (7:30pm ET). These sections fill quickly so enroll today!

[list][*]MATHCOUNTS/AMC 8 Basics
[*]MATHCOUNTS/AMC 8 Advanced
[*]AMC 10 Problem Series[/list]
For those interested in Olympiad level training in math, computer science, physics, and chemistry, be sure to enroll in our WOOT courses before August 19th to take advantage of early bird pricing!

Summer camps are starting this 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 a transformative 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][*]June 5th, Thursday, 7:30pm ET: Open Discussion with Ben Kornell and Andrew Sutherland, Art of Problem Solving's incoming CEO Ben Kornell and CPO Andrew Sutherland host an Ask Me Anything-style chat. Come ask your questions and get to know our incoming CEO & CPO!
[*]June 9th, Monday, 7:30pm ET, Game Jam: Operation Shuffle!, Come join us to play our second round of Operation Shuffle! If you enjoy number sense, logic, and a healthy dose of luck, this is the game for you. No specific math background is required; all are welcome.[/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, Jun 15 - Oct 12
Monday, Jun 30 - Oct 20
Wednesday, Jul 16 - Oct 29
Sunday, Aug 17 - Dec 14
Tuesday, Aug 26 - Dec 16
Friday, Sep 5 - Jan 16
Monday, Sep 8 - Jan 12
Tuesday, Sep 16 - Jan 20 (4:30 - 5:45 pm ET/1:30 - 2:45 pm PT)
Sunday, Sep 21 - Jan 25
Thursday, Sep 25 - Jan 29
Wednesday, Oct 22 - Feb 25
Tuesday, Nov 4 - Mar 10
Friday, Dec 12 - Apr 10

Prealgebra 2 Self-Paced

Prealgebra 2
Monday, Jun 2 - Sep 22
Sunday, Jun 29 - Oct 26
Friday, Jul 25 - Nov 21
Sunday, Aug 17 - Dec 14
Tuesday, Sep 9 - Jan 13
Thursday, Sep 25 - Jan 29
Sunday, Oct 19 - Feb 22
Monday, Oct 27 - Mar 2
Wednesday, Nov 12 - Mar 18

Introduction to Algebra A Self-Paced

Introduction to Algebra A
Sunday, Jun 15 - Oct 12
Thursday, Jun 26 - Oct 9
Tuesday, Jul 15 - Oct 28
Sunday, Aug 17 - Dec 14
Wednesday, Aug 27 - Dec 17
Friday, Sep 5 - Jan 16
Thursday, Sep 11 - Jan 15
Sunday, Sep 28 - Feb 1
Monday, Oct 6 - Feb 9
Tuesday, Oct 21 - Feb 24
Sunday, Nov 9 - Mar 15
Friday, Dec 5 - Apr 3

Introduction to Counting & Probability Self-Paced

Introduction to Counting & Probability
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
Wednesday, Jul 2 - Sep 17
Sunday, Jul 27 - Oct 19
Monday, Aug 11 - Nov 3
Wednesday, Sep 3 - Nov 19
Sunday, Sep 21 - Dec 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Friday, Oct 3 - Jan 16
Tuesday, Nov 4 - Feb 10
Sunday, Dec 7 - Mar 8

Introduction to Number Theory
Monday, Jun 9 - Aug 25
Sunday, Jun 15 - Sep 14
Tuesday, Jul 15 - Sep 30
Wednesday, Aug 13 - Oct 29
Friday, Sep 12 - Dec 12
Sunday, Oct 26 - Feb 1
Monday, Dec 1 - Mar 2

Introduction to Algebra B Self-Paced

Introduction to Algebra B
Wednesday, Jun 4 - Sep 17
Sunday, Jun 22 - Oct 19
Friday, Jul 18 - Nov 14
Thursday, Aug 7 - Nov 20
Monday, Aug 18 - Dec 15
Sunday, Sep 7 - Jan 11
Thursday, Sep 11 - Jan 15
Wednesday, Sep 24 - Jan 28
Sunday, Oct 26 - Mar 1
Tuesday, Nov 4 - Mar 10
Monday, Dec 1 - Mar 30

Introduction to Geometry
Monday, Jun 16 - Dec 8
Friday, Jun 20 - Jan 9
Sunday, Jun 29 - Jan 11
Monday, Jul 14 - Jan 19
Wednesday, Aug 13 - Feb 11
Tuesday, Aug 26 - Feb 24
Sunday, Sep 7 - Mar 8
Thursday, Sep 11 - Mar 12
Wednesday, Sep 24 - Mar 25
Sunday, Oct 26 - Apr 26
Monday, Nov 3 - May 4
Friday, Dec 5 - May 29

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
Friday, Aug 8 - Feb 20
Tuesday, Aug 26 - Feb 24
Sunday, Sep 28 - Mar 29
Wednesday, Oct 8 - Mar 8
Sunday, Nov 16 - May 17
Thursday, Dec 11 - Jun 4

Intermediate Counting & Probability
Sunday, Jun 22 - Nov 2
Sunday, Sep 28 - Feb 15
Tuesday, Nov 4 - Mar 24

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

Precalculus
Sunday, Jun 1 - Nov 9
Monday, Jun 30 - Dec 8
Wednesday, Aug 6 - Jan 21
Tuesday, Sep 9 - Feb 24
Sunday, Sep 21 - Mar 8
Monday, Oct 20 - Apr 6
Sunday, Dec 14 - May 31

Advanced: Grades 9-12

Olympiad Geometry
Tuesday, Jun 10 - Aug 26

Calculus
Wednesday, Jun 25 - Dec 17
Sunday, Sep 7 - Mar 15
Wednesday, Sep 24 - Apr 1
Friday, Nov 14 - May 22

Group Theory
Thursday, Jun 12 - Sep 11

Contest Preparation: Grades 6-12

MATHCOUNTS/AMC 8 Basics
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!)
Sunday, Aug 17 - Nov 9
Wednesday, Sep 3 - Nov 19
Tuesday, Sep 16 - Dec 9
Sunday, Sep 21 - Dec 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Monday, Oct 6 - Jan 12
Thursday, Oct 16 - Jan 22
Tues, Thurs & Sun, Dec 9 - Jan 18 (meets three times a week!)

MATHCOUNTS/AMC 8 Advanced
Wednesday, Jun 11 - Aug 27
Sunday, Jun 22 - Sep 21
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)
Sunday, Aug 17 - Nov 9
Tuesday, Aug 26 - Nov 11
Thursday, Sep 4 - Nov 20
Friday, Sep 12 - Dec 12
Monday, Sep 15 - Dec 8
Sunday, Oct 5 - Jan 11
Tues, Thurs & Sun, Dec 2 - Jan 11 (meets three times a week!)
Mon, Wed & Fri, Dec 8 - Jan 16 (meets three times a week!)

AMC 10 Problem Series
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!)
Sunday, Aug 10 - Nov 2
Thursday, Aug 14 - Oct 30
Tuesday, Aug 19 - Nov 4
Mon & Wed, Sep 15 - Oct 22 (meets twice a week!)
Mon, Wed & Fri, Oct 6 - Nov 3 (meets three times a week!)
Tue, Thurs & Sun, Oct 7 - Nov 2 (meets three times a week!)

AMC 10 Final Fives
Monday, Jun 30 - Jul 21
Friday, Aug 15 - Sep 12
Sunday, Sep 7 - Sep 28
Tuesday, Sep 9 - Sep 30
Monday, Sep 22 - Oct 13
Sunday, Sep 28 - Oct 19 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Wednesday, Oct 8 - Oct 29
Thursday, Oct 9 - Oct 30

AMC 12 Problem Series
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
Wednesday, Aug 6 - Oct 22
Sunday, Aug 10 - Nov 2
Monday, Aug 18 - Nov 10
Mon & Wed, Sep 15 - Oct 22 (meets twice a week!)
Tues, Thurs & Sun, Oct 7 - Nov 2 (meets three times a week!)

AMC 12 Final Fives
Thursday, Sep 4 - Sep 25
Sunday, Sep 28 - Oct 19
Tuesday, Oct 7 - Oct 28

AIME Problem Series A
Thursday, Oct 23 - Jan 29

AIME Problem Series B
Sunday, Jun 22 - Sep 21
Tuesday, Sep 2 - Nov 18

F=ma Problem Series
Wednesday, Jun 11 - Aug 27
Tuesday, Sep 16 - Dec 9
Friday, Oct 17 - Jan 30

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
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
Thursday, Aug 14 - Oct 30
Sunday, Sep 7 - Nov 23
Tuesday, Dec 2 - Mar 3

Intermediate Programming with Python
Sunday, Jun 1 - Aug 24
Monday, Jun 30 - Sep 22
Friday, Oct 3 - Jan 16

USACO Bronze Problem Series
Sunday, Jun 22 - Sep 1
Wednesday, Sep 3 - Dec 3
Thursday, Oct 30 - Feb 5
Tuesday, Dec 2 - Mar 3

Physics

Introduction to Physics
Sunday, Jun 15 - Sep 14
Monday, Jun 23 - Sep 15
Tuesday, Sep 2 - Nov 18
Sunday, Oct 5 - Jan 11
Wednesday, Dec 10 - Mar 11

Physics 1: Mechanics
Monday, Jun 23 - Dec 15
Sunday, Sep 21 - Mar 22
Sunday, Oct 26 - Apr 26

Relativity
Mon, Tue, Wed & Thurs, Jun 23 - Jun 26 (meets every day of the week!)
0 replies
jlacosta
Jun 2, 2025
0 replies
A problem
Mockhuynh2501   4
N 2 minutes ago by sqing
Let $a, b, c$ be the non-negative numbers such that: $a^2+b^2+c^2=1$. Prove that:
$1 \leq \frac{a}{1+bc}+\frac{b}{1+ca}+\frac{c}{1+ab} \leq \sqrt{2}$
4 replies
Mockhuynh2501
Feb 3, 2020
sqing
2 minutes ago
Trig Summation
MathLearner01   3
N 6 minutes ago by jeff10
Source: 2017 Spring Berkeley Math Tournament Individual Problem 30
Evaluate $\sum_{k=0}^{15} 2^{560}(-1)^k \cos^{560}\left(\frac{k\pi}{16}\right)\mod 17$

Last time this was posted on HSM no one responded with a solution. I am curious to see one.
3 replies
MathLearner01
Aug 24, 2017
jeff10
6 minutes ago
Looks scary
steven_zhang123   2
N 39 minutes ago by starchan
Let \(\triangle ABC\) be an arbitrary non-degenerate triangle (non-isosceles), with orthocenter \(H\), circumcenter \(O\), and centroid \(G\). Let \(\mathcal{K}\) denote the Kiepert hyperbola. Define a sequence of points \(\{P_n\}\) as follows:
- Initial point \(P_0 = H\).
- Iteration rule: for \(n \geq 0\),
\[
  P_{n+1} = \text{Ref}_{\ell_{(n \mod 3)}}(P_n)
  \]where the reflection axes \(\ell_k\) are cyclically selected as:
\[
  \ell_0 = BC, \quad \ell_1 = \text{line } AO, \quad \ell_2 = \text{line } AH
  \]Let \(\mathcal{S}_m = \{P_0, P_1, \dots, P_{3^m - 1}\}\) be the set of the first \(3^m\) points, and let \(Q_m\) be the geometric centroid of \(\mathcal{S}_m\) (i.e., the coordinate average).
Prove that: As \(m \to \infty\), the sequence \(Q_m\) converges to the Kosnita point \(K\) of \(\triangle ABC\), and \(K\) is the intersection point of the Kiepert hyperbola \(\mathcal{K}\) and the Brocard axis.
2 replies
steven_zhang123
Yesterday at 1:34 PM
starchan
39 minutes ago
Finding the number of triples with small sum
nAalniaOMliO   1
N an hour ago by zhihanpeng
Source: Belarusian-Iranian Friendly Competition 2025
Let $a_1,a_2,\ldots,a_{2026}$ be positive real numbers with the product $1$. Find the maximum possible number of triples $(i,j,k)$ such that $$1 \leq i<j<k \leq 2026 \quad\text{and}\quad a_i+a_j+a_k<3.$$
1 reply
nAalniaOMliO
Jun 14, 2025
zhihanpeng
an hour ago
No more topics!
HK bisect QS
lssl   24
N May 5, 2025 by LeYohan
Source: 1998 HK
In a concyclic quadrilateral $PQRS$,$\angle PSR=\frac{\pi}{2}$ , $H,K$ are perpendicular foot from $Q$ to sides $PR,RS$ , prove that $HK$ bisect segment$SQ$.
24 replies
lssl
Jan 5, 2012
LeYohan
May 5, 2025
HK bisect QS
G H J
Source: 1998 HK
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
lssl
240 posts
#1 • 2 Y
Y by jhu08, Adventure10
In a concyclic quadrilateral $PQRS$,$\angle PSR=\frac{\pi}{2}$ , $H,K$ are perpendicular foot from $Q$ to sides $PR,RS$ , prove that $HK$ bisect segment$SQ$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
SCP
1502 posts
#2 • 4 Y
Y by vsathiam, jhu08, Adventure10, Mango247
This question is trivial because $Q$ is on the circumscribed circle, $HK$ the simsonline and $S$ the orthocenter of $PRS$, so the Eulerline goes through this point and the wallace line through the midpoint.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Kenny_cz
56 posts
#3 • 4 Y
Y by vsathiam, jhu08, Adventure10, Mango247
SCP wrote:
This question is trivial because $Q$ is on the circumscribed circle, $HK$ the simsonline and $S$ the orthocenter of $PRS$, so the Eulerline goes through this point and the wallace line through the midpoint.

That's a bit confusing...

Let $K'$ be the projection of $Q$ to $SP$, then $K$, $K'$, and $H$ are collinear (Simson line of $Q$ wrt $\triangle PRS$). Now, we are done because $K'QKS$ is a rectangle and thus it's diagonals bisect each other.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
sayantanchakraborty
505 posts
#4 • 3 Y
Y by jhu08, Adventure10, Mango247
Let <PSQ=x.Then <PRQ=<HQP=x.Now points H,Q,P,K are concyclic (Why?) Thus <HKS=x.Thus HK=HS=HQ
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Ferid.---.
1008 posts
#5 • 3 Y
Y by jhu08, Adventure10, Mango247
Let $\triangle PSR$ -- $HK$ be a Simson line.
$\text{Lemma:}$Let $P\in(ABC),$ and $H$ be the orthocenter of this triangle,then Simson line bisect $HP.$
Then $\triangle PSR$ ---$S$be the orthocenter, and $Q\in(ABC).$ Then $HK$ bisect $QS.$
This post has been edited 4 times. Last edited by Ferid.---., Mar 22, 2017, 8:06 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Tumon2001
449 posts
#6 • 3 Y
Y by jhu08, Adventure10, Mango247
Let $KH\cap RS = L$. Since, $KH$ is a Simson line, so $QL\perp SR$. Thus, $LSKQ$ is a rectangle and the result follows.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Delray
348 posts
#7 • 3 Y
Y by jhu08, Adventure10, Mango247
On phone, so can't type might be kind of rushed. Let the foot of the altitude from $Q$ to $SR$ be $L$. Recognizing that $K$, $H$, and $L$ are collinear (Simpson Line) it suffices to show that $KL$ bisects $SQ$, which is trivial, since they are both diagonals of rectangle $KQLS$. $\square$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Delray
348 posts
#8 • 3 Y
Y by jhu08, Adventure10, Mango247
Kenny_cz wrote:
SCP wrote:
This question is trivial because $Q$ is on the circumscribed circle, $HK$ the simsonline and $S$ the orthocenter of $PRS$, so the Eulerline goes through this point and the wallace line through the midpoint.

That's a bit confusing...

Let $K'$ be the projection of $Q$ to $SP$, then $K$, $K'$, and $H$ are collinear (Simson line of $Q$ wrt $\triangle PRS$). Now, we are done because $K'QKS$ is a rectangle and thus it's diagonals bisect each other.

What's the Wallace Line?
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Dr_Vex
562 posts
#9 • 1 Y
Y by jhu08
@above it's other name of Simson's line.

Small contribution to problem:
Let $KH\cap QS =X$
By angle chasing we find that $PKHQ$ is cyclic. Then again by angle chasing prove that $\Delta XSK$ and $\Delta XKQ$ are isosceles and then 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.
PCChess
548 posts
#10 • 2 Y
Y by jhu08, Mango247
Since $QK$ and $QH$ are perpendiculars, dropping the perpendicular from $Q$ to $SR$ and calling the foot point $L$, we see that $K, H, L$ are collinear by the Simson Line Theorem. Since $\angle QKS=\angle KSL =\angle SLQ=90$, $QKSL$ is a rectangle, and since diagonals in a rectangle bisect each other, $HK$ bisects $SQ$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
nayersharar
42 posts
#11 • 4 Y
Y by jhu08, Mango247, Mango247, Mango247
Let $T\in SR$ such that $QT\perp SQ$ $\Longrightarrow$ by simpson line lemma $H,K,T$ are collinear.

Let $Z$ be a point one the same side of $TQ$ as $PR$ such that $TZ\parallel QS.$

Now, $\angle STZ=\angle TSQ=\angle QPR=\dfrac{\pi}{2}-\angle QRH=\angle HQR$

$\because QHTR$ is cyclic $\Longrightarrow \angle HQR=\angle HTR \Longrightarrow \angle STZ=\angle HQR =\angle HTR$

Let $P\infty$ be the point at infinity along $TZ$ and $QS$ and let $TH\cap QS=M$

Now,$\angle QTS=\dfrac{\pi}{2}$ and $\angle MTS=\angle ZTS$

$\therefore$ By a well known lemma $(Q,S;M,TZ\cap QS)=-1$ $\Longrightarrow (Q,S;M,P\infty)=-1$

$\therefore M$ is the midpoint of $QS$

$(A.W.D)$
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
IAmTheHazard
5003 posts
#12 • 4 Y
Y by centslordm, jhu08, Mango247, Mango247
EGMO lol
Let $\overline{HK}$ intersect $\overline{RS}$ at $T$. It is known that $\overline{QT} \perp \overline{RS}$. Thus $\angle QKS=\angle KST=\angle STQ=90^\circ$, hence $\angle TQK=90^\circ$ and $QKST$ is a rectangle. This implies that $\overline{QS}$ is bisected by $\overline{KT}$, which implies the desired result as $K,H,T$ 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
#13 • 2 Y
Y by jhu08, centslordm
Solution
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
554183
484 posts
#14
Y by
Lol wut
Consider $\triangle{RSP}$ and $Q$ lying on its circumcircle. It’s orthocenter is $S$. The result now follows directly as it is well known that $QS$ is bisected by the Simpson line ($HK$)
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
BVKRB-
322 posts
#15
Y by
Since $\triangle PSR$ is a right triangle we conclude that $S$ is the orthocenter of $\triangle PSR$
But the simson line $HK$ bisects the segment joining the orthocenter $S$ and the point $Q$ which finishes the proof $\blacksquare$
Prabh2005 wrote:
Lol wut
Consider $\triangle{RSP}$ and $Q$ lying on its circumcircle. It’s orthocenter is $S$. The result now follows directly as it is well known that $QS$ is bisected by the Simpson line ($HK$)
The typo was made on purpose right? :rotfl:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Taco12
1757 posts
#16
Y by
oops I solved this while on vacation (also this is really easy if you have even a small knowledge of simson lines).
Note that $KH$ is the simson line of $Q$ wrt $\triangle PSR$. Since $S$ is the orthocenter of $\triangle PSR$, by Simson Line Bisection (well-known result), we are done.
This post has been edited 1 time. Last edited by Taco12, Dec 26, 2021, 6:58 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Karencando
3 posts
#17
Y by
Do I need to prove the Simson Line Bisection result or is it fine to state without proof in contest?
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
th1nq3r
146 posts
#18
Y by
Solution to Hong Kong MO 1998/1
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
Y by
lol easy problem :P

Observations:

-By Thales, $PR$ is the diameter of $(SPQR)$.
-$HK$ is the Simson line of $Q$ wrt $\triangle PSR$.
-$S$ is the orthocenter of $\triangle PSR$.

Now we are done by EGMO Lemma 4.4 (which states "For a point $Q$ on the circumcircle of triangle $ABC$, the Simson line of $Q$ bisects $QH$.").
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
YaoAOPS
1560 posts
#20
Y by
Note that $HK$ is the simson line of $Q$ with respect to $\triangle PRS$. Since $S$ is the orthocenter of the triangle, the desired result follows.
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
peace09
5455 posts
#21
Y by
Lol
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
BestAOPS
707 posts
#22
Y by
Let $F$ be the foot of the perpendicular from $Q$ to $SR$. By Simson line, $K,H,F$ are collinear. Notice that $KQFS$ is a rectangle. Thus, the diagonals $FK$ and $QS$ bisect each other, which is 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.
bodannikolov
16 posts
#23
Y by
we can just use complex numbers (unit circle around pqrs obvi) let $p=1$ and $q=-1$ and let $m$ be defined as $(q+s)/2$ and $h$ is given by $\frac{1}{2}*(p+q+r-\frac{pr}{q})$ and $k$ as $\frac{1}{2}(s+p+q-\frac{sp}{q})$ or $h=\frac{1}{2}*(q+\frac{1}{q})$ and $k=\frac{1}{2}*(s+q+1-\frac{s}{q})$ plugging in collinearity formula we get $\frac{1-\frac{s}{q}}{1-\frac{q}{s}}=\frac{\frac{1}{q}-s}{q-\frac{1}{s}}$ or $\frac{s(q-s)}{q(s-q)}=\frac{1-\frac{s}{q}}{1-\frac{q}{s}}=\frac{\frac{1}{q}-s}{q-\frac{1}{s}}=\frac{(1-sq)*s}{(sq-1)*q}$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
iMqther_
68 posts
#25
Y by
Let $M=KH\cap SQ$, $L=KM\cap PS$ and $O$ the circumcenter of $\triangle SPQ$. Notice that $\angle QHR+\angle RKQ=180^{\circ} \implies HRKQ$ is cyclic therefore $\angle HRQ=\angle QKH$ but $\angle LSQ=\angle HKQ \implies \angle LSQ=LKQ$ so $LSQK$ is cyclic and consequently it's a rectangle so $QL$ is an altitude therefore $QL$ and $QO$ are isogonal conjugates which means $\angle PQL=\angle OQS$. Note that $\angle LQR=90^{\circ}-\angle LQP$ and since $\angle LQK=90^{\circ} \implies \angle KQR=\angle LQP$ then $\angle RQK=\angle KHR$ but $\angle RHK=\angle MHO \implies \angle MQO=\angle MHO \implies MHQO$ is cyclic therefore $\angle OMQ=\angle QHO=90^{\circ}$ . Finally since $\triangle OSQ$ is isosceles we have that $OM$ is the perpendicular bisector of $SQ$, finishing the proof.
Attachments:
This post has been edited 2 times. Last edited by iMqther_, Sep 11, 2024, 5:14 AM
Reason: Typo
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
LeYohan
82 posts
#26
Y by
We notice that $HK$ is the $Q-$simson line of $\triangle SPR$, so if we drop the $Z$ perpendicular foot from $Q$ to $SR$, we know that $H - K - Z$.
Since $\angle PSR = \angle QZS = 90 \implies QZ \parallel PS$. Additionally, $\angle QPS = \angle ZSP = 90 \implies PQ \parallel SR$.
This means that $PQZS$ is a rectangle, which is also a parallelogram, and the diagonals of a parallelogram bisect each other, implying the result. $\square$
Z K Y
N Quick Reply
G
H
=
a