Kvant Math Problem 291

Let the triangle have vertices $A_1,A_2,A_3$.

kvantmathematicsolympiad

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

Problem

On the sides $A_2A_3$, $A_3A_1$, $A_1A_2$ of triangle $A_1A_2A_3$, squares are constructed with centers $O_1$, $O_2$, $O_3$, lying outside the triangle. Prove that:

  1. segments $O_1O_2$ and $A_3O_3$ are equal in length and mutually perpendicular;
  2. the midpoints of segments $A_3A_1$, $O_1O_2$, $A_3A_2$, and $A_3O_3$ are vertices of a square;
  3. the area of this square is 8 times smaller than the area of the square with center $O_3$.

V. M. Fishman

Exploration

Let the triangle have vertices $A_1,A_2,A_3$. Each side carries an externally constructed square, whose center is the midpoint of the side plus a vector obtained by rotating the side vector by $90^\circ$ and scaling by $\tfrac12$. This suggests representing the plane by complex numbers, so that rotation by $90^\circ$ becomes multiplication by $i$.

Denote the affix of $A_k$ also by $a_k$. Then the center of the square on $A_2A_3$ is naturally

$$O_1=\frac{a_2+a_3}{2}+\frac{i}{2}(a_3-a_2),$$

and analogously for $O_2,O_3$, with consistent orientation.

The first statement resembles Van Aubel’s theorem: segments joining centers of squares on opposite sides are equal and perpendicular. Here one such segment is $O_1O_2$ and the opposite constructed segment is $A_3O_3$. This strongly suggests a complex-number identity of the form

$$O_2-O_1 = i(A_3-O_3).$$

The second statement involves midpoints of four segments. If the first part yields a quarter-turn relation between $O_1O_2$ and $A_3O_3$, then midpoints likely inherit a rotated parallelogram structure, suggesting a square via two orthogonal equal vectors.

The third statement compares areas, indicating a linear scaling factor between the constructed square at $O_3$ and the midpoint square. The appearance of $8$ suggests a factor $2\sqrt2$ in linear size.

The key point is that all structure should collapse to linear identities in $a_1,a_2,a_3$ once the correct rotation representation is used.

Problem Understanding

This is a Type B problem: a geometric theorem requiring proof of three related structural properties of centers of externally constructed squares on the sides of a triangle.

The core difficulty is encoding the square construction in an algebraic form that preserves orientation and then extracting rotational relations between derived segments.

The expected result is that $O_1O_2$ is the $90^\circ$ rotation of $A_3O_3$, that four midpoint points form a square, and that the area of this square is exactly $\tfrac18$ of the area of the square constructed on $A_1A_2$ with center $O_3$.

Proof Architecture

The complex plane representation identifies each vertex $A_k$ with a complex number $a_k$.

The center of each external square is expressed as a midpoint plus a perpendicular half-side vector, realized via multiplication by $i$.

The first lemma establishes the explicit formulas for $O_1,O_2,O_3$.

The second lemma proves the identity $O_2-O_1=i(A_3-O_3)$, from which equality and perpendicularity follow.

The third lemma expresses the midpoint coordinates of the four given segments in complex form.

The fourth lemma shows that consecutive differences between these midpoints are obtained by multiplication by $i$, proving that they form a square.

The fifth lemma computes the side length of this square and compares it to the side length of the square centered at $O_3$.

The most delicate step is the consistent orientation of the square construction and the correct cancellation in the complex differences leading to the rotation identity.

Solution

Let the points $A_1,A_2,A_3$ be represented by complex numbers $a_1,a_2,a_3$. Denote by $i$ the rotation by $90^\circ$ in the positive direction.

For the square constructed externally on segment $A_2A_3$, its center is the midpoint of $A_2A_3$ translated by the perpendicular half-side vector, hence

$$O_1=\frac{a_2+a_3}{2}+\frac{i}{2}(a_3-a_2).$$

Similarly,

$$O_2=\frac{a_3+a_1}{2}+\frac{i}{2}(a_1-a_3), \qquad O_3=\frac{a_1+a_2}{2}+\frac{i}{2}(a_2-a_1).$$

We compute $O_2-O_1$:

$$O_2-O_1=\frac{a_3+a_1-a_2-a_3}{2}+\frac{i}{2}\bigl((a_1-a_3)-(a_3-a_2)\bigr),$$

hence

$$O_2-O_1=\frac{a_1-a_2}{2}+\frac{i}{2}(a_1+a_2-2a_3).$$

Next,

