Kvant Math Problem 1331

Verified: no
Verdicts: SKIP + SKIP
Solve time: 7m43s
Source on kvant.digital

Problem

Fig. 1

The segments $AK$, $BM$, $CN$, $DL$ divide the square $ABCD$ with side length 1 into four triangles with areas $S_1$, $S_2$, $S_3$, $S_4$ and five quadrilaterals (Fig. 1); the area of the central quadrilateral is $S_0$, with $S_0=S_1+S_2+S_3+S_4$. Prove the equality $$AL+BK+CM+DN=2.$$

S. Sefibekov

Exploration

Consider a unit square $ABCD$ with points $K$, $M$, $N$, $L$ on sides $BC$, $CD$, $DA$, $AB$ respectively, such that lines $AK$, $BM$, $CN$, $DL$ create four corner triangles of areas $S_1$, $S_2$, $S_3$, $S_4$ and a central quadrilateral of area $S_0$. The given relation $S_0 = S_1 + S_2 + S_3 + S_4$ is highly symmetric. Attempting small numeric examples by placing points at midpoints or 1/3 along the sides suggests that the sum $AL + BK + CM + DN$ remains constant, hinting at a linearity property of the areas in terms of segment lengths along the sides. The equality likely emerges from a clever use of ratios of areas and linear distances along the square’s perimeter.

The potential pitfall is miscomputing the areas of the corner triangles as functions of the points on sides. A careless approach using coordinates without care may miss the necessary symmetry that ensures $AL + BK + CM + DN$ sums to $2$ regardless of specific positions satisfying the area condition.

Problem Understanding

The problem asks to prove that the sum of four line segments connecting the square’s vertices to points on opposite sides, $AL + BK + CM + DN$, equals $2$, given that the central quadrilateral’s area equals the sum of the four corner triangles’ areas. This is a Type B problem since the claim is an explicit equality and no classification or extremal computation is requested. The core difficulty is expressing the areas of the triangles and the central quadrilateral in a way that relates the segment lengths along the square’s sides directly to the total sum. Intuitively, the problem’s symmetry indicates that the sum of the vertex-to-side distances is independent of the precise location of the points on the sides, given the area condition.

Proof Architecture

Lemma 1: Let a square have side length $1$ and let a point move along one side; then the area of a triangle formed with two fixed adjacent vertices is linear in the segment length along the side. This follows from the standard formula for the area of a triangle as one-half base times height, noting the height is constant along the side.

Lemma 2: The area condition $S_0 = S_1 + S_2 + S_3 + S_4$ implies a linear relation among the four segments $AL$, $BK$, $CM$, $DN$. This holds because each triangle’s area depends linearly on the corresponding segment and the central quadrilateral’s area can be expressed as the remaining part of the unit square.

Lemma 3: Given the linear relations and symmetry, the sum $AL + BK + CM + DN$ is constant, independent of the specific positions of the points satisfying the area condition. The hardest part is justifying that no cross-terms or nonlinearities appear that could change the sum.

Solution

Place the square $ABCD$ in the coordinate plane with $A=(0,0)$, $B=(1,0)$, $C=(1,1)$, $D=(0,1)$. Let the points $K$, $M$, $N$, $L$ have coordinates $K=(1,k)$ on $BC$, $M=(m,1)$ on $CD$, $N=(0,n)$ on $DA$, $L=(l,0)$ on $AB$, where $k,l,m,n \in [0,1]$. Then $AL = \sqrt{l^2 + 0^2} = l$, $BK = \sqrt{(1-1)^2 + (0-k)^2} = k$, $CM = \sqrt{(1-m)^2 + (1-1)^2} = 1-m$, and $DN = \sqrt{(0-0)^2 + (1-n)^2} = 1-n$. Therefore, the sum in question is

$$AL + BK + CM + DN = l + k + (1-m) + (1-n) = (k + l) + (2 - (m+n)).$$

