Point E is the centre of a homothety h which takes circle ω1 to circle ω. The radii O1D and OB of these circles are parallel as both are perpendicular to line t. Also, O1D and OB are on the same side of line EO, hence h takes O1D to OB. Consequently, points E, D and B are collinear. Likewise, points F, D and A are collinear as well.
Let lines AE and BF intersect at C. Since AF and BE are altitudes in triangle ABC, their common point D is the orthocentre of this triangle. So CD is perpendicular to AB, implying that C lies on line t. Note that triangle ABC is acute-angled. We mention the well-known fact that triangles FEC and ABC are similar in ratio cosγ, where γ=∠ACB. In addition, points C, E, D and F lie on the circle with diameter CD.

Let P be the common point of lines EF and t. We are going to prove that P lies on line AO1. Denote by N the second common point of circle ω1 and AC; this is the point of ω1 diametrically opposite to D. By Menelaus' theorem for triangle DCN, points A, O1 and P are collinear if and only if
ANCA⋅O1DNO1⋅PCDP=1.
Because NO1=O1D, this reduces to CA/AN=CP/PD. Let line t meet AB at K. Then CA/AN=CK/KD, so it suffices to show that
PDCP=KDCK.(1)
To verify (1), consider the circumcircle Ω of triangle ABC. Draw its diameter CU through C, and let CU meet AB at V. Extend CK to meet Ω at L. Since AB is parallel to UL, we have ∠ACU=∠BCL. On the other hand ∠EFC=∠BAC, ∠FEC=∠ABC and EF/AB=cosγ, as stated above. So reflection in the bisector of ∠ACB followed by a homothety with centre C and ratio 1/cosγ takes triangle FEC to triangle ABC. Consequently, this transformation
takes CD to CU, which implies CP/PD=CV/VU. Next, we have KL=KD, because D is the orthocentre of triangle ABC. Hence CK/KD=CK/KL. Finally, CV/VU=CK/KL because AB is parallel to UL. Relation (1) follows, proving that P lies on line AO1. By symmetry, P also lies on line AO2 which completes the solution.