A chain of six circles associated with a cyclic hexagon
I found the problem some months ago. But I never have been a proof. So I am looking for a proof. The problem as following:
Let $ABCDEF$ be a cyclic hexagon. Let $(C_{AD})$, $(C_{BE})$, $(C_{CF})$ be three circles, such that $(C_{AD})$ through $A, D$; the circle $(C_{BE})$ through $B,E$, the circle $(C_{CF})$ through $C, F$.
Let $A_1$ be any point on $(C_{AD})$, the circle $(A_1AB)$ meets $(C_{BE})$ again at $B_1$. The circle $(B_1BC)$ meets $(C_{CF})$ again at $C_1$. The circle $(C_1CD)$ meets $(C_{AD})$ again at $D_1$. The circle $(D_1DE)$ meets $(C_{BE})$ again at $E_1$. The circle $(E_1EF)$ meets $(C_{CF})$ again at $F_1$.
Then show that $F_1, F, A, A_1$ lie on a circle and six points $A_1, B_1, C_1, D_1, E_1, F_1$ lie on a circle.
Further more: When three circles $(C_{AD})$, $(C_{BE})$, $(C_{CF})$ are lines $AD$, $BC$, $CE$, we have special case:
Hexagon for by six lines $A_1B_1, CD, E_1F_1, AB, C_1D_1, EF$ is cyclic.
Define points in this figures as follows. Six points $A, A_1, A', F, F_1, F'$ lies on a circle
- See five circles theorem
We can simplify the problem to a reduced number of points as follows:
Lemma. Suppose
- $\square WXYZ$ is cyclic
- $\square WW_1XX_1$ is cyclic
- $\square XX_1YY_1$ is cyclic
- $\square WW_1ZZ_1$ is cyclic
Then $$\square YY_1ZZ_1\text{ is cyclic} \quad\iff\quad \square W_1X_1Y_1Z_1 \text{ is cyclic}$$
To see how the Lemma proves OP's results, first observe that we're given cyclic quadrilaterals $\square ABCD$, $\square AA_1DD_1$, $\square AA_1 BB_1$, $\square BB_1CC_1$, as well as $\square CC_1DD_1$. Under the association $$A \to W \qquad B \to X \qquad C \to Y \qquad D \to Z \qquad\text{(and } A_1 \to W_1 \text{ , etc)}$$ the Lemma (in its "forward" direction) implies $\square A_1B_1C_1D_1$ is cyclic. Iterating, we associate $$B \to W \qquad C \to X \qquad D \to Y \qquad E \to Z \qquad\text{(and } B_1 \to W_1 \text{ , etc)}$$ to conclude that $\square B_1C_1D_1E_1$ is cyclic; likewise, $\square C_1 D_1 E_1 F_1$ is cyclic. Thus, the entire hexagon $A_1B_1C_1D_1E_1F_1$ is cyclic (proving the first part of the OP's result); in particular, $\square D_1 E_1 F_1 A_1$ is cyclic, so that the mapping $$D \to W \qquad E \to X \qquad F \to Y \qquad A \to Z \qquad\text{(and } D_1 \to W_1 \text{ , etc)}$$ and the Lemma's "backward" implication gives $\square AA_1FF_1$ is cyclic (proving the second part of OP's result). $\square$
Proof of Lemma. With an appropriate inversion, we may assume that $W$, $W_1$, $Z$, $Z_1$ lie on the $x$-axis, and that $X$, $X_1$, $Y$, $Y_1$ lie on a circle centered at, say, $P(0,p)$ on the $y$-axis.
We coordinatize thusly, immediately satisfying given conditions (3) and (4): $$W = (w,0) \qquad W_1 = (w_1,0) \qquad Z = (z, 0) \qquad Z_1 = (z_1, 0)$$ $$X = (r \cos 2\theta, p + r \sin 2\theta) \qquad X_1 = ( r\cos 2\theta_1, p + r \sin 2\theta_1 )$$ $$Y = (r \cos 2\phi, p + r \sin 2\phi) \qquad Y_1 = ( r\cos 2\phi_1, p + r \sin 2\phi_1 )$$
Recall that four distinct points $P_i(p_i,q_i)$ ( $i = 1, 2, 3, 4$ ) are concyclic iff $$\left| \begin{array}{cccc} p_1^2 + q_1^2 & p_1 & q_1 & 1 \\ p_2^2 + q_2^2 & p_2 & q_2 & 1 \\ p_3^2 + q_3^2 & p_3 & q_3 & 1 \\ p_4^2 + q_4^2 & p_4 & q_4 & 1 \end{array}\right| = 0 \tag{$\star$}$$
Thus, condition (1) implies $$z = \frac{ w p \sin(\theta + \phi) + w r \cos(\theta - \phi) + \left(p^2-r^2\right) \cos(\theta + \phi) }{w \cos(\theta + \phi) - p \sin(\theta + \phi) - r \cos(\theta - \phi) }$$ whereas condition (2) requires $$w_1 = \frac{w p \sin(\theta + \theta_1) + wr \cos(\theta - \theta_1) + (p^2-r^2) \cos(\theta + \theta_1) }{w \cos(\theta + \theta_1) - p \sin(\theta + \theta_1) - r \cos(\theta - \theta_1) }$$ With these substitutions, the conditions for $\square YY_1ZZ_1$ and $\square W_1 X_1 Y_1 Z_1$ to be cyclic reduce to the same relation:
$$(w - z_1) \left( p \cos(\theta - \phi_1) + r \sin(\theta + \phi_1) \right) = \left(p^2 - r^2 + w z_1 \right) \sin(\theta - \phi_1)$$
so that the quadrilaterals must be simultaneously (non-)cyclic. $\square$
Regarding the "Further more" ... Since the configuration shown appears to require that $A$, $D$, $A_1$, $D_1$ are collinear instead of merely concyclic (and likewise for tetrads $B$, $E$, $B_1$, $E_1$ and $C$, $F$, $C_1$, $F_1$), this really should be a separate question.
In the context of the initial part of the question, I have the following conjecture:
Conjecture. The vertices of hexagon $A^\prime B^\prime C^\prime D^\prime E^\prime F^\prime$ lie on a common conic.
Here are a couple of GeoGebra sketches:
This is a coordinate-based proof making heavy use of computer algebra. It'll only answer the first of your questions.
Parametrization
Your problem is invariant under Möbius transformations, since it only deals with incidences between circles and points. A Möbius transformation is uniquely defined by three points and their images. So without loss of generality, I choose $A=(-1,0),B=(0,1),D=(1,0)$ so that the circle $ABCDEF$ will be the unit circle. Using the tangent half-angle substitution, you can choose $C=(1-c^2,2c)/(1+c^2)$ and likewise for $E$ and $F$ defined by one real parameter $e$ resp. $f$ each. The point $A_1=(x,y)$ can be chosen arbitrarily, and that choice fixes the circle $C_{AD}$. As $C_{BE}$ is any circle through $B$ and $E$, it must be a linear combination of the unit circle and the line $BE$. So I write $C_{BE}=BE+m\cdot U$ where $U$ denotes the unit circle $ABCDEF$ and $m$ is any real parameter. Likewise $C_{CF}=CF+n\cdot U$. After this, everything is fixed. So the whole setup has $7$ real degrees of freedom, modeled by the variables $c,e,f,x,y,m,n$ in my parametrization.
Möbius geometry
For most of my computation, I'll be using $\mathbb P(\mathbb R^{1,3})$ to represent circles, lines and points in a uniform way. $\mathbb R^{1,3}$ means a four-dimensional vector space with an inner product that has signature $(+,-,-,-)$, and $\mathbb P$ indicates that it's a projective space using homogeneous coordinates, so multiples of a vector will represent the same object. I'll be describing a circle with center $x,y$ and radius $r$ as a vector
$$\begin{pmatrix}x\\y\\x^2+y^2-r^2\\1\end{pmatrix}$$
or any multiple thereof. To match this format, I'll define the inner product as $\langle a,b\rangle:=a^T\cdot M\cdot b$ with
$$M=\begin{pmatrix}-2&0&0&0\\0&-2&0&0\\0&0&0&1\\0&0&1&0\end{pmatrix}$$
Others often choose a different basis, so that the matrix of the inner product only has $\pm 1$ on the diagonal. But I prefer separating the vector elements the way I did. Circles $a$ and $b$ intersect orthogonally iff $\langle a,b\rangle=0$, but we won't need this general property here. A vector $p$ is a point (i.e. a circle with zero radius) iff $\langle p,p\rangle=0$. A point $p$ lies on a circle $c$ iff $\langle p,c\rangle=0$. In all of this, lines are just special cases of circles. A line $aX+bY=c$ would correspond to the vector $(a,b,2c,0)^T$.
With the parametrization above you'd have circles like these:
$$ A=\begin{pmatrix}-1\\0\\1\\1\end{pmatrix}\quad B=\begin{pmatrix}0\\1\\1\\1\end{pmatrix}\quad C=\begin{pmatrix}1-c^2\\2c\\1+c^2\\1+c^2\end{pmatrix}\quad A_1=\begin{pmatrix}x\\y\\x^2+y^2\\1\end{pmatrix}\quad U=\begin{pmatrix}0\\0\\-1\\1\end{pmatrix} $$
Note how I've moved the denominator from the original definition of $C$ into a different choice of representatives. That way I can avoid divisions, which is an important goal not only in this step but also in later steps, since dealing with polynomials is often easier than dealing with rational functions.
Circle through three points
Using this formalism, the task of finding a circle through three given points $a,b,c$ is equivalent to finding a vector $v$ which satisfies $a^T\cdot M\cdot v=b^T\cdot M\cdot v=c^T\cdot M\cdot v=0$. This is an underspecified linear system of equations, which in general will have a one-dimensional space of solutions representing the circle in question. One way to obtain an element of that space is by writing the vectors $Ma$ through $Mc$ into a $3\times4$ matrix $K$. Then compute the minors $K_i$ as the determinant of the submatrix you get when you drop column $i$ from the matrix. $(-K_1,K_2,-K_3,K_4)^T$ will be one element of the kernel of that matrix. So for example $C_{AD}$ is the circle through $A,D,A_1$:
$$ K=\begin{pmatrix} 2 & 0 & 1 & 1 \\ -2 & 0 & 1 & 1 \\ -2x & -2y & 1 & x^2+y^2 \end{pmatrix} \qquad C_{AD} =\begin{pmatrix} 0 \\ 4(x^2+y^2-1) \\ -8y \\ 8y \end{pmatrix} \sim\begin{pmatrix} 0 \\ x^2+y^2-1 \\ -2y \\ 2y \end{pmatrix} $$
This same algorithm can also be used to find the line joining two points. That's because lines are just special circles passing through the point at infinity, which has coordinates $(0,0,1,0)^T$. So the circle passing through two finite points and the line at infinity will represent the line joining the finite points. One can use this to describe e.g. $BE$, the line joining $B$ and $E$, which I've used to represent $C_{BE}=BE+m\cdot U$.
Other point of intersection
The second essential operation I've used is the following: Given tow circles $a$ and $b$ and a point $p$ incident with both of them, find the other point of intersection.
Starting with the two circle vectors $a$ and $b$, the first step is finding the radical line of these two circles, i.e. the line passing through both their points of intersection. All linear combinations $\lambda a+\mu b$ must pass through these points of intersection because $\langle\lambda a+\mu b,p\rangle=\lambda\langle a,p\rangle+\mu\langle b,p\rangle$ so if the latter two inner products are zero, the linear combination can be nothing else. The radical line is the uniquely defined linear combination which also passes through the point at infinity, i.e. satisfies $\langle\lambda a+\mu b,p_\infty\rangle=0$. In order to elegantly describe that, choose $\lambda:=\langle b,p_\infty\rangle$ and $\mu:=-\langle a,p_\infty\rangle$. That trick is sometimes known as Plücker's µ. So $l=\langle b,p_\infty\rangle\cdot a-\langle a,p_\infty\rangle\cdot b$ is the radical line. As a line, it is of the form $(r_1,r_2,r_3,0)^T$ representing the equation $r_1X+r_2Y=r_3/2$.
At this point I decided to drop the Möbius formalism for a moment, and instead move to the formalism used for conics in real projective geometry. That's because in Möbius geometry, there only exists a single point at infinity, whereas in the real projective plane there is a whole line at infinity, and the radical line would intersect the line at infinity at a point $f=(r_2,-r_1,0)^T$.
In order to represent a circle with center $(x,y)$ and radius $r$ as a conic, observe that it corresponds to the set of all points $(X,Y)$ satisfying
$$0=(X-x)^2+(Y-y)^2-r^2= %X^2-2xX+x^2+Y^2-2yY+y^2-r^2= (X,Y,1)\cdot \begin{pmatrix}1&0&-x\\0&1&-y\\-x&-y&x^2+y^2-r^2\end{pmatrix} \cdot\begin{pmatrix}X\\Y\\1\end{pmatrix}$$
That symmetric matrix is used to represent the circle as a conic. It is homogeneous, too, since multiples of the equation describe the same set of points. Comparing it with the circle vectors introduced above, it is easy to see that the vector $a$ corresponds to a matrix
$$a'=\begin{pmatrix}a_4&0&-a_1\\0&a_4&-a_2\\-a_1&-a_2&a_3\end{pmatrix}$$
Any point on a line can be represented as a linear combination of two distinct points spanning that line. So the line through $p'=(p_1,p_2,p_4)^T$ and $f$ is the set of points $q'=\lambda p'+\mu f$. In order for a point to lie on that line and on the circle $a$ (i.e. the conic $a'$), that linear combination has to satisfy
$$0=q'^T\cdot a'\cdot q= \lambda^2(p'^T\cdot a'\cdot p')+ 2\lambda\mu(p'^T\cdot a'\cdot f)+ \mu^2(f^T\cdot a'\cdot f)$$
which at first looks quadratic. But knowing $p'^T\cdot a'\cdot p'=0$ (since $p$ was assumed to lie on both circles), one can cancel one $\mu$, solve the resulting homogeneous equation using Plücker's µ again, and write
$$q'=(f^T\cdot a'\cdot f)\cdot p' - 2(p'^T\cdot a'\cdot f)\cdot f$$
This corresponds to a radius zero circle $({q'}_1{q'}_3,{q'}_2{q'}_3,{q'}_1^2+{q'}_2^2,{q'}_3^2)^T$ in order to avoid division by ${q'}_3$.
Putting it all together
So now one has the two essential algorithms, namely circle through three points and other intersection, expressed as algorithms who only perform ring operations on the individual coordinates, no divisions. So starting from the parametrization, one can perform the whole computation using vectors of polynomials at each step.
It helps a lot to cancel common factors after each such computation. Those common factors would correspond to situations where some intermediate result becomes undefined. Canceling them corresponds to lifting a liftable singularity. And it helps to keep the size of the polynomials down, to make computations feasible.
As the result of such a chain of computations, one would end up with coordinates for all the points and circles involved. Not particularly simple polynomials; I've seen coordinates of degree up to $8$ for some of the points, although the circles (e.g. through $B,C,B_1,C_1$) are simpler with a maximal degree of $4$. I won't paste those vectors here since they take up a lot of room and add little value.
In order to check the cocircularity of $A_1,A,F,F_1$, one could simply compute the determinant of the four corresponding Möbius vectors. It is zero, indicating the existence of a circle (not the null vector) incident with all four of them. For the cocircularity of $A_1,B_1,C_1,D_1,E_1,F_1$ one could either do multiple determinants, or compute the circle through $A_1,B_1,C_1$ as described above, and then check that it's incident with the other three points by computing the inner product. By the way, that circle has coordinates of degree up to $6$.
I've done all of the above using the Sage code I posted here, and could verify your claim that way. It would be possible, though tedious, to print all the vectors and verify all the incidence conditions manually. So there is nothing here which means that this proof needs a computer, but doing it without one takes considerable work and at least I'm too lazy for that. Looking forward to other approaches, though.
Let $K$ be the circle circumscribed around the cyclic hexagon $ABCDEF$.
Apply Miquel's theorem to the five circles $(C_{AD}), \, (A_1AB), \, (B_1BC), \, (C_1CD)$ and $K$ concluding that the four points $A_1, \, B_1, \, C_1$ and $D_1$ lie on a common circle denoted by $K_1$.
Apply Miquel's theorem to the five circles $(C_{BE}), \, (B_1BC), \, (C_1CD), \, (D_1DE)$ and $K$ concluding that the four points $B_1, \, C_1, \, D_1$ and $E_1$ lie on a common circle $K^*$. However, the three points $B_1, \, C_1$ and $D_1$ already lie on $K_1$, so the circle $K^*$ coincides with $K_1$.
Apply Miquel's theorem to the five circles $(C_{CF}), \, (C_1CD), \, (D_1DE), \, (E_1EF)$ and $K$ concluding that the four points $C_1, \, D_1, \, E_1$ and $F_1$ lie on a common circle $K^*$. However, the three points $C_1, \, D_1$ and $E_1$ already lie on $K_1$, so the circle $K^*$ coincides with $K_1$.
So far I have proved that the six points $A_1, B_1, C_1, D_1, E_1$ and $F_1$ all lie on a common circle $K_1$.
- Finally, apply Miquel's theorem to the five circles $(C_{BE}), \, (A_1AB), \, (E_1EF), \, K$ and $K_1$ concluding that the four points $A, \, F, \, F_1$ and $A_1$ lie on a common circle called $(F_1FA)$.
One can prove the second result, i.e. the one where the three circles $(C_{AD}),\, (C_{BE})$ and $(C_{CF})$ are straight lines, for example like this:
Lemma 1. let the line $A_1B_1$ intersect the circle $(F_1FAA_1)$ at point $A' (\neq A_1)$ and the circle $(B_1BCC_1)$ at point $B' (\neq B_1)$. Then the three points $B', \, C$ and $D$ are collinear.
Proof: Angle chasing. Let $\angle \, BCB' = \theta$. Then by the cyclicity of $BCB'B_1$ we have $\angle \, BB_1A_1 = \theta$ and by the ciclicity of $ABB_1A_1$ we have $\angle \, DAB = \theta$. Since $ABDE$ is cyclic, $ \angle \, DEB = \angle \, DAB = \theta$ and since $BCDE$ is cyclic, $\angle \, DCB = \pi - \angle \, DEB = \pi - \theta$. Consequently, $\angle \, DCB' = \angle \, DCB + \angle \, BCB' = (\pi - \theta ) + \theta = \pi$. Therefore $B', \, C$ and $D$ are collinear.
Lemma 1 guarantees the correctness of the construction and that it closes up. Starting with line $A_1B_1$, we determine $A'$ and $B'$, then by Lemma 1 we infer that the points $B', \, C$ and $D$ are collinear as well as the points $A', \, F$ and $E$ are also collinear. Then draw line $E_1F_1$ and determine points $E'$ and $F'$. Applying Lemma 1 to $E_1F_1$ we conclude that points $A, \, B$ and $F'$ are collinear and that points $C, \, D$ and $E'$ are also collinear. But the latter fact implies that the four points $B', \, C, \, D$ and $E'$ are collinear. Analogously, applying Lemma 1 to the line $C_1D_1$, we conclude that the four points $F', \, A, \, B$ and $C'$ are collinear and that the four points $A', \, F, \, E$ and $D'$ are also collinear.
Finally, the cyclicity of $A'B'C'D'E'F'$ follows either as a special case of this result or it can be proven directly by angle chasing. Observe that $\angle \, DE'E_1 = \angle \, DEB = \theta$. We already know that $\angle \, BB_1A_1 = \theta$ which means that, due to the cyclicity of $ABB_1A_1$ and the collinearity of $F', \, A$ and $B$, we have $\angle \, F'AA_1 = \theta$. But since $AA_1A'F'$ is cyclic, $$\angle \, F'A'A_1 = \pi - \angle \, F'AA_1 = \pi - \theta$$. Since $A', \, A_1, \, B_1$ and $B'$ are collinear, $B', \, C, \, D$ and $E'$ are collinear, and $E', \, E_1, \, F_1$ and $F'$ are also collinear, $$\angle \, F'A'B' + \angle \, B'E'F' = \angle \, F'A'A_1 + \angle \, DE'E_1 = (\pi - \theta) + \theta = \pi$$ which means that $A'B'E'F'$ is cyclic.
Furthermore, $ \angle \, B'C'B = \angle \, BCB' = \theta$ because $BCC'B'$ is cyclic, so by the collinearity of $F', \, A, \, B$ and $C'$ it follows that $$\angle \, B'C'F' = \angle B'C'B = \theta = \angle \, B'E'F'$$ Therefore, $B'C'E'F'$ is cyclic. But it has been established that $A'$ lies on the same circle as $B'E'F'$ so $A'B'C'E'F'$ is cyclic. By the same argument, one concludes that $D'$ should also lie on the sam e circle as $A'B'C'E'F'$.