■円錐面の輪切り(その12)
2つの2次曲線
[1]y=1/2・x^2
[2]y=1/2・x^2+c^2
がある.
点Pを[2]上の点とし,その点での接線が[1]と交わる点をM,Nとする.このとき,線分MNと[1]で囲まれる面積は一定である.
===================================
点P(x0,y0)とすると,y0=1/2・x0^2+c^2
接線はy−y0=x0(x−x0)
y=x0x−x0^2+y0=x0x−1/2・x0^2+c^2
交点のx座標は
1/2・x^2=x0x−1/2・x0^2+c^2
x^2−2x0x+x0^2−2c^2
の解で与えられる.この解をα,β(α<β)とすると,
α+β=2x0
αβ=x0^2−2c^2
β−α=(4x0^2−4x0^2+8c^2)^1/2=c2√2
β^2−α^2=cx04√2
β^3−α^3=(β−α)(α^2+αβ+β^2)=(β−α){(α+β)^2−αβ}=c2√2{4x0^2−x0^2+2c^2}=cx0^26√2+c^34√2
Y=x0x−1/2・x0^2+c^2−1/2・x^2
とおくと,面積は
S=∫(α,β)Ydx=[1/2x0x^2−(1/2・x0^2−c^2)x−1/6・x^3](α,β)=1/2x0(β^2−α^2)−(1/2・x0^2−c^2)(β−α)−1/6(β^3−α^3)
=2cx0^2√2−(1/2・x0^2−c^2)2c√2−cx0^2√2−c^32√2/3
=4/3・√2・c^3 (一定)
===================================