Problem:
Let be an acute triangle with orthocenter . Points and are on segments and , respectively, such that . Let be the foot of the altitude from to . Prove that .
Problem:
Let be an acute triangle with orthocenter . Points and are on segments and , respectively, such that . Let be the foot of the altitude from to . Prove that .
Solution:

We use to denote directed angles. Let and be the feet of the altitudes from and to and , respectively. Then , so is cyclic. Similarly, is cyclic. Therefore,
Hence, is cyclic. A symmetric argument shows lies on this circle as well. It follows that , as desired.
Solution:
Let be the foot of altitude from to . For any point , let denote the image of under the negative inversion at with radius . Then and are the feet of the altitudes from and to sides and , respectively.
Claim 1. .
Proof. Because and , the quadrilateral is a rectangle. Note that and . Consequently, , and are collinear. Similarly, , and are collinear. Then, , as desired.
From the claim, lies on the circle with diameter (which and also lie on). Since this circle is invariant under the inversion, lies on the circle with diameter as well, and .

Solution:
We begin by proving the following lemma.
Lemma 2. Let be a quadrilateral and be a point such that . Then, the feet of the altitudes from to each side of are concyclic.
Proof. Let be the feet of the altitudes from to , , , and respectively. Note that quadrilateral is cyclic. By angle chasing,
Therefore, is cyclic as desired.

Let be the point at infinity on line . Let and be the feet of the altitudes from to and , respectively. Note that . Thus, the feet of the altitudes from to , , , and are concyclic. In other words, is cyclic. Since is a cyclic quadrilateral, we conclude lies on this circle, giving us that as desired.
Remark. Here's another way to prove the lemma.
It is well known that, with the provided condition, there is a point that is the isogonal conjugate of with respect to quadrilateral . Let , , , and be the feet of the altitudes from to , , , and , respectively, and let be the foot of the altitude from to . Because and are isogonal conjugates with respect to the triangle formed by lines , , and , we have is cyclic. Similarly, because and are also isogonal conjugate with respect to the triangle formed by lines , , and , we have is cyclic. Consequently, is cyclic as desired.