Problem3

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

41 posts

#1 h Jul 10, 2015, 7:53 AM • 17 Y

Y by sydneymark, Davi-8191, Wizard_32, microsoft_office_word, Flow25, itslumi, somlogan, Abidabi, megarnie, HWenslawski, son7, tiendung2006, Toinfinity, Adventure10, Mango247, Rounak_iitr, Funcshun840

Let $ABC$ be an acute triangle with $AB > AC$ . Let $\Gamma$ be its circumcircle, $H$ its orthocenter, and $F$ the foot of the altitude from $A$ . Let $M$ be the midpoint of $BC$ . Let $Q$ be the point on $\Gamma$ such that $\angle HQA = 90^{\circ}$ and let $K$ be the point on $\Gamma$ such that $\angle HKQ = 90^{\circ}$ . Assume that the points $A$ , $B$ , $C$ , $K$ and $Q$ are all different and lie on $\Gamma$ in this order.

Prove that the circumcircles of triangles $KQH$ and $FKM$ are tangent to each other.

Proposed by Ukraine

This post has been edited 7 times. Last edited by djmathman, Feb 14, 2020, 4:21 AM
Reason: typo after 4.5 years!

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

TelvCohl

2312 posts

TelvCohl

#3 h Jul 10, 2015, 8:21 AM • 38 Y

Y by mssmath, anantmudgal09, AdithyaBhaskar, MariusStanean, utkarshgupta, Abubakir, CeuAzul, reveryu, DreamComeTrue, PeppaBear, Tawan, naw.ngs, samoha, Avlon, enhanced, Abbas11235, Limerent, tree_3, OlympusHero, amar_04, myh2910, PIartist, megarnie, SSaad, hakN, Assassino9931, Derpy_Creeper, Jalil_Huseynov, nguyenducmanh2705, Toinfinity, David-Vieta, OronSH, Adventure10, EpicBird08, sabkx, Sedro, Funcshun840, MS_asdfgzxcvb

Let $\Psi$ be the inversion with center $H$ that fixed $\odot (ABC).$ Since $Q, H, M$ and the antipode of $A$ in $\odot (ABC)$ are collinear, so $\Psi(Q)$ is the antipode of $A$ in $\odot (ABC)$ and note that $MH=M\Psi(Q)$ we get $\Psi(M)$ is the reflection of $H$ in $Q.$ Clearly, $\Psi(K)$ is the antipode of $Q$ in $\odot (ABC)$ and $\Psi(F)$ is the reflection of $H$ in $A,$ so $AQ\Psi(Q) \Psi(K)$ is a rectangle and $A\Psi(K)$ is the perpendicular bisector of $\Psi(F)\Psi(M),$ hence $\Psi(Q)\Psi(K)$ is the tangent of $\odot (\Psi(F)\Psi(K)\Psi(M))$ $\equiv$ $\Psi(\odot (FKM)).$ I.e., $\odot (HQK)$ is tangent to $\odot (FKM).$ $\qquad \blacksquare$

This post has been edited 2 times. Last edited by TelvCohl, Aug 15, 2023, 9:23 AM

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

oneplusone

1459 posts

oneplusone

#4 h Jul 10, 2015, 9:08 AM • 50 Y

Y by buratinogigle, rkm0959, proglote, samyfinsher, BBeast, acegikmoqsuwy2000, shinichiman, toto1234567890, CatalinFetoiu, Vietnamisalwaysinmyheart, quangminhltv99, joshy0604, Garfield, utkarshgupta, baopbc, rterte, PRO2000, muffin_cowee, Ankoganit, reveryu, don2001, MathBoy2001, Lam.DL.01, Tawan, Anar24, samoha, qweDota, Adolmephus, thczarif, Supercali, sriraamster, Atpar, A-Thought-Of-God, Abbas11235, OlympusHero, myh2910, Mop2018, hakN, rayfish, Jalil_Huseynov, nguyenducmanh2705, kimyager, Adventure10, EpicBird08, Dansman2838, Gaunter_O_Dim_of_math, Math_legendno12, Sedro, Funcshun840, MS_asdfgzxcvb

Let $AE$ be the diameter of $\Gamma$ . Extend $AF$ to meet $\Gamma$ again at $D$ . Suppose $\Gamma$ has center $O$ .

Step 1: $Q,H,M,E$ are collinear.
Proof: $BECH$ is a parallelogram, so $E,M,H$ are collinear. $AE$ is the diameter, and $\angle AQE=90$ , so $Q,H,M,E$ are collinear.

Step 2: circumcircle of $\triangle DHK$ is tangent to $QE$ .
Proof: Let $QP$ be the diameter of $\Gamma$ , then $P,H,K$ are collinear. Now $\angle HKD = \angle PQD = \angle OQD = 90-\angle QBD$ . Note that $\angle QMC=\angle DMC$ , so $QBDC$ is harmonic, so $\angle QBD = \angle QMC$ . Thus $\angle HKD = 90-\angle QMC=\angle MHD$ , proving step 2.

Now let $X$ be the circumcenter of $\triangle KHD$ . Then $X$ lies on $BC$ because it is the perpendicular bisector of $HD$ , and $XH\perp QE$ . So $XK^2 = XH^2 = XF\cdot XM$ , which means $XK$ is tangent to circumcircle of $\triangle MFK$ . Also since $XK=XH$ and $XH$ is tangent to circumcircle of $\triangle QHK$ , $XK$ is also tangent to circumcircle of $\triangle QHK$ , 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.

leminscate

109 posts

leminscate

#5 h Jul 10, 2015, 10:00 AM • 5 Y

Y by samyfinsher, reveryu, Abdollahpour, e_plus_pi, Adventure10

This can be done with complex numbers with $\Gamma$ as the unit circle. We construct the tangent to $(KQH)$ at $K$ and let it intersect $\Gamma$ at $X\neq K$ . Now we can prove that if $A', Q'$ are the points diametrically opposite $A,Q$ , respectively, then $A'MHQ, Q'HK$ are collinear.

$\angle XKH = \angle KQH \implies \frac{(x-k)(h-q)}{(h-k)(k-q)} \in \mathbb{R} \implies \frac{(x-k)(q+a)}{(q+k)(q-k)} \in \mathbb{R} \implies \frac{(x-k)(q+a)}{(q+k)(q-k)} = \frac{\frac{k-x}{xk}\frac{q+a}{qa}}{\frac{q+k}{qk}\frac{k-q}{qk}} \implies x=\frac{qk}{a}$ .

