Második Papposz-Guldin tétel bizonyítása?

Legyen egy A területű síkidom, és egy t egyenes vele egy síkban, mely nem metszi a síkidomot. Ha a síkidomot a t egyenes mint tengely körül α szöggel elforgatjuk, egy V térfogatú forgástestet súrol. A síkidom CA súlypontjának távolsága a t tengelytől Rs. Ennek a forgástestnek a térfogata egyenlő a síkidom területének és a súlypont pályája ívhosszának szorzatával:

V = A\cdot R_s\cdot \alpha \,