IMO 1987 SL 19

Let \alpha, \beta, \gamma be positive real numbers such that \alpha + \beta + \gamma < \pi,

IMO 1987 SL 19

Origin: USS

Problem

Let \alpha, \beta, \gamma be positive real numbers such that \alpha + \beta + \gamma < \pi, \alpha + \beta > \gamma, \beta + \gamma > \alpha, \gamma + \alpha > \beta. Prove that with the segments of lengths sin \alpha, sin \beta, sin \gamma we can construct a triangle and that its area is not greater than 8(sin 2\alpha + sin 2\beta + sin 2\gamma).

Solution

The facts given in the problem allow us to draw a triangular pyramid with angles 2\alpha, 2\beta, 2\gamma at the top and lateral edges of length 1/2. At the base there is a triangle whose side lengths are exactly sin \alpha, sin \beta, sin \gamma. The area of this triangle does not exceed the sum of areas of the lateral sides, which equals (sin 2\alpha + sin 2\beta + sin 2\gamma)/8.