EDIT: Just realised that since $\angle AQK = \angle QKX$ , $QK || AX$ so $x=\frac{qk}{a}$ . So the above paragraph is unnecessary.

We want to prove that $\angle FKX=\angle FMK \iff \frac{(f-k)(k-m)}{(x-k)(b-c)} \in \mathbb{R} \iff \frac{(f-k)(k-m)}{(x-k)(b-c)} = \frac{\overline{(f-k)}\overline{(k-m)}}{\frac{k-x}{xk}\frac{c-b}{bc}} \iff (f-k)(k-m) = xkbc\overline{(f-k)}\overline{(k-m)} \iff (f-k)(k-m) = \frac{qk^2bc}{a} \overline{(f-k)}\overline{(k-m)}$ .

Now we can calculate $q=\frac{bc(2a+b+c)}{2bc+ab+ac}$ from $aq=-\frac{q-a}{\overline{(q-a)}} = \frac{h+a}{\overline{(h+a)}} = \frac{2a+b+c}{\frac{2}{a}+\frac{1}{b}+\frac{1}{c}}$ .
We calculate $k=a\frac{(a+b+c)(3bc+ab+ac)+abc}{(ab+bc+ca)(3a+b+c)+abc}$ from $kq=-\frac{k-q}{\overline{(k-q)}} = \frac{-q-h}{\overline{(-q-h)}} =q\frac{q+h}{1+q\overline{h}}$ .
The hard part is calculating $f-k$ and $k-m$ .
$k-m = \frac{(2a+b+c)[(b+c)(a^2-bc)-a(b-c)^2]}{2[(ab+bc+ca)(3a+b+c)+abc]}$ and $f-k = \frac{[(b+c)(a^2-bc)+a(b-c)^2](a+b)(a+c)}{2a[(ab+bc+ca)(3a+b+c)+abc]}$ . The main step was really finding the factorisation for the numerator of $k-m$ , which I did by somewhat guessing the factor $2a+b+c$ by inspection and luck (mostly luck). Then you can guess the form of $f-k$ so that the RTP statement holds. Here's how I sort of guessed that $2a+b+c$ was a factor:

The numerator of $k-m$ is
$\begin{align*} & 2a[(a+b+c)(3bc+ab+ac)+abc] - (b+c)[(ab+bc+ca)(3a+b+c)+abc] \\ &= 2a(a+b+c)(ab+bc+ca) + abc(6a+3b+3c) - (ab+bc+ca)(b+c)(3a+b+c) \\ &= 3abc(2a+b+c) - (ab+bc+ca)(b+c)(2a+b+c) - a(ab+bc+ca)(b+c) + 2a(a+b+c)(ab+bc+ca) \\ &= 3abc(2a+b+c) - (ab+bc+ca)(b+c)(2a+b+c) +a(ab+bc+ca)(2a+b+c). \end{align*}$ The first manipulation was done with the intention of possibly factoring out $ab+bc+ca$ , but then the $3abc(2a+b+c)$ appeared and it seemed as if the $3a+b+c$ was "pretty close" to $2a+b+c$ and that possibly $2a+b+c$ would factor out...and it did.

The remainder of the solution is basically conjugating these expressions and substituting everything in.

This post has been edited 2 times. Last edited by leminscate, Jul 11, 2015, 5:03 AM
Reason: Adding some details, fixing typos

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

buratinogigle

2360 posts

buratinogigle

#9 h Jul 10, 2015, 11:24 AM • 10 Y

Y by THVSH, andria, anantmudgal09, baopbc, don2001, Tawan, PIartist, Kyleray, Adventure10, Mango247

Great idea to draw circumcenter of triangle $KHD$ dear One Plus One. So we must prove that $(KHD)$ is tangent to $QE$ . I do a little different from you. We easily seen $\triangle KQH$ and $\triangle KAE$ is right and $\angle KQH=\angle KQE=\angle KAE$ , we deduce $\angle KHQ=\angle KEA=\angle KHD$ . So we are done.

I propose a general problem and solution

Let $ABC$ be an actue triangle inscribed in circle $(O)$ and $P$ is a point inside it such that $\angle BPC=180^\circ-\angle A$ . $BP,CP$ cut $CA,AB$ at $E,F$ . Circle $(AEF)$ cuts $(O)$ again at $G$ . Circle diameter $PG$ cuts $(O)$ again at $K$ . $D$ is projection of $P$ on $BC$ and $M$ is midpoint of $BC$ . Prove that the circle $(KPG)$ and circle $(KDM)$ are tangent.

Solution. Let $Q$ are symmetric of $P$ through $D$ , easily seen $Q$ lie on $(O)$ . Let $GP$ cuts $(O)$ again at $N$ . We see $\angle NPC=\angle FPG=\angle FAG=\angle BNP$ so $BN\parallel PC$ similarly, $CN\parallel BP$ . Let $AS,NR$ are diameter of $(O)$ . We eaily seen $\angle PQN=90^\circ$ so $P,Q,R$ are collinear. So $M$ is midpoint of $PN$ . We have $\angle KPG=90^\circ-\angle KGP=90^\circ-\angle KAN=\angle AKN+\angle ANK-90^\circ=\angle NKS+\angle KQA=\angle NAS+\angle KQA=\angle ANR+\angle KQA=\angle AQR+\angle KQA=\angle KQP.$

From this, $GN$ is tangent to $(KPQ)$ . Let tangent at $K,P$ of $(KPG)$ intersect at $T$ . We have $\angle KTP=180^\circ-2\angle KGP=2\angle KPG=2\angle KQP$ and $TK=TP$ , so we have $T$ is circumcenter of triangle $KPQ$ , but $BC$ is perpendicular bisector of $PQ$ , therefore $T$ lies on $BC$ . Now, $TK^2=TP^2=TD.TM$ , this means $TK$ is common tangents of $(KGP)$ and circle $(KHM)$ or they are tangent. We are done.

Attachments:

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

THVSH

158 posts

THVSH

#12 h Jul 10, 2015, 12:16 PM • 3 Y

Y by buratinogigle, Adventure10, Mango247

Another generalization:
Let $ABC$ be a triangle with circumcircle $\odot (O)$ . A arbitrary circle $\odot (D)$ passing through $B, C$ intersects $CA, AB$ at $E, F$ , respectively. $K$ is the orthogonal projection of $D$ on $AP$ . Construct the diameter $AP$ of $\odot (AEF)$ . $\odot (AEF) \cap \odot (O)=\{A, G\}$ . $\odot (GP) \cap \odot (O)=\{G, J\}$ . Prove that $\odot (JGP)$ and $\odot (JKD)$ are tangent.

