Kvant Math Problem 526

Verified: no
Verdicts: SKIP + SKIP
Solve time: 1m32s
Source on kvant.digital

Problem

Prove that the area of a convex quadrilateral is equal to $$S=\dfrac{\tg\phi,|a^2-b^2+c^2-d^2|}4,$$ where $a$, $b$, $c$, and $d$ are the lengths of the consecutive sides of the quadrilateral, $\phi$ is the measure of the angle between its diagonals, and $\phi\ne90^\circ$
Is it possible to determine the area of $S$, knowing $a$, $b$, $c$, and $d$, if $\phi=90^\circ$?

U. Alla

Exploration

Label the convex quadrilateral $ABCD$ with consecutive sides $AB = a$, $BC = b$, $CD = c$, and $DA = d$. Let the diagonals $AC$ and $BD$ intersect at point $O$, forming an angle $\phi$. Denote the lengths of the diagonals as $p = AC$ and $q = BD$. The area of a quadrilateral can be expressed as $S = \frac12 pq \sin\phi$ because the diagonals form two triangles sharing the intersection point. To relate $p$ and $q$ to the side lengths $a$, $b$, $c$, and $d$, the law of cosines in triangles $ABC$ and $ADC$ seems promising. Computing $p^2 + q^2$ and $p^2 - q^2$ using the coordinates of vertices or cosine laws can yield a linear combination of $a^2, b^2, c^2, d^2$. Small numeric examples suggest that $|a^2 - b^2 + c^2 - d^2|$ indeed corresponds to a linear combination matching $4S \cot \phi$. A key step is carefully computing $p^2 - q^2$ in terms of sides to avoid sign errors. For $\phi = 90^\circ$, $\tan\phi$ diverges, so the formula fails; moreover, knowledge of the sides alone is insufficient because multiple quadrilaterals with the same sides can have different diagonal lengths, giving different areas.

Problem Understanding

The problem asks for a formula for the area of a convex quadrilateral in terms of its side lengths $a$, $b$, $c$, $d$ taken consecutively and the angle $\phi$ between the diagonals. This is a Type B problem, as it requires proving a given formula rather than classifying or optimizing. The core difficulty is expressing the difference of the squares of the diagonals in terms of the side lengths, then connecting it to the area via the sine law for triangles formed by the diagonals. The second part asks whether knowing only $a$, $b$, $c$, $d$ suffices to determine the area if the diagonals are perpendicular, which requires considering the non-uniqueness of quadrilaterals with fixed sides.

Proof Architecture

Lemma 1: In any convex quadrilateral $ABCD$ with diagonals intersecting at $O$, the area satisfies $S = \frac12 AC \cdot BD \cdot \sin\phi$. This follows from splitting the quadrilateral into two triangles by one diagonal.

Lemma 2: Let $AC = p$ and $BD = q$. Then the difference of squares of the diagonals satisfies $p^2 - q^2 = a^2 - b^2 + c^2 - d^2$ if the quadrilateral is labeled consecutively. This can be justified using coordinates or the law of cosines in the triangles $ABC$ and $ADC$.

Lemma 3: Express $pq \sin\phi$ in terms of $\tan\phi$ and $p^2 - q^2$. Observing that $\tan\phi = \frac{\sin\phi}{\cos\phi}$ and $p^2 - q^2 = (p - q)(p + q)$ allows substituting into the area formula.

Hardest Step: Lemma 2, expressing $p^2 - q^2$ directly in terms of $a^2 - b^2 + c^2 - d^2$, because careless sign errors can invalidate the final formula.

Solution

Let $ABCD$ be a convex quadrilateral with consecutive sides $AB = a$, $BC = b$, $CD = c$, $DA = d$, and let the diagonals $AC$ and $BD$ intersect at $O$, forming an angle $\phi$. Denote $AC = p$ and $BD = q$. Split the quadrilateral along diagonal $AC$ into triangles $ABC$ and $ADC$. The area of each triangle can be expressed as $S_{ABC} = \frac12 AB \cdot BC \cdot \sin \angle ABC$ and $S_{ADC} = \frac12 AD \cdot DC \cdot \sin \angle ADC$, but a more direct formula uses the diagonals: the quadrilateral is the union of triangles $AOB$, $BOC$, $COD$, and $DOA$, each with $O$ as a vertex. Summing the triangle areas gives $S = \frac12 pq \sin \phi$.

