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
Brilliant guessing game on triples
Assassino9931   2
N a minute ago by Mirjalol
Source: Al-Khwarizmi Junior International Olympiad 2025 P8
There are $100$ cards on a table, flipped face down. Madina knows that on each card a single number is written and that the numbers are different integers from $1$ to $100$. In a move, Madina is allowed to choose any $3$ cards, and she is told a number that is written on one of the chosen cards, but not which specific card it is on. After several moves, Madina must determine the written numbers on as many cards as possible. What is the maximum number of cards Madina can ensure to determine?

Shubin Yakov, Russia
2 replies
Assassino9931
Saturday at 9:46 AM
Mirjalol
a minute ago
ISI UGB 2025 P5
SomeonecoolLovesMaths   4
N 26 minutes ago by Shiny_zubat
Source: ISI UGB 2025 P5
Let $a,b,c$ be nonzero real numbers such that $a+b+c \neq 0$. Assume that $$\frac{1}{a} + \frac{1}{b} + \frac{1}{c} = \frac{1}{a+b+c}$$Show that for any odd integer $k$, $$\frac{1}{a^k} + \frac{1}{b^k} + \frac{1}{c^k} = \frac{1}{a^k+b^k+c^k}.$$
4 replies
SomeonecoolLovesMaths
Yesterday at 11:15 AM
Shiny_zubat
26 minutes ago
ISI UGB 2025 P2
SomeonecoolLovesMaths   6
N 27 minutes ago by quasar_lord
Source: ISI UGB 2025 P2
If the interior angles of a triangle $ABC$ satisfy the equality, $$\sin ^2 A + \sin ^2 B + \sin^2  C = 2 \left( \cos ^2 A + \cos ^2 B + \cos ^2 C \right),$$prove that the triangle must have a right angle.
6 replies
SomeonecoolLovesMaths
Yesterday at 11:16 AM
quasar_lord
27 minutes ago
ISI UGB 2025 P6
SomeonecoolLovesMaths   3
N 29 minutes ago by Shiny_zubat
Source: ISI UGB 2025 P6
Let $\mathbb{N}$ denote the set of natural numbers, and let $\left( a_i, b_i \right)$, $1 \leq i \leq 9$, be nine distinct tuples in $\mathbb{N} \times \mathbb{N}$. Show that there are three distinct elements in the set $\{ 2^{a_i} 3^{b_i} \colon 1 \leq i \leq 9 \}$ whose product is a perfect cube.
3 replies
SomeonecoolLovesMaths
Yesterday at 11:18 AM
Shiny_zubat
29 minutes ago
Square number
linkxink0603   5
N 5 hours ago by linkxink0603
Find m is positive interger such that m^4+3^m is square number
5 replies
linkxink0603
May 9, 2025
linkxink0603
5 hours ago
Functions
Entrepreneur   5
N Today at 12:33 AM by RandomMathGuy500
Let $f(x)$ be a polynomial with integer coefficients such that $f(0)=2020$ and $f(a)=2021$ for some integer $a$. Prove that there exists no integer $b$ such that $f(b) = 2022$.
5 replies
Entrepreneur
Aug 18, 2023
RandomMathGuy500
Today at 12:33 AM
Logarithmic function
jonny   2
N Yesterday at 11:09 PM by KSH31415
If $\log_{6}(15) = a$ and $\log_{12}(18)=b,$ Then $\log_{25}(24)$ in terms of $a$ and $b$
2 replies
jonny
Jul 15, 2016
KSH31415
Yesterday at 11:09 PM
book/resource recommendations
walterboro   0
Yesterday at 8:57 PM
hi guys, does anyone have book recs (or other resources) for like aime+ level alg, nt, geo, comb? i want to learn a lot of theory in depth
also does anyone know how otis or woot is like from experience?
0 replies
walterboro
Yesterday at 8:57 PM
0 replies
Engineers Induction FTW
RP3.1415   11
N Yesterday at 6:53 PM by Markas
Define a sequence as $a_1=x$ for some real number $x$ and \[ a_n=na_{n-1}+(n-1)(n!(n-1)!-1) \]for integers $n \geq 2$. Given that $a_{2021} =(2021!+1)^2 +2020!$, and given that $x=\dfrac{p}{q}$, where $p$ and $q$ are positive integers whose greatest common divisor is $1$, compute $p+q.$
11 replies
RP3.1415
Apr 26, 2021
Markas
Yesterday at 6:53 PM
Incircle concurrency
niwobin   0
Yesterday at 4:28 PM
Triangle ABC with incenter I, incircle is tangent to BC, AC, and AB at D, E and F respectively.
DT is a diameter for the incircle, and AT meets the incircle again at point H.
Let DH and EF intersect at point J. Prove: AJ//BC.
0 replies
niwobin
Yesterday at 4:28 PM
0 replies
Weird locus problem
Sedro   1
N Yesterday at 4:20 PM by sami1618
Points $A$ and $B$ are in the coordinate plane such that $AB=2$. Let $\mathcal{H}$ denote the locus of all points $P$ in the coordinate plane satisfying $PA\cdot PB=2$, and let $M$ be the midpoint of $AB$. Points $X$ and $Y$ are on $\mathcal{H}$ such that $\angle XMY = 45^\circ$ and $MX\cdot MY=\sqrt{2}$. The value of $MX^4 + MY^4$ can be expressed in the form $\tfrac{m}{n}$, where $m$ and $n$ are relatively prime positive integers. Find $m+n$.
1 reply
Sedro
Yesterday at 3:12 AM
sami1618
Yesterday at 4:20 PM
Inequalities
sqing   4
N Yesterday at 3:35 PM by sqing
Let $ a,b,c\geq 0 , (a+8)(b+c)=9.$ Prove that
$$\frac{1}{a+1}+\frac{1}{b+1}+\frac{1}{c+1}\geq  \frac{38}{23}$$Let $ a,b,c\geq 0 , (a+2)(b+c)=3.$ Prove that
$$\frac{1}{a+1}+\frac{1}{b+1}+\frac{1}{c+1}\geq  \frac{2(2\sqrt{3}+1)}{5}$$
4 replies
sqing
Saturday at 12:50 PM
sqing
Yesterday at 3:35 PM
Find the range of 'f'
agirlhasnoname   1
N Yesterday at 2:46 PM by Mathzeus1024
Consider the triangle with vertices (1,2), (-5,-1) and (3,-2). Let Δ denote the region enclosed by the above triangle. Consider the function f:Δ-->R defined by f(x,y)= |10x - 3y|. Then the range of f is in the interval:
A)[0,36]
B)[0,47]
C)[4,47]
D)36,47]
1 reply
agirlhasnoname
May 14, 2021
Mathzeus1024
Yesterday at 2:46 PM
Function equation
hoangdinhnhatlqdqt   1
N Yesterday at 1:52 PM by Mathzeus1024
Find all functions $f:\mathbb{R}\geq 0\rightarrow \mathbb{R}\geq 0$ satisfying:
$f(f(x)-x)=2x\forall x\geq 0$
1 reply
hoangdinhnhatlqdqt
Dec 17, 2017
Mathzeus1024
Yesterday at 1:52 PM
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
5001 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
1541 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
5419 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_
64 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
45 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