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

G
Topic
First Poster
Last Poster
Common tangent to diameter circles
Stuttgarden   2
N an hour ago by Giant_PT
Source: Spain MO 2025 P2
The cyclic quadrilateral $ABCD$, inscribed in the circle $\Gamma$, satisfies $AB=BC$ and $CD=DA$, and $E$ is the intersection point of the diagonals $AC$ and $BD$. The circle with center $A$ and radius $AE$ intersects $\Gamma$ in two points $F$ and $G$. Prove that the line $FG$ is tangent to the circles with diameters $BE$ and $DE$.
2 replies
Stuttgarden
Mar 31, 2025
Giant_PT
an hour ago
Geometry
youochange   5
N an hour ago by lolsamo
m:}
Let $\triangle ABC$ be a triangle inscribed in a circle, where the tangents to the circle at points $B$ and $C$ intersect at the point $P$. Let $M$ be a point on the arc $AC$ (not containing $B$) such that $M \neq A$ and $M \neq C$. Let the lines $BC$ and $AM$ intersect at point $K$. Let $P'$ be the reflection of $P$ with respect to the line $AM$. The lines $AP'$ and $PM$ intersect at point $Q$, and $PM$ intersects the circumcircle of $\triangle ABC$ again at point $N$.

Prove that the point $Q$ lies on the circumcircle of $\triangle ANK$.
5 replies
youochange
Today at 11:27 AM
lolsamo
an hour ago
Something nice
KhuongTrang   25
N an hour ago by KhuongTrang
Source: own
Problem. Given $a,b,c$ be non-negative real numbers such that $ab+bc+ca=1.$ Prove that

$$\sqrt{a+1}+\sqrt{b+1}+\sqrt{c+1}\le 1+2\sqrt{a+b+c+abc}.$$
25 replies
KhuongTrang
Nov 1, 2023
KhuongTrang
an hour ago
Two Functional Inequalities
Mathdreams   6
N 2 hours ago by Assassino9931
Source: 2025 Nepal Mock TST Day 2 Problem 2
Determine all functions $f : \mathbb{R} \rightarrow \mathbb{R}$ such that $$f(x) \le x^3$$and $$f(x + y) \le f(x) + f(y) + 3xy(x + y)$$for any real numbers $x$ and $y$.

(Miroslav Marinov, Bulgaria)
6 replies
Mathdreams
Today at 1:34 PM
Assassino9931
2 hours ago
Pythagorean new journey
XAN4   2
N 2 hours ago by mathprodigy2011
Source: Inspired by sarjinius
The number $4$ is written on the blackboard. Every time, Carmela can erase the number $n$ on the black board and replace it with a new number $m$, if and only if $|n^2-m^2|$ is a perfect square. Prove or disprove that all positive integers $n\geq4$ can be written exactly once on the blackboard.
2 replies
XAN4
Today at 3:41 AM
mathprodigy2011
2 hours ago
sqrt(2) and sqrt(3) differ in at least 1000 digits
Stuttgarden   2
N 2 hours ago by straight
Source: Spain MO 2025 P3
We write the decimal expressions of $\sqrt{2}$ and $\sqrt{3}$ as \[\sqrt{2}=1.a_1a_2a_3\dots\quad\quad\sqrt{3}=1.b_1b_2b_3\dots\]where each $a_i$ or $b_i$ is a digit between 0 and 9. Prove that there exist at least 1000 values of $i$ between $1$ and $10^{1000}$ such that $a_i\neq b_i$.
2 replies
Stuttgarden
Mar 31, 2025
straight
2 hours ago
combinatorics and number theory beautiful problem
Medjl   2
N 2 hours ago by mathprodigy2011
Source: Netherlands TST for BxMo 2017 problem 4
A quadruple $(a; b; c; d)$ of positive integers with $a \leq b \leq c \leq d$ is called good if we can colour each integer red, blue, green or purple, in such a way that
$i$ of each $a$ consecutive integers at least one is coloured red;
$ii$ of each $b$ consecutive integers at least one is coloured blue;
$iii$ of each $c$ consecutive integers at least one is coloured green;
$iiii$ of each $d$ consecutive integers at least one is coloured purple.
Determine all good quadruples with $a = 2.$
2 replies
Medjl
Feb 1, 2018
mathprodigy2011
2 hours ago
Squence problem
AlephG_64   1
N 2 hours ago by RagvaloD
Source: 2025 Finals Portuguese Math Olympiad P1
Francisco wrote a sequence of numbers starting with $25$. From the fourth term of the sequence onwards, each term of the sequence is the average of the previous three. Given that the first six terms of the sequence are natural numbers and that the sixth number written was $8$, what is the fifth term of the sequence?
1 reply
AlephG_64
Yesterday at 1:19 PM
RagvaloD
2 hours ago
50 points in plane
pohoatza   12
N 2 hours ago by de-Kirschbaum
Source: JBMO 2007, Bulgaria, problem 3
Given are $50$ points in the plane, no three of them belonging to a same line. Each of these points is colored using one of four given colors. Prove that there is a color and at least $130$ scalene triangles with vertices of that color.
12 replies
pohoatza
Jun 28, 2007
de-Kirschbaum
2 hours ago
beautiful functional equation problem
Medjl   6
N 3 hours ago by Sadigly
Source: Netherlands TST for BxMO 2017 problem 2
Let define a function $f: \mathbb{N} \rightarrow \mathbb{Z}$ such that :
$i)$$f(p)=1$ for all prime numbers $p$.
$ii)$$f(xy)=xf(y)+yf(x)$ for all positive integers $x,y$
find the smallest $n \geq 2016$ such that $f(n)=n$
6 replies
Medjl
Feb 1, 2018
Sadigly
3 hours ago
Line Combining Fermat Point, Orthocenter, and Centroid
cooljoseph   0
3 hours ago
On triangle $ABC$, draw exterior equilateral triangles on sides $AB$ and $AC$ to obtain $ABC'$ and $ACB'$, respectively. Let $X$ be the intersection of the altitude through $B$ and the median through $C$. Let $Y$ be the intersection of the altitude through $A$ and line $CC'$. Let $Z$ be the intersection of the median through $A$ and the line $BB'$. Prove that $X$, $Y$, and $Z$ lie on a common line.