Attachments:

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

LeVietAn

375 posts

LeVietAn

#13 h Jul 10, 2015, 12:42 PM • 2 Y

Y by Adventure10, Mango247

Another generalization

:
Let $ABC$ be a triangle with circumcircle $\Gamma$ . A arbitrary circle $(O)$ passing through $B, C$ intersects $CA, AB$ at $D, E$ , respectively. Let $H=BD\cap CE$ . Let $Q$ be the point on $\Gamma$ such that $\angle HQA =90^{\circ}$ and let $K$ be the point on $\Gamma$ such that $\angle HKQ=90^{\circ}$ .
Let $F$ is the orthogonal projection of $H$ on $BC$ , and let $M=KO\cap BC$ .
Prove that the circumcircles of triangles $KQH$ and $FKM$ are tangent to each other.

Attachments:

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

TelvCohl

2312 posts

TelvCohl

#14 h Jul 10, 2015, 12:54 PM • 5 Y

Y by gold46, Tawan, enhanced, Adventure10, Mango247

THVSH wrote:

Another generalization:
Let $ABC$ be a triangle with circumcircle $\odot (O)$ . A arbitrary circle $\odot (D)$ passing through $B, C$ intersects $CA, AB$ at $E, F$ , respectively. $K$ is the orthogonal projection of $D$ on $AP$ . Construct the diameter $AP$ of $\odot (AEF)$ . $\odot (AEF) \cap \odot (O)=\{A, G\}$ . $\odot (GP) \cap \odot (O)=\{G, J\}$ . Prove that $\odot (JGP)$ and $\odot (JKD)$ are tangent.

The solution by oneplusone also works for this generalization

I just want to note that step 2 in the solution simplified follows from Reim theorem ( $\because AQEP$ is rectangle $\Longrightarrow QE \parallel AP$ ) .

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

v_Enhance

6877 posts

v_Enhance

#15 h Jul 10, 2015, 2:07 PM • 24 Y

Y by mssmath, rkm0959, silouan, Dukejukem, zschess, aayush-srivastava, huricane, don2001, Tawan, Wizard_32, naw.ngs, MathbugAOPS, Limerent, Purple_Planet, myh2910, SSaad, Assassino9931, nguyenducmanh2705, UI_MathZ_25, Adventure10, Mango247, Tellocan, Rounak_iitr, Sedro

Probably equivalent to the other inversion solutions, but anyways. . .
$[asy]size(6cm); defaultpen(fontsize(9pt)); size(8cm); pair A = dir(80); pair B = dir(220); pair C = dir(-40); draw(unitcircle, blue); pair O = circumcenter(A, B, C); pair H = orthocenter(A, B, C); pair Q = IP(CP(midpoint(A--H), H), unitcircle); pair N = midpoint(H--Q); pair T = midpoint(A--H); pair N_9 = midpoint(O--H); pair M = midpoint(B--C); pair F = foot(A, B, C); draw(circumcircle(M, F, N), darkcyan); pair L = M+T-N; pair K = OP(CP(N, H), unitcircle); draw(A--B--C--cycle, red); draw(A--F); draw(T--M--L--N, heavygreen); draw(M--Q--A, magenta); draw(Q--K--L, heavymagenta); dot("$A$", A, dir(A)); dot("$B$", B, dir(B)); dot("$C$", C, dir(C)); dot("$O$", O, dir(O)); dot("$H$", H, dir(H)); dot("$Q$", Q, dir(Q)); dot("$N$", N, dir(N)); dot("$T$", T, dir(T)); dot("$N_9$", N_9, dir(N_9)); dot("$M$", M, dir(M)); dot("$F$", F, dir(F)); dot("$L$", L, dir(L)); dot("$K$", K, dir(K)); /* Source generated by TSQ */ [/asy]$

Let $N$ , $T$ be midpoints of $HQ$ , $AH$ . Let $L$ be on the nine-point circle with $\angle HML = 90^{\circ}$ . The negative inversion at $H$ swapping $\Gamma$ and nine-point circle maps $A$ to $F$ , $K$ to $L$ , $Q$ to $M$ . AS $LM \parallel AQ$ we just need to prove $LA = LQ$ . But $MT$ is a diameter, hence $LTNM$ is a rectangle, so $LT$ passes through the center of $\Gamma$ .

This post has been edited 2 times. Last edited by v_Enhance, Jul 10, 2015, 2:39 PM
Reason: Shrink diagram, edit solution

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

ISHO95

221 posts

ISHO95

#16 h Jul 10, 2015, 6:10 PM • 3 Y

Y by Mathuzb, Adventure10, Mango247

Let $R$ be the reflection of $H$ onto $BC$ and $KR$ intersects $BC$ at $T$ . We easily prove that $KQMT$ is cyclic. If $KF$ intersects circle $KQH$ at $P$ , then $Q,P,T$ are collinear. => let $l$ be line which tangents circle $KQH$ at $K$ . Then it is not hard to see line $l$ also tangents to the circle $KFM$ at $K$ . Done!

This post has been edited 2 times. Last edited by ISHO95, Jul 10, 2015, 7:56 PM

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

Math-lover123

304 posts

Math-lover123

#17 h Jul 10, 2015, 7:31 PM • 2 Y

Y by mssmath, Adventure10

If $O$ is cicumcenter of $ABC$ and $V,S,T$ are midpoints of segments $OH,HK,HQ$ respectively,
then $VS$ and $VT$ are midlines of triangles $HOK$ and $HOQ$ resprectively.
So $S,T$ lie on Euler's circle of $ABC$ .
If $t$ is a line through $H$ which is perpendicular to $HM$ ,
then $t,MF,ST$ are concurrent at radical center $X$ of Euler's circle of $ABC$ and circumcircles of triangles $STH$ and $MFH$ .
Triangles $XKS$ and $XHS$ are congruent,
so $XK^2=XH^2=XS\cdot XT=XM\cdot XF$ and $\measuredangle XKS=90$ ,
which means that the line $XK$ is common tangent of circumcircles of triangles $KFM$ and $HKQ$ .

This post has been edited 2 times. Last edited by Math-lover123, Jul 10, 2015, 8:26 PM
Reason: circumcircle

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

Kfp

17 posts

Kfp

#18 h Jul 10, 2015, 7:37 PM • 2 Y

Y by Adventure10, Mango247

I found this problem quite pretty.

