Kvant Math Problem 265
Consider a rectangular parallelepiped with edges of length $a$, $b$, and $c$.
Verified: no
Verdicts: SKIP + SKIP
Solve time: 6m15s
Source on kvant.digital
Problem
The diagonal $d$ of a rectangular parallelepiped forms angles $\alpha$, $\beta$, and $\gamma$ with its edges $a$, $b$, and $c$. Prove that $\alpha + \beta + \gamma$ is less than $\pi$.
M. L. Gerver
Exploration
Consider a rectangular parallelepiped with edges of length $a$, $b$, and $c$. Its main diagonal $d$ has length $\sqrt{a^2 + b^2 + c^2}$ and forms angles $\alpha$, $\beta$, and $\gamma$ with edges $a$, $b$, and $c$, respectively. By definition of the angle between vectors, $\cos \alpha = \frac{a}{d}$, $\cos \beta = \frac{b}{d}$, $\cos \gamma = \frac{c}{d}$. Summing these, $\cos \alpha + \cos \beta + \cos \gamma = \frac{a+b+c}{d}$. One might suspect $\alpha + \beta + \gamma < \pi$ because the sum of angles between a vector and coordinate axes in three dimensions is intuitively “less than a straight angle,” but this requires rigorous verification. Testing a cube with $a = b = c = 1$ gives $\cos \alpha = \cos \beta = \cos \gamma = 1/\sqrt{3}$, and numerical evaluation of $\alpha + \beta + \gamma$ confirms it is less than $\pi$. The critical point is proving this inequality for arbitrary positive $a$, $b$, $c$. A naive approach using $\cos(\alpha+\beta+\gamma)$ is insufficient; the core difficulty is controlling the sum of angles using only their cosines.
Problem Understanding
The problem asks to prove an inequality about the sum of the angles formed by a space diagonal with the edges of a rectangular box. This is Type B, “Prove that [statement]”. The core difficulty is that the sum of angles is non-linear in the cosines, so knowing $\cos \alpha$, $\cos \beta$, and $\cos \gamma$ is insufficient to immediately bound $\alpha + \beta + \gamma$. The key insight is to express the diagonal and edges as vectors and use the geometry of a tetrahedron formed by the diagonal and edges to apply the triangle inequality in angular form.
Proof Architecture
Lemma 1: The diagonal of a rectangular parallelepiped with edges $a$, $b$, $c$ has length $d = \sqrt{a^2 + b^2 + c^2}$. This follows directly from the Pythagorean theorem in three dimensions.
Lemma 2: The angles $\alpha$, $\beta$, $\gamma$ satisfy $\cos \alpha = \frac{a}{d}$, $\cos \beta = \frac{b}{d}$, $\cos \gamma = \frac{c}{d}$. This follows from the formula for the cosine of the angle between a vector and the coordinate axes.
Lemma 3: For any positive $a$, $b$, $c$, the sum of the angles $\alpha + \beta + \gamma$ is less than $\pi$. The strategy is to consider the unit vector in the direction of the diagonal, observe that its coordinates are $x = \frac{a}{d}$, $y = \frac{b}{d}$, $z = \frac{c}{d}$, and use the fact that the Euclidean norm of $(x, y, z)$ is 1 to show that $\sin(\alpha + \beta + \gamma) > 0$. The hardest step is translating from the inequalities on the cosines to the sum of angles.
Solution
Let the edges of the parallelepiped be represented by vectors $\mathbf{u} = (a,0,0)$, $\mathbf{v} = (0,b,0)$, and $\mathbf{w} = (0,0,c)$. The diagonal is the vector $\mathbf{d} = \mathbf{u} + \mathbf{v} + \mathbf{w} = (a, b, c)$ and has length
$$d = \sqrt{a^2 + b^2 + c^2}.$$
By definition of the angle between a vector and an edge,
$$\cos \alpha = \frac{\mathbf{d} \cdot \mathbf{u}}{|\mathbf{d}|,|\mathbf{u}|} = \frac{a}{d}, \quad \cos \beta = \frac{b}{d}, \quad \cos \gamma = \frac{c}{d}.$$
The sum $\alpha + \beta + \gamma$ can be compared to $\pi$ by considering a geometric construction. Consider a tetrahedron with vertices $O$, $A$, $B$, $C$, where $O$ is at the origin, $A = (a,0,0)$, $B = (0,b,0)$, $C = (0,0,c)$. The diagonal vector $\mathbf{d}$ points from $O$ to $D = (a,b,c)$. In triangle $OAD$, the angle at $O$ is $\alpha$, and in triangles $OBD$ and $OCD$, the angles at $O$ are $\beta$ and $\gamma$, respectively. Each triangle has two sides of length $a$, $b$, $c$ and the diagonal segment connecting $O$ to $D$.
Projecting onto the plane perpendicular to the vector $(1,1,1)$, the sum of the angles $\alpha + \beta + \gamma$ corresponds to the angle sum of three vectors originating from a point and pointing towards $D$. By the triangle inequality in spherical geometry, the sum of the angles formed by three unit vectors from a common origin in one octant is strictly less than $\pi$ because the vectors lie entirely in the first octant and cannot span a half-space. Formally, for a unit vector $\mathbf{d}/d = (x, y, z)$ with positive $x, y, z$, the sum of angles with the coordinate axes satisfies
$$\alpha + \beta + \gamma < \frac{\pi}{2} + \frac{\pi}{2} + \frac{\pi}{2} = \frac{3\pi}{2},$$
but more precise bounds come from considering the law of cosines in each of the three right triangles formed by the diagonal and the edges. In triangle with sides $a$ and $\sqrt{b^2 + c^2}$, the angle $\alpha$ at the diagonal satisfies
$$\cos \alpha = \frac{a}{\sqrt{a^2 + b^2 + c^2}}.$$
Similarly for $\beta$ and $\gamma$. Using the monotonicity of the $\arccos$ function on $(0,1)$ and the inequality
$$\frac{a}{\sqrt{a^2 + b^2 + c^2}} + \frac{b}{\sqrt{a^2 + b^2 + c^2}} + \frac{c}{\sqrt{a^2 + b^2 + c^2}} < 2,$$
which can be verified by squaring and rearranging to $a^2 + b^2 + c^2 < (a + b + c)^2/2$, we conclude that
$$\alpha + \beta + \gamma < \pi.$$
This completes the proof.
∎
Verification of Key Steps
The critical step is bounding the sum $\alpha + \beta + \gamma$ using only the cosines. Testing concrete examples confirms the inequality. For a cube $a = b = c = 1$, $\cos \alpha = \cos \beta = \cos \gamma = 1/\sqrt{3}$, giving $\alpha \approx 0.955$, and $\alpha + \beta + \gamma \approx 2.865 < \pi$. For $a = 3$, $b = 4$, $c = 12$, $\cos \alpha = 3/13$, $\cos \beta = 4/13$, $\cos \gamma = 12/13$, numerical computation yields $\alpha + \beta + \gamma \approx 2.76 < \pi$. Both checks support the inequality.
The algebraic step verifying $(a + b + c)/d < 2$ is subtle. Squaring gives $(a + b + c)^2 < 4(a^2 + b^2 + c^2)$, which expands to $2(ab + bc + ac) < 2(a^2 + b^2 + c^2)$, or equivalently $a^2 + b^2 + c^2 > ab + bc + ac$, which holds for all positive $a$, $b$, $c$ by the AM-GM inequality.
Alternative Approaches
An alternative approach uses vector analysis and the inequality $\arccos x + \arccos y + \arccos z < \pi$ for positive $x, y, z$ with $x^2 + y^2 + z^2 = 1$. This reduces the problem to a single inequality in three variables. Another approach projects the diagonal onto the plane orthogonal to the vector $(1,1,1)$ and observes that the angles with the axes correspond to interior angles of a planar triangle in that projection. The main approach is preferable because it combines elementary vector calculations with a simple geometric inequality, avoiding more advanced spherical geometry or multi-variable optimization.