IMAGE
0 replies
cooljoseph
3 hours ago
0 replies
complete integral values
Medjl   2
N 3 hours ago by Sadigly
Source: Netherlands TST for BxMO 2017 problem 1
Let $n$ be an even positive integer. A sequence of $n$ real numbers is called complete if for every integer $m$ with $1 \leq  m \leq  n$ either the sum of the first $m$ terms of the sum or the sum of the last $m$ terms is integral. Determine
the minimum number of integers in a complete sequence of $n$ numbers.
2 replies
Medjl
Feb 1, 2018
Sadigly
3 hours ago
Orthocenter lies on circumcircle
whatshisbucket   88
N Feb 24, 2025 by SimplisticFormulas
Source: 2017 ELMO #2
Let $ABC$ be a triangle with orthocenter $H,$ and let $M$ be the midpoint of $\overline{BC}.$ Suppose that $P$ and $Q$ are distinct points on the circle with diameter $\overline{AH},$ different from $A,$ such that $M$ lies on line $PQ.$ Prove that the orthocenter of $\triangle APQ$ lies on the circumcircle of $\triangle ABC.$

Proposed by Michael Ren
88 replies
whatshisbucket
Jun 26, 2017
SimplisticFormulas
Feb 24, 2025
Orthocenter lies on circumcircle
G H J
Source: 2017 ELMO #2
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
whatshisbucket
975 posts
#1 • 13 Y
Y by doxuanlong15052000, Tumon2001, Davi-8191, Centralorbit, thczarif, amar_04, Piano_Man123, nima.sa, Adventure10, Mango247, Rounak_iitr, NO_SQUARES, eggymath
Let $ABC$ be a triangle with orthocenter $H,$ and let $M$ be the midpoint of $\overline{BC}.$ Suppose that $P$ and $Q$ are distinct points on the circle with diameter $\overline{AH},$ different from $A,$ such that $M$ lies on line $PQ.$ Prove that the orthocenter of $\triangle APQ$ lies on the circumcircle of $\triangle ABC.$

Proposed by Michael Ren
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
EulerMacaroni
851 posts
#2 • 27 Y
Y by whatshisbucket, rkm0959, MLMC, hwl0304, Submathematics, JNEW, BobaFett101, AlastorMoody, Centralorbit, thczarif, AntaraDey, khina, Piano_Man123, Smkh, salengend, Infinityfun, ike.chen, sabkx, puntre, nargesrafi, Adventure10, Mango247, GrantStar, PRMOisTheHardestExam, Funcshun840, Aryan-23, MS_asdfgzxcvb
What a beautiful problem!