First of all, it is well known that $Q$ , $H$ and $M$ are collinear. Assuming this, we call $H_{A}$ the second intersection of $AH$ with $\Gamma$ , and we perform an inversion of center $H$ and power $HA \cdot HH_{A}$ . After very basic angle chasing + application of the fact stated above, we get the problem transformed into the following: let $ABC$ be a triangle and let $H'$ be its incenter. Let $F'$ be its A-excenter (we know that $BF'CH'$ is cyclic for obvious reasons, we call this circle $\omega$ ), let $Q'$ be the midpoint of the circumcircle arc containing $A$ , let $M'$ be the second intersection of $Q'H$ with $\omega$ and let $K'$ be the intersection between $\Gamma^{'}$ and the perpendicular line wrt $HQ'$ passing through $Q'$ . We want to show that the circumcircle of $F'M'K'$ is tangent to $Q'K'$ at $K'$ .

To do this, we'll show that $K'$ lies on the AXIS of $F'M'$ . To show this is enough , once we defined $D$ as the center of $\omega$ , to show that $K'D$ is orthogonal to $M'F'$ . But $M'F'$ is orthogonal to $M'Q'$ ( $HF'$ being a diameter) and $M'Q'$ is orthogonal to $Q'K'$ by definition. But $Q'D'$ is a diameter of $\Gamma^{'}$ , hence done!!

This post has been edited 3 times. Last edited by Kfp, Jul 10, 2015, 9:54 PM

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

mathuz

1520 posts

mathuz

#19 h Jul 10, 2015, 8:30 PM • 2 Y

Y by Davrbek, Adventure10

I think it's easy for Problem 3:

We have that two lemmas:

\textbf{Lemma 1.} The points $Q$ , $H$ and $M$ are collinear.

\textbf{Lemma 2.} Let $N$ is the midpoint of $QH$ and a point $R$ lies on the line $BC$ such that $RH\parallel AQ$ . Then $\angle RNO= 90^{\circ}$ , where $O$ is the circumcenter of the triangle $ABC$ .

We can use by two lemmas and we easily can see that the circumcircles of the triangles $KHQ$ and $KFM$ are tangent.

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

proglote

958 posts

proglote

#20 h Jul 11, 2015, 5:48 AM • 2 Y

Y by Adventure10, Mango247

Here's a solution with inversion WRT $Q$ . First, let $A_0$ denote the antipode of $A$ in $\Gamma$ ; we know that $Q, H, M, A_0$ are collinear and $M$ is the midpoint of $HA_0$ , so that $M'$ becomes the harmonic conjugate of $Q$ WRT $A'_0, H'$ (Note that $A', M', F'$ are collinear since $(QAMF)$ is cyclic):
$[asy] /* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki, go to User:Azjps/geogebra */ import graph; size(15cm); real labelscalefactor = 0.5; /* changes label-to-point distance */ pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */ pen dotstyle = black; /* point style */ real xmin = -4.800874036810980, xmax = 34.89250840395043, ymin = -7.788624316942659, ymax = 11.96084728234451; /* image dimensions */ pen qqttqq = rgb(0.000000000000000,0.2000000000000002,0.000000000000000); pen aqaqaq = rgb(0.6274509803921575,0.6274509803921575,0.6274509803921575); pen qqwuqq = rgb(0.000000000000000,0.3921568627450985,0.000000000000000); draw((558.4074274619950,-167.6931808709421)--(558.4848138116372,-168.2773169816810)--(559.0689499223762,-168.1999306320388)--(558.9915635727340,-167.6157945212999)--cycle, qqwuqq); draw((11.94814897609412,-2.701786992093843)--(11.83986216803928,-3.280991282635144)--(12.41906645858058,-3.389278090689988)--(12.52735326663543,-2.810073800148687)--cycle, qqwuqq); draw((12.24038502123578,-5.722950743110142)--(11.76393233897595,-5.376257096575377)--(11.41723869244118,-5.852709778835205)--(11.89369137470101,-6.199403425369972)--cycle, qqwuqq); draw((18.65735096727185,3.095730151442312)--(19.13380364953167,2.749036504907546)--(19.48049729606644,3.225489187167374)--(19.00404461380661,3.572182833702140)--cycle, qqwuqq); /* draw figures */ draw(circle((11.92149259612108,3.614427735914360), 7.082678004468662), linewidth(1.200000000000002) + qqttqq); draw((11.89369137470101,-6.199403425369972)--(16.80965888055248,-1.511014497759957), aqaqaq); draw((7.004365667404278,-1.483237463161803)--(11.89369137470101,-6.199403425369972), aqaqaq); draw((19.00404461380661,3.572182833702140)--(11.89369137470101,-6.199403425369972)); draw((11.53043691294743,-3.457446355699668)--(11.89369137470101,-6.199403425369972)); draw((5.406156668775245,-1.478709958916395)--(11.89369137470101,-6.199403425369972)); draw((5.406156668775245,-1.478709958916395)--(26.02563863289654,-1.537122089126370)); draw((19.00404461380661,3.572182833702140)--(26.02563863289654,-1.537122089126370)); draw((26.02563863289654,-1.537122089126370)--(8.649924021738130,-3.839056692143185)); draw((5.406156668775245,-1.478709958916395)--(14.14050284768400,-3.111664830980842)); draw((11.89369137470101,-6.199403425369972)--(12.52735326663543,-2.810073800148687)); /* dots and labels */ dot((19.00404461380661,3.572182833702140),dotstyle); label("$Q$", (19.11515275219922,3.738845041291063), NE * labelscalefactor); dot((7.004365667404278,-1.483237463161803),dotstyle); label("$C'$", (7.143250840395042,-1.205467117180268), NE * labelscalefactor); dot((16.80965888055248,-1.511014497759957),dotstyle); label("$B'$", (16.42078039617833,-1.122136013385808), NE * labelscalefactor); dot((11.89369137470101,-6.199403425369972),dotstyle); label("$H'$", (12.25422520645530,-6.177556310249753), NE * labelscalefactor); dot((26.02563863289654,-1.537122089126370),dotstyle); label("$A'$", (26.14274250553207,-1.372129324769190), NE * labelscalefactor); dot((15.30832042658575,-1.506761414320957),dotstyle); label("$A'_0$", (14.55971907810204,-1.177690082582115), NE * labelscalefactor); dot((14.14050284768400,-3.111664830980842),dotstyle); label("$M'$", (14.19861762832604,-3.455406919630706), NE * labelscalefactor); dot((11.53043691294743,-3.457446355699668),dotstyle); label("$F'$", (10.92092754574392,-3.260967677443630), NE * labelscalefactor); dot((5.406156668775245,-1.478709958916395),dotstyle); label("$K'$", (5.504405799103985,-1.316575255572882), NE * labelscalefactor); dot((8.649924021738130,-3.839056692143185),dotstyle); label("$M_0$", (8.143224085928571,-4.233163888379004), SW * 0.1*labelscalefactor); dot((12.52735326663543,-2.810073800148687),dotstyle); label("$X$", (12.64310369082944,-2.649872916284253), NE * labelscalefactor); clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle); /* end of picture */[/asy]$
Note that $A'(Q, M'; A'_0, H')$ is a harmonic pencil and $A'Q \parallel H'K' \Longrightarrow A'M'$ cuts $H'K'$ at its midpoint $M_0$ . Define $X$ as the foot of the perpendicular from $H'$ to $M'K'$ , so that $(H'M'XF')$ all lie on the circle with diameter $H'M'$ . Now $\angle K' XF' = \angle F'H'M' = 180 - \angle K'M_0 F'$ , i.e. $(K' X F' M_0)$ is cyclic. But note that $M_0 X^2 = M_0 H'^2 = M_0 F' \cdot M_0 M'$ , i.e. $M_0 X$ is tangent to $(M' X F')$ and $\angle H' K' F' = \angle M_0 X F' = \angle K' M' F'$ , i.e. $H'K'$ is tangent to $(F'K'M')$ , i.e. $(KQH)$ is tangent to $(FKM)$ at $K$ , as desired.

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

Géza Kós

111 posts

Géza Kós

#24 h Jul 11, 2015, 11:01 AM • 2 Y

Y by Adventure10, Mango247

I can be found quickly that $Q$ is the intersection of $\Gamma$ and the ray $MH$ .

What happens if, by accident, we take the other intersection point? Instead of $Q$ and $K$ , we will get the reflections of $H$ about $M$ and $F$ , respectively and find that the two circles in the problem statement are trivially tangent to each other.

Now let us draw both sides of the problem in the same picture. We can realize what object can connect the two parts...

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

Thapakazi

59 posts

Thapakazi

#127 h Jan 19, 2024, 2:31 PM

Y by

Let $X$ be the antipode of $A$ . It can easily be shown that $X,M,H,Q$ are collinear. Let $P$ be the intersection of $AF$ with $\Gamma$ .

Claim $1$ : $(XHP)$ and $(MHF)$ are internally tangent, and also externally tangent to $(HKQ)$ .

Follows from the fact that $XH$ , $MH$ and $HQ$ are the diameters of the respective circles and all four points are collinear.

Claim $2$ : $(HKP)$ is tangent to line $XQ.$

Let $I$ be the antipode of $Q$ w.r.t $\Gamma.$ Then $Q,O,I$ and $K,H,I$ are collinear. Note that $AQXI$ is a rectangle. Thus,

$\angle XHP = \angle MHP = \angle IAP = \angle IKP = \angle HKP,$
as needed.

Let $N$ be the center of $(PHK).$ Note that $N$ lies on $BC$ as $MH = MP$ . Furthermore, by claim $2$ it follows $NH$ and $NK$ is tangent to $(HKQ)$ . Thus $NH^2 = NK^2$ . Furthermore, by claim $1$ , we get that $NH^2 = NF \cdot NM$ . Hence, $NK^2 = NF \cdot NM.$ Which gives our desired tangency.

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

leader

339 posts

leader

#128 h Mar 30, 2024, 1:42 AM

Y by

Let $QT,AD$ be diameters of $\Gamma$ and let $S$ be the midpoint of $HT$ . Since $BHCD$ is a parallelogram $D,M,H$ are collinear and $\angle DQA=90$ so $D,M,Q,H$ are collinear. Since $\angle TKQ=90$ we have $T,H,K$ collinear. We have $HQ\cdot HM=HQ\cdot HD/2=HK\cdot HT/2=HK\cdot HS$ so $QKMS$ is cyclic. Also $\angle MQA=\angle MFA=90$ so $MFQA$ is cyclic. Since $OS||QH$ and $\angle HQA=90$ , $OS$ is the perpendicular bisector of $AQ$ . Thus $\angle SAQ=\angle SQA=\angle MSQ$ (since $MS||TD||AQ$ ). Let $AH$ meet $\Gamma$ again at $L$ . We have $HF\cdot HA=HL\cdot HA/2=HK\cdot HT/2=HK\cdot HS$ and so $KFSA$ is cyclic. Now we have that $\angle KMF+\angle FKH=\angle HMF-\angle HMK+\angle FAS=\angle HAQ-\angle QSK+\angle FAS=\angle SAQ-\angle QSK=\angle QSM-\angle QSK=\angle MSK=\angle KQH$ .

Now if $l$ is tangent to the circumcircle of $KFM$ at $K$ with a point $P$ on $l$ on the same side of $KF$ as $L$ we get $\angle PKH=\angle FKH+\angle FKP=\angle FKH+\angle KMF=\angle KQH$ and hence $l$ is tangent to the circumcircle of $KQH$ so the $2$ circles are tangent.

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

ohhh

46 posts

ohhh

#130 h Jun 26, 2024, 2:03 AM

Y by

Define $AH \cap BC = D$ , $BH \cap AC = E$ and $CH \cap AB = F$ , $EF \cap BC = T$ , $A´$ the $A$ -antipode, $U = BB \cap CC$ .
Also, let $S$ be the non- $A$ point on $(ABC)$ such that $TA=TS$ , $TS \cap (ABC) = R$ and $TK \cap (ABC) = L$ .

By simple angle chasing, we obtain:
$(QKH)$ tangent to $(KDML)$ $\leftrightarrow$ $\angle KDL = \angle QHK + \angle QKL$ .
So, it´s enough to prove that D is $LR \cap KS$ , because it´s implies
$\angle KDL = \widehat{RS} + \widehat{KL} \implies \angle KDL = \angle QHK + \angle QKL$ .

Now, let´s again reduce the problem:
$D$ is $LR \cap KS$ $\leftrightarrow$ $KR \cap LS$ = $U$ (Consequence of Brocard´s theorem)
And $KR \cap LS = U \leftrightarrow K-R-U$ (Can easily be proved projecting through T or by ratio lemma)

Then, our main objective is to prove $K-R-U$ i.e. prove that line $KR$ is symmedian of $\triangle BKC$
$\leftrightarrow \angle BKR = \angle MKC \leftrightarrow \widehat{BR} = \angle MKH - \angle CKH \leftrightarrow \widehat{BR} = \angle MKH - (\widehat{QA} - \widehat{CA`}$ $(@)$
Notice that we can obtain $\widehat{BR}$ as follows:
$\angle TAS = 90 - \angle ATO \implies \widehat{SQ} = 90 - \angle ATO \implies \widehat{BR} = 90 - \angle ATO - \widehat{QB} - \widehat{RS} \implies \widehat{BR} = 90 - \angle ATO - \widehat{QB} - \widehat{QA} \implies \widehat{BR} = 90 - \angle ATO - \angle C$

Replacing in $(@)$ , we need to prove:
$90 - \angle ATO - \angle C = \angle MKH - (\widehat{QA} - 90 + \angle B) \leftrightarrow 90 - (\angle ATC - \angle OTM) - \angle C = \angle MKH - \widehat{QA} + 90 - \angle B \leftrightarrow 90 - (\angle B - \widehat{QB} -\angle OTM) - \angle C = \angle MKH -\widehat{QA} + 90 - \angle B \leftrightarrow 90 + \widehat{QB} - \angle B + \angle OTM = 90 + (\angle C - \widehat{QA}) - \angle B + \angle MKH \leftrightarrow \angle OTM = \angle MKH$
But it is well known that D is the ortocenter of $\triangle OTU \implies \angle OTM = \angle DUM$ , so it´s suffices prove $\angle MUD = \angle MKH$ !!!!!

Final part: Trigonometry

$\angle QCA = x$ , $\angle MKH = y$ , $\angle DLM = z$ and WLOG the radius of $(ABC) = 1/2$
LS=Law of sines

1) Calculating $cotgy$ in function of $cotg x$

Classic ratio lemma in $\triangle HKA'$ with $KM$ ;
$1 = \frac{KA´}{KH} \cdot \frac{sen(x-y)}{seny}$ ( $\frac{KA´}{KH} = \frac{AA´}{QH}$ because $\triangle AKA´ \sim \triangle KQH$ )
$\implies 1 = \frac{AA´}{QH} \cdot \frac{sen(x-y)}{seny} \implies QH = \frac{sen(x-y)}{seny}$
But $QH \cdot HM = AH \cdot HD \implies QH = \frac{AH}{HA´} \cdot 2HD$ , using LS in $\triangle AHA´$ ,
$\implies \frac{senx}{sen(\angle B - \angle C)} \cdot 2HD = \frac{sen(x-y)}{seny}$ (EZ to get $HD = cos\angle B \cdot cos \angle C$ )
$\implies \frac{2senx}{sen(\angle B - \angle C)} \cdot cos\angle B \cdot cos\angle C = senx \cdot cotgy - cosx$

Finally: $cotgy = \frac{2cos\angle B \cdot cos\angle C}{sen(\angle B - \angle C)} + cotgx$ .

2) Calculating $cotgx$

LS in $\triangle CEQ$ ;
$\frac{QE}{senx} = \frac{QC}{sen(\angle B - \angle C + x)} \implies \frac{sen(\angle B - \angle C + x)}{senx} = \frac{QC}{QE}$
But $\triangle QEF \sim \triangle QCB \implies \frac{QC}{QE} = \frac{BC}{EF} = \frac{1}{cos \angle A}$ , doing the same generic procedure:
$cotgx = \frac{\frac{1}{cos \angle A} - cos(\angle B -\angle C)}{sen(\angle B - \angle C)}$
Consequently
$cotgy = \frac{2cos \angle B \cdot cos \angle C - cos(\angle B - \angle C) + \frac{1}{cos \angle A}}{sen(\angle B - \angle C)}$

$\implies cotgy = \frac{sen \angle A}{cos \angle A \cdot sen(\angle B - \angle C)}$

3) Calculating $cotgz$

Ratio lemma in $\triangle LMB$ with $LD$ ;
$\frac{BD}{DM} = \frac{BL}{BM} \cdot \frac{sen(\angle (90 - A) - z)}{senz}$
$...$
$\implies cotgz = sen \angle A \cdot \frac{\frac{2sen\angle C cos\angle B}{sen \angle A - 2sen \angle C sen \angle B} + 1}{cos \angle A}$

4) Concluding $y = z$

$\leftrightarrow cotgy = cotgz$
$\leftrightarrow sen \angle A \cdot \frac{\frac{2sen\angle C cos\angle B}{sen \angle A - 2sen \angle C sen \angle B} + 1}{cos \angle A} = \frac{sen \angle A}{cos \angle A \cdot sen(\angle B - \angle C)}$
$\leftrightarrow 2sen\angle C cos\angle B sen(\angle B - \angle C) = (sen\angle A - 2sen\angle C cos\angle B)(sen\angle A - sen\angle (\angle B - \angle C))$

Using $sen\angle A = sen\angle (\angle B + \angle C)$ :

$\leftrightarrow 2sen\angle C cos\angle B sen(\angle B - \angle C) = (sen\angle (\angle B + \angle C) - 2sen\angle C cos\angle B) \cdot 2sen\angle C cos \angle B$

$\leftrightarrow sen\angle (\angle B - \angle C) = sen\angle B cos\angle C - sen\angle C cos\angle B$ , which is true $\implies$ in fact $\angle MUD = \angle MKH$

Attachments:

This post has been edited 8 times. Last edited by ohhh, Jul 8, 2024, 12:53 AM

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

awesomehuman

499 posts

awesomehuman

#131 h Jul 13, 2024, 1:13 AM • 2 Y

Y by crazyeyemoody907, OronSH

Let $X$ be the second intersection of $(QKH)$ and $(BHC)$ . An inversion $\phi$ at $M$ with radius $MB$ swaps $(BHC)$ with $(BAC)$ . It is well-known that $Q$ , $H$ , and $M$ are collinear. Thus the inversion sends $(QKH)$ to $(QKH)$ . Therefore, $K$ and $X$ are swapped, so $K$ , $X$ , and $M$ are collinear. Thus, $M=QH\cap KX$ .

Let $P=QX\cap KH$ . Let $N=QK\cap HX$ . By the radical center theorem, $N$ is on $BC$ . By Brocard's theorem, the polar of $P$ wrt $(QKH)$ is $MN$ , which is $BC$ . Let $F'$ be the pole of $QX$ with respect to $(QKH)$ . By La Hire's theorem, since $P$ is on $QX$ , $F'$ is on $BC$ .

Since $F'Q$ is tangent to $(QKH)$ , we have $\angle MQF'=\angle HQF'=90=\angle MFH$ . Since $\phi$ swaps $H$ and $Q$ , it also swaps $F$ and $F'$ . Also, $\phi$ sends $K$ to $X$ . Therefore, $\phi$ sends $(KFM)$ to $F'X$ . It suffices to show $F'X$ is tangent to $(QKH)$ . This is true because $F'$ is the pole of $QX$ .

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

Ywgh1

139 posts

Ywgh1

#133 h Aug 24, 2024, 4:26 PM

Y by

2015 IMO p3

Consider negative inversion at $H$ , Let $R$ be the midpoint of $HQ$ , let $H’$ be the midpoint of $AF$ , Let $M$ be the midpoint of $BC$ , $N$ be a point on nine point circle such that $QH \perp NM$ .

Our inversion will send $A$ to $F$ , $K$ to $N$ $Q$ to $M$ .
We want to show that $MN$ is tangent to $(QAN)$ .

We claim that $NMRH’$ is a rectangle, proving that we get that $NA=NQ$ , as $MN \| AQ$ , this implies the problem.

This post has been edited 1 time. Last edited by Ywgh1, Aug 24, 2024, 4:26 PM

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

Eka01

#134 h Aug 27, 2024, 4:14 PM • 1 Y

Y by Sammy27

Basically the same as Evan's solution in $EGMO$ . I originally had a different finish after the inversion but then I never got around to writing the solution until $OTIS$ causing me to forget what I'd done so this is just for storage basically.

Click to reveal hidden text

This post has been edited 2 times. Last edited by Eka01, Aug 27, 2024, 4:15 PM

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

Shreyasharma

679 posts

Shreyasharma

#135 h Sep 10, 2024, 1:40 AM

Y by

20 minute solve, took time to find the right inversion.

Note that $Q$ , $H$ and $M$ are collinear from reflecting $H$ about $M$ to $H'$ and noting that $AH'$ is a diameter of $(ABC)$ . Now consider the inversion with power $AH \cdot HF$ , which swaps the following pairs of points:

The pairs $(A, F)$ , $(B, E)$ and $(C, D)$ where $D$ and $E$ are the feet from $B$ and $C$ to $AC$ and $AB$ respectively.
The pair $(Q, M)$ , as $\angle HQA = \angle HFM = 90$ .
The pair $(K, N)$ , where $N$ denotes the point on $(DEF)$ such that $\angle HMN = 90$ .

Hence we wish to show $MN$ is tangent to $(NAQ)$ - however noting that $MN \parallel AQ$ as they are both perpendicular to $QM$ , it follows that it suffices to show $NA = NQ$ . This would follow immediately if we could show $2MN = AQ$ , yet this is clear from the homothety at $H$ with scale factor $2$ sending $(DEF)$ to $(ABC)$ , finishing. $\square$

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

Mathandski

756 posts

Mathandski

#136 h Sep 27, 2024, 4:38 PM

Y by

I inverted at H

Attachments:

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

SomeonesPenguin

128 posts

SomeonesPenguin

#137 h Oct 31, 2024, 10:09 PM • 1 Y

Y by zzSpartan

So this took about 10 minutes.

Let $O$ be the circumcenter, $A'$ be the $A$ antipode, $N$ be the midpoint of $AH$ and $T$ lies on the nine-point circle such that $TM\perp HM$ .

It is known that $\overline{A'-M-H-Q}$ . Now invert at $H$ with radius $\sqrt{-HA\cdot HF}$ . It's easy to see that $Q\mapsto M$ , $K\mapsto T$ and $A\mapsto F$ .

After inversion, it suffices to prove that $MT$ is tangent to $(AQT)$ . From middle lines, $ON$ is parallel to $A'Q$ , hence $ON\perp AQ$ so $ON$ is the perpendicular bisector of $AQ$ . Now notice that $NM$ is a diameter in the nine-point circle so $\angle NTM=\angle TMH=90^\circ$ , or $NT\parallel MH$ . Therefore, we get $\overline{T-O-N}$ and since $ON$ is the perpendicular bisector of $AQ$ , we get the desired conclusion. $\blacksquare$

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

ihatemath123

3446 posts

ihatemath123

#138 h Nov 7, 2024, 5:07 AM • 1 Y

Y by OronSH

Invert at $H$ .

Let $N^*$ be the minor arc midpoint of arc $B^{*}C^*$ in $(A^*B^*C^*)$ . Since $N^*$ and $Q^*$ are antipodal arc midpoints in $(A^*B^*C^*)$ , it follows that $\angle N^* K^* Q^* = 90^{\circ}$ . We also have $\angle K^* Q^* H = 90^{\circ}$ by definition. It's well known that the uninverted $M$ , $H$ and $Q$ are collinear, so $M^*$ , $H$ and $Q^*$ are collinear – since $M^*$ lies on $(HB^*C^*)$ , it follows that $M^*$ is the foot from $F^*$ to line $HQ^*$ .

Now, what we want to show is clearly true: $\overline{Q^*K^*} \parallel \overline{M^* F^*}$ and $M^* K^* = F^* K^*$ since line $N^* K^*$ is the perpendicular bisector of $\overline{M^* F^*}$ . Therefore, $(F^* K^* M^* )$ is tangent to line $KQ$ .

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

iStud

268 posts

iStud

#140 h Jan 30, 2025, 8:24 AM

Y by

reim's spam lol

Note that it suffices to prove that $\angle{MFK}-\angle{QHK}=\angle{MKQ}=90^\circ+\angle{HKM}$ .

Let $O$ be the circumcenter of $\triangle{ABC}$ . Define $A',Q'$ to be the antipodes of $A,Q$ , respectively .Notice that $Q$ is the $A$ -queue point of $\triangle{ABC}$ , so it's well known that $\overline{Q,H,M,A'}$ . Moreover, $\overline{K,H,Q'}$ . Let $J$ be the midpoint of $Q'H$ . Note that $AF\cap(ABC)$ is the reflection of $H$ over $BC$ and $A'$ is the reflection of $H$ over $M$ . Using Reim's Theorem 2 times, we conclude that $AJFK$ and $MJQK$ are cyclic.

Let $\angle{HQK}=\alpha$ and $\angle{JQM}=\beta$ . Note that $J$ must be lying on the mid parallel line of $AQ$ and $A'Q'$ (which passes through $O$ ), so $\angle{AJQ}=2\angle{JQM}=2\beta$ . We have $JO\parallel HQ$ , so $\angle{AFK}=\angle{AJK}=\angle{AJO}+\angle{OJK}=\frac{\angle{AJQ}}{2}+\angle{QHK}=90^\circ-\alpha-\beta$ , then $\angle{MFK}=90^\circ+\angle{AFK}=180^\circ-\alpha+\beta$ . Lastly, using information that $\angle{QHK}=90^\circ-\alpha$ , we can have $\angle{MFK}-\angle{QHK}=90+\beta=90^\circ+\angle{JQM}=90^\circ+\angle{JKM}=90^\circ+\angle{HKM}$ , as desired. $\blacksquare$

P2 of GOWACO 2021 was definitely much harder than this one

Attachments:

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

Ilikeminecraft

611 posts

Ilikeminecraft

#141 h Feb 22, 2025, 4:25 AM

Y by

rename appropriately first( $F \to D, Q\to D$ ).
Invert about $H$ first with radius $-\sqrt{AH\cdot HD}.$ Then, the circumcircle maps onto the 9-point circle, $K$ maps to intersection of 9 point circle and the line perpendicular to $GM$ that passes through $M.$ Clearly, $G\leftrightarrow M$ . Problem simplifies to proving that $(AGK^*)$ is tangent to $MK^*.$
Then, reflect $H$ across $K^*$ and $M,$ and they both land on the circumcircle. In fact, they form a rectangle. This finishes.

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

cj13609517288

1900 posts

cj13609517288

#142 h Feb 25, 2025, 4:14 PM • 1 Y

Y by MS_asdfgzxcvb

This works????????

Let $\ell$ be the line through $M$ perpendicular to $HM$ , and let $S$ be the point on $\ell$ such that $(QAS)$ is tangent to $\ell$ . Since $QA\perp QM$ , $S$ is the projection of the midpoint of $QA$ onto $\ell$ . So in complex coordinates with $(ABC)$ as the unit circle,
$s=m+\frac{a-q}{2}\Longrightarrow 2s-h=2m+a-q-h=-q.$ Therefore, the reflection of $H$ over $S$ is exactly the $Q$ -antipode, meaning that $K$ lies on $HS$ .

Now consider the negative inversion centered at $H$ swapping $A$ and $F$ . Then it also swaps $Q$ and $M$ , and $K$ and $S$ because they are collinear with $H$ and also $\ell$ swaps with $(QH)$ . So since $(QAS)$ is tangent to $\ell$ , we get $(MFK)$ is tangent to $(QH)$ . $\blacksquare$

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

VideoCake

9 posts

VideoCake

#143 h Apr 7, 2025, 12:50 PM

Y by

Solution. Let $A'$ be the antipode of $A$ on $\Gamma$ . Observe that $H, M, A'$ are collinear (as $M$ is known to be the midpoint of $HA'$ ) and observe that $Q, H, A'$ are collinear (as $AQ \perp QH$ ). Thus, $Q, M, H$ are collinear. Let $D, E$ be the foots of the altitudes from $B, C$ .
Perform an inversion around a circle with center $H$ . Denote $X^*$ to be the inverted image of $X$ . We get that

$F^*D^*E^*$ is a triangle with orthic triangle $A^*B^*C^*$ and orthocenter $H^*$ .
$Q^*$ lies on the line $A^*D^*$ and on the circle $(A^*B^*C^*)$ , as $AQDH$ is cyclic.
$K^*$ is on the perpendicular line to $H^*Q^*$ through $Q^*$ and on $(A^*B^*C^*)$ , as $K$ lies on the circle with diameter $QH$ .
$M^*$ is the intersection of $(H^*B^*C^*F^*)$ and $Q^*M^*$ , as line $BC$ goes to the circle $(H^*B^*C^*)$ .

It is enough to show that $(M^*F^*K^*)$ is tangent to $Q^*K^*$ . For simplicity, we remove the $*$ symbols from the points and solve the remaining problem. Let $O$ be the circumcenter of $(BMFCH)$ .
First, it is known that $H$ is the incenter of $\Delta ABC$ , and that $D$ , $E$ and $F$ are the three excenters of $\Delta ABC$ . This means that $O$ is the $A$ -southpole and lies on the circle $(ABC)$ . In particular, $O$ is the midpoint of $HF$ . As $FM \perp MH$ , we have $OMF$ isosceles. As $AQ$ is the exterior angle bisector of $\angle BAC$ , we know that $Q$ is the northpole. Therefore, $OQ$ is the diameter of $ABC$ , meaning $QK \perp KO$ . Notice that $KO$ is also the perpendicular bisector of $MF$ , so $KMF$ is isosceles. Notice that $FM \perp MQ \perp QK \implies MF \parallel QK$ . Thus, $\angle QKM = \angle FMK = \angle KFM$ , and $(MFK)$ is indeed tangent to $QK$ , as desired.

Attachments:

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

Retemoeg

57 posts

Retemoeg

#144 h Apr 20, 2025, 5:17 AM

Y by

Let $AF$ intersect $(O)$ twice at $H'$ . Denote $L$ the orthogonal projection of $Q$ onto $AD$ . We'll call the midpoints of segments $QL, QA, QH$ , $Y, X, I$ resp. Let $Z$ be the center of $(KDM)$ . Denote $A'$ the antipodal point of $A$ in $(O)$ .

We readily notice that $\angle AQH = \angle AQA' = 90^{\circ}$ , thus $Q, H, A'$ are collinear. From a common result: $H, M, A'$ are collinear. Hence all these four points lies on a straight line. We'll show that $\angle MKI = \angle ZKM$ , i.e $\angle MKI = \angle KFA = \angle H'KF + \angle KH'F$ . A spiral similarity $\phi$ centered at $K$ sends $Q$ to $A$ and $H$ to $A'$ , thus:
$\angle MKI = \angle MKH + \angle HKI = \angle MKH + \angle QHK = \angle MKH + \angle AA'K = \angle MKH + \angle AH'K$ So we'll aim to show that $\angle MKH = \angle H'KF$ .
Observe that $\phi$ also sends $F$ to $Y$ , $H'$ to $L$ , $M$ to $X$ . Thus, $\angle MKH = \angle XKQ$ and $\angle H'KF = \angle LKY$ . And to finish off the problem, $X$ is the intersection of the two tangents from $Q$ and $L$ w.r.t $(I)$ . Thus $KX$ is the $K$ -symmedian w.r.t $\triangle QKL$ , hence $\angle QKX = \angle LKY$ and we are done.

Click to reveal hidden text

This post has been edited 2 times. Last edited by Retemoeg, Apr 20, 2025, 5:26 AM

Z K Y