MathDB
geometri inequaliy with circles and a regular octahedron

Source: 1984 Polish MO Finals p3

February 25, 2020
geometryinequalitiesoctahedron3D geometrycircles

Problem Statement

Let WW be a regular octahedron and OO be its center. In a plane PP containing OO circles k1(O,r1)k_1(O,r_1) and k2(O,r2)k_2(O,r_2) are chosen so that k1PWk2k_1 \subset P\cap W \subset k_2. Prove that r1r232\frac{r_1}{r_2}\le \frac{\sqrt3}{2}