Let $T$ be the center of $\odot(AH)$; since $H$ is the antipode of $A$ in $\odot(AH)$, notice that it is equivalent to showing that the midpoint of $PQ$ lies on the dilation of $\odot(ABC)$ at $H$ with ratio $\frac{1}{2}$, which is the nine-point circle. But this locus is just the projection of $T$ onto $PQ$, or the circle with diameter $\overline{TM}$, as desired.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
rmtf1111
698 posts
#3 • 7 Y
Y by yiwen, BobaFett101, Centralorbit, HolyMath, Adventure10, Mango247, PRMOisTheHardestExam
Let $E$ and $F$ be the projections of $B$ and $C$ on the opposite sides of $\triangle{ABC}$.Because $BFEC$ is cyclic with diameter $BC$, so respectively with circumcenter $M$ we have the following:
$$\angle{FEM} = \angle{FEC}-\angle{MEC}=\angle{A}+\angle{C}-\angle{C}=\angle{A}$$Respectively we have that $\angle{FEM}=\angle{MFE}=\angle{A}$ so $MF$ and $ME$ are tangent to $(AFE) \implies$ $(QP;FE)=-1$.
http://dl3.joxi.net/drive/2017/06/11/0019/0812/1270572/72/96e691ea7d.jpg
Inverting with pole $A$ and radius $\sqrt{AF\cdot AB}$(that sends $F$ to $B$, $E$ to $C$, $(ABC)$ to $EF$ and $(AEF)$ to $BC$) and using the fact that this inversion will preserve $(QP;FE)=-1$, the problem becomes the following:

Let $ABC$ be a triangle, let $F$ and $E$ be the projections of $B$ and $C$ on $ACB$ and $AB$ respectively. Let $Q$ and $P$ be on $BC$ such that $(QP;BC)=-1$, Let the perpendicular to $AQ$ at $Q$ meet $AP$ at $Y$ and let the perpendicular to $AP$ at $P$ meet $AQ$ at $X$. Prove that $EF$ passes through the Miquel point of $QXPY$.*
Let $XY\cap PQ=S$. Let $T=PX \cap QY$ and let $M$ be the Miquel point of quadrilateral $QXPY$. Because $QXPY$ is cyclic with diameter $XY$, and using the well-know fact that $M$ is the image of $S$ under inversion wrt $(XPYQ)$ and that $T-M-A$(which is also well-known, because $PXQY$ is cyclic), we have that $M=AT \cap XY$ and $YM$ is perpendicular to $AT$, so $\triangle{MQP}$ is the orthic triangle of $\triangle{TAY}$, so $A$ is the $Q$-excenter of $\triangle{MQP}$.Let $\omega$ be the $Q$-excircle of $\triangle{MQP}$.Let $D$,$K$,$L$ be the tangency point of $\omega$ with $QP$,$QM$ and $PM$ respectively.Let $H$ be the orthocenter of $ABC$. Let $F'$ be the reflection of $F$ over $AB$. Note that $BDFAF'$ is cyclic with diameter $AB$.
$$\angle{EDA}=\angle{EDH}=\angle{EBF}=\angle{EBF'}=\angle{F'DA} \implies$$$F'$, $E$ and $D$ are colinear, so after reflecting over $AB$ we have that $EF$ passes through $W$, where $W$ is a point of $\omega$ such that $W$ is different from $D$ and $BW$ is tangent to $\omega$. If we let $V$ be a point on $\omega$ such that $CV$ is tangent to $\omega$, repeating the same argument as above we have that $EF$ passes through $V$. Now inverting wrt $\omega$ we have that the image of $Q$ will be the midpoint of $KD$, the image of $B$ will be the midpoint of $WD$, the image of $P$ will be of $LD$ and the image of $C$ will be the midpoint of $DV$. Now let $Z`$ be the image of $Z$ under this very inversion. We have that $IQ`B`P`C`$ must be cyclic and that it also passes through $D`=D$ because $Q,B,P,D,C$ are colinear. But $-1=(QP,BC)=D(Q`P`,B`C`)=D(KL,WV) \implies WV$ passes through $M \implies EF$ passes through $M \blacksquare$
http://dl4.joxi.net/drive/2017/06/11/0019/0812/1270572/72/af19944ce4.jpg


* I did not preserve the name of points after inversion.

