■サイクロイドと積分・変分法(その8)
レムニスケートには円に共通する性質があり,定規とコンパスだけで奇数のn等分することができる必要十分条件はnがフェルマー素数(p=2^2^m+1の形の素数:3,5,17,257,65537)であることである.
これまで調べた曲線では
[1]任意等分可能・・・・・・カージオイド
[2]2^mΠpi 等分可能・・・円,レムニスケート
[3]2^m等分可能・・・・・・r^3/2=cos(3θ/2),r^3=cos(3θ)
[4]2等分すら不可能・・・・r^5/2=cos(5θ/2)
となっていたが,これらはどのように特徴づけられるのであろうか?
===================================
【1】サイクロイド弧長のn等分
2r(−2cos(t/2)+2)=8r/n
−2cos(t/2)+2=4/n
cos(t/2)=1−2/n
tが4直角の整数分の1になるのは,n=2とn=4のときのみです.
[1]n=2のとき,t/2=π/2→t=π(y=2r)
[2]n=4のとき,t/2=π/3→t=2π/3(y=3r/2)
===================================
サイクロイド弧長が2等分,4等分されることをみた.次に,
大円の半径:n,小円の半径:1 (0<t<2π/n)
とする内サイクロイド
x=(n−1)cost+cos(n−1)t
y=(n−1)sint−sin(n−1)t
と外サイクロイド
x=(n+1)cost−cos(n+1)t
y=(n+1)sint−sin(n+1)t
について調べてみたい.
【2】内サイクロイド弧長のm等分
∫(0,2π/n)(x’^2+y’^2)^1/2dt
=√2(n−1)∫(0,2π/n)(1−cosnt)^1/2dt
=2(n−1)∫(0,2π/n)sin(nt/2)dt
=4(n−1)/n[−cos(nt/2)]=8(n−1)/n
4(n−1)/n(−cos(nt/2)+1)=8(n−1)/mn
−cos(nt/2)+1=2/m
cos(nt/2)=1−2/m
tが4直角の整数分の1になるのは,m=2とm=4のときのみです.
cos(nt/2)=1−2/m
m=2のとき,nt/2=π/2→t=π/n
m=4のとき,nt/2=π/3→t=2π/3n
r^2=x^2+y^2=(n−1)^2+1+2(n−1)cosnt
=(n−1)^2+1−2(n−1)=(n−2)^2 t=π/nのとき
=(n−1)^2+1−(n−1) t=2π/3nのとき
===================================
【3】外サイクロイド弧長のm等分
∫(0,2π/n)(x’^2+y’^2)^1/2dt
=√2(n+1)∫(0,2π/n)(1−cosnt)^1/2dt
=2(n+1)∫(0,2π/n)sin(nt/2)dt
=4(n+1)/n[−cos(nt/2)]=8(n+1)/n
4(n+1)/n(−cos(nt/2)+1)=8(n+1)/mn
−cos(nt/2)+1=2/m
cos(nt/2)=1−2/m
tが4直角の整数分の1になるのは,m=2とm=4のときのみです.
cos(nt/2)=1−2/m
m=2のとき,nt/2=π/2→t=π/n
m=4のとき,nt/2=π/3→t=2π/3n
r^2=x^2+y^2=(n+1)^2+1−2(n+1)cosnt
=(n+1)^2+1+2(n+1)=(n+2)^2 t=π/nのとき
=(n+1)^2+1+(n+1) t=2π/3nのとき
===================================