Q36 Matemática (IMO Longlists 1979)

36 | IMO Longlists | 1979 | Matemática

Um tetraedro regular $A_{1} B_{1} C_{1} D_{1}$ está inscrito em um tetraedro regular $A BC D$ , onde $A_{1}$ está no plano $BC D$ , $B_{1}$ no plano $A C D$ , etc. Prove que $A_{1} B_{1} \geq \frac{A B}{3}$ .