EDIT(1/7/2019): this solution is the most horrible thing I've ever done
This post has been edited 1 time. Last edited by rmtf1111, Jan 7, 2019, 8:46 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
EulerMacaroni
851 posts
#4 • 6 Y
Y by BobaFett101, lgkarras, ike.chen, sabkx, Adventure10, Mango247
^ what the actual overkill
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
anantmudgal09
1979 posts
#5 • 11 Y
Y by kk108, rkm0959, Mathuzb, thczarif, Kamran011, ILOVEMYFAMILY, Adventure10, Mango247, PRMOisTheHardestExam, Funcshun840, TheHimMan
ELMO 2017/2 wrote:
Let $ABC$ be a triangle with orthocenter $H,$ and let $M$ be the midpoint of $\overline{BC}.$ Suppose that $P$ and $Q$ are distinct points on the circle with diameter $\overline{AH},$ different from $A,$ such that $M$ lies on line $PQ.$ Prove that the orthocenter of $\triangle APQ$ lies on the circumcircle of $\triangle ABC.$

Proposed by Michael Ren

Let $\overline{BE}$ and $\overline{CF}$ be the altitudes in $\triangle ABC$. It is well-known that $\overline{ME}, \overline{MF}$ are tangent to $\odot(AH)$. Let $N, L$ be midpoints of $\overline{PQ}$ and $\overline{AH}$.

Claim: $N$ lies on the nine-point circle of $\triangle ABC$.

(Proof) Note that $\measuredangle LEM=\measuredangle LFM=\measuredangle LNM=90^{\circ}$ hence $N$ lies on $\odot(MEF)$ as desired. $\blacksquare$

Construct parallelogram $PHQT$; since $N$ lies on the nine-point circle, $T$ lies on the circumcircle of $\triangle ABC$. However, $T$ is the orthocenter of $\triangle APQ$, hence we conclude that the result holds. $\blacksquare$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
rkm0959
1721 posts
#6 • 6 Y
Y by kk108, anantmudgal09, AntaraDey, Adventure10, Mango247, PRMOisTheHardestExam
Here's a complex bash solution that (I think) works together with other solutions above.
I did not actually turned in this solution but I enjoyed it.

So set up usual coordinates - let $H'$ be the orthocenter of $APQ$ and we will use lowercase for the complex numbers.
Denote $N$ as the midpoint of $AH$.

Clearly, $h'=(a-n)+(p-n)+(q-n)+n = a+p+q-2n=p+q+a-(a+h) = p+q-h$.
So it suffices to prove $|p+q-h|=1$.

Now note $|p-n|=|q-n|=\frac{1}{2} |AH| = \frac{1}{2} |b+c|$.
Also, note that $p-\frac{b+c}{2}$ and $q-\frac{b+c}{2}$ are parallel vectors, since $P, Q, M$ are colinear.

Set $p'=p-\frac{b+c}{2}$ and $q'=q-\frac{b+c}{2}$. We now have $|p'-a|=|q'-a| = \frac{1}{2} |b+c|$ and $p', q'$ are parallel.
Now what we need to show is that $p+q-h=p'+q'-a$ has magnitude $1$.

Now we will completely look at this problem with vectors.

Take $O$ as the origin. Take a point $A$ with coordinate $a$, and draw a circle with radius $\frac{1}{2} |b+c|$.
Draw a line from $O$ and let it hit the circle at two points $P', Q'$.

We know that $p', q'$ are the coordinates for $P', Q'$. This is because $|p'-a|=|q'-a| = \frac{1}{2} |b+c|$ and $p', q'$ are parallel.

Now $p'+q'-a$ is just the reflection of $A$ wrt $P'Q'$, so $|p'+q'-a| =|a| = 1$, as desired.
This post has been edited 1 time. Last edited by rkm0959, Jun 26, 2017, 7:34 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
SAUDITYA
250 posts
#7 • 4 Y
Y by vjdjmathaddict, DashTheSup, Adventure10, Mango247
Let $Y$ and $X$ be the circumcenter of $\odot ABC$ and $\odot AH$.Let $H_1$ be the orthocenter of $\triangle APQ.$
Let $K$ be the midpoint of $PQ$ and $L$ be the reflection of $M$ across $K$

It's well known that $AYMX$ , $HPH_1Q$ and $YXHM$ are parallelogram.
(Basically the reflection of orthocenter across the midpoint of a side is the antipode of the other vertex)

