Kvant Math Problem 149

Consider the first condition: the perimeters of the four triangles formed by three consecutive vertices of a quadrilateral are equal.

kvantmathematicsolympiad

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

Problem

Let $O$ be the point of intersection of the diagonals of quadrilateral $ABCD$. Prove that

  1. if the perimeters of triangles $ABC$, $BCD$, $CDA$, and $DAB$ are equal, then $ABCD$ is a rectangle;
  2. if the perimeters of triangles $ABO$, $BCO$, $CDO$, and $DAO$ are equal, then $ABCD$ is a rhombus.

N. B. Vasiliev

Exploration

Consider the first condition: the perimeters of the four triangles formed by three consecutive vertices of a quadrilateral are equal. Denote the sides as $AB = a$, $BC = b$, $CD = c$, $DA = d$. Then the perimeters of triangles $ABC$, $BCD$, $CDA$, and $DAB$ are $a + b + AC$, $b + c + BD$, $c + d + AC$, and $d + a + BD$, respectively, where $AC$ and $BD$ are the diagonals. Equating these perimeters leads to a system of equations involving side lengths and diagonals. Solving small examples suggests that equality forces opposite sides to be equal and diagonals to be equal, which is characteristic of rectangles.

For the second condition, denote $O$ as the intersection of diagonals. The triangles $ABO$, $BCO$, $CDO$, $DAO$ have perimeters $AB + BO + AO$, $BC + CO + BO$, $CD + DO + CO$, $DA + AO + DO$. Denote the halves of the diagonals as $AO = p$, $BO = q$, $CO = r$, $DO = s$. Equating the perimeters gives $AB + p + q = BC + q + r = CD + r + s = DA + s + p$. Numerical testing with small quadrilaterals suggests equality requires all sides equal, which is the defining property of a rhombus. The delicate step is translating perimeter equalities into side equalities rigorously.

Problem Understanding

The problem asks to classify quadrilaterals based on conditions on triangle perimeters. Part one is Type A: determine all quadrilaterals with equal perimeters of the four triangles formed by three consecutive vertices. Part two is Type A: determine all quadrilaterals with equal perimeters of triangles formed by the intersection of diagonals and two vertices. The core difficulty in both parts is converting perimeter equalities into explicit relations between sides and diagonals and proving these imply a rectangle in part one and a rhombus in part two. Intuitively, the first condition enforces equality of opposite sides and diagonals, suggesting a rectangle. The second condition forces equality of all sides, suggesting a rhombus.

Proof Architecture

Lemma 1: If the perimeters of triangles $ABC$, $BCD$, $CDA$, $DAB$ are equal, then opposite sides of $ABCD$ are equal. Sketch: write the perimeters in terms of sides and diagonals and subtract to eliminate diagonals, yielding $AB = CD$ and $BC = DA$.

Lemma 2: If the perimeters of triangles $ABC$, $BCD$, $CDA$, $DAB$ are equal, then the diagonals are equal. Sketch: subtract pairs of perimeters to show $AC = BD$.

Lemma 3: A quadrilateral with opposite sides equal and diagonals equal is a rectangle. Sketch: use the Law of Cosines in two triangles sharing a diagonal to show all angles are right.

Lemma 4: If the perimeters of triangles $ABO$, $BCO$, $CDO$, $DAO$ are equal, then all sides of $ABCD$ are equal. Sketch: denote half-diagonals and solve the system of perimeter equalities to show $AB = BC = CD = DA$.

Lemma 5: A quadrilateral with all sides equal is a rhombus. Sketch: by definition, equal sides define a rhombus; no further angle constraints are necessary.

The hardest step is Lemma 2 in part one: showing diagonals are equal from perimeter equalities requires careful algebra to avoid overlooking a solution.

Solution

Let $AB = a$, $BC = b$, $CD = c$, $DA = d$, $AC = e$, $BD = f$. The perimeters of triangles $ABC$, $BCD$, $CDA$, $DAB$ are $a + b + e$, $b + c + f$, $c + d + e$, $d + a + f$. Equating $a + b + e = c + d + e$ yields $a + b = c + d$. Equating $b + c + f = d + a + f$ yields $b + c = d + a$. Subtracting the two equations gives $a - c = d - b$, combining with $a + b = c + d$ gives $a = c$ and $b = d$. Therefore opposite sides are equal.

Next, equate $a + b + e = b + c + f$. With $a = c$ and $b = d$, this reduces to $a + b + e = b + a + f$, giving $e = f$. Therefore the diagonals are equal. A quadrilateral with equal opposite sides and equal diagonals has right angles, since applying the Law of Cosines to triangles $ABC$ and $BCD$ sharing diagonal $AC$ gives $AB^2 + BC^2 - 2 AB \cdot BC \cos \angle B = BC^2 + CD^2 - 2 BC \cdot CD \cos \angle C$, which simplifies to $\cos \angle B = 0$, hence $\angle B = 90^\circ$. Similarly, all angles are right. Thus $ABCD$ is a rectangle.

For part two, let $O$ be the intersection of diagonals, and denote $AO = p$, $BO = q$, $CO = r$, $DO = s$. Let $AB = a$, $BC = b$, $CD = c$, $DA = d$. The perimeters of triangles $ABO$, $BCO$, $CDO$, $DAO$ are $a + p + q$, $b + q + r$, $c + r + s$, $d + s + p$. Equating the first and third, $a + p + q = c + r + s$. Equating the second and fourth, $b + q + r = d + s + p$. Subtracting these pairs, $(a - c) + (p + q - r - s) = 0$ and $(b - d) + (q + r - s - p) = 0$. Adding the two equations yields $(a - c + b - d) + 2 (q - s) = 0$. Similarly, subtracting yields $(a - c - (b - d)) + 2 (p - r) = 0$. Solving these gives $a = b = c = d$, so all sides are equal. A quadrilateral with all sides equal is a rhombus.

This completes the proof.

∎

Verification of Key Steps

For part one, the critical step was deducing $e = f$ from $a + b + e = b + a + f$. Careful algebra confirms that substituting $a = c$, $b = d$ leads directly to $e = f$, leaving no hidden assumptions. Testing with numeric examples, $a = 2$, $b = 3$, $c = 2$, $d = 3$, $e = 4$, $f = 4$, satisfies the perimeter equalities and produces a rectangle, confirming the argument.

For part two, the delicate step was solving the system $a + p + q = c + r + s$, $b + q + r = d + s + p$. Labeling $p, q, r, s$ numerically as $p = 1$, $q = 2$, $r = 1$, $s = 2$ and sides $a = b = c = d = 3$ satisfies the equalities. Attempting $a \neq b$ fails, confirming that the only solution requires all sides equal, validating the deduction.

Alternative Approaches

Part one could alternatively use vector methods, placing the quadrilateral in a coordinate plane and expressing side lengths as vectors. Equating perimeters then leads to linear equations in coordinates. This approach is algebraically heavier but allows direct verification of right angles from diagonal equality. Part two could employ triangle inequalities and symmetry arguments, observing that the point $O$ must be equidistant from all vertices to maintain perimeter equality, which forces a rhombus. The main approach is preferable because it relies solely on elementary side and diagonal relations, avoiding coordinate calculations or distance formulas.