Let $AH_A$ and $BH_B$ be the altitudes of a triangle $ABC$. The line $H_AH_B$ meets the circumcircle of $ABC$ at points $P$ and $Q$. Let $A'$ be the reflection of $A$ about $BC$, and $B'$ be the reflection of $B$ about $CA$. Prove that $A',B', P,Q$ are concyclic.
Problem
Source: Sharygin 2023 - P16 (Grade-9-11)
Tags: geometry, reflection, altitudes, Sharygin Geometry Olympiad, Sharygin 2023
04.03.2023 07:03
Let $M$ and $N$ be the reflections of $H$ over $H_B$ and $H_A$ respectively. Using Orthocentre-reflection and PoP, $A'H_A\cdot HH_A=AH_A\cdot H_AN=QH_A\cdot H_AP\implies A'\in (PQH)$ $B'H_B\cdot HH_B=BH_B\cdot H_BM=QH_B\cdot H_BP\implies B'\in (PQH)$ Therefore, $A', B', P, Q$ are concyclic.
04.03.2023 09:05
Let $H$ denote the orthocenter of $\triangle ABC$. $H',H''$ denote the reflection of $H$ over $BC,AC$ respectively. It is well known that $H',H''\in\odot(ABC)$. Now $B'$ being the reflection of $B$ over $H_B$, we have $$H_BB'\cdot H_BH=H_BB\cdot H_BH''=\operatorname{Pow}_{\odot ABC}(H_B)=H_BP\cdot H_BQ\implies B'PHQ\text{ is cyclic.}$$ Also, $A'$ being the reflection of $A$ over $H_A$, we have $$H_AA'\cdot H_AH=H_AA\cdot H_AH'=\operatorname{Pow}_{\odot ABC}(H_A)=H_AP\cdot H_AQ\implies A'QHP\text{ is cyclic.}$$ So from $A'QHP$ and $B'QHP$ cyclic, we get $A'B'QHP$ is cyclic and we are done.