Let $BD$ and $CE$ be the altitudes of triangle $ABC$ that intersect at point $H$. Let $F$ be a point on side $AC$ such that $FH\perp CE$. The segment $FE$ intersects the circumcircle of triangle $CDE$ at the point $K$. Prove that $HK\perp EF$ . (Matthew Kurskyi)
Problem
Source: V.A. Yasinsky Geometry Olympiad 2023 IX p1 , Ukraine
Tags: perpendicular, geometry
14.12.2023 00:16
$FH \perp CE \perp AB$, so $FH \parallel AB$. In this case, we have $\angle KFH = \angle AEK =\angle HDK$, the last is because $B, C, D, E, K$ are lies on one circle. But now we have that $\angle KFH = \angle HDK$, so $H, D, K, F$ are concyclic. So, $\angle HKE = \angle HDA = 90^{\circ}$ and we are done.
28.12.2023 22:43
$FH^2=FD.FC=FK.FE\implies HK\perp EF$
29.12.2023 07:09
$CE \perp AB \perp FH \implies FH \parallel AB$ As $EKDC$ is cyclic $$\angle DCE = \angle FKD = 90 - \angle A$$but $$\angle DFH = \angle CAB = \angle A \implies \angle FHD = 90 - \angle A$$ hence we get $FDHK$ cycic which give us $HK \perp EF$ $\blacksquare$
29.12.2023 10:36
Clearly $\angle{ACE}=90^{\circ}-A$ and $\angle{DHC}=A \implies \angle{FHD}=90^{\circ}-A$ Since $K \in \odot{EDC} \implies EKDC$ is cyclic $\implies \angle{EKD}=90^{\circ}+A \implies \angle{FKD}=90^{\circ}-A \implies \angle{FKD}=\angle{FHD} \implies FDHK$ is cyclic. Hence $\angle{HKD}=\angle{HFD}=A \implies \angle{HKE}=90^{\circ} \implies HK \perp EF$. $\square$