J( √-5 )J( √-5 ) = 2^4( 2^4-a )^3/a^2 : 公式 ⇒ J( √-5 ) = ( 50+26√5 )^3 q.e.d. Remark : a = ( 2( √5-2 ) )^2 = ( 3-√5 )^3/2 が使われている. それでは J( ( 1+√-5 )/2 ) = 2^8( 1-a )^3/a : 公式 = ?