Compute the areas of the four corner triangles. Triangle $ABL$ has area $S_1 = \frac{1}{2} \cdot AL \cdot AB_\perp = \frac{1}{2} \cdot l \cdot 1 = \frac{l}{2}$. Triangle $BCK$ has area $S_2 = \frac{1}{2} \cdot BK \cdot BC_\perp = \frac{1}{2} \cdot k \cdot 1 = \frac{k}{2}$. Triangle $CDM$ has area $S_3 = \frac{1}{2} \cdot CM \cdot CD_\perp = \frac{1-m}{2}$. Triangle $DAN$ has area $S_4 = \frac{1}{2} \cdot DN \cdot DA_\perp = \frac{1-n}{2}$. The central quadrilateral has area

$$S_0 = 1 - (S_1 + S_2 + S_3 + S_4) = 1 - \frac{l + k + (1-m) + (1-n)}{2} = \frac{m+n - k - l}{2}.$$

The area condition $S_0 = S_1 + S_2 + S_3 + S_4$ implies

$$\frac{m+n - k - l}{2} = \frac{l + k + (1-m) + (1-n)}{2}.$$

Multiply both sides by $2$ to obtain

$$m+n - k - l = l + k + (1-m) + (1-n) \implies m+n - k - l = l + k + 1 - m - n.$$

Combine like terms: $m+n - k - l - ( - m - n - k - l - 1) = 0$ is equivalent to

$$2(m + n) - 2(k + l) = 1 \implies (m + n) - (k + l) = \frac{1}{2}.$$

Return to the sum $AL + BK + CM + DN = l + k + (1-m) + (1-n) = 1 - (m+n) + (k+l) + 1 = 2 - (m+n - k - l)$. Substituting $(m+n) - (k+l) = \frac{1}{2}$ gives

$$AL + BK + CM + DN = 2 - \frac{1}{2} = \frac{3}{2}.$$

Pause: this is inconsistent with the stated sum $2$. Re-examine coordinates. The mistake arises because $CM$ should be the length from $C$ to $M=(m,1)$: $CM = \sqrt{(1-m)^2 + (1-1)^2} = 1 - m$, correct; $DN = 1 - n$, correct; $AL = l$, $BK = k$, correct. Compute $S_1 = \frac{1}{2} \cdot l \cdot 1 = l/2$, $S_2 = \frac{1}{2} \cdot (1 - k) \cdot 1 = (1 - k)/2$, because $BK$ is vertical from $B=(1,0)$ to $K=(1,k)$, area is $1/2 \cdot base \cdot height = 1/2 \cdot 1 \cdot k = k/2$? Wait, $BC$ vertical, base is $BC =1$, height along $x$? Better: Use standard formula: triangle area $S = \frac12 | \vec{AB} \times \vec{AC}|$.

Triangle $BKC$: $B=(1,0)$, $K=(1,k)$, $C=(1,1)$. Vectors: $\vec{BK}=(0,k)$, $\vec{BC}=(0,1)$. Cross product $|\vec{BK}\times \vec{BC}| = |0_1 - k_0|=0$. Problem: points collinear. Correct approach: compute area via base perpendicular height. Triangle $BCK$ is along vertical line, height along horizontal = 1, base $|C-K|=1-k$, area $S_2 = \frac12 * 1 * (1-k) = (1-k)/2$. Similarly, $CDM$, $DAN$, $ABL$ give $S_1 = l/2$, $S_2 = (1-k)/2$, $S_3 = m/2$, $S_4 = (1-n)/2$. Then $S_0 = 1 - (S_1+S_2+S_3+S_4) = 1 - \frac{l + (1-k) + m + (1-n)}{2} = 1 - \frac{l + m + 2 - k - n}{2} = 1 - (1 + (l + m - k - n)/2) = (k + n - l - m)/2$. Area condition $S_0 = S_1 + S_2 + S_3 + S_4$ gives $(k + n - l - m)/2 = (l + (1-k) + m