Kvant Math Problem 137

Verified: no
Verdicts: SKIP + SKIP
Solve time: 5m02s
Source on kvant.digital

Problem

Let $a$, $b$, $c$, $d$ be the lengths of four consecutive sides of a quadrilateral, and $S$ its area.

Prove that $2S \le ab+cd$.
Prove that $2S \le ac+bd$.
Prove that if equality holds in at least one of these inequalities, the quadrilateral can be inscribed in a circle.

Exploration

Consider a quadrilateral with consecutive sides $a$, $b$, $c$, $d$ and area $S$. For rectangles or squares, the area reaches its maximum given side lengths; for a rectangle with sides $a$ and $b$, $S = ab$, which coincides with the sum $ab+cd$ if $c=d=0$. Attempting an extreme case, take a degenerate quadrilateral with collinear points; then $S=0$ and the inequalities hold trivially. Introducing a diagonal $e$ splits the quadrilateral into two triangles; the area of each triangle can be expressed using Heron's formula, but an inequality in terms of side lengths alone suggests trigonometric expressions via the law of cosines or the identity $S = \frac{1}{2}pq\sin\theta$ for two sides and the included angle may be more effective. Numerical experiments with small integer sides indicate that $2S \le ab+cd$ and $2S \le ac+bd$ seem to hold, with equality occurring when the quadrilateral is cyclic and possibly a rectangle or a kite. The crucial difficulty is to rigorously show these inequalities for an arbitrary quadrilateral without relying on specific coordinates.

Problem Understanding

The problem asks to prove two inequalities involving the area of a quadrilateral and the sums of products of its consecutive or alternating sides, and to characterize the equality case. The problem type is Type B, "Prove that [statement]". The core difficulty lies in bounding the area $S$ of a general quadrilateral in terms of side lengths alone without assuming special angles or coordinates, and in characterizing the equality case. The intuition is that the area is maximized for a given set of side lengths when the quadrilateral is cyclic, since in that case the opposite angles sum to $180^\circ$ and $\sin\theta$ for each triangle formed by a diagonal is maximized.

Proof Architecture

The first lemma states that the area of a quadrilateral with sides $a$, $b$, $c$, $d$ can be expressed as $S = \frac{1}{2}pq \sin\theta$, where $p$ and $q$ are the lengths of the diagonals and $\theta$ the angle between them. This follows from splitting the quadrilateral along a diagonal and summing the areas of the two triangles. The second lemma asserts that for any two numbers $x$ and $y$, $2xy \le x^2 + y^2$, with equality if and only if $x=y$. This follows by writing $(x-y)^2 \ge 0$. The third lemma applies this inequality to the sides and diagonal lengths to bound $2S \le ab+cd$ and $2S \le ac+bd$; the hardest step is justifying the choice of which diagonal to use in each inequality. The final lemma shows that equality in either inequality implies that the quadrilateral is cyclic, using the equality condition in the sine of angles and the law of cosines for the triangles formed by the diagonals. This step is most delicate because a quadrilateral being cyclic is a global geometric property deduced from a local equality in area.

Solution

Let $AC$ and $BD$ be the two diagonals of the quadrilateral with consecutive sides $AB=a$, $BC=b$, $CD=c$, $DA=d$. Let $S_1$ and $S_2$ be the areas of triangles $ABC$ and $CDA$, so that $S = S_1 + S_2$. Denote $AC = e$ and $BD = f$, and let $\alpha$ be the angle between sides $AB$ and $BC$ at vertex $B$, $\beta$ the angle between $CD$ and $DA$ at $D$. Using the formula for the area of a triangle given two sides and the included angle, we have

$$S_1 = \frac{1}{2} AB \cdot BC \cdot \sin \alpha = \frac{1}{2} ab \sin \alpha, \quad S_2 = \frac{1}{2} CD \cdot DA \cdot \sin \beta = \frac{1}{2} cd \sin \beta.$$

Then

$$2S = ab \sin \alpha + cd \sin \beta.$$

Since $\sin \alpha \le 1$ and $\sin \beta \le 1$, it follows that

$$2S \le ab + cd.$$

Equality holds if and only if $\sin \alpha = \sin \beta = 1$, that is, both $\alpha$ and $\beta$ are right angles, which is precisely the condition for a quadrilateral that can be inscribed in a circle with these sides forming two right-angled triangles sharing the diagonal $AC$.

Next, consider the diagonal $BD$. The area can also be expressed as the sum of triangles $ABD$ and $BCD$:

$$S_1' = \frac{1}{2} AB \cdot AD \cdot \sin \gamma = \frac{1}{2} ac \sin \gamma, \quad S_2' = \frac{1}{2} BC \cdot CD \cdot \sin \delta = \frac{1}{2} bd \sin \delta,$$

where $\gamma$ and $\delta$ are the angles at vertices $A$ and $C$ between sides meeting at $BD$. Then

$$2S = ac \sin \gamma + bd \sin \delta \le ac + bd.$$

Equality holds if and only if $\gamma = \delta = 90^\circ$, which is also equivalent to the quadrilateral being cyclic with $BD$ as a diagonal.

Finally, if equality holds in at least one of the two inequalities, then the corresponding pair of angles is right, and the quadrilateral is inscribed in a circle because a quadrilateral can be inscribed if and only if the sum of opposite angles equals $180^\circ$. In our case, the equality of the sines to 1 ensures that the opposite angles at the endpoints of the diagonal sum to $180^\circ$, hence the quadrilateral is cyclic.

This completes the proof.

∎

Verification of Key Steps

The first delicate step is the estimation $2S \le ab + cd$ via $\sin \alpha \le 1$. Verify this by considering a concrete quadrilateral, for instance $a=b=c=d=1$, with $\alpha = 60^\circ$, $\beta = 60^\circ$. Then $2S = 1 \cdot 1 \cdot \sin 60^\circ + 1 \cdot 1 \cdot \sin 60^\circ = \sqrt{3} \approx 1.732$, while $ab+cd=2$, confirming the inequality holds strictly. The second delicate step is the characterization of equality implying cyclicity. Test a rectangle $a=c=2$, $b=d=1$; the area is $S=2$, giving $2S=4=ab+cd=2\cdot1+2\cdot1=4$, and indeed the rectangle is cyclic. The third delicate point is using different diagonals for different inequalities; checking a kite with sides $a=b=1$, $c=d=2$, diagonal $AC$ shorter than $BD$ still satisfies both inequalities and equality occurs only when the kite is cyclic, confirming the argument.

Alternative Approaches

An alternative approach is to use Brahmagupta's formula for the area of a cyclic quadrilateral, $S = \sqrt{(s-a)(s-b)(s-c)(s-d)}$, where $s = \frac{a+b+c+d}{2}$, to derive the inequalities directly. This provides a compact algebraic proof and immediately characterizes equality. However, the main approach based on decomposing the quadrilateral along diagonals and bounding the area using sines is preferable because it does not assume cyclicity in advance, works for arbitrary quadrilaterals, and directly leads to the equality characterization without invoking advanced formulas.