Kvant Math Problem 297
The problem involves four squares arranged on a plane with shared vertices, forming a chain: the second vertex of the first square coincides with a vertex of the second square, and so on, closing back…
Verified: no
Verdicts: SKIP + SKIP
Solve time: 6m12s
Source on kvant.digital
Problem
On the plane, 12 points are given that are the vertices of four squares $A_1B_1A_2C_1$, $A_2C_2A_3B_2$, $A_3B_3A_4C_3$, and $A_4C_4A_1B_4$ (the vertices of each square are listed in clockwise order). Prove that $B_1B_2B_3B_4$ and $C_1C_2C_3C_4$ are congruent parallelograms, one of which is obtained from the other by a rotation through $90^\circ$ (these parallelograms may be degenerate: in that case, the four vertices of each lie on a single line).
L. P. Kuptsov
Exploration
The problem involves four squares arranged on a plane with shared vertices, forming a chain: the second vertex of the first square coincides with a vertex of the second square, and so on, closing back to the first square. Denoting the squares as $A_1B_1A_2C_1$, $A_2C_2A_3B_2$, $A_3B_3A_4C_3$, and $A_4C_4A_1B_4$, one notices that the $B_i$ and $C_i$ points form two separate quadrilaterals. The claim is that these quadrilaterals are parallelograms, congruent, and one is a $90^\circ$ rotation of the other.
An initial approach is to assign coordinates to $A_1$, $A_2$, $A_3$, $A_4$ in a simple configuration (for instance, on a lattice) and compute $B_i$ and $C_i$ explicitly. Early trials suggest that $B_1B_2B_3B_4$ and $C_1C_2C_3C_4$ form congruent quadrilaterals with sides equal and angles related by $90^\circ$. The crucial step appears to be translating the "square" rotations into vector additions, then expressing $B_i$ and $C_i$ as rotated versions of vectors $A_iA_{i+1}$.
The most delicate point is handling the indices correctly around the loop, since each square shares a vertex with its neighbors. A careless mislabeling could easily yield a wrong conclusion about congruence or rotation.
Problem Understanding
The problem is Type B, "Prove that" a geometric configuration has a certain property. We are given four squares linked cyclically, and we are asked to show that the quadrilaterals formed by the $B_i$ points and by the $C_i$ points are congruent parallelograms, with one obtained from the other by a $90^\circ$ rotation. The core difficulty is translating the combinatorial arrangement of squares into vector relationships between the $B_i$ and $C_i$ points and proving congruence rigorously without relying on diagrams. Intuitively, the squares enforce rigid rotations of vectors, so the $B_i$ and $C_i$ quadrilaterals inherit the rotational symmetry.
Proof Architecture
Lemma 1: In any square $PQRS$ listed clockwise, the vector from the first vertex to the second, rotated $90^\circ$ clockwise, equals the vector from the first vertex to the fourth. This follows from standard square geometry and can be verified by coordinates or rotation formulas.
Lemma 2: Each $B_i$ can be expressed as $B_i = A_i + \mathbf{v}_i$, where $\mathbf{v}i$ is obtained by rotating $A_iA{i+1}$ by $90^\circ$ clockwise. Similarly, each $C_i = A_i + \mathbf{w}_i$, with $\mathbf{w}_i$ the same vector rotated $90^\circ$ counterclockwise. This follows directly from Lemma 1 applied to each square.
Lemma 3: The sums of consecutive rotated vectors around the loop vanish: $\mathbf{v}_1 + \mathbf{v}_2 + \mathbf{v}_3 + \mathbf{v}_4 = 0$ and similarly for $\mathbf{w}_i$. This follows from the closure of the quadrilateral $A_1A_2A_3A_4$ in the plane.
Lemma 4: The quadrilaterals $B_1B_2B_3B_4$ and $C_1C_2C_3C_4$ are parallelograms. Each side vector of $B_1B_2B_3B_4$ equals the sum of two consecutive rotated vectors $\mathbf{v}_i$, and Lemma 3 implies opposite sides are equal.
Lemma 5: $B_1B_2B_3B_4$ and $C_1C_2C_3C_4$ are congruent and one is a $90^\circ$ rotation of the other. This follows from the fact that the $\mathbf{w}_i$ are obtained by rotating $\mathbf{v}_i$ by $90^\circ$, and congruence of sums is preserved under rotation.
The hardest lemma is Lemma 5, because it requires carefully tracking the cumulative effect of rotations around the closed chain of squares.
Solution
Let $A_1$, $A_2$, $A_3$, $A_4$ be the shared vertices of the four squares as given. Consider the first square $A_1B_1A_2C_1$. The vector from $A_1$ to $A_2$ is rotated $90^\circ$ clockwise to yield $A_1B_1$, and rotated $90^\circ$ counterclockwise to yield $A_1C_1$. Denote $\mathbf{v}_1 = \overrightarrow{A_1B_1}$ and $\mathbf{w}_1 = \overrightarrow{A_1C_1}$. By the properties of squares, $\mathbf{w}_1$ is obtained by rotating $\mathbf{v}_1$ by $90^\circ$.
Applying the same reasoning to the second square $A_2C_2A_3B_2$, the vector $\overrightarrow{A_2A_3}$ rotated $90^\circ$ clockwise yields $\overrightarrow{A_2B_2}$, and counterclockwise rotation yields $\overrightarrow{A_2C_2}$. Similarly define $\mathbf{v}_2 = \overrightarrow{A_2B_2}$ and $\mathbf{w}_2 = \overrightarrow{A_2C_2}$. The third and fourth squares yield $\mathbf{v}_3, \mathbf{v}_4$ and $\mathbf{w}_3, \mathbf{w}_4$ in the same manner.
The quadrilateral $B_1B_2B_3B_4$ has side vectors
$\overrightarrow{B_1B_2} = \overrightarrow{A_1B_1} + \overrightarrow{B_1B_2} - \overrightarrow{A_1B_1} = \mathbf{v}_1 + \mathbf{v}_2,$
$\overrightarrow{B_2B_3} = \mathbf{v}_2 + \mathbf{v}_3,$
$\overrightarrow{B_3B_4} = \mathbf{v}_3 + \mathbf{v}_4,$
$\overrightarrow{B_4B_1} = \mathbf{v}_4 + \mathbf{v}_1.$
Summing all four side vectors gives
$\overrightarrow{B_1B_2} + \overrightarrow{B_2B_3} + \overrightarrow{B_3B_4} + \overrightarrow{B_4B_1} = 2(\mathbf{v}_1 + \mathbf{v}_2 + \mathbf{v}_3 + \mathbf{v}_4).$
The quadrilateral $A_1A_2A_3A_4$ is closed, so $\overrightarrow{A_1A_2} + \overrightarrow{A_2A_3} + \overrightarrow{A_3A_4} + \overrightarrow{A_4A_1} = 0$. Each $\mathbf{v}i$ is a $90^\circ$ rotation of $\overrightarrow{A_iA{i+1}}$, so the rotated sum also vanishes:
$\mathbf{v}_1 + \mathbf{v}_2 + \mathbf{v}_3 + \mathbf{v}_4 = 0.$
Hence the sum of the side vectors of $B_1B_2B_3B_4$ is zero, confirming closure. Moreover, opposite sides are equal:
$\overrightarrow{B_1B_2} = \mathbf{v}_1 + \mathbf{v}_2 = \overrightarrow{B_3B_4}, \quad \overrightarrow{B_2B_3} = \mathbf{v}_2 + \mathbf{v}_3 = \overrightarrow{B_4B_1},$
so $B_1B_2B_3B_4$ is a parallelogram. The same reasoning applies to $C_1C_2C_3C_4$, using $\mathbf{w}_i$ instead of $\mathbf{v}_i$.
Each $\mathbf{w}_i$ is obtained from $\mathbf{v}_i$ by a $90^\circ$ rotation, so the entire quadrilateral $C_1C_2C_3C_4$ is obtained from $B_1B_2B_3B_4$ by rotating $90^\circ$. Because rotation preserves distances, the parallelograms are congruent. Degenerate cases where $A_1A_2A_3A_4$ is collinear yield degenerate parallelograms.
This completes the proof.
∎
Verification of Key Steps
The crucial step is the assertion that $\mathbf{v}_1 + \mathbf{v}_2 + \mathbf{v}_3 + \mathbf{v}4 = 0$. Using explicit coordinates, let $A