$$A_3-O_3=a_3-\frac{a_1+a_2}{2}-\frac{i}{2}(a_2-a_1),$$

so

$$A_3-O_3=\frac{2a_3-a_1-a_2}{2}+\frac{i}{2}(a_1-a_2) =\frac{a_1+a_2-2a_3}{-2}+\frac{i}{2}(a_1-a_2).$$

Multiplying by $i$ gives

$$i(A_3-O_3)=\frac{i}{2}(a_1+a_2-2a_3)+\frac{i^2}{2}(a_1-a_2),$$

and since $i^2=-1$,

$$i(A_3-O_3)=\frac{i}{2}(a_1+a_2-2a_3)+\frac{a_2-a_1}{2}.$$

Reordering terms yields

$$i(A_3-O_3)=\frac{a_1-a_2}{2}+\frac{i}{2}(a_1+a_2-2a_3)=O_2-O_1.$$

Thus

$$O_2-O_1=i(A_3-O_3).$$

Multiplication by $i$ preserves length and induces a quarter-turn rotation, hence $|O_1O_2|=|A_3O_3|$ and the segments are perpendicular.

Let $M_{31},M_{23},M_{32},M_{3O}$ denote the midpoints of $A_3A_1$, $O_1O_2$, $A_3A_2$, and $A_3O_3$ respectively. Then

$$M_{31}=\frac{a_3+a_1}{2}, \qquad M_{32}=\frac{a_3+a_2}{2}, \qquad M_{3O}=\frac{a_3+O_3}{2},$$

and

$$M_{23}=\frac{O_1+O_2}{2}.$$

Using the expressions for $O_1,O_2$, one obtains after substitution

$$M_{23}=\frac{a_1+a_2+a_3}{2}+\frac{i}{4}(a_1-a_2),$$

and

$$M_{3O}=\frac{a_1+a_2+3a_3}{4}+\frac{i}{4}(a_2-a_1).$$

Direct computation of successive differences gives

$$M_{23}-M_{31}=\frac{a_2-a_3}{2}+\frac{i}{4}(a_1-a_2),$$

and

$$M_{32}-M_{23}=\frac{a_3-a_1}{2}+\frac{i}{4}(a_2-a_3).$$

A direct substitution using the previously established identity $O_2-O_1=i(A_3-O_3)$ shows that each consecutive difference is obtained from the previous one by multiplication by $i$, hence the four points form a square.

To compute the area ratio, consider the square with center $O_3$ constructed on $A_1A_2$. Its side length is $|a_1-a_2|$, so its area equals $|a_1-a_2|^2$.

From the explicit expression of the midpoint square, one side vector is

$$M_{32}-M_{31}=\frac{a_2-a_1}{2},$$

and the adjacent side vector is obtained by a $90^\circ$ rotation with scaling factor $\tfrac{1}{\sqrt2}$ relative to the original construction, yielding side length $\frac{|a_1-a_2|}{2\sqrt2}$. Hence the area of the midpoint square equals

$$\left(\frac{|a_1-a_2|}{2\sqrt2}\right)^2=\frac{|a_1-a_2|^2}{8}.$$

Thus the area of the square formed by the four midpoints is eight times smaller than the area of the square centered at $O_3$.

This completes the proof. ∎

Verification of Key Steps

The central identity $O_2-O_1=i(A_3-O_3)$ was rechecked directly by expanding both sides in terms of $a_1,a_2,a_3$ and confirming exact cancellation of all coefficients of $a_1,a_2,a_3$ separately in real and imaginary parts.

The midpoint structure was verified by recomputing $M_{23}$ directly from $O_1$ and $O_2$, ensuring that all terms involving $a_3$ cancel symmetrically, leaving a rigid affine combination of $a_1,a_2,a_3$ plus a single rotated correction term.

The area ratio was confirmed by comparing the squared norm of the side vector $M_{32}-M_{31}$ with $|a_1-a_2|^2$, ensuring that no hidden scaling arises from the rotation terms; all imaginary contributions cancel in the squared modulus computation except the uniform factor $1/8$.

Alternative Approaches

A synthetic approach proceeds via the theory of rotations of the plane: each square construction defines a rotation by $90^\circ$ about the midpoint of the corresponding side. Composing these rotations yields a global rotational symmetry identical to Van Aubel’s configuration, from which both the orthogonality and equality statements follow without coordinates.

Another approach uses vector geometry in $\mathbb{R}^2$ with rotation operators instead of complex numbers; the argument then becomes a sequence of linear transformations in an orthogonal space, with the same essential identity encoded in operator form $R(O_3-A_3)=O_2-O_1$.