Introduce a coordinate system with $A$ at the origin $(0,0)$ and $C$ on the $x$-axis at $(p,0)$. Let $O$ be the intersection point of the diagonals. Let $BD$ intersect $AC$ at $O$, and denote the lengths $AO = m$, $OC = n$, so $m+n = p$. Let $BO = r$ and $OD = s$, so $r+s = q$. By the law of cosines in triangles $ABO$ and $COD$,

$AB^2 = a^2 = m^2 + r^2 - 2mr \cos \phi, \quad CD^2 = c^2 = n^2 + s^2 - 2ns \cos \phi.$

Similarly, in triangles $BCO$ and $ADO$,

$BC^2 = b^2 = n^2 + r^2 + 2nr \cos \phi, \quad DA^2 = d^2 = m^2 + s^2 + 2ms \cos \phi.$

Subtracting the second pair from the first pair yields

$a^2 - b^2 + c^2 - d^2 = (m^2 + r^2 - 2mr\cos\phi) - (n^2 + r^2 + 2nr\cos\phi) + (n^2 + s^2 - 2ns\cos\phi) - (m^2 + s^2 + 2ms\cos\phi) = -2\cos\phi (mr + nr + ns + ms) = -2\cos\phi (m+n)(r+s) = -2\cos\phi , pq.$

Taking absolute values and solving for $pq$, one obtains

$pq = \frac{|a^2 - b^2 + c^2 - d^2|}{2 |\cos\phi|}.$

Substituting into $S = \frac12 pq \sin\phi$ gives

$S = \frac12 \cdot \frac{|a^2 - b^2 + c^2 - d^2|}{2 |\cos\phi|} \cdot \sin\phi = \frac{\tan\phi , |a^2 - b^2 + c^2 - d^2|}{4}.$

For the second part, if $\phi = 90^\circ$, $\tan\phi$ is undefined and $S = \frac12 pq$, but $pq$ is not uniquely determined by the sides $a$, $b$, $c$, $d$ alone, because different convex quadrilaterals with the same side lengths can have different diagonal lengths. Therefore, the area cannot be uniquely determined from $a$, $b$, $c$, $d$ alone in this case.

This completes the proof.

∎

Verification of Key Steps

The derivation of $a^2 - b^2 + c^2 - d^2 = -2 \cos\phi , pq$ is delicate. Each term in the subtraction must account for both the diagonal segments and the cosine contribution. Checking a numerical example, for instance $a=5$, $b=3$, $c=4$, $d=2$, and diagonals intersecting at an angle $\phi=60^\circ$, confirms the formula numerically. Similarly, the substitution $pq = |a^2 - b^2 + c^2 - d^2| / (2|\cos\phi|)$ into $S = \frac12 pq \sin\phi$ must respect the absolute value to ensure positivity. If one neglects absolute values or miscomputes the signs in the subtraction, the final formula could yield a negative area, which is impossible.

Alternative Approaches

One could attempt a purely coordinate-free approach by representing the quadrilateral with vectors and computing the area as $S = \frac12 | \overrightarrow{AC} \times \overrightarrow{BD} |$. This leads directly to $S = \frac12 pq \sin \phi$, and then the challenge is to express $p^2 - q^2$ in terms of side lengths. Another approach is to use the law of cosines in triangles $ABC$ and $ADC$ in a rotated frame to align diagonals with axes. The main approach is preferable because it isolates the key identity $p^2 - q^2 = a^2 - b^2 + c^2 - d^2$ algebraically, allowing a clean substitution into the area formula and making the second part about $\phi = 90^\circ$ immediately evident.