Now,
See that $MH_1LH$ is a parallelogram !
$=>LH_1 \parallel HM => LH_1 \parallel XY$.Also $LH_1 = XY => LH_1YX$ is a parallelogram!
$=> H_1Y = LX =  MX = AY$.Done !
Motivation
Click to reveal hidden text
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
NHN
342 posts
#8 • 2 Y
Y by Adventure10, Mango247
antipode of $A$ in $\odot(ABC)$ is $O$, line through $A$ and perpendicular $PQ$ cut $(ABC),(AH)$ at $X,Y$ so $XO//YH$ so perpendicular bisector of $XY$ cut $HO$ at midpoint of $OH$ is $M$ so $M $ in perpendicular bisector of $XY$ so $P,Q$ in perpendicular bisector of $XY$ so $X$ is orthocenter of $APQ$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Ankoganit
3070 posts
#9 • 6 Y
Y by SAUDITYA, richrow12, like123, coldheart361, Adventure10, PRMOisTheHardestExam
[asy]size(7cm);
pair B=(0,0),A=(7,11),C=(10,0),H,M,P,Q,X,Y,Z;
H=orthocenter(A,B,C);M=(B+C)/2;X=(A+H)/2;
Q=X+(A-X)*dir(45);Y=foot(X,Q,M);P=2*Y-Q;
Z=orthocenter(A,P,Q);
draw(circumcircle(A,P,Q)^^circumcircle(Y,X,M)^^circumcircle(A,B,C),green);
D(MP("A",A,N)--MP("B",B,S)--MP("M",M,S)--MP("C",C,SE)--cycle);
D(MP("H",H,S)--MP("X",X,NE)--A--MP("Q",Q,W)--MP("Y",Y,SSW)--MP("P",P,W)--M,magenta);
D(X--Y,magenta);D(P--A--MP("Z",Z,S),magenta);
dot(A^^B^^C^^H^^M^^X^^Q^^Y^^P^^Z);
[/asy]

Let $X$ be the midpoint of $AH$ (and hence the circumcenter of $\odot(AH)$), $Y$ be the foot of perpendicular from $X$ to $PQ$, and $Z$ be the orthocenter of $APQ$. Also let $k$ be the circle with diameter $XM$, which is therefore the nine-point circle of $ABC$.

Let $f$ be the homothety centered at $H$ and ratio $2$; it sends $k\to\odot(ABC)$, and $X\to A$. Clearly $XY||AZ$ (both are $\perp$ to $PQ$), and $AZ=2\cdot XY$ by a well-known property of orthocenters. So $f$ sends $Y\to Z$. But $Y\in k$ since $\angle XYM=90^\circ$, so $Z=f(Y)\in f(k)=\odot(ABC)$, as desired. $\blacksquare$
This post has been edited 1 time. Last edited by Ankoganit, Jun 26, 2017, 8:08 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
SAUDITYA
250 posts
#10 • 2 Y
Y by Adventure10, Mango247
Here's another way to complex bash !
Let $Y$ and $X$ be the circumcenter of $\odot ABC$ and $\odot AH$.Let $H_1$ be the orthocenter of $\triangle APQ$
We will work in the complex plane and use the general notations.
Now,
Set $m = 0$.
It's well known that $AYMX$ and $HPH_1Q$ are parallelogram. (this is the main observation the rest is trivial !)
(Basically the reflection of orthocenter across the midpoint of a side is the antipode of the other vertex)

Now,
$a = x+y => y = a-x$
Also $H$ is the reflection of $A$ across $X$ so $h = 2x - a$
Now,
$h_1  = (p+q) - h => h_1 - y = (p+q) - (2x-a) -(a-x) = (p+q) -x$
It suffices to show that
$|h_1-y| = |a-y| => |(p+q) -x| = |x|$
As $M-P-Q$ are collinear $=> \frac{p}{\overline{p}} = \frac{q}{\overline{q}}$
So ,
Eq. of line $PQ$ is $ \overline{z} = kz$ for some constant $k(\neq 0)$. Also see that $|k| = 1$.
Eq. of circle $\odot AH$ is $|z -x| = |a-x| => |z|^2 - z\overline{x} - \overline{z}x + {|x|^2 - |a-x|^2} = 0$
Now,
See that the quadratic equation $kz^2 - z(\overline{x} + kx)+  {|x|^2 - |a-x|^2} = 0$ has roots $p,q$.
So,
$p+q = \frac{\overline{x}+ kx}{k} => (p+q)-x = \frac{\overline{x}}{k} =>|p+q-x| = \frac{|\overline{x}|}{|k|} = |x|$
Hence, proved
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
TheDarkPrince
3042 posts
#11 • 8 Y
Y by RMO17geek, Maths_Guy, AlgebraFC, lifeisgood03, RudraRockstar, sabkx, Adventure10, Mango247
Probably the worst solution:

