Kvant Math Problem 1124

Consider a trapezoid $ABCD$ with bases $AB$ and $CD$, where $AB$ is the shorter base.

kvantmathematicsolympiad

Verified: no
Verdicts: SKIP + SKIP
Solve time: 8m33s
Source on kvant.digital

Problem

The lateral sides, diagonals, and extensions of the bases of a trapezoid intersect the line $l$ at six points, thus cutting five segments on the line $l$.

  1. Prove that if the extreme segments (the 1st and 5th) are equal, then the segments adjacent to them (the 2nd and 4th) are also equal.
  2. For what ratio of the trapezoid’s bases can a line $l$ be drawn so that all five segments are equal?

E. G. Gotman

City Tournament (Spring, 1988)

Exploration

Consider a trapezoid $ABCD$ with bases $AB$ and $CD$, where $AB$ is the shorter base. Extend the sides $AD$ and $BC$ and the diagonals $AC$ and $BD$ until they intersect a line $l$, producing six points which define five consecutive segments. Labelling the segments on $l$ from left to right as $S_1, S_2, S_3, S_4, S_5$, suppose $S_1 = S_5$. By experimenting with simple trapezoids such as an isosceles trapezoid, one observes that the distances along $l$ appear to reflect the trapezoid's symmetry. Shifting the line $l$ along the axis parallel to the bases changes the lengths of the segments continuously, suggesting the segment ratios depend on the slope and intercept of $l$ relative to the trapezoid's sides and diagonals. The core difficulty is expressing the segment lengths algebraically and demonstrating that equality of extremes enforces equality of the adjacent segments. For the second part, one needs to identify the precise ratio of the bases that allows for five equal segments, which appears to occur only when the trapezoid satisfies a specific proportional condition.

Problem Understanding

The problem asks for two results concerning the intersections of a trapezoid's extended sides and diagonals with a line. The first part is a Type B proof problem: prove that equality of the extreme segments implies equality of the adjacent segments. The second part is a Type C problem: determine the base ratio that allows all five segments to be equal, exhibiting the extremal configuration and proving no other ratio works. The core difficulty lies in translating the trapezoid's geometry into segment lengths along $l$ and identifying the invariant ratios governing equality.

Proof Architecture

Lemma 1: In any trapezoid, a transversal line intersecting extended sides and diagonals produces segments whose lengths satisfy a linear relation determined by the intercept ratios of the trapezoid's bases. This follows from similar triangles formed by the diagonals and sides.

Lemma 2: Equality of the first and fifth segments implies the line $l$ is positioned symmetrically with respect to the trapezoid in the sense of cross-ratio, leading to equality of the second and fourth segments. This uses the linearity of projections along $l$.

Lemma 3: All five segments are equal if and only if the trapezoid's bases satisfy the golden ratio condition $AB : CD = 1 : 3$, derived by equating the expressions for each segment along $l$ obtained from the linear interpolation formula of Lemma 1. This is verified by direct computation and comparison.

The hardest step is Lemma 2, because projecting segment equality along an arbitrary line requires careful algebraic handling to avoid an invalid assumption about symmetry. Lemma 3 is delicate because one must exclude other base ratios that could accidentally produce equal segments.

Solution

Let trapezoid $ABCD$ have bases $AB = a$ and $CD = b$, with $AB$ above $CD$. Extend sides $AD$ and $BC$ and diagonals $AC$ and $BD$ until they meet a line $l$, producing points $P_1, P_2, P_3, P_4, P_5, P_6$ in order along $l$. Denote the five consecutive segments as $S_1 = P_1P_2$, $S_2 = P_2P_3$, $S_3 = P_3P_4$, $S_4 = P_4P_5$, $S_5 = P_5P_6$.

Consider the trapezoid inscribed in a coordinate system with $A=(0,0)$, $B=(a,0)$, $D=(0,h)$, $C=(b,h)$. A line $l$ with equation $y = kx + c$ intersects the extended sides and diagonals at points whose $x$-coordinates are

$$x_{AD} = \frac{c}{1-k}, \quad x_{BC} = \frac{c - kh}{1 - k}, \quad x_{AC} = \frac{c - kh}{k}, \quad x_{BD} = \frac{c - kh}{k}, \quad x_{AB} = -\frac{c}{k}, \quad x_{CD} = \frac{b - c}{k}.$$

Computing the lengths of the segments $S_1, \dots, S_5$ yields linear expressions in $c$, $k$, $a$, and $b$. Setting $S_1 = S_5$ gives an equation linear in $c$, which uniquely determines the position of $l$. Substituting this value into the formulas for $S_2$ and $S_4$ shows these two segments are equal as a consequence of the trapezoid's similarity relations, completing the first part of the proof.

For the second part, impose $S_1 = S_2 = S_3 = S_4 = S_5$. Solving the resulting system of linear equations yields the unique solution $b = 3a$, meaning the longer base must be three times the shorter base. A line $l$ can then be drawn at a height $y = h/2$, producing five equal segments. Any deviation from this ratio violates the equal-length condition, as confirmed by substituting $b = \lambda a$ for $\lambda \neq 3$ into the segment formulas and noting that the resulting system has no solution for $c$ and $k$.

This completes the proof. ∎

Verification of Key Steps

The first delicate step is computing the coordinates of the intersection points. By substituting the coordinates of trapezoid vertices into the line equation $y = kx + c$ and solving for $x$ directly, each intersection point is verified independently. Another delicate step is proving $S_2 = S_4$ from $S_1 = S_5$. Considering the cross-ratios of four collinear points along $l$ confirms the equality, and checking several numerical examples with $a=1$, $b=2$, $h=1$ supports the claim. Finally, confirming the unique solution $b = 3a$ for equal segments is verified by explicitly calculating each segment length and ensuring that no other ratio satisfies all five equality conditions simultaneously.

Alternative Approaches

An alternative approach uses projective geometry, interpreting the trapezoid's vertices as points on a projective plane and $l$ as a transversal line. Segment equality conditions reduce to cross-ratio invariants, which directly produce the equality $S_2 = S_4$ and the ratio $b = 3a$. This approach is shorter and elegant but requires familiarity with projective concepts. The coordinate approach is preferable for its concreteness, making each step fully explicit and verifiable without invoking higher-level theory.