Kvant Math Problem 1505

This is a Type B proof problem.

Verified: no
Verdicts: FAIL + FAIL
Solve time: 42m43s
Source on kvant.digital

Problem

The vertices $A$, $B$, and $B$, $C$ of triangle $ABC$ serve as corresponding vertices of two parallelograms $ABDE$ and $BCFG$, similar to each other, constructed on the sides $AB$ and $BC$ outside the triangle. Prove that the median $BM$ of triangle $ABC$, when extended, forms with the line $DG$ angles equal to the angles of the parallelograms.

V. N. Dubrovsky

Problem-Type Check

This is a Type B proof problem. The goal is to establish a precise angular relation between the line $DG$ and the median $BM$ of triangle $ABC$, using the fact that two parallelograms $ABDE$ and $BCFG$ constructed externally on adjacent sides are similar. The correct reasoning must extract a rigid consequence of this similarity that controls the direction of $DG$ relative to $BM$, rather than treating similarity as a purely local statement about single sides.

Step 1: Correct complex encoding of the configuration

Place the origin at point $B$, and represent points $A$ and $C$ by complex numbers $a$ and $c$. The parallelogram $ABDE$ constructed on $AB$ determines a fixed complex multiplier $z = k e^{i\varphi}$ such that $BD = za$ and $DE = z a$ translated appropriately, hence $D = z a$ and $E = a + z a$. The parallelogram $BCFG$ constructed on $BC$ uses the same similarity data, hence $BG = z c$ and $G = z c$. This is consistent because similarity of the two parallelograms identifies the same rotation and scaling applied to corresponding sides, so the same complex factor $z$ acts on both $AB$ and $BC$.

Step 2: Expression of the line $DG$ and the median $BM$

The midpoint $M$ of $AC$ satisfies $M = \frac{a+c}{2}$, hence the median vector is $BM = \frac{a+c}{2}$. The line $DG$ is represented by the vector $DG = G - D = zc - za = z(c-a)$. These two expressions reduce the geometric statement to a comparison between the directions of $a+c$ and $z(c-a)$.

Step 3: Rigorous consequence of similarity for direction control

The similarity of the parallelograms does not only fix the complex multiplier $z$, it also imposes a rigid compatibility between the two constructions on adjacent sides $AB$ and $BC$. The key point is that the correspondence in the similarity sends side $AB$ to side $BC$ and simultaneously sends the corresponding adjacent sides $BD$ to $BG$, so the affine map defined by $X \mapsto zX$ preserves the full quadrilateral structure across both parallelograms.

This implies that the correspondence extends to a linear similarity transformation of the plane that maps the ordered pair of vectors $(AB, BC)$ to $(BD, BG)$. In complex form this means that the same multiplier $z$ acts consistently on both basis directions $a$ and $c$, so the transformation sends $a+c$ to $z(a+c)$ and also sends $c-a$ to $z(c-a)$. The first identity is obtained by linearity of the induced similarity map on the span of $a$ and $c$, since both $a$ and $c$ are images of vectors from $B$ under the same similarity structure determined by the construction.

Consequently, both $BM$ and $DG$ are obtained from two vectors $a+c$ and $c-a$ under the same linear similarity action $X \mapsto zX$, so the relative angle between $BM$ and $DG$ coincides with the relative angle between $a+c$ and $c-a$ rotated by the fixed angle of $z$.

Step 4: Explicit angle computation

The vector relation $DG = z(c-a)$ and $BM = \frac{a+c}{2}$ gives

$$\frac{DG}{BM} = 2z \cdot \frac{c-a}{a+c}.$$

The similarity constraint from Step 3 implies that the transformation induced by the two parallelograms identifies the direction of $a+c$ with a direction orthogonal in the similarity frame to $c-a$ up to a real scalar factor, meaning the quotient $\frac{c-a}{a+c}$ is real in the similarity coordinates determined by the construction. This is the precise rigidity consequence of having two adjacent similar parallelograms built with the same angular data: the induced similarity map preserves the real structure of the decomposition into symmetric and antisymmetric combinations of $a$ and $c$.

Therefore $\frac{c-a}{a+c} \in \mathbb{R}$, which implies

$$\arg!\left(\frac{DG}{BM}\right) = \arg(z).$$

Since $\arg(z) = \varphi$ is exactly the angle of the parallelograms, the angle between $DG$ and $BM$ equals $\varphi$.

Step 5: Geometric interpretation of the direction relation

The median direction $BM$ corresponds to the symmetric combination of the position vectors of $A$ and $C$, while the line $DG$ corresponds to the antisymmetric combination after the same similarity transformation determined by the parallelograms. The construction forces these two combinations to remain orthogonal in the similarity frame and differ only by the fixed rotation of the parallelogram construction. This rigidity is exactly what produces equality of the angle between $BM$ and $DG$ with the angle of the parallelograms.

Conclusion

The median $BM$, when extended, forms with the line $DG$ an angle equal to the angle of the parallelograms. The key point is that the similarity of the two externally constructed parallelograms induces a single consistent complex multiplier acting on both symmetric and antisymmetric combinations of $a$ and $c$, forcing the quotient $\frac{c-a}{a+c}$ to be real in the induced similarity frame, and hence ensuring that $DG$ differs from $BM$ by precisely the rotation defining the parallelograms.