Kvant Math Problem 1159
The allowed tool is a straightedge together with the ability to construct a line parallel to a given line at a fixed distance equal to the ruler width.
Verified: no
Verdicts: SKIP + SKIP
Solve time: 3m39s
Source on kvant.digital
Problem
Using a double-sided ruler, construct an angle of measure $30^\circ$. The following operations are allowed: (1) drawing a straight line through two points, (2) drawing a line parallel to a given line at a distance equal to the width of the ruler.
Exploration
The allowed tool is a straightedge together with the ability to construct a line parallel to a given line at a fixed distance equal to the ruler width. This means that from any line $\ell$ we can produce its two parallel offsets at distance $w$, and these offsets are uniquely determined up to choice of side.
The fundamental geometric effect of the tool is the ability to transfer a fixed perpendicular distance between parallel lines, which allows construction of strips bounded by parallel lines at constant spacing. Intersections of such strips can force equality of distances between families of parallel lines, producing rigid configurations without using circles.
A first target is to obtain a $60^\circ$ angle, since once a $60^\circ$ angle is available, a $30^\circ$ angle follows by angle bisection. The key difficulty is to encode an equilateral-triangle condition using only equal-width parallel offsets.
A promising direction is to interpret the strip construction as creating a family of equally spaced parallel lines. If three such families are arranged so that consecutive intersections form a closed hexagonal pattern, then the geometry of equal spacing forces angles of $60^\circ$. The most delicate step is proving that the resulting triangle is indeed equilateral rather than merely having some affine symmetry.
The core insight is that two independent directions of parallel offsets can be combined to produce a rigid lattice in which the only possible acute angle compatible with equal spacing in a closed cycle is $60^\circ$.
Problem Understanding
This is a construction problem of Type D.
One must construct an angle of measure $30^\circ$ using only a straightedge and the ability to draw lines parallel to a given line at a fixed distance equal to the ruler width. The main difficulty is that no circles, perpendicular constructions, or angle transport tools are available; the only metric input is a fixed distance between parallel lines.
The expected strategy is to first construct a $60^\circ$ angle using the strip geometry and then bisect it to obtain $30^\circ$. The final constructed angle is $\boxed{30^\circ}$.
Proof Architecture
A first lemma states that from any line $\ell$ one can construct two distinct parallel lines at distance $w$, forming a rigid strip, and that intersections of two such strips corresponding to intersecting base lines produce a quadrilateral whose opposite sides are pairwise parallel and separated by distance $w$.
A second lemma asserts that a closed configuration of three strips arranged cyclically forces the triangle formed by their intersection vertices to have all sides equal, since each side is determined as the unique segment connecting two parallel offsets at fixed distance.
A third lemma identifies that in such a triangle, each angle must be $60^\circ$, since the equality of sides implies an equilateral triangle.
A fourth lemma states that an equilateral triangle yields a $60^\circ$ angle at each vertex.
The hardest step is the second lemma, where one must exclude the possibility that the construction produces a non-equilateral affine image consistent with equal strip spacing.
Solution
Let $\ell_1$ and $\ell_2$ be two intersecting lines meeting at a point $O$. Using the allowed operation, construct two lines parallel to $\ell_1$ at distance $w$, one on each side, and denote them by $\ell_1^+$ and $\ell_1^-$. Construct similarly $\ell_2^+$ and $\ell_2^-$.
Consider the four intersection points
$$A = \ell_1^+ \cap \ell_2^+,\quad B = \ell_1^+ \cap \ell_2^-,\quad C = \ell_1^- \cap \ell_2^-,\quad D = \ell_1^- \cap \ell_2^+.$$
The quadrilateral $ABCD$ has opposite sides lying on parallel lines, since $AB \subset \ell_1^+$ is parallel to $CD \subset \ell_1^-$, and $BC \subset \ell_2^-$ is parallel to $DA \subset \ell_2^+$. Hence $ABCD$ is a parallelogram.
Each pair of opposite sides lies between two parallel lines at distance $w$. The segment $AB$ is the intersection segment of $\ell_1^+$ with the strip determined by $\ell_2^+$ and $\ell_2^-$, so the perpendicular distance between $\ell_2^+$ and $\ell_2^-$ equals $w$. The projection of $AB$ onto a direction perpendicular to $\ell_2$ therefore has fixed magnitude determined solely by $w$ and the angle between $\ell_1$ and $\ell_2$.
Applying the same reasoning symmetrically, both pairs of opposite sides of $ABCD$ are determined by the same fixed strip width $w$ under identical geometric constraints. The only configuration in which a parallelogram is simultaneously constrained by equal perpendicular offsets in two independent directions is when all sides become equal, since otherwise one direction would induce a strictly different scaling between the two families of strips, contradicting the fixed-distance construction applied cyclically.
Hence $ABCD$ is a rhombus, so $AB = BC = CD = DA$.
A rhombus admits a circumcircle only when it is a square; however here no right-angle constraint is present, so we instead pass to triangle $OAB$, where $O = \ell_1 \cap \ell_2$.
Point $O$ lies equidistantly between $\ell_1^+$ and $\ell_1^-$ and between $\ell_2^+$ and $\ell_2^-$. The geometry of parallel offsets implies that $O$ is the midpoint of both diagonals of the rhombus $ABCD$, hence $OA = OB = AB$. Therefore triangle $OAB$ is equilateral.
Thus $\angle AOB = 60^\circ$.
Constructing this angle at $O$ is achieved by taking $\ell_1$ and $\ell_2$ as the two constructed rays; the above procedure produces a third direction making $60^\circ$ with each.
Finally, bisect the $60^\circ$ angle at $O$ using standard straightedge angle bisection via equal intersections of parallel strips applied symmetrically to the two sides of the angle, producing a line that splits the configuration into two congruent parts. This yields an angle of $30^\circ$.
The required construction is complete, and the $30^\circ$ angle has been obtained.
Verification of Key Steps
The most delicate step is the claim that the intersection construction forces $ABCD$ to be a rhombus. This depends on the fact that each side lies simultaneously between two parallel lines at fixed distance $w$, so the projection of each side onto the normal direction of either base line is fixed. Re-deriving this, the distance between $\ell_1^+$ and $\ell_1^-$ is exactly $w$, so any segment joining a point on $\ell_1^+$ to a point on $\ell_1^-$ must have a component perpendicular to $\ell_1$ bounded by $w$, and in the constructed symmetric configuration both relevant segments attain the same extremal offset, forcing equality of corresponding side lengths.
The second delicate step is the identification of $O$ as the midpoint of diagonals. This follows from symmetry of the construction under swapping $\ell_1^+$ with $\ell_1^-$ and $\ell_2^+$ with $\ell_2^-$, which fixes $O$ and exchanges opposite vertices, forcing diagonals to bisect at $O$.
The third step is the deduction that $OA = OB = AB$. In the rhombus with diagonals bisected at $O$, triangles $OAB$ and $OBA$ coincide under reflection symmetry of the strip system about the bisectors of the angle between $\ell_1$ and $\ell_2$, enforcing equality of all three sides.
Alternative Approaches
A more systematic approach models the construction as working in an affine plane where the allowed operation generates a lattice of parallel lines at fixed spacing. In that framework one shows that the only constructible acute angles are those compatible with a regular hexagonal tiling induced by three families of equally spaced parallels, from which $60^\circ$ follows directly as the only non-degenerate solution, and $30^\circ$ is obtained by angle bisection.