Let $AA_1, BB_1, CC_1$ be the heights of triangle $ABC$ and $H$ be its orthocenter. Liune $\ell$ parallel to $AC$, intersects straight lines $AA_1$ and $CC_1$ at points $A_2$ and $C_2$, respectively. Suppose that point $B_1$ lies outside the circumscribed circle of triangle $A_2 HC_2$. Let $B_1P$ and $B_1T$ be tangent to of this circle. Prove that points $A_1, C_1, P$, and $T$ are cyclic.
Problem
Source: Ukraine TST 2018 p9
Tags: geometry, circumcircle, Concyclic, orthocenter, altitudes
11.12.2020 23:27
Let $K=(BA_1HC_1)\cap(A_2C_2H)$; $A', C' -$ reflections of $A_1, C_1$ wrt. $BH$ respectively. $$\angle A_1C_1H=\angle A_1BB_1=\angle A_1AB_1=\angle A_1A_2B_2 \implies (A_1C_1C_2A_2)$$By radical axis we get that $A_1C_1, A_2C_2, KH$ intersect at one point $S$. In order to finish by radical axis it is sufficient to prove that $S$ lies on the polar of $B_1$ or by La Hire that $B_1$ lies on the polar of $S$. Let $X=C_2H\cap A_1A_2, Z=C_2K\cap A_2H$. By Brokard's theorem we need to prove that $B_1, X, Z$ are collinear. Now note that $H$ is the center of spiral similarity sending $C'A'$ to $A_2C_2 \implies A_2, C', K$ are collinear and $C_2, A', K$ are collinear. Finish by Pascal on $A_1HC_1A'KC'$. [asy][asy] import graph; size(17cm); 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 = -15.945319691298147, xmax = 28.056781747495954, ymin = -5.681371813411117, ymax = 16.411349950650134; /* image dimensions */ pen dtsfsf = rgb(0.8274509803921568,0.1843137254901961,0.1843137254901961); pen ccqqqq = rgb(0.8,0,0); pen qqwuqq = rgb(0,0.39215686274509803,0); pen fuqqzz = rgb(0.9568627450980393,0,0.6); /* draw figures */ draw((9.448945093359054,-3.564766414030638)--(3.14616716283154,14.005581613104953), linewidth(1)); draw((3.14616716283154,14.005581613104953)--(-11.436404928195113,-3.4375323402926936), linewidth(1)); draw((-11.436404928195113,-3.4375323402926936)--(9.448945093359054,-3.564766414030638), linewidth(1)); draw(circle((3.108887482244741,7.886158137356399), 6.119537029067406), linewidth(1)); draw((-2.907059080856513,6.7649443307889845)--(3.039366041224704,-3.525719098428705), linewidth(1)); draw((3.039366041224704,-3.525719098428705)--(9.110727107031368,6.69173167730611), linewidth(1)); draw((3.14616716283154,14.005581613104953)--(3.039366041224704,-3.525719098428705), linewidth(1)); draw((-6.220335120462725,9.534867570074919)--(24.210151998562935,9.349484282843061), linewidth(1) + dtsfsf); draw((24.210151998562935,9.349484282843061)--(-11.436404928195113,-3.4375323402926936), linewidth(1)); draw((-6.220335120462725,9.534867570074919)--(9.448945093359054,-3.564766414030638), linewidth(1)); draw((-10.670563397730197,9.561978471840805)--(-6.220335120462725,9.534867570074919), linewidth(1) + dtsfsf); draw((-10.670563397730197,9.561978471840805)--(7.027421427023814,3.185751221594606), linewidth(1)); draw((3.0716078016579362,1.7667346616078476)--(-10.670563397730197,9.561978471840805), linewidth(1) + dtsfsf); draw(shift((9.049225883513678,18.35833184735326))*xscale(17.635561094180243)*yscale(17.635561094180243)*arc((0,0),1,210.0213246958616,329.28058930163405), linewidth(1) + ccqqqq); draw((-2.1243884484537787,4.714162474796523)--(24.210151998562935,9.349484282843061), linewidth(1) + qqwuqq); draw((1.0086698600114388,1.0267242924007733)--(-6.220335120462725,9.534867570074919), linewidth(1) + qqwuqq); draw((-0.7445168675029666,4.9570430689862555)--(3.039366041224704,-3.525719098428705), linewidth(1) + linetype("4 4") + fuqqzz); /* dots and labels */ dot((9.448945093359054,-3.564766414030638),dotstyle); label("$A$", (9.69965505349904,-3.3208424133091365), NE * labelscalefactor); dot((3.14616716283154,14.005581613104953),dotstyle); label("$B$", (3.351435210506349,14.440422490370812), NE * labelscalefactor); dot((-11.436404928195113,-3.4375323402926936),dotstyle); label("$C$", (-11.934711487241392,-2.9999937569845954), NE * labelscalefactor); dot((3.039366041224704,-3.525719098428705),linewidth(4pt) + dotstyle); label("$B_1$", (3.0764220765138863,-4.44381271044503), NE * labelscalefactor); dot((7.027421427023814,3.185751221594606),linewidth(4pt) + dotstyle); label("$C_1$", (7.8203986378838755,2.546104445196756), NE * labelscalefactor); dot((-2.907059080856513,6.7649443307889845),linewidth(4pt) + dotstyle); label("$A_1$", (-2.4696761256674535,6.900479066744098), NE * labelscalefactor); dot((3.0716078016579362,1.7667346616078476),linewidth(4pt) + dotstyle); label("$H$", (3.305599688174272,2.2252557888722153), NE * labelscalefactor); dot((-0.8666234852302357,3.233841940276353),linewidth(4pt) + dotstyle); label("$C'$", (-1.7,2.362762355868447), NE * labelscalefactor); dot((9.110727107031368,6.69173167730611),linewidth(4pt) + dotstyle); label("$A'$", (9.3788063971745,6.923396827910137), NE * labelscalefactor); dot((-6.220335120462725,9.534867570074919),dotstyle); label("$A_{2}$", (-6.136517912233629,9.902705779495161), NE * labelscalefactor); dot((24.210151998562935,9.349484282843061),linewidth(4pt) + dotstyle); label("$C_{2}$", (23.381558469624082,9.833952495997044), NE * labelscalefactor); dot((-10.670563397730197,9.561978471840805),linewidth(4pt) + dotstyle); label("$S$", (-10.83465895127154,9.856870257163083), NE * labelscalefactor); dot((-2.1243884484537787,4.714162474796523),linewidth(4pt) + dotstyle); label("$K$", (-3.0197023936523797,4.012841159823229), NE * labelscalefactor); dot((1.0086698600114388,1.0267242924007733),linewidth(4pt) + dotstyle); label("$X$", (1.5,0.5), NE * labelscalefactor); dot((-0.7445168675029666,4.9570430689862555),linewidth(4pt) + dotstyle); label("$Z$", (-0.8,5.1), NE * labelscalefactor); clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle); [/asy][/asy]