Let O be the circumcenter of triangle ABC.
Let H be the orthocenter of triangle ABC.
the perpendicular bisector of AB meet AC,BC at D,E.
the circumcircle of triangle DEH meet AC,BC,OH again at F,G,L.
CH meet FG at T,and ABCT is concyclic.
Prove that LHBC is concyclic.graph: https://cdn.luogu.com.cn/upload/image_hosting/w6z6mvm4.png
geometryOrthocenter and CircumcenterConcyclic