■レムニスケートの幾何学(その106)
dx/(1−x^4)^1/2=dy/(1−y^4)^1/2
したがって,
x^2y^2+x^2+y^2−1=0
は
dx/(1−x^4)^1/2=dy/(1−y^4)^1/2
の解である.
さらに,一般解は
c^2x^2y^2+x^2+y^2=c^2+2xy(1−c^4)
となる.
[1]c=0のとき,x^2+y^2=2xy
これはx=yと同等である.
[2]c=1のとき,x^2y^2+x^2+y^2−1=0
===================================
これを解くと,
x={y(1−c^4)^1/2+c(1−y^4)^1/2}/(1+c^2y^2)
∫(0,y)dy/(1−y^4)^1/2+∫(0,c)dc/(1−c^4)^1/2=∫(0,x)dx/(1−x^4)^1/2
となって,「レムニスケート積分の加法定理」が得られる.
===================================