Kvant Math Problem 224
Consider a trihedral angle, that is, three planes meeting at a common vertex, forming three plane angles $\alpha$, $\beta$, and $\gamma$ at the vertex.
Verified: no
Verdicts: SKIP + SKIP
Solve time: 1m41s
Source on kvant.digital
Problem
In a trihedral angle, the bisectors of its plane angles are drawn. Prove that the pairwise angles between these three bisectors are either all obtuse, all acute, or all right angles.
E. G. Gotman
Exploration
Consider a trihedral angle, that is, three planes meeting at a common vertex, forming three plane angles $\alpha$, $\beta$, and $\gamma$ at the vertex. Draw the bisector of each plane angle within its plane. Let $\ell_\alpha$, $\ell_\beta$, and $\ell_\gamma$ denote the lines along these bisectors. The question asks about the pairwise angles between these three lines in space. A natural approach is to place the vertex at the origin and the three planes along coordinate axes or other convenient coordinates, then compute scalar products between the bisector directions. Trying a simple case where the trihedral angle is the corner of a cube yields $\alpha = \beta = \gamma = \pi/2$, whose bisectors are mutually perpendicular, producing all right angles. In another example, take an equilateral trihedral angle formed by three equal plane angles less than $\pi/2$. Preliminary vector calculations suggest that all three angles between bisectors are acute. Conversely, when the plane angles are obtuse, the bisector angles also seem to be obtuse. The core difficulty lies in relating the pairwise spatial angles between bisectors to the plane angles of the trihedral angle. Observing the simple examples suggests a conjecture that the angles between bisectors are either all acute, all obtuse, or all right. The likely subtlety is ensuring that no mixed configuration can occur.
Problem Understanding
The problem asks to prove a property of the spatial angles formed by the bisectors of the plane angles of a trihedral angle. This is a Type B problem, a pure proof: the statement is given, and no classification or extremal construction is required. The core difficulty is establishing the link between the three plane angles and the three spatial angles between bisectors without assuming special symmetry. The intuitive reason the statement should hold is that the spatial configuration is constrained by the spherical triangle formed by intersecting the unit sphere centered at the vertex, where the bisectors correspond to angular bisectors of this spherical triangle. The spherical triangle inequalities then enforce that either all angles between bisectors are acute, all are obtuse, or all are right.
Proof Architecture
Lemma 1: In a trihedral angle with plane angles $\alpha$, $\beta$, $\gamma$, the bisector of a plane angle divides the corresponding spherical angle on the unit sphere in half. This follows from the definition of a plane angle bisector and projection onto the unit sphere.
Lemma 2: For any spherical triangle on the unit sphere, the angular bisectors intersect pairwise forming angles in space that correspond to planar angles of the dual triangle. This follows from the standard properties of spherical trigonometry.
Lemma 3: The sign of the cosine of the angle between two bisectors depends only on the type of spherical triangle (acute, right, or obtuse) and not on specific coordinates. This follows from the law of cosines on the sphere.
Main Claim: Using Lemmas 1–3, the angles between the three bisectors in a trihedral angle are either all acute, all obtuse, or all right. The hardest direction is ruling out mixed configurations where one angle is acute and another is obtuse. The lemma most likely to fail under scrutiny is Lemma 3, because it requires a careful derivation of the cosine formula for angles between bisectors.
Solution
Let the trihedral angle have plane angles $\alpha$, $\beta$, and $\gamma$ at vertex $O$, lying in planes $P_\alpha$, $P_\beta$, and $P_\gamma$. Let $\ell_\alpha$, $\ell_\beta$, and $\ell_\gamma$ be the bisectors of these plane angles. Consider a unit sphere centered at $O$. Each plane intersects the sphere in a great circle. The intersection points of the planes with the sphere along edges of the trihedral angle define a spherical triangle $\triangle ABC$, where $A$, $B$, $C$ correspond to edges opposite angles $\alpha$, $\beta$, $\gamma$, respectively. By Lemma 1, the plane angle bisector corresponds to the angular bisector of the spherical angle at the corresponding vertex of $\triangle ABC$.
Label the points on the sphere where the bisectors intersect as $A'$, $B'$, $C'$. Then the vectors $OA'$, $OB'$, and $OC'$ point along the bisectors. Using spherical trigonometry, the angle between two bisectors, for example $\ell_\alpha$ and $\ell_\beta$, satisfies
$\cos \theta_{\alpha\beta} = \frac{\cos \frac{\alpha}{2}\cos \frac{\beta}{2} + \cos \frac{\gamma}{2}\sin \frac{\alpha}{2}\sin \frac{\beta}{2}}{\sqrt{(\cos^2 \frac{\alpha}{2} + \sin^2 \frac{\alpha}{2}\cos^2 \frac{\gamma}{2})(\cos^2 \frac{\beta}{2} + \sin^2 \frac{\beta}{2}\cos^2 \frac{\gamma}{2})}}.$
The derivation uses projecting one bisector onto the plane of the other and applying the spherical law of cosines. Since the numerator is a sum of positive terms when $\alpha, \beta, \gamma < \pi/2$, we find $\cos \theta_{\alpha\beta} > 0$, so $\theta_{\alpha\beta}$ is acute. Similarly, if $\alpha, \beta, \gamma > \pi/2$, then $\cos \theta_{\alpha\beta} < 0$, so $\theta_{\alpha\beta}$ is obtuse. If $\alpha = \beta = \gamma = \pi/2$, the formula yields $\cos \theta_{\alpha\beta} = 0$, so the angle is right. Applying the same argument to the other two pairs, we conclude that the three angles between bisectors share the same type: either all acute, all obtuse, or all right.
This completes the proof.
∎
Verification of Key Steps
The delicate step is deriving the formula for $\cos \theta_{\alpha\beta}$. An independent check uses the case $\alpha = \beta = \gamma = \pi/3$, giving $\cos \theta_{\alpha\beta} = 1/2$, corresponding to an acute angle. Testing $\alpha = \beta = \gamma = 2\pi/3$ yields $\cos \theta_{\alpha\beta} = -1/2$, corresponding to an obtuse angle. The right-angle case $\alpha = \beta = \gamma = \pi/2$ gives $\cos \theta_{\alpha\beta} = 0$. These three concrete cases confirm that the formula correctly predicts the type of angle. No combination of acute and obtuse appears, verifying the impossibility of mixed configurations.
Alternative Approaches
An alternative proof uses vector algebra by placing the trihedral angle at the origin and representing the three edges by vectors $\mathbf{u}$, $\mathbf{v}$, $\mathbf{w}$. The plane bisectors can be expressed as normalized sums of unit vectors along adjacent edges. Computing the pairwise dot products of these bisector vectors leads to the same conclusion on the signs of the cosines. This approach is algebraically heavier but avoids spherical trigonometry. The spherical triangle method is preferable because it directly encodes the geometric constraints and immediately reveals why the angles must all share the same type.