Let $H'$ be the orthocenter of $\triangle APQ$. As $P, Q$ lie on the circle with diameter $AH$, $\angle APH = \angle AQH = 90^{\circ}$. So, $AP\perp PH$ and $AQ\perp QH$. As $H'$ is the orthocenter of $\triangle APQ$, $H'P \perp AQ$ and $H'Q \perp AP$.
$\Rightarrow PH' || HQ, QH'||HP$. So, $PH'QH$ is a parallelogram.

Now we apply coordinate bash.
Let $B=(-1,0), C = (1,0), A(a_1,a_2)$.
So $M=(0,0)$.

Coordinates of $H$: Slope of $AC = \frac{a_2}{a_1 - 1}$. As $AC\perp BH$, slope of $BH = \frac{1-a_1}{a_2}$.
Equation of $BH = y - 0 = (x-(-1))\left(\frac{1-a_1}{a_2}\right)$
or $y = (x+1)\left(\frac{1-a_1}{a_2}\right)$.

As $BC$ is parallel to the $x-axis$, $H$ has the same x-coordinate as that of $A$.
So, $$H = \left(a_1,\frac{1-a_1^2}{a_2}\right)$$.

Equation of circle with diameter $AH$: Let $O$ be the center of circle with diameter $AH$. As $O$ is the midpoint of $AH$, $O = \left(a_1, \frac{1-a_1^2+a_2^2}{2a_2}\right)$. Let $R = \frac{AH}{2}$.
So, equation of circle with diameter $AH$ is: $$(x-a_1)^2 + \left(y-\frac{1-a_1^2+a_2^2}{2a_2}\right)^2 = R^2$$.

Coordinates of $P, Q$: As $M$ is the origin, let the equation of line $PM$ be $y = mx$. So, let $$P = (p,mp), Q = (q,mq), \text{where} p\neq q$$Simplification of coordinates of $P, Q$ As $P, Q$ lie on the circle with diameter $AH$,

$(p-a_1)^2 + \left(mp-\frac{1-a_1^2+a_2^2}{2a_2}\right)^2 = R^2$

$(q-a_1)^2 + \left(mq - \frac{1-a_1^2 + a_2^2}{2a_2}\right)^2 = R^2$.

Subtracting these equations and using the identity $a^2 - b^2 = (a-b)(a+b)$,
$(p-q)(p+q-2a_1) + (p-q)\left(p+q - 2\left(\frac{1-a_1^2 + a_2^2}{2a_2}\right)\right) = 0$

As $p \neq q$ we get after simplifying, $$p+q = \frac{m(1-a_1^2+a_2^2)+2a_1a_2}{a_2(m^2+1)}$$Coordinates of $H'$: As $PH'QH$ is a parallelogram, $H' = \left(p+q - a_1,mp+mq - \frac{1-a_1^2}{a_2}\right)$.
Substituting the value for $p+q$ we get, $$H' = \left(\frac{m(1-a_1^2+a_2^2)+a_1a_2(1-m^2)}{a_2(m^2+1)}, \frac{m^2a_2^2+2ma_1a_2-1+a_1^2}{a_2(m^2+1)}\right)$$Equation of circumcircle of $ABC$: Let $O'$ be the center of circle $(ABC)$. As $M$ is on the y-axis and $BC||x-axis$, the x-coordinate of $O'$ is $0$. Let the y-coordinate of $O'$ be $y_1$. Let $B'$ be the midpoint of $AC$. So, $B' = \left(\frac{a_1+1}{2},\frac{a_2}{2}\right)$.
As $O'B'\perp AC$, the product of the slopes of the two lines is $-1$.
So, $\frac{\frac{a_2}{2}-y_1}{\frac{a_1+1}{2}} = -1$.
Solving for $y_1$ we get $y_1 = \frac{a_1^2 + a_2^2 - 1}{2a_2}$. So, $O'=\left(0,\frac{a_1^2+a_2^2-1}{2a_2}\right)$.

