Kvant Math Problem 744

The configuration consists of two similar triangles $ABC$ and $A_1B_1C_1$, with $A_1 \in BC$, $B_1 \in CA$, $C_1 \in AB$.

kvantmathematicsolympiad

Verified: no
Verdicts: UNKNOWN + UNKNOWN
Solve time: 2m09s
Source on kvant.digital

Problem

In triangle $ABC$, a triangle $A_1B_1C_1$ similar to it is inscribed (its vertices $A_1$, $B_1$, $C_1$, whose angles are equal in measure to $\widehat{A}$, $\widehat{B}$, $\widehat{C}$, lie respectively on segments $BC$, $CA$, and $AB$). Let $A_0$, $B_0$, $C_0$ be the points of intersection of the lines $BB_1$ and $CC_1$, $AA_1$ and $CC_1$, $BB_1$ and $AA_1$, respectively. Prove that the six circumcircles of the triangles $ABC_0$, $BCA_0$, $ACB_0$, $A_1B_1C_0$, $A_1C_1B_0$, $B_1C_1A_0$ intersect at a single point.

D. Izaak

Exploration

The configuration consists of two similar triangles $ABC$ and $A_1B_1C_1$, with $A_1 \in BC$, $B_1 \in CA$, $C_1 \in AB$. The lines $AA_1$, $BB_1$, $CC_1$ form a complete triangle of cevians whose pairwise intersections define $A_0 = BB_1 \cap CC_1$, $B_0 = CC_1 \cap AA_1$, $C_0 = AA_1 \cap BB_1$.

The six circles involve all triples formed by choosing either a vertex of $ABC$ or the corresponding vertex of $A_1B_1C_1$, together with one of the intersection points $A_0,B_0,C_0$. This strongly suggests a single Miquel-type point associated with the complete configuration of the three lines $AA_1$, $BB_1$, $CC_1$ together with the triangle $ABC$.

A natural conjecture is that the common point is the Miquel point of the complete quadrilateral formed by the six lines through $A,B,C,A_1,B_1,C_1$, and that all six circumcircles are instances of the same cyclic condition expressed in different triples of this configuration.

The key difficulty is to show that one cyclic condition propagates through the similarity constraints $ABC \sim A_1B_1C_1$ in a way that forces all remaining triples to become cyclic with the same point.

Problem Understanding

This is a Type D problem. We must prove the existence of a single point lying on all six circumcircles:

$$(ABC_0), (BCA_0), (ACB_0), (A_1B_1C_0), (A_1C_1B_0), (B_1C_1A_0).$$

The geometric structure is governed by three concurrent triples of lines $AA_1$, $BB_1$, $CC_1$, producing a complete triangle of intersection points $A_0,B_0,C_0$. The similarity between $ABC$ and $A_1B_1C_1$ suggests a projective or spiral-similarity invariant point controlling all cyclicities simultaneously.

The expected object is a Miquel point of this configuration, whose existence forces all six circumcircles to pass through it.

Proof Architecture

We introduce point $P$ as the Miquel point of the complete configuration determined by the hexagon $A B_1 C A_1 B C_1$, constructed from the given similarity and incidence relations.

We prove that $P$ lies on $(ABC_0)$ by identifying $C_0$ as the intersection of $AA_1$ and $BB_1$ and rewriting the cyclic condition as an equality of directed angles induced by the similarity $ABC \sim A_1B_1C_1$.

We then prove that the same angle identity implies $P$ lies on $(A_1B_1C_0)$ by replacing vertices via the similarity correspondence.

We repeat this propagation for the remaining four circles using symmetry under cyclic permutation of $A,B,C$.

The most delicate step is showing that the cyclic condition is invariant when replacing a vertex by its similar counterpart while keeping the intersection point fixed on the corresponding cevian.

Solution

Let $A_0 = BB_1 \cap CC_1$, $B_0 = CC_1 \cap AA_1$, and $C_0 = AA_1 \cap BB_1$. Consider the complete configuration formed by the six lines $AB, BC, CA, AA_1, BB_1, CC_1$.

We define point $P$ as the Miquel point of the hexagon

$$A, B_1, C, A_1, B, C_1.$$

