Problem 9.17

Problems and Theorems in Analysis · 9.1

Show
LaTeX
Problem 9.17

Let k1,k2,…,k6k_1, k_2, \ldots , k_6 be the lengths of the six edges of a tetrahedron and α1,α2,…,α6\alpha_1, \alpha_2, \ldots , \alpha_6 the radian measures of the angles formed by the faces of the tetrahedron that meet at the respective edges. Then we have

π3<k1α1+k2α2+⋯+k6α6k1+k2+⋯+k6<π2. \frac{\pi }{3} < \frac{k_1\alpha _1+k_2\alpha _2+\cdots +k_6\alpha _6}{k_1+k_2+\cdots +k_6} < \frac{\pi }{2} .

The given bounds are the best possible.

?
Remark.
?

G. Pólya, problem: Arch. Math. Phys. Ser. 3, 27, p. 162 (1918).

Problem 9.17.1

Consider a triangle. Let aa, bb and cc denote its sides and AA its area. Prove that

A≤34(abc)2/3 A \leq \frac{\sqrt3}{4} (abc)^{2/3}

with equality only for equilateral triangles.

?
Problem 9.17.2

(continued). If p>0p > 0

A≤34(ap+bp+cp3)2p, A \leq \frac{\sqrt3}{4} \left(\frac{a^p+b^p+c^p}{3}\right)^{\frac{2}{p}} ,

with equality only for equilateral triangles.

?
Problem 9.17.3

(continued). Let rr and RR denote the radii of the inscribed and the circumscribed circle of a triangle, respectively. Prove that

2r≤R, 2r \leq R ,

with equality only for equilateral triangles.

?
Problem 9.17.4

Formulate a proposition that has an analogous relation to 17.1 as 17 has to 16.

?
Problem 9.17.5

(continued). Try to find simple particular cases for which the proposition formulated above can be conveniently tested.

?