■パラメータ解? (その85)
d=(z2+3w^2)^2+(x^2+3y^2)(xz+3yw+3xw−3yz)
でなく
d=(z2+3w^2)^2+(x^2+3y^2)(xz+3yw−3xw+3yz)
としてみる.
===================================
a=−(x^2+3y^2)^2+(z^2+3w^2)(xz+3yw+3xw−3yz),
b=(x2+3y^2)^2−(z^2+3w^2)(xz+3yw−3xw+3yz),
c=(z^2+3w^2)^2−(x^2+3y^2)(xz+3yw+3xw−3yz),
d=(z2+3w^2)^2+(x^2+3y^2)(xz+3yw−3xw+3yz)
A=(x^2+3y^2)
B=(z^2+3w^2)
C=(xz+3yw+3xw−3yz)
D=(xz+3yw−3xw+3yz)
E=(xz+3yw−3xw+3yz)とおく.
a=−A^2+BC,
b=A^2−BD,
c=B^2−AC,
d=B^2+AE
a^3=−A^6+3A^4BC−3A^2B^2C^2+B^3C^3
b^3=A^6−3A^4BD+3A^2B^2D^2−B^3D^3
c^3=B^6−3B^4AC+3A^2B^2C^2−A^3C^3
d^3=B^6+3B^4AE+3A^2B^2E^2+A^3E^3
a^3+b^3=3A^4B(C−D)−3A^2B^2(C^2−D^2)+B^3(C^3−D^3)
C−D=6xw−6yz
C+D=2xz+6yw
C^2+CD+D^2=(xz+3yw+3xw−3yz)^2
+(xz+3yw+3xw−3yz)(xz+3yw−3xw+3yz)
+(xz+3yw−3xw+3yz)^2
=2(xz+3yw)^2+2(3xw−3yz)^2
+(xz+3yw)^2−(3xw−3yz)^2
=3(xz+3yw)^2+(3xw−3yz)^2
d^3−c^3=3B^4A(E+C)+3A^2B^2(E^2−C^2)+A^3(E^3+C^3)
E+C=2xz+6yw
E−C=−6xw+6yz
E^2−EC+C^2=(xz+3yw−3xw+3yz)^2−(xz+3yw−3xw+3yz)(xz+3yw+3xw−3yz)+(xz+3yw+3xw−3yz)^2
=2(xz+3yw)^2+2(3xw−3yz)^2
−(xz+3yw)^2+(3xw−3yz)^2
=(xz+3yw)^2+3(3xw−3yz)^2
===================================
F=xz+3yw
G=3xw−3yz
とおくと,
C−D=2G
C+D=2F
C^2+CD+D^2=3F^2+G^2
a^3+b^3=6A^4BG−12A^2B^2FG+2B^3G(3F^2+G^2)
=6A^4BG−12A^2B^2FG+6B^3F^2G+2B^3G^3
F=xz+3yw
G=3xw−3yz
とおくと,
E+C=2xz+6yw=2F
E−C=−6xw+6yz=−2G
E^2−EC+C^2=F^2+3G^2
d^3−c^3=3B^4A(E+C)+3A^2B^2(E^2−C^2)+A^3(E^3+C^3)
=6B^4AF−12A^2B^2FG+2A^3F^3+6A^3FG^3
===================================