Also known as Pappus–Guldinus theorem, Guldinus theorem, Pappus's theorem
theorem that, for a solid of revolution of a planar figure, the surface area equals the figure’s perimeter times the distance the perimeter’s centroid travels, and the volume equals the figure’s area times the distance the figure’s centroid travels
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).