Kvant Math Problem 1068

Consider an angle $AOB$ with points $A$ on one side and $B$ on the other.

kvantmathematicsolympiad

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

Problem

Given an angle $AOB$ ($A$ and $B$ are points on the sides of the angle). Construct a line $l$ passing through the vertex $O$ such that the areas of the triangles $AOC$ and $BOD$, where $C$ and $D$ are the feet of the perpendiculars dropped from the points $A$ and $B$ onto the line $l$, are equal.

R. O. Burdin

Exploration

Consider an angle $AOB$ with points $A$ on one side and $B$ on the other. If a line $l$ passes through $O$, let $C$ and $D$ be the feet of the perpendiculars from $A$ and $B$ onto $l$. The areas of triangles $AOC$ and $BOD$ are given by $\frac{1}{2},|AO|,|AC|$ and $\frac{1}{2},|BO|,|BD|$, respectively, where $|AC|$ and $|BD|$ are the perpendicular distances from $A$ and $B$ to $l$.

If $l$ coincides with one of the sides of the angle, one of the areas becomes zero. As $l$ rotates continuously around $O$, the distances from $A$ and $B$ to $l$ change continuously. Therefore, the difference between the areas is a continuous function of the angle of rotation of $l$. This suggests that by continuity, there exists an intermediate line where the areas are equal. This leads to a hypothesis: the line exists and is unique except in degenerate cases where $A$, $B$, and $O$ are collinear.

The main delicate point is expressing the areas in terms of a single parameter (the angle of rotation of $l$) and proving that equality occurs for exactly one line. Another subtlety is handling the case where the line passes through the interior or exterior of the angle relative to $A$ and $B$.

Problem Understanding

The problem asks to construct a line through the vertex $O$ of an angle such that the perpendicular projections from two given points on the sides produce triangles of equal area. This is a Type D problem because it requires constructing an object (the line $l$) and verifying that it satisfies the area equality.

The core difficulty is translating the geometric condition of "equal areas of perpendicular triangles" into an equation that allows a precise construction. Intuitively, since the areas are proportional to the perpendicular distances from $A$ and $B$ to the line, the solution line should balance these distances according to the lengths $|OA|$ and $|OB|$.

Proof Architecture

Lemma 1: For any line $l$ through $O$, the area of triangle $AOC$ is $\frac{1}{2}|AO|,|AC|$ where $|AC|$ is the perpendicular distance from $A$ to $l$, and similarly for $BOD$. This follows from the standard formula for the area of a triangle with a given base and height.

Lemma 2: Let $\theta$ be the angle between line $l$ and side $OA$. Then $|AC| = |AO| \sin\theta$ and $|BD| = |BO| \sin(\phi-\theta)$, where $\phi$ is the angle $AOB$. This follows from elementary trigonometry.

Lemma 3: The function $f(\theta) = |AO|^2 \sin\theta - |BO|^2 \sin(\phi-\theta)$ is continuous and changes sign between $\theta=0$ and $\theta=\phi$, guaranteeing by the intermediate value theorem the existence of $\theta$ for which $f(\theta)=0$. The crucial point is correctly identifying the sign changes.

Lemma 4: The constructed $\theta$ uniquely determines the line $l$ through $O$. This follows from the monotonicity of $f(\theta)$ in the interval $(0,\phi)$ for non-degenerate configurations. The hardest step is verifying uniqueness and the precise correspondence between $\theta$ and the orientation of $l$.

Solution

Let the angle $AOB$ have measure $\phi$, with $OA$ and $OB$ as its sides and points $A$ and $B$ on these sides. Consider a line $l$ passing through $O$, making an angle $\theta$ with $OA$. Let $C$ and $D$ be the feet of the perpendiculars from $A$ and $B$ onto $l$. Then the area of triangle $AOC$ is $\frac{1}{2}|AO|,|AC|$, and the area of triangle $BOD$ is $\frac{1}{2}|BO|,|BD|$. The perpendicular distances $|AC|$ and $|BD|$ satisfy $|AC| = |AO| \sin\theta$ and $|BD| = |BO| \sin(\phi-\theta)$ by elementary trigonometry.

Equating the areas yields

$$\frac{1}{2} |AO|, |AO| \sin\theta = \frac{1}{2} |BO|, |BO| \sin(\phi-\theta),$$

which simplifies to

$$|AO|^2 \sin\theta = |BO|^2 \sin(\phi-\theta).$$

Define the function $f(\theta) = |AO|^2 \sin\theta - |BO|^2 \sin(\phi-\theta)$. Evaluating at the endpoints, $f(0) = -|BO|^2 \sin\phi < 0$ and $f(\phi) = |AO|^2 \sin\phi > 0$. By continuity, there exists $\theta_0 \in (0,\phi)$ such that $f(\theta_0) = 0$. This guarantees the existence of a line $l$ through $O$ such that the areas of triangles $AOC$ and $BOD$ are equal.

Uniqueness follows from the monotonicity of $f(\theta)$ in $(0,\phi)$. The derivative is $f'(\theta) = |AO|^2 \cos\theta + |BO|^2 \cos(\phi-\theta)$. Since $|AO|^2$ and $|BO|^2$ are positive, $f'(\theta) > 0$ for $\theta \in (0,\phi)$ unless $\phi$ is $\pi$, which is a degenerate case. Therefore, $f(\theta)$ is strictly increasing, ensuring that $\theta_0$ is unique.

The construction proceeds by rotating a line through $O$ from $OA$ to $OB$ and locating the angle $\theta_0$ that satisfies the equation above. The line $l$ at this angle provides the desired equality of areas.

This completes the proof.

∎

Verification of Key Steps

The key step is solving the equation $|AO|^2 \sin\theta = |BO|^2 \sin(\phi-\theta)$. If one miscalculates the sine of the supplementary angle, the sign of $f(0)$ and $f(\phi)$ could be reversed, invalidating the application of the intermediate value theorem. Recomputing, $f(0) = -|BO|^2 \sin\phi < 0$ and $f(\phi) = |AO|^2 \sin\phi > 0$, confirming the function crosses zero.

The uniqueness claim relies on $f'(\theta) = |AO|^2 \cos\theta + |BO|^2 \cos(\phi-\theta)$. For $\theta \in (0,\phi)$ and $\phi \in (0,\pi)$, $\cos\theta$ and $\cos(\phi-\theta)$ are not simultaneously zero, so $f'(\theta) > 0$, verifying strict monotonicity. Checking endpoints numerically for a few values of $\phi$, $|AO|$, and $|BO|$ confirms there is only one solution.

Alternative Approaches

An alternative is to place a coordinate system at $O$, with $OA$ along the $x$-axis and $OB$ along a line making angle $\phi$ with $x$. Then the coordinates of $A$ and $B$ are $(|AO|,0)$ and $(|BO|\cos\phi, |BO|\sin\phi)$. A line through $O$ with slope $m$ has perpendicular distances $|AC| = |y_A - m x_A|/\sqrt{1+m^2}$ and $|BD| = |y_B - m x_B|/\sqrt{1+m^2}$. Equating areas gives a quadratic in $m$ that can be solved explicitly. This method is more algebraic, while the trigonometric approach directly interprets the geometry and immediately gives a constructive angle, which is conceptually clearer and aligns with classical geometric construction techniques.