ドーナツ面

　　｛（ｘ^2＋ｙ^2）^1/2−ｒ1｝^2＋ｚ^2＝ｒ0^2

は環状に並べられた円と考えることができ，経線と緯線は円です．

　　ｒ0：パイプの半径，ｒ1：輪の半径

　その体積はパップス・ギュルダンの定理より，円の面積×円周の長さで与えられる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】パップス・ギュルダンの定理

　半径ａと半径ｂ（ｂ＜ａ）の同心円に挟まれた円環状部分の面積は

　　πａ^2−πｂ^2

で与えられるが，この図形は２次元の円に幅をもたせたものと考えることができる．

　そこで，帯の幅（ａ−ｂ）に重心（原点からの距離：（ａ＋ｂ）／２）が描く円周長２π（ａ＋ｂ）／２を乗ずると

　　円周長×幅＝２π（ａ＋ｂ）／２×（ａ−ｂ）＝πａ^2−πｂ^2

となって同じ値が得られる．

　円を円と交わらない軸を中心にして３次元空間内で回転させるとトーラス（円環面）が得られる．　半径ｂの円を３次元空間内で半径ａで回転させたトーラスの場合，

　　表面積＝円周長２πｂ×円周長２πａ＝４π^2ａｂ

　　体積＝断面積πｂ^2×円周長２πａ＝２π^2ａｂ^2

で表すことができる．すなわち，体積・表面積とも太さと長さの積で表せるというわけである．

　円周率が２つ入っているが，この意味はトーラス面は環状に並べられた円であることにほかならない．トーラスの体積・表面積の解答を自力で見つけて感動を覚え，それが次の興味に繋がったという経験をお持ちの読者も少なくないだろう．トーラスを同心円の積層であることを自力でみつける姿勢は必要であろうし，わかるということの喜びを体験することができるのである．

（第１定理）回転体の体積は元になる図形の面積とその図形の重心が移動した距離の積になる．

（第２定理）表面積は図形の周となっている曲線の重心の移動距離とその図形の周長との積になる．

これらは円だけでなくあらゆる回転体について成り立つ回転体の体積と表面積に関する定理であり，４世紀前半に精力的に活動した数学者パップスにちなんで「パップスの定理」と呼ばれている．

（Ｑ１）三角形の重心は底辺から高さの１／３のところにあるが，それでは半円の重心はどこにあるのだろうか？

（Ａ１）パップスの第１定理を逆に使って求めてみよう．直径を軸として半円を回転させると球になる．アルキメデスによれば球の体積は

　　４／３πｒ^3

　一方，パップスによればこの体積は半円の面積１／２πｒ^2と半円が回転したときの重心の移動距離２πｄの積に等しい（重心と円の中心との距離をｄとする）．したがって，

　　ｄ＝４ｒ／３π＝０．４２ｒ

（Ｑ２）半径ｒの半円形をした針金の重心は？

（Ａ２）パップスの第２定理より，重心の移動距離２πｄと半円の長さπｒの積は球の表面積４πｒ^2は等しくなる．したがって

　　ｄ＝２ｒ／π＝０．６４ｒ

　これらの問題は積分を使っても解くことができるが，それよりもパップスの定理を使った方が簡単であろう．また，パップスの定理は円が曲線に沿って移動するような軌跡問題などにも応用することができる．

［補］この回転体の体積や表面積についての定理は古代ギリシアの数学者パップス（４世紀前半）が言及し，後になってスイスの数学者ギュルダンによって証明が試みられました．そのため今日ではパップス・ギュルダンの定理と呼ばれています．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】ヴィラソーの円

　ドーナツ面の経線と緯線は円ですが，その他にも円が存在します．気づきにくいことですが，原点を通り，ｘｙ平面となす角度が

　　ｓｉｎα＝ｒ0／ｒ1

の平面による切り口も円（ヴィラソーの円）になります．この平面はドーナツ面の内側をかすめるように通ります．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【３】サイクライド

　ｒ1／ｒ0比が大きいとドーナツはフラフープのようになりますが，比が１に近づくと孔は狭まり，ｒ1／ｒ0＜１になると互いに自分自身の中に食い込んだ形になり，ヘソの付いたアンパンのような形になります．

　もっといびつな形も考えることができますが，デュパンは大きさを変えながら空間を移動する球の包絡面を考えて，サイクライドをを構成しました．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