Papp-Guldinovy teorémy jsou dvě teorémy o rotačních tělesech, které vztahují jejich plochu a objem k obvodu popsanému barycentrem . Formuloval Pappus z Alexandrie (neposkytl důkaz). První známý důkaz je způsoben Paulem Guldinem ( 1640 ) [1] .
Plocha povrchu tělesa vytvořená rotací ploché čáry (uzavřené nebo otevřené) kolem osy, která leží v rovině této přímky a neprotíná ji, se rovná součinu délky rotační čáry a délka kružnice, jejíž poloměr je vzdálenost od osy k barycentru úsečky [2] [3] .
Objem tělesa vytvořeného rotací ploché postavy kolem osy umístěné ve stejné rovině a neprotínající postavu se rovná ploše postavy vynásobené délkou kruhu, jehož poloměr je vzdálenost od osy rotace k barycentru obrázku [2] [4] .
Nechť je v rovině na jedné straně přímky umístěno několik hmotných bodů stejné hmotnosti. Potom se těžiště tohoto systému bodů od přímky vzdálí o vzdálenost rovnající se aritmetickému průměru vzdáleností těchto bodů od přímky .
Důkaz : Dokažme lemma matematickou indukcí. Označme počet bodů , samotné body , , …, , hmotnost každého bodu , a vzdálenosti bodů od přímky , , …, .
Pro , tvrzení lemmatu je zřejmé. Nechť je lemma do jisté míry pravdivé. Pak je jejich těžiště v určité vzdálenosti
.Nahraďme soustavu hmotných bodů , , … bodem , v němž soustředíme hmotnost rovnou . Zbývá najít těžiště dvou hmotných bodů a . Protože bod má hmotnost a bod má hmotnost , pak
.Pokud je tedy vzdálenost od bodu k přímce (obr. 1), pak
,kde
Tvrzení lemmatu tedy platí pro hmotné body.
Nejprve dokážeme, že tato věta platí, pokud křivka, na kterou se ve větě odkazuje, je spojovaná křivka , ve které mají všechny spojnice stejnou délku . Středy spojnic křivky označujeme jako , , …, , a vzdálenosti od těchto bodů k přímce jako , , …, . Když se uvažovaná křivka otočí kolem přímky , získá se plocha skládající se z částí, z nichž každá je boční plochou komolého kužele. Protože boční povrch komolého kužele je roven součinu délky tvořící čáry a délky obvodu průměrného řezu, plocha výsledného čísla otáčení se rovná
.Když si všimneme, že délka uvažované křivky je , můžeme přepsat výraz pro oblast
,kde
,ale těžiště přerušované čáry, tedy těžiště bodů , , …, , v každém z nich je soustředěna hmota , je podle lemmatu odděleno od přímky ve vzdálenosti . To znamená, že v daném případě platí první Papp-Guldinova věta.
Nyní uvažujme libovolnou čáru , jejíž rotace při otáčení kolem osy vytváří plochu . Píšeme do něj přerušovaný řádek obsahující odkazy. Při rotaci kolem osy získáme plochu , jejíž plocha je rovna , kde je délka křivky a je vzdálenost od těžiště křivky k ose rotace .
Pokud budeme počítat , pak bude délka křivky inklinovat k délce čáry , plocha povrchu bude inklinovat k ploše , těžiště křivky bude inklinovat k těžišti křivky . Protože pro libovolnou platí vztah pro , pak přecházející do limity , zjistíme , že platí i pro křivku .