MathDB
sum of dihedral angles in an arbitrary tetrahedron >2\pi

Source: 1982 Polish MO Finals p6

February 25, 2020
geometry3D geometrytetrahedrondihedral angle

Problem Statement

Prove that the sum of dihedral angles in an arbitrary tetrahedron is greater than 2π2\pi