【１】円積分

　円の４分の１周の長さを求めるのに，y=(1-x^2)^(1/2)に対し，

　　∫(0,1)(1+(dy/dx)^2)^(1/2)dx

を計算すると，これは

　　∫(0,1)1/(1-x^2)^(1/2)dx

となります．そこで

　　f(x)=1/(1-x^2)^(1/2)

　　2∫(0,1)f(x)dx=3.141592･･･=π

となり，これをπの定義とし，完全円積分と呼ぶことにします．

　　F(z)=∫(0,z)f(x)dx

は不完全円積分ですが，これから

　　sinω=F^(-1)(ω),cosω=F^(-1)(π/2-ω)

と定義すると，逆正弦関数

　　sin^(-1)z=∫(0,z)f(x)dx

が得られます．

　一般に，P(x)を２次の多項式とするとき，

　　f(x)=1/(P(x))^(1/2)

　　F(z)=∫(0,z)f(x)dx

は対数あるいは円関数（三角関数）になります．

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

【２】レムニスケート積分

　（問）２定点（−ａ，０），（ａ，０）からの距離の和が一定となる点の軌跡は楕円，差が一定の点の軌跡は双曲線です．また，商が一定の点は円（アポロニウスの円）を描きます．それでは積が一定の点はどのよう軌跡を描くでしょうか．

　（答）はカッシーニ曲線．２次の多項式ｆ（ｘ，ｙ）＝０，すなわち楕円，放物線，双曲線が円錐を平面で切断したときの切り口として現れたように，カッシーニ曲線はトーラス（ドーナツ）の平面による切断面として現れることが知られています．

　　｛（ｘ＋ａ）^2＋ｙ^2｝｛（ｘ−ａ）^2＋ｙ^2｝＝ｃ^2

　　（ｘ^2＋ｙ^2）^2−２ａ^2（ｘ^2−ｙ^2）＝ｃ^2−ａ^4

　　ｒ^4−２ａ^2ｒ^2ｃｏｓ２θ＋ａ^4＝ｃ^2

　定数ｃが２定点間の距離の半分ａの２乗に等しいとき，レムニスケート（双葉曲線）と呼ばれます．レムニスケートは８の字形（８を９０°回転させ横向きにした∞形）をしていて，その直交座標系での方程式は４次曲線（ｘ^2＋ｙ^2）^2＝２ａ^2（ｘ^2−ｙ^2），極座標系ではｒ^2＝２ａ^2ｃｏｓ２θとなります．

　２定点を（−１／√２，０），（１／√２，０）と定めると，レムニスケートの方程式は極座標で書くとｒ^2＝ｃｏｓ２θ，直交座標で書くと（ｘ^2＋ｙ^2）^2＝ｘ^2−ｙ^2となります．したがって，極座標による式のほうが，直交座標による式よりはるかに簡単です．極座標はベルヌーイの時代より前にもときどき使われていたのですが，極座標を広範囲に使用し，多くの曲線に適用してさまざまな性質を最初に見つけたのは，ヤコブ・ベルヌーイでした．

　レムニスケートの弧長ｌは

　　l=∫(0,r){1+(rdθ/dr)^2}^(1/2)dr

　　 =∫(0,r)2a^2/{4a^4-r^4}^(1/2) とくに，a=１／√２とおくと，

　　l=∫(0,r)1/{1ｰr^4}^(1/2)

となります．

　このようにして，ベルヌーイはレムニスケートの弧長を

　　f(x)=1/(1-x^4)^(1/2)

　　u=F(z)=∫(0,z)f(x)dx

と表しました．これがレムニスケート積分と呼ばれる積分です．

　ここで，

　　∫(0,1)f(x)dx=1.311028･･･=ω

とおくことにしましょう．4ωがレムニスケートの全長です．円に類比すると，レムニスケートの定数ωは円に対するπと同じ役割を演じていることになります．

　さらにまた，レムニスケートには円に共通する性質があり，定規とコンパスだけで奇数のｎ等分することができる必要十分条件はｎがフェルマー素数（ｎ＝２^(2^m)＋１の形の素数：３，５，１７，２５７，６５５３７）であることです．

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