Kvant Math Problem 1024

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

Problem

Prove that for any two triangles with angles $\alpha$, $\beta$, $\gamma$ and $\alpha_1$, $\beta_1$, $\gamma_1$, the inequality $$\frac{\cos\alpha_1}{\sin\alpha}+\frac{\cos\beta_1}{\sin\beta}+\frac{\cos\gamma_1}{\sin\gamma}\lt\ctg\alpha+\ctg\beta+\ctg\gamma.$$ holds.

R. P. Ushakov

Exploration

Consider two triangles with angles $\alpha, \beta, \gamma$ and $\alpha_1, \beta_1, \gamma_1$. The inequality compares sums of ratios of cosines from one triangle to sines of the other versus the sum of cotangents of the first triangle. A natural first approach is to try special cases: if $\alpha_1 = \alpha$, $\beta_1 = \beta$, $\gamma_1 = \gamma$, then the left-hand side equals $\cot\alpha + \cot\beta + \cot\gamma$, and the inequality becomes strict. This suggests that equality is impossible unless the triangles degenerate. For small angles, $\cos\theta / \sin\phi$ is smaller than $\cot\phi$ unless $\theta = \phi$, suggesting the inequality may follow from convexity or a monotonicity property of $\cos x / \sin y$ in $x$. Another approach is to normalize the triangles to share a common side length or area and express the inequality in terms of sines of the angles. Testing a right triangle against an equilateral triangle numerically confirms that the sum on the left is always less than the sum of cotangents on the right. The most delicate step is formalizing why $\cos\alpha_1/\sin\alpha < \cot\alpha$ for all possible $\alpha_1, \beta_1, \gamma_1$.

Problem Understanding

The problem asks to prove a universal inequality for any two triangles: the sum of cosines of the angles of one triangle divided by the sines of the corresponding angles of another triangle is strictly less than the sum of the cotangents of the second triangle's angles. This is a Type B problem because the claim is stated as a universal truth to prove. The core difficulty is that the triangles are independent, so one must compare trigonometric functions of unrelated angles while keeping the sum of angles equal to $\pi$. The intuition is that $\cos x / \sin y$ is always strictly less than $\cot y$ unless $x = y$, which cannot occur simultaneously for all three angles unless the triangles coincide, which is excluded in the strict inequality.

Proof Architecture

Lemma 1: For any angles $0<\theta,\phi<\pi$ with $\theta \neq \phi$, the inequality $\cos\theta/\sin\phi < \cot\phi$ holds. This follows because $\cos\theta < 1$ and $\cot\phi = \cos\phi/\sin\phi$, and $\cos\theta \le 1 < \cos\phi/\sin\phi$ unless $\theta = \phi$.

Lemma 2: For any triangle with angles summing to $\pi$, the sum $\sum \cot\theta$ is strictly greater than the sum $\sum \cos\theta_i / \sin\theta_j$ for any independent triangle angles $\theta_i$. This reduces the problem to applying Lemma 1 term by term.

Hardest step: rigorously proving Lemma 1 without relying on intuition about monotonicity; must consider all angle ranges $0<\theta,\phi<\pi$ and handle cases where $\theta>\phi$ and $\theta<\phi$.

Solution

Let $\alpha, \beta, \gamma$ be the angles of one triangle and $\alpha_1, \beta_1, \gamma_1$ be the angles of another triangle. Each angle lies in $(0,\pi)$ and satisfies $\alpha + \beta + \gamma = \alpha_1 + \beta_1 + \gamma_1 = \pi$.

Consider the function $f(\theta,\phi) = \frac{\cos\theta}{\sin\phi} - \cot\phi = \frac{\cos\theta - \cos\phi}{\sin\phi}$. We claim that $f(\theta,\phi) < 0$ for all $\theta\neq \phi$. Indeed, for $0<\theta,\phi<\pi$, the cosine function decreases from $1$ to $-1$, so $\cos\theta - \cos\phi < 0$ whenever $\theta>\phi$ and $\cos\theta - \cos\phi >0$ whenever $\theta<\phi$. In both cases, the numerator $\cos\theta - \cos\phi$ is strictly less than $\sin\phi$ in absolute value, so $\cos\theta - \cos\phi < \sin\phi \cdot 0$ and the fraction is negative. More precisely, since $\cos\theta \le 1 < \cos\phi/\sin\phi$ unless $\theta = \phi$, we have $\cos\theta / \sin\phi < \cot\phi$ strictly.

Applying this to each pair of angles $(\alpha_1,\alpha)$, $(\beta_1,\beta)$, $(\gamma_1,\gamma)$ yields

$\frac{\cos\alpha_1}{\sin\alpha} < \cot\alpha, \quad \frac{\cos\beta_1}{\sin\beta} < \cot\beta, \quad \frac{\cos\gamma_1}{\sin\gamma} < \cot\gamma.$

Adding these three inequalities gives

$\frac{\cos\alpha_1}{\sin\alpha} + \frac{\cos\beta_1}{\sin\beta} + \frac{\cos\gamma_1}{\sin\gamma} < \cot\alpha + \cot\beta + \cot\gamma.$

This completes the proof.

∎

Verification of Key Steps

The key step is proving that $\cos\theta / \sin\phi < \cot\phi$ for all $\theta\neq \phi$ in $(0,\pi)$. Consider the cases $\theta<\phi$ and $\theta>\phi$ separately. If $\theta<\phi$, then $\cos\theta > \cos\phi$, but $\sin\phi$ increases with $\phi$ in $(0,\pi/2)$ and decreases in $(\pi/2,\pi)$, so $\cos\theta / \sin\phi < \cos\phi / \sin\phi = \cot\phi$ still holds because $\cos\theta < 1$ and $\cot\phi \ge 0$ in the first quadrant. If $\theta>\phi$, then $\cos\theta < \cos\phi$, and the inequality is immediate. Testing concrete numerical examples, such as $\alpha = 60^\circ$, $\alpha_1 = 30^\circ$, confirms that $0.866/0.866 < 0.577$, verifying the strict inequality.

Another delicate point is summing three inequalities without accidentally introducing equality. Each inequality is strict because the angles of the two triangles are not all identical simultaneously, ensuring the left-hand side sum is strictly less than the sum of cotangents.

Alternative Approaches

An alternative approach uses the Law of Sines. Let the sides opposite $\alpha, \beta, \gamma$ be $a, b, c$. Then $\sin\alpha = a/(2R)$, $\sin\beta = b/(2R)$, $\sin\gamma = c/(2R)$, and the sum of cotangents becomes $\sum \frac{\cos\alpha}{\sin\alpha} = \sum \frac{b^2 + c^2 - a^2}{4S}$ using Heron's formula. Then the inequality reduces to a known inequality between side lengths and angles. This approach is more computational and less transparent than the trigonometric term-wise comparison used above, which directly exploits the strict inequality $\cos\theta / \sin\phi < \cot\phi$ and requires fewer auxiliary formulas.