Problem

Source: 2021 Oral Moscow Geometry Olympiad grades 10-11 p4

Tags: geometry, 3D geometry, octahedron, sphere



Points $STABCD$ in space form a convex octahedron with faces $SAB,SBC,SCD,SDA,TAB,TBC,TCD,TDA$ such that there exists a sphere that is tangent to all of its edges. Prove that $A,B,C,D$ lie in one plane.