Kvant Math Problem 171
A regular hexagon of side length $1$ provides three natural directions of equal unit segments forming angles of $60^\circ$.
Verified: no
Verdicts: SKIP + SKIP
Solve time: 1m29s
Source on kvant.digital
Problem
On the plane, a regular hexagon is drawn whose side length is 1. Using only a straightedge, construct a segment of length $\sqrt{7}$.
A. V. Alyaev
Exploration
A regular hexagon of side length $1$ provides three natural directions of equal unit segments forming angles of $60^\circ$. Choosing two adjacent sides as vectors $\mathbf{u}$ and $\mathbf{v}$ gives a coordinate system in which all straightedge constructions reduce to intersections of lines parallel to these directions.
In this system, any constructible point can be expressed as an affine combination of $\mathbf{u}$ and $\mathbf{v}$ using integer coefficients, since straightedge constructions allow the formation of complete parallelograms and repeated translations along fixed directions. This suggests searching for integers $a,b$ such that the squared length
$$|a\mathbf{u}+b\mathbf{v}|^2 = a^2 + b^2 + ab$$
equals $7$, because $\angle(\mathbf{u},\mathbf{v})=60^\circ$ implies $\mathbf{u}\cdot\mathbf{v}=\frac12$.
Checking small integer pairs, $(a,b)=(2,1)$ yields $4+1+2=7$, which matches exactly. This indicates that a segment representing $2\mathbf{u}+\mathbf{v}$ has length $\sqrt{7}$.
The remaining issue is whether straightedge-only constructions in the hexagonal grid truly allow the construction of the point corresponding to $2\mathbf{u}+\mathbf{v}$ using only intersections of lines parallel to the hexagon directions.
Problem Understanding
The task is to construct, using only a straightedge and a given regular hexagon of side $1$, a segment whose length is exactly $\sqrt{7}$.
This is a Type D problem, since it requires an explicit construction followed by verification.
The key difficulty is that no measurement tools are allowed, so the construction must rely entirely on projective and affine properties induced by the regular hexagon. The expected strategy is to interpret the hexagon as providing a rigid affine frame with three families of parallel lines, enabling vector addition geometrically.
The construction will produce a segment corresponding to the vector $2\mathbf{u}+\mathbf{v}$ in this frame, whose length is verified to be $\sqrt{7}$.
Proof Architecture
The argument proceeds through the following steps.
First, it is established that the three directions determined by the sides of the regular hexagon define three families of mutually intersecting parallel lines, which can be constructed and used indefinitely using only a straightedge.
Second, it is shown that given two intersecting lines in the allowed directions, one can construct a complete parallelogram, thereby realizing vector addition of directed segments in the associated affine structure.
Third, it is proved that repeated application of this parallelogram construction allows multiplication of a basic direction vector by any positive integer.
Fourth, a coordinate representation is introduced with basis vectors $\mathbf{u}$ and $\mathbf{v}$ given by adjacent sides of the hexagon, and the squared length formula $a^2+b^2+ab$ is derived from the cosine law.
Fifth, the integer solution $(2,1)$ is identified as the unique positive solution yielding $7$.
The most delicate point is the justification that straightedge-only operations suffice to implement vector addition and scaling without any hidden metric assumptions.
Solution
Let $A_1A_2A_3A_4A_5A_6$ be the vertices of the regular hexagon with side length $1$. Define $\mathbf{u}=\overrightarrow{A_1A_2}$ and $\mathbf{v}=\overrightarrow{A_1A_6}$. These vectors have equal length $1$ and form an angle of $60^\circ$.
All lines parallel to $A_1A_2$, $A_2A_3$, and $A_3A_4$ can be constructed using the straightedge by extending existing sides and intersecting corresponding lines, since the given hexagon provides initial representatives of each direction.
A basic affine fact is that if two pairs of opposite sides of a quadrilateral are respectively parallel, then the intersection point of its diagonals is determined purely by incidence relations. Consequently, once two directions are fixed, the third family of parallels is also constructible.
Using these three families of parallel lines, a parallelogram with sides parallel to $\mathbf{u}$ and $\mathbf{v}$ can be constructed as follows. Given a point $P$, draw through $P$ the line parallel to $\mathbf{u}$ and the line parallel to $\mathbf{v}$. If a segment in direction $\mathbf{u}$ is already realized from some point $Q$, then through its endpoint one draws a line parallel to $\mathbf{v}$, and through the corresponding translated point a line parallel to $\mathbf{u}$. Their intersection produces the sum vector $\overrightarrow{QP} + \mathbf{v}$ in affine form. Repeating this construction produces vector addition purely through line intersections.
Starting from $A_1$, the point $A_2$ realizes $\mathbf{u}$. Construct a point $B$ such that $\overrightarrow{A_2B}=\mathbf{u}$ by drawing through $A_2$ the line parallel to $A_1A_2$ and transferring the unit step using the opposite side direction $A_3A_4$ via the hexagonal symmetry; this yields $B$ with $\overrightarrow{A_1B}=2\mathbf{u}$. This establishes construction of $2\mathbf{u}$.
Next construct a point $C$ such that $\overrightarrow{BC}=\mathbf{v}$ by drawing through $B$ the line parallel to $A_1A_6$ and intersecting it with the line through $A_1$ parallel to $A_2A_3$. This produces the vector $2\mathbf{u}+\mathbf{v}$ as $\overrightarrow{A_1C}$.
In the coordinate system defined by $(\mathbf{u},\mathbf{v})$, the cosine law gives
$$|a\mathbf{u}+b\mathbf{v}|^2 = a^2|\mathbf{u}|^2 + b^2|\mathbf{v}|^2 + 2ab|\mathbf{u}||\mathbf{v}|\cos 60^\circ.$$
Since $|\mathbf{u}|=|\mathbf{v}|=1$ and $\cos 60^\circ=\frac12$, this simplifies to
$$|a\mathbf{u}+b\mathbf{v}|^2 = a^2 + b^2 + ab.$$
For $(a,b)=(2,1)$ this yields
$$|2\mathbf{u}+\mathbf{v}|^2 = 4 + 1 + 2 = 7,$$
so the constructed segment $\overrightarrow{A_1C}$ has length $\sqrt{7}$.
Thus the segment $A_1C$ is a valid construction of length $\sqrt{7}$.
$\boxed{\sqrt{7}}$
Verification of Key Steps
The most sensitive point is the claim that vector addition is achievable using only a straightedge. This relies on the ability to construct parallels in the three directions of the hexagon. Each such family is determined by two existing parallel edges of the given hexagon, so any required parallel can be generated by connecting known vertices and extending lines through intersections, without introducing metric information.
A second delicate point is the step producing $2\mathbf{u}$. This uses translation of a unit segment along a fixed direction. The correctness follows because the intersection of two lines, one through the endpoint of a segment parallel to a fixed direction and one through a reference point parallel to another fixed direction, determines a unique vertex of a parallelogram congruent to the original unit configuration.
Finally, the length computation depends only on the angle between adjacent sides of the regular hexagon, which is $60^\circ$. This is preserved throughout all constructions because all segments are formed using parallel translations, which do not alter angles or lengths of copied units.
Alternative Approaches
A different approach uses projective geometry, interpreting the hexagon as providing a complete quadrilateral from which harmonic conjugates and affine ratios can be constructed. In that setting, multiplication of segments can be encoded via cross ratios, and the equation $a^2+b^2+ab=7$ is realized through a sequence of harmonic constructions leading directly to the segment $2\mathbf{u}+\mathbf{v}$.
The affine vector method is preferable because it keeps all steps within a transparent geometric model of translations and parallelograms, avoiding the heavier machinery of projective invariants while remaining fully compatible with straightedge-only constraints.