■五芒星と掛谷の問題(その79)
カニンガムのサイドロブはコンコイドであるという・・・計算の誤り発見
===================================
[補]コンコイド・シッソイド
ギリシア人は新しい数学曲線を見いだして立方体倍積問題や角の3等分問題などを解決しました.60°,30°,15°など任意の角の場合でも,定規とコンパスというプラトンの束縛から離れて,コンコイドやシッソイドという曲線の性質を用いた適当な道具を使えば作図可能となります.
<ニコメデスのコンコイド>
定点Oと定直線gが与えられているとき,Oを通る任意の直線とgとの交点をQとし,この直線上にQから定距離lの点Pをとると,この点Pの軌跡をコンコイドといいます.
極座標ではr=a/cosθ+b
x,y座標で書けば,x=a+bcosθ,y=atanθ+bsinθ
θを消去すると,4次曲線:
(x^2+y^2)(y−a)^2=b^2y^2
(x−a)^2(x^2+y^2)=l^2x^2
で表されます.なお,直線に関するコンコイドがニコメデスのコンコイドであって,円の関するコンコイドがリマソンであり,カーディオイドはその特殊な場合となっています.
===================================
<ディオクレスのシッソイド>
r=a/cosθ−acosθ
x=asin2 θ,y=asin^2θ・tanθ
θを消去すると3次曲線:x(x^2+y^2)=ay^2が得られます.
===================================
カニンガムの論文の場合
極座標ではr=a/cosθ+b
x,y座標で書けば,x=a+bcosθ,y=atanθ+bsinθ
これはボレリ・リュリエール「微積分の心に触れる旅」ではp42に相当する
===================================
三角形の高さを1としている
針の長さ1+λ
θ=0の場合、r=λ
θ=+/-π/6の場合r=1+λ-2/√3
a+b=λ
2a/√3+b=1+λ-2/√3
(1-2/√3)a=2/√3-1
a=-1,b=1+λ
極座標ではr=-1/cosθ+1+λ
1/2・∫(-π/6,π/6)(-1/cosθ+1+λ)^2dθ
=∫(0,π/6)(-1/cosθ+1+λ)^2dθ
∫(1/cosθ)dθ=log|(tan(x/2+π/4)|
log|(tan(x/2+π/4)|=logtanπ/3-logtanπ/4=log√3
∫(1/(cosθ)^ 2dθ=tanx
tanx=1/√3
1/2・∫(-π/6,π/6)(-1/cosθ+1+λ)^2dθ
=∫(0,π/6)(-1/cosθ+1+λ)^2dθ=1/√3-2(1+λ)log√3+(1+λ)^2・π/6
3個の合計√3-6(1+λ)log√3+π(1+λ)^2/2
1辺が2/√3の正三角形の面積は
1/(√3)
S=(√3)・4/3-6(1+λ)log√3+π(1+λ)^2/2
L=1+λ
S/L^2が最小となるのは
{-6log√3+π(1+λ)}(1+λ)^2-{(√3)・4/3-6(1+λ)log√3+π(1+λ)^2/2}2(1+λ)=0
{-6log√3+π(1+λ)}(1+λ)={(√3)・8/3-12(1+λ)log√3+π(1+λ)^2}
{-6(1+λ)log√3+π(1+λ)^2}={(√3)・8/3-12(1+λ)log√3+π(1+λ)^2}
{-6(1+λ)log√3}={(√3)・8/3-12(1+λ)log√3}
{6(1+λ)log√3}={(√3)・8/3}
合わないが計算方法は理解できた
λ=.401405
大きすぎる気もするが・・・
===================================
λ={(√3)・8/3}/6/log√3-1
S/L^2=.39489
π/8=.392699
===================================
ボレリ・リュリエール「微積分の心に触れる旅」p17も同様に解いてみたい。
三角部分を1
プロベラ部分をλとする
S1=(π-√3)/2
S2=πλ^2/6
S=S1+3S2=(π-√3)/2+πλ^2/2
L=1+λ
S/L^2の微分
πλ(1+λ)^2-{(π-√3)/2+πλ^2/2}2(1+λ)=0
πλ(1+λ)-{(π-√3)+πλ^2}=0
πλ=(π-√3)
λ=(π-√3)/π=.448671のとき最小となる
S/L^2=.486494
===================================
ボレリ・リュリエール「微積分の心に触れる旅」p41 も同様に解いてみたい。
三角部分を1
プロベラ部分をλとする
S1=1/√3
S2=πλ^2/6
S=S1+3S2=1/√3+πλ^2/2
L=1+λ
S/L^2の微分
πλ(1+λ)^2-{1/√3+πλ^2/2}2(1+λ)=0
πλ(1+λ)-{2/√3+πλ^2}=0
πλ=2/√3
λ=2/√3/π=.367553のとき最小となる
S/L^2=.422178
===================================