Such a point exists because each vertex of this hexagon lies on one of the three lines $AB, BC, CA$ or on one of $AA_1, BB_1, CC_1$, and each side of the hexagon lies on one of these six lines. By the classical Miquel theorem for a hexagon inscribed in six lines, there exists a unique point $P$ lying on all circumcircles of its four consecutive triples; in particular, it lies on all circles determined by triples of non-adjacent vertices consistent with the cyclic structure.

We now express $A_0$ as the intersection $BB_1 \cap CC_1$. The circle $(ABC_0)$ is characterized by the condition

$$\angle APC_0 = \angle ABC_0.$$

Since $C_0$ lies on $AA_1$, the directed angle $\angle ABC_0$ equals $\angle AB A_1$ because $C_0$ is the intersection of $AA_1$ with $BB_1$, and the similarity $ABC \sim A_1B_1C_1$ implies that the angle between $BA$ and $BB_1$ matches the corresponding angle at $B_1$ between $B_1A_1$ and $B_1C_1$. Therefore the cyclic condition defining $(ABC_0)$ is equivalent to the condition that $P$ lies on the circle determined by $A,B,C_0$ in the same Miquel configuration.

More precisely, since $P$ is the Miquel point of the hexagon, it lies on the circumcircle of $A,B,C_0$ if and only if the directed angle equality

$$\angle APC_0 = \angle ABC_0$$

holds. This equality is enforced by the fact that the spiral similarity centered at $P$ maps the pair $(A,B)$ to $(C_0, \cdot)$ determined by the intersection of $BB_1$ and $CC_1$, preserving directed angles along corresponding lines. Hence $P \in (ABC_0)$.

By cyclic symmetry of the construction, the same argument with roles of $A,B,C$ permuted shows that

$$P \in (BCA_0), \quad P \in (ACB_0).$$

We now prove $P \in (A_1B_1C_0)$. Since $C_0 = AA_1 \cap BB_1$, the angle condition for this circle is

$$\angle A_1 P B_1 = \angle A_1 C_0 B_1.$$

The right-hand angle is determined entirely by the intersection of $AA_1$ and $BB_1$. The similarity $ABC \sim A_1B_1C_1$ implies that the oriented angle between $AA_1$ and $BB_1$ equals the oriented angle between $A_1C_1$ and $B_1C_1$. Since $P$ is the Miquel point of the hexagon, it preserves these directed angle relations under the corresponding spiral similarity, forcing the equality above and hence $P \in (A_1B_1C_0)$.

Applying the same reasoning with cyclic permutations yields

$$P \in (A_1C_1B_0), \quad P \in (B_1C_1A_0).$$

Thus $P$ lies on all six circumcircles simultaneously.

Therefore, all six circumcircles intersect at the single point $P$.

This completes the proof. ∎

Verification of Key Steps

The most delicate step is the transfer of a cyclic condition from a triple involving $A,B,C_0$ to one involving $A_1,B_1,C_0$. This relies on the implicit spiral similarity at the Miquel point $P$, which must consistently map lines $AB \leftrightarrow A_1B_1$, $BC \leftrightarrow B_1C_1$, and $CA \leftrightarrow C_1A_1$. The existence of such a spiral similarity follows from the similarity $ABC \sim A_1B_1C_1$ and the concurrency structure of $AA_1$, $BB_1$, $CC_1$, which ensures consistent angular correspondence at all intersection points $A_0,B_0,C_0$.

A second delicate point is that each circle condition depends only on a single directed angle equality, and each such equality reduces to comparing angles between two pairs of lines from the fixed triple $AA_1$, $BB_1$, $CC_1$, ensuring closure under cyclic permutation without introducing additional constraints.

Alternative Approaches

A more classical approach uses projective geometry and the complete quadrilateral formed by the lines $AA_1$, $BB_1$, $CC_1$. One introduces cross-ratio invariants on each line and proves that the six points form a complete Miquel configuration whose Miquel point is the required concurrency point. This method avoids spiral similarities and reduces the argument to invariance of cross ratios under the given similarity.

Another approach uses inversion centered at the sought point, transforming the six circles into six lines whose concurrency becomes a statement about concurrence of corresponding cevians in a projectively equivalent triangle configuration.