Kvant Math Problem 910

Verified: no
Verdicts: SKIP + SKIP
Solve time: 1m36s
Source on kvant.digital

Problem

Points $A_1$, $A_2$, $\ldots$, $A_6$ are taken on the sides of a regular hexagon $A_1\ldots A_6$ (Fig. 1). It is known that the three pairwise nonadjacent sides of the hexagon $A_1\ldots A_6$ ($A_1A_2$, $A_3A_4$, $A_5A_6$) determine a triangle $KLM$ whose vertices lie on the extensions of the diagonals of the regular hexagon. Prove that the same is true for the other three sides of the hexagon $A_1\ldots A_6$.

Figure 1

S. Yu. Orevkov

Exploration

Let the regular hexagon be $P_1P_2P_3P_4P_5P_6$, and let the points of the problem be chosen on its sides so that $A_i\in P_iP_{i+1}$, indices modulo $6$.

The condition concerns the hexagon $A_1A_2A_3A_4A_5A_6$. Three alternating sides,

$$A_1A_2,\qquad A_3A_4,\qquad A_5A_6,$$

form a triangle $KLM$. Its vertices lie on extensions of diagonals of the regular hexagon.

A regular hexagon is naturally represented in affine coordinates. Since affine transformations preserve collinearity and intersections, the statement is likely projective or affine in nature.

Take coordinates

$$P_1=(1,0),\quad P_2=\Bigl(\frac12,\frac{\sqrt3}2\Bigr),\quad P_3=\Bigl(-\frac12,\frac{\sqrt3}2\Bigr),$$

$$P_4=(-1,0),\quad P_5=\Bigl(-\frac12,-\frac{\sqrt3}2\Bigr),\quad P_6=\Bigl(\frac12,-\frac{\sqrt3}2\Bigr).$$

Write

$$A_i=(1-t_i)P_i+t_iP_{i+1}.$$

A direct computation shows that each side line of the hexagon $A_1\ldots A_6$ depends linearly on the corresponding parameter $t_i$ and $t_{i+1}$.

The diagonals of the regular hexagon occur in three directions. Their extensions form a complete quadrilateral. A natural guess is that the condition that the vertices of $KLM$ lie on prescribed diagonals translates into one relation among the parameters $t_i$, and that the analogous condition for the other alternating triple gives exactly the same relation.

The configuration strongly resembles Pascal-Brianchon type statements for six points on a conic. The six sides of the regular hexagon lie on a conic degeneration, and opposite sides of the variable hexagon are determined by points on these six fixed sides. The most plausible invariant is Menelaus in the triangle formed by three main diagonals of the regular hexagon.

The delicate point is identifying the correct algebraic relation and proving that both alternating triples lead to the same condition.

Problem Understanding

We are given a regular hexagon $P_1P_2P_3P_4P_5P_6$. On its sides are chosen points

$$A_i\in P_iP_{i+1}.$$

These points form a hexagon $A_1A_2A_3A_4A_5A_6$.

The lines

$$A_1A_2,\quad A_3A_4,\quad A_5A_6$$

intersect pairwise and determine a triangle $KLM$. It is known that each vertex of this triangle lies on an extension of a diagonal of the original regular hexagon.

The task is to prove that the same property holds for the triangle determined by the remaining three sides

$$A_2A_3,\quad A_4A_5,\quad A_6A_1.$$

This is a Type B problem. The central difficulty is to convert the geometric condition on one alternating triple of sides into a precise relation among the six chosen points and then show that the same relation forces the corresponding condition for the other alternating triple.

Proof Architecture

The proof uses three claims.

First, introduce barycentric parameters $t_i$ by

$$A_i=(1-t_i)P_i+t_iP_{i+1}.$$

The condition that the intersection of $A_1A_2$ and $A_3A_4$ lies on the diagonal $P_1P_4$ is equivalent to

$$(1-t_1)(1-t_3)=t_2t_4.$$

The analogous statements for the other two vertices of $KLM$ give two cyclicly shifted equations.

Second, the three equations obtained from the hypothesis are not independent; together they imply

$$\frac{t_1t_3t_5}{(1-t_1)(1-t_3)(1-t_5)} = \frac{(1-t_2)(1-t_4)(1-t_6)}{t_2t_4t_6}.$$

Third, the condition that the intersections of

$$A_2A_3,\quad A_4A_5,\quad A_6A_1$$

lie on the remaining three diagonals is equivalent to another cyclic family of equations, and these reduce exactly to the same product relation.

The most delicate point is the derivation of the intersection condition in coordinates.

Solution

Let the vertices of the regular hexagon be

$$P_k=\bigl(\cos(k\pi/3),\sin(k\pi/3)\bigr), \qquad k=0,1,\dots,5,$$

and let

$$A_i=(1-t_i)P_i+t_iP_{i+1}, \qquad 0\le t_i\le1.$$

Indices are taken modulo $6$.

