ILL 1984 Problem 65
A tetrahedron is inscribed in a sphere of radius such that the center of the sphere is inside the tetrahedron. Prove that the sum of lengths of all edges of the tetrahedron is greater than 6.
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.