It is well known that the symmetrical points H1,H2,H3 of H with respect to the sides BC,AB,AC of the triangle ABC respectively lie on the circle (c).
!
Figure 8: G8
Let L be the second point of intersection of (c) and (c1). First we will prove that the lines D1H2,D2H3 and UD pass through the point L.
Suppose that the line AH intersects the side BC at the point Z. Since H1D∥BC∥D1D2 and B,C are the midpoints of the segments D1D,D2D respectively, we get that Z is the midpoint of the segment HH1, so the point H lies on D1D2. Therefore, AH⊥D1D2 and AU is a diameter of (c1). Thus, AL⊥UL and AL⊥DL. We have that the points U,D,L are collinear. (1)
Now, ∠ALD1=∠AD2D1,∠ALH2=∠ACH2. Since AHCD2 is cyclic we get
∠ACH2=∠AD2D1. Therefore, ∠ALH2=∠ALD1. So the points D1,H2,L are collinear. (2)
Similarly,
∠D1LD2=∠D1AD2=180∘−2(∠AD1H).
Since AD1BH is cyclic we have ∠AD1H=∠ABH=∠ABH3. Therefore, we get
∠D1LD2=180∘−2(∠ABH3)=180∘−2(∠ADH3)=180∘−∠H2DH3.
Thus,
∠D1LD2+∠H2DH3=180∘ or ∠D1LD2+∠H3LH2=180∘.
So the points H3,L,D2 are collinear. (3)
From (1), (2), (3) we have that the lines D1H2,D2H3 and UD are concurrent at the point L.
Also we have
∠H3DA=∠D2DA−∠CDH3=∠AD2D−∠CBH3
and because BHD2C is a parallelogram, we get ∠CBH3=∠HD2C. So
∠H3DA=∠AD2D−∠HD2C=∠AD2D1=∠AD1D2=∠AUD2.
Therefore, the circumcircle of the triangle UDL1 passes through the point A. Also, ∠AD1K1=∠D2D1A=∠D2UA. But AUL1D is cyclic and we have ∠D2UA=∠H3DA= ∠H3BA=∠H3H2A. Therefore, ∠AD1K1=∠H3H2A. Thus, the circumcircle of the triangle D1K1H2 passes through the point A.
Because the points H3,L,D2 are collinear by the Desargues theorem, the lines UD1, L1K1,DH2 are concurrent, let say in the point M.
From the similarity of the triangles UDL1 and D1K1H2 we conclude that M is the center of unique spiral similarity and because the circumcircles of the triangles D1K1H2 and UDL1 intersect at the point A, then the second point of intersection is M. Therefore, M lies on the line K1L1.
Comment. We can prove the last part in a different way.
Let M be the point of intersection of the circumcircles of the triangles D1K1H2 and UDL1. Now, we have
∠K1MA=∠H3H2A=∠H3BA=∠ADH3=∠L1UA=∠L1MA.
Therefore, the points L1,K1,M are collinear.