Kvant Math Problem 452

Let $ABC$ be the triangle $T_1$ inscribed in a circle with center $O$.

kvantmathematicsolympiad

Verified: no
Verdicts: UNKNOWN + UNKNOWN
Solve time: 1m55s
Source on kvant.digital

Problem

In a circle, triangles $T_1$ and $T_2$ are inscribed, and the vertices of triangle $T_2$ are the midpoints of the arcs into which the circle is divided by the vertices of triangle $T_1$. Prove that in the hexagon $T_1\cap T_2$, the diagonals connecting opposite vertices are parallel to the sides of triangle $T_1$ and intersect at a single point.

N. Yu. Netsvetaev

All-Union Mathematical Olympiad for School Students (XI, 1977, grades 8–10)

Exploration

Let $ABC$ be the triangle $T_1$ inscribed in a circle with center $O$. Let $A_1,B_1,C_1$ be the midpoints of the arcs $BC,CA,AB$ not containing $A,B,C$ respectively; these are the vertices of $T_2$.

The cyclic order on the circle is

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

so the hexagon $T_1 \cap T_2$ has vertices alternating between $T_1$ and $T_2$.

The key geometric feature of arc midpoints is that each point, say $A_1$, lies on the internal angle bisector of $\angle A$. This suggests strong symmetry relations between the configuration and the angle bisectors of $ABC$. However, the problem does not ask about bisectors but about diagonals of the hexagon being parallel to sides of $ABC$ and concurrent.

This indicates that the relevant structure is not angle bisectors themselves, but the fact that arc midpoints induce equal subtended angles, producing pairs of equal angles that force parallelism. The concurrency point is therefore not arbitrary; it must be invariant under the three symmetries determined by the arc midpoint construction. The only such point in the configuration is the circumcenter $O$.

The main difficulty is identifying which opposite vertices correspond to lines passing through $O$, and then converting arc equalities into angle equalities that yield parallelism.

Problem Understanding

This is a Type B problem.

Two triangles are inscribed in the same circle: one is $ABC$, and the other is formed by arc midpoints $A_1,B_1,C_1$. The hexagon formed by alternating vertices of the two triangles has three “opposite vertex” diagonals. One must prove that each such diagonal is parallel to a side of $ABC$, and that all three diagonals are concurrent.

The key difficulty is translating “arc midpoint” into precise angle equalities and then identifying a global concurrency point. The correct structure is hidden symmetry in the cyclic ordering.

Proof Architecture

First, a lemma establishes that each arc midpoint lies on the internal angle bisector of the corresponding vertex angle of $ABC$, using equal arcs and the inscribed angle theorem.

Second, a cyclic angle computation shows that for each arc midpoint, a specific opposite vertex line forms equal corresponding angles with a side of $ABC$, implying parallelism.

Third, a symmetry argument with the circumcircle shows that each such diagonal passes through the circumcenter $O$, establishing concurrency.

The most delicate part is the second step, where arc equalities must be translated into a precise directed angle comparison yielding parallel lines.

Solution

Let $ABC$ be a triangle inscribed in a circle with center $O$. Let $A_1$ be the midpoint of arc $BC$ not containing $A$, and define $B_1$ and $C_1$ analogously.

Since $A_1$ is the midpoint of arc $BC$, the arcs $BA_1$ and $A_1C$ are equal. The inscribed angle theorem implies

$\angle BA A_1 = \angle A_1 AC,$

because both angles subtend equal arcs. Hence $AA_1$ is the internal angle bisector of $\angle A$.

Now consider the diagonal $AA_1$ of the hexagon. Let $B$ and $C$ be adjacent vertices on the circle. The goal is to compare the angle between $AA_1$ and $AB$ with the angle $\angle ABC$.

The angle between $AA_1$ and $AB$ equals

$\angle A_1AB = \tfrac12 \widehat{A_1B},$

where $\widehat{A_1B}$ denotes the arc not containing $A$. Since $A_1$ is the midpoint of arc $BC$, the arc from $A_1$ to $B$ passing through $C$ equals the sum of arcs $A_1C$ and $CB$, and because $A_1C = CB$, this arc equals twice $CB$. Therefore,

$\angle A_1AB = \tfrac12 \cdot 2\widehat{CB} = \widehat{CB} = \angle CAB.$

Hence the angle between $AA_1$ and $AB$ equals $\angle CAB$, which implies

$AA_1 \parallel BC.$

The same argument cyclically shows

$BB_1 \parallel CA, \qquad CC_1 \parallel AB.$

Thus each diagonal joining opposite vertices of the hexagon is parallel to a side of triangle $ABC$.

It remains to prove concurrency. Since $AA_1 \parallel BC$, $BB_1 \parallel CA$, and $CC_1 \parallel AB$, the triangle formed by the three lines $AA_1$, $BB_1$, and $CC_1$ is homothetic to $ABC$ rotated by $180^\circ$ about the circumcenter $O$. Indeed, reflection of $ABC$ in $O$ preserves the circumcircle and sends each vertex to the antipodal point, while the midpoint-of-arc construction is invariant under this central symmetry. Therefore each line $AA_1$, $BB_1$, $CC_1$ is mapped to itself under central symmetry about $O$, which forces all three lines to pass through $O$.

Hence the three diagonals of the hexagon are concurrent at $O$.

This completes the proof. ∎

Verification of Key Steps

The crucial step is the identification of $AA_1 \parallel BC$. This rests entirely on converting arc midpoint equality into a doubling relation for arcs seen from $A$.

Let $A_1$ be midpoint of arc $BC$. Then arc equality $\widehat{BA_1}=\widehat{A_1C}$ implies that the arc from $A_1$ to $B$ passing through $C$ equals $2\widehat{CB}$. The inscribed angle theorem then gives

$\angle A_1AB = \tfrac12 \widehat{A_1B} = \widehat{CB},$

which matches $\angle CAB$. This equality is sufficient for parallelism.

For concurrency, the delicate point is the use of central symmetry about $O$. Each construction step depends only on arc midpoints, which are preserved under rotation by $180^\circ$ about $O$; hence each of the three lines is invariant under this symmetry and must pass through $O$, the unique fixed point of the symmetry.

Alternative Approaches

A different approach uses oriented angles modulo $180^\circ$ systematically, encoding arc midpoints as linear relations on the unit circle in complex numbers. In that framework, the vertices are complex numbers $a,b,c$ on the unit circle, and arc midpoints become normalized sums such as $\frac{b+c}{|b+c|}$. The parallelism becomes a statement about ratios of complex differences, and concurrency reduces to a common factorization through $a+b+c$. This method is more algebraic but shorter, while the synthetic approach above isolates the geometric symmetries more transparently.