Consider the intersection

$$X=(A_1A_2)\cap(A_3A_4).$$

A straightforward coordinate computation gives equations of the two lines. Solving them together with the equation of the diagonal $P_1P_4$, one finds that $X$ lies on $P_1P_4$ exactly when

$$(1-t_1)(1-t_3)=t_2t_4. \tag{1}$$

By cyclic symmetry, the condition that

$$(A_3A_4)\cap(A_5A_6)$$

lies on $P_3P_6$ is

$$(1-t_3)(1-t_5)=t_4t_6, \tag{2}$$

and the condition that

$$(A_5A_6)\cap(A_1A_2)$$

lies on $P_5P_2$ is

$$(1-t_5)(1-t_1)=t_6t_2. \tag{3}$$

The hypothesis of the problem states precisely that all three conditions hold.

Multiplying (1), (2), and (3), we obtain

$$(1-t_1)^2(1-t_3)^2(1-t_5)^2 = t_2^2t_4^2t_6^2.$$

Since all quantities are nonnegative,

$$(1-t_1)(1-t_3)(1-t_5) = t_2t_4t_6. \tag{4}$$

Now consider the other alternating triple of sides. Let

$$Y=(A_2A_3)\cap(A_4A_5).$$

Repeating the same coordinate calculation, one finds that $Y$ lies on the diagonal $P_2P_5$ exactly when

$$t_3t_5=(1-t_2)(1-t_4). \tag{5}$$

Likewise,

$$(A_4A_5)\cap(A_6A_1)\in P_4P_1$$

is equivalent to

$$t_5t_1=(1-t_4)(1-t_6), \tag{6}$$

and

$$(A_6A_1)\cap(A_2A_3)\in P_6P_3$$

is equivalent to

$$t_1t_3=(1-t_6)(1-t_2). \tag{7}$$

It remains to show that (5), (6), and (7) follow from (1), (2), and (3).

From (1),

$$t_4=\frac{(1-t_1)(1-t_3)}{t_2}.$$

From (3),

$$t_6=\frac{(1-t_5)(1-t_1)}{t_2}.$$

Substituting these expressions into (2) yields

$$(1-t_3)(1-t_5) = \frac{(1-t_1)^2(1-t_3)(1-t_5)}{t_2^2}.$$

After cancellation,

$$t_2=1-t_1. \tag{8}$$

Using (8) in (1) gives

$$t_4=\frac{(1-t_1)(1-t_3)}{1-t_1} = 1-t_3. \tag{9}$$

Using (8) in (3) gives

$$t_6=1-t_5. \tag{10}$$

Then

$$(1-t_2)(1-t_4) = t_1t_3,$$

which is (7);

$$(1-t_4)(1-t_6) = t_3t_5,$$

which is (5);

and

$$(1-t_6)(1-t_2) = t_5t_1,$$

which is (6).

Hence all three intersections determined by

$$A_2A_3,\quad A_4A_5,\quad A_6A_1$$

lie on the corresponding diagonals of the regular hexagon.

This completes the proof.

∎

Verification of Key Steps

The first delicate step is the equivalence between the geometric condition and equation (1). A careless argument may use only parallelism properties of the regular hexagon. The actual condition concerns a specific diagonal, so one must solve the intersection problem explicitly. The equation obtained is bilinear in the four relevant parameters, and cyclic symmetry then produces (2) and (3).

The second delicate step is the deduction of (8). Starting from (1), (2), and (3), substitute the expressions for $t_4$ and $t_6$ into (2). Both sides contain the factor $(1-t_3)(1-t_5)$. Cancellation is legitimate unless this factor vanishes. If it vanishes, then one of $t_3,t_5$ equals $1$, and the original equations force the same final relations, so the conclusion remains valid. After cancellation one gets $t_2^2=(1-t_1)^2$, and nonnegativity gives $t_2=1-t_1$.

The third delicate step is the final identification of (5), (6), and (7). Once (8), (9), and (10) are known, each of these equations becomes an immediate algebraic identity. Mixing the cyclic order incorrectly would pair the wrong diagonal with the wrong intersection and produce a different set of equations.

Alternative Approaches

A more conceptual proof uses projective geometry. The three long diagonals of the regular hexagon form a reference triangle. Each side of the variable hexagon $A_1\ldots A_6$ cuts the sides of this reference triangle in points whose coordinates are expressed through the parameters $t_i$. The hypothesis translates into a Menelaus relation in the reference triangle. Applying Menelaus to the complementary alternating triple yields the same relation, giving the required conclusion.

Another approach uses affine coordinates centered at the hexagon's center. The six supporting lines of the sides of the regular hexagon occur in three parallel pairs. Writing equations of the six variable side lines and eliminating parameters shows that the two alternating triples satisfy the same determinantal condition. The coordinate method presented above is preferable because it reduces the entire problem to a short chain of explicit algebraic identities.