$(\text{Radius of} (ABC))^2 = OM^2 + MB^2 = \left(\frac{a_1^2+a_2^2-1}{2a_2}\right)^2 + 1 = \frac{(1+m^2)^2\cdot((a_1^2+a_2^2-1)^2+4a_2^2)}{(2a_2)^2(1+m^2)^2}$.

So equation of $(ABC)$ is $$x^2 + \left(y-\frac{a_2^2+a_1^2-1}{2a_2}\right)^2 = \frac{(1+m^2)^2\cdot((a_1^2+a_2^2-1)^2+4a_2^2)}{(2a_2)^2(1+m^2)^2}$$
Putting the coordinates of $H'$ in the equation of the circle:

We need to show:
$$x^2 + \left(y-\frac{a_2^2+a_1^2-1}{2a_2}\right)^2 = \left(\frac{2m(1-a_1^2+a_2^2)+2a_1a_2(1-m^2)}{2a_2(m^2+1)}\right)^2 + \left(\frac{(m^2-1)(a_2^2+1-a_1^2+4ma_1a_2}{2a_2(m^2+1)}\right)^2 = \frac{(1+m^2)^2\cdot((a_1^2+a_2^2-1)^2+4a_2^2)}{(2a_2)^2(1+m^2)^2}$$We cancel the denominators.

$$
LHS = (2m(1-a_1^2+a_2^2)+2a_1a_2(1-m^2))^2 + ((m^2-1)(a_2^2+1-a_1^2)+4ma_1a_2)^2 = 4m^2(1-a_1^2 + a_2^2)^2 + 4a_1^2a_2^2(1-m^2)^2 + 8ma_1a_2(1-a_1^2+a_2^2)(1-m^2) + (m^2-1)^2(a_2^+1-a_1^2)^2 + 16m^2a_1^2a_2^2+8ma_1a_2(a_2^2+1-a_1^2)(m^2-1)
$$Simplifying and taking similar terms together we get,
$$LHS = (m^2+1)^2((1-a_1^2+a_2^2)^2+4a_1^2a_2^2) = (m^2+1)^2((a_1^2+a_2^2-1)^2+4a_2^2) = (\text{Radius of (ABC)})^2$$So, $H'$ lies on $(ABC)$.

Proved
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
tarzanjunior
849 posts
#13 • 3 Y
Y by tiwarianurag021999, Adventure10, Mango247
Problem 2:
Let $H_1$ be the orthocenter of triangle $APQ$ , $N$ be the midpoint of $PQ$ and $R$ be the midpoint of $AH$
$PQ$ is the simson's line of point $H$. So, $MH$ = $MH_1$.
Since the reflection orthocenter in midpoint of side lies on the circumcircle of the triangle, $H_1NH$ is a straight line.
$\angle RNP = \angle RNM = 90$. So, $M$ lies on the nine-point circle of triangle $ABC$. Now, consider homothety taking nine-point circle to the circumcircle of $\triangle ABC$, $N$ is taken to $H_1$ as desired.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
FabrizioFelen
241 posts
#14 • 3 Y
Y by AlastorMoody, Adventure10, Mango247
Let $O$ the circumcenter of $\triangle ABC$, let $N$ the midpoint of $AH$, let $H'$ the orthocenter of $\triangle APQ$, let $M'$ the midpoint of $PQ$ and let $N'$ the midpoint of $AH'$, so from $H'M'=M'H$ and $H'N'=N'A$ we get $M'N'$ is the midline of $\triangle AH'H$. $$\Longrightarrow 2M'N'=HA=2OM$$So from $OM\parallel AH\parallel M'N'$ we get $OMN'M'$ is a paralellogram $\Longrightarrow$ $ON'\parallel MM'$, but $MM'\perp AH'$ $\Longrightarrow$ $ON'\perp AH'$ in $N'$, hence $OH'=OA$ $\Longrightarrow$ $H'\in \odot (ABC)$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
v_Enhance
6871 posts
#15 • 14 Y
Y by anantmudgal09, liekkas, AlastorMoody, MeowX2, Smkh, v4913, ike.chen, Jalil_Huseynov, sabkx, Adventure10, Mango247, Rounak_iitr, Ritwin, Funcshun840
Here are the various official solutions provided by the organizers:

First solution (Michael Ren): Let $R$ be the intersection of $(AH)$ and $(ABC)$, and let $D$, $E$, and $F$ respectively be the orthocenter of $APQ$, the foot of the altitude from $A$ to $PQ$, and the reflection of $D$ across $E$. Note that $F$ lies on $(AH)$ and $E$ lies on $(AM)$. Let $S$ and $H'$ be the intersection of $AH$ with $BC$ and $(ABC)$ respectively. Note that $R$ is the center of spiral similarity taking $DEF$ to $H'SH$, so $D$ lies on $(ABC)$, as desired.

Second solution (Vincent Huang, Evan Chen): Let $DEF$ be the orthic triangle of $ABC$. Let $N$ and $S$ be the midpoints of $PQ$ and $AH$. Then $\overline{MS}$ is the diameter of the nine-point circle, so since $\overline{SN}$ is the perpendicular bisector of $\overline{PQ}$ the point $N$ lies on the nine-point circle too. Now the orthocenter of $\triangle APQ$ is the reflection of $H$ across $N$, hence lies on the circumcircle (homothety of ratio $2$ takes the nine-point circle to $(ABC)$).

Third solution (Zack Chroman): Let $R$ be the midpoint of $PQ$, and $X$ the point such that $(M,X;P,Q)=-1$. Take $E$ and $F$ to be the feet of the $B,C$ altitudes. Recall that $ME,MF$ are tangents to the circle $(AH)$, so $EF$ is the polar of $M$.

Then note that $MP \cdot MQ=MX \cdot MR=ME^2$. Then, since $X$ is on the polar of $M$, $R$ lies on the nine-point circle --- the inverse of that polar at $M$ with power $ME^2$. Then by dilation the orthocenter $2 \vec R - \vec H$ lies on the circumcircle of $ABC$.

Fourth solution (Zack Chroman): We will prove the following more general claim which implies the problem:

Claim: For a circle $\gamma$ with a given point $A$ and variable point $B$, consider a fixed point $X$ not on $\gamma$. Let $C$ be the second intersection of $XB$ and $\gamma$, then the locus of the orthocenter of $ABC$ is a circle

Proof. Complex numbers is straightforward, but suppose we want a more synthetic solution. Let $D$ be the midpoint of $BC$. If $O$ is the center of the circle, $\angle OMX=90$, so $M$ lies on the circle $(OX)$. Then \[ H=4O-A-B-C=4O-A-2D. \]So $H$ lies on another circle. (Here we can use complex numbers, vectors, coordinates, whatever; alternatively we can use the same trick as above and say that $H$ is the reflection of a fixed point over $D$). $\blacksquare$

Fifth solution (Kevin Ren): Let $O$ be the midpoint of $AH$ and $N$ be the midpoint of $PQ$. Let $K$ be the orthocenter of $APQ$.

Because $AP \perp KQ$ and $KP \perp HP$, we have $KQ \parallel PH$. Similarly, $KP \parallel QH$. Thus, $KPHQ$ is a parallelogram, which means $KH$ and $PQ$ share the same midpoint $N$.

Since $N$ is the midpoint of chord $PQ$, we have $\angle ONM = 90^\circ$. Hence $N$ lies on the 9-point circle. Take a homothety from $H$ mapping $N$ to $K$. This homothety maps the 9-point circle to the circumcircle, so $K$ lies on the circumcircle.
This post has been edited 1 time. Last edited by v_Enhance, Jun 26, 2017, 8:30 PM
Reason: delete extra comment
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
v_Enhance
6871 posts
#16 • 9 Y
Y by tiwarianurag021999, Mathuzb, yunseo, omriya200, itslumi, v4913, sabkx, Adventure10, Mango247
Oops, one more I remembered just now:

Sixth solution (Evan Chen, complex numbers): We use complex numbers with $(AHEF)$ the unit circle, centered at $N$. Let $a$, $e$, $f$ denote the coordinates of $A$, $E$, $F$, and hence $h = -a$. Since $M$ is the pole of $\overline{EF}$, we have $m = \frac{2ef}{e+f}$. Now, the circumcenter $O$ of $\triangle ABC$ is given by $o = \frac{2ef}{e+f} + a$, due to the fact that $ANMO$ is a parallelogram.

The unit complex numbers $p$ and $q$ are now known to satisfy \[ p + q = \frac{2ef}{e+f} + \frac{2pq}{e+f} \]so \[ (a + p + q) - o = \frac{2pq}{e+f} \qquad \text{and}\qquad  	a - o = \frac{2ef}{e+f} \]which clearly have the same magnitude. Hence the orthocenter of $\triangle APQ$ and $A$ are equidistant from $O$.
Z K Y
G
H
=
a