Kvant Math Problem 1141

Consider a trapezoid $ABCD$ with $AB$ and $CD$ as the bases, $AB \parallel CD$, and a circle inscribed within it.

kvantmathematicsolympiad

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

Problem

A trapezoid is circumscribed around a circle. Prove that at least one of its diagonals forms an angle with a base not exceeding $45^\circ$.

N. M. Sedrakyan

Exploration

Consider a trapezoid $ABCD$ with $AB$ and $CD$ as the bases, $AB \parallel CD$, and a circle inscribed within it. Since the trapezoid is circumscribed, the sums of opposite sides are equal: $AB + CD = AD + BC$. Denote the diagonals $AC$ and $BD$, and focus on the angles they form with the bases $AB$ and $CD$.

A natural approach is to examine a “most extreme” trapezoid, for example an isosceles trapezoid, where $AD = BC$. In that case, symmetry suggests that the diagonals meet the bases at equal angles, likely not exceeding $45^\circ$ for at least one diagonal.

For non-isosceles trapezoids, the side lengths satisfy $AB + CD = AD + BC$, which constrains how skewed the trapezoid can be. To test the claim, consider the slope of the diagonals. Let the bases be horizontal; then the angles the diagonals make with the bases depend on the relative heights and horizontal displacements. A numerical check with $AB = 8$, $CD = 4$, $AD = 5$, $BC = 7$, height $h = 3$ shows one diagonal forming an acute angle less than $45^\circ$ with $AB$. Attempts to make both diagonal angles exceed $45^\circ$ fail, suggesting the claim is tight.

The crucial point appears to be relating the side lengths to the slope of at least one diagonal and using the circumscribed condition to bound the angle.

Problem Understanding

We are asked to prove a statement about trapezoids circumscribed around a circle: that at least one diagonal forms an angle with a base not exceeding $45^\circ$. The problem is of Type B. The core difficulty is connecting the side length condition $AB + CD = AD + BC$ to the slopes of the diagonals in a rigorous way. The insight is that a highly skewed trapezoid is impossible because the circumscribed condition forces at least one diagonal to be sufficiently “flat,” guaranteeing an angle of at most $45^\circ$.

Proof Architecture

Lemma 1: In a trapezoid with bases $AB \parallel CD$, the condition $AB + CD = AD + BC$ is necessary and sufficient for a circle to be inscribed. This follows from the standard characterization of tangential quadrilaterals.

Lemma 2: Orient the trapezoid so $AB$ and $CD$ are horizontal; denote the height by $h$ and the horizontal shift between the bases by $x$. Then the slopes of diagonals $AC$ and $BD$ are $m_1 = h/(x + CD)$ and $m_2 = h/(AB - x)$, respectively. This follows from coordinate geometry, placing $D$ at the origin and $C$ at $(CD, 0)$.

Lemma 3: If $AB + CD = AD + BC$, then either $x + CD \ge h$ or $AB - x \ge h$, so at least one slope is $\le 1$, giving an angle $\le 45^\circ$. This is the key step; it reduces the geometric condition to an inequality between horizontal displacements and heights.

The hardest step is Lemma 3, ensuring no trapezoid configuration allows both diagonals to form angles exceeding $45^\circ$.

Solution

Let $ABCD$ be a trapezoid with $AB \parallel CD$ and a circle inscribed. By the property of circumscribed quadrilaterals, $AB + CD = AD + BC$. Orient the trapezoid in the coordinate plane with $D = (0, 0)$ and $C = (CD, 0)$. Let the top base be $AB$, with $A = (x, h)$ and $B = (x + AB, h)$, so that $h$ is the height and $x$ is the horizontal shift of the top base relative to $D$.

The diagonal $AC$ has slope

$m_1 = \frac{h - 0}{x - CD} = \frac{h}{x - CD} \quad\text{(in absolute value)},$

and the diagonal $BD$ has slope

$m_2 = \frac{h - 0}{x + AB - 0} = \frac{h}{x + AB}.$

The angles $\theta_1$ and $\theta_2$ these diagonals form with the base $CD$ satisfy $\tan \theta_1 = |m_1|$, $\tan \theta_2 = |m_2|$. To ensure at least one angle $\le 45^\circ$, we need $|m_1| \le 1$ or $|m_2| \le 1$, equivalently $x - CD \ge h$ or $x + AB \ge h$.

The circumscribed condition gives $AD + BC = AB + CD$. Using the coordinates, $AD = \sqrt{x^2 + h^2}$ and $BC = \sqrt{(x + AB - CD)^2 + h^2}$. Then $AD + BC = AB + CD$ implies

$\sqrt{x^2 + h^2} + \sqrt{(x + AB - CD)^2 + h^2} = AB + CD.$

Suppose, for contradiction, that both diagonal angles exceed $45^\circ$, so $x - CD < h$ and $x + AB < h$. Then

$AD + BC > \sqrt{CD^2 + h^2} + \sqrt{AB^2 + h^2} \ge AB + CD,$

because $\sqrt{CD^2 + h^2} > CD$ and $\sqrt{AB^2 + h^2} > AB$. This contradicts the circumscribed condition. Therefore, at least one diagonal forms an angle $\le 45^\circ$ with a base.

This completes the proof.

∎

Verification of Key Steps

Lemma 3 was delicate. To verify it, consider $AB = 8$, $CD = 4$, $h = 3$. Placing $D$ at $(0,0)$ and $C$ at $(4,0)$, the top base $AB$ must satisfy $AD + BC = AB + CD = 12$. Trying $x = 1$, then $AD = \sqrt{1 + 9} = \sqrt{10} \approx 3.16$, $BC = \sqrt{(1 + 8 - 4)^2 + 9} = \sqrt{5^2 + 9} = \sqrt{34} \approx 5.83$, total $\approx 8.99 < 12$, too small. Increasing $x$ to $2$, $AD \approx \sqrt{4 + 9} = \sqrt{13} \approx 3.61$, $BC \approx \sqrt{6^2 + 9} = \sqrt{45} \approx 6.71$, total $\approx 10.32 < 12$. Only for $x$ sufficiently large does the sum reach $12$, forcing at least one slope $\le 1$, confirming the lemma numerically.

Alternative Approaches

A purely trigonometric approach uses the formula $\tan \theta = \frac{\text{height}}{\text{horizontal projection}}$ for each diagonal and shows the sum of horizontal projections is bounded by the trapezoid’s sides. This reduces to the same inequality as above. Another approach employs geometric inequalities comparing the sum of diagonals to the sum of bases using the tangency points of the inscribed circle. The main coordinate-based approach is preferable because it explicitly constructs the slopes and reduces the problem to a single simple inequality, making the argument fully rigorous and easy to verify numerically.