x
3
+
y
3
+
z
3
+
w
3
=
0
=
加
减
换
元
后
为
:
X
3
+
3
X
Y
2
+
Z
3
+
3
Z
W
2
=
0
x^3+y ^3+z ^3 +w ^3=0\\\\ \\ =加减换元后为:\\ X ^3+3X Y ^2+Z ^3+3ZW ^2=0
x3+y3+z3+w3=0=加减换元后为:X3+3XY2+Z3+3ZW2=0
仿
射
化
后
:
1
+
3
Y
2
+
Z
3
+
3
Z
W
2
=
0
仿射化后:\\ 1+3Y ^2+Z ^3 +3Z W ^2=0
仿射化后:1+3Y2+Z3+3ZW2=0
这是一个带参数W的椭圆曲线。怎么找出他的有理参数化?
sagemath代码:
var(‘Y,Z,W,y,x’)
f=1+3Y ^2+Z ^3 +3Z* W ^2
print((27f).subs(Y=1/9y,Z=-1/3x))
g=f.subs(W=1);g
F = FractionField(PolynomialRing(QQ,‘t’))
t = F.gen()
E = EllipticCurve([0,0,0,27t^2,-27]); E
−
27
W
2
x
−
x
3
+
y
2
+
27
-27W^2x - x^3 + y^2 + 27
−27W2x−x3+y2+27
Elliptic Curve defined by
y
2
=
−
x
3
+
27
t
2
x
−
27
y^2=- x^3 +27t^2x - 27
y2=−x3+27t2x−27
over Fraction Field of Univariate Polynomial Ring in t over Rational Field
p
r
i
n
t
(
(
4
∗
s
3
+
27
∗
u
2
)
.
s
u
b
s
(
s
=
27
∗
W
2
,
u
=
−
27
)
)
print((4*s ^3+27*u^2).subs(s=27*W^2,u= - 27))
print((4∗s3+27∗u2).subs(s=27∗W2,u=−27))
s
o
l
v
e
(
(
4
∗
s
3
+
27
∗
u
2
)
.
s
u
b
s
(
s
=
27
∗
W
2
,
u
=
−
27
)
,
W
)
solve((4*s^3+27*u^2).subs(s=27*W^2,u= - 27),W)
solve((4∗s3+27∗u2).subs(s=27∗W2,u=−27),W)
simplify(19683/78732)
输出分别为:
78732
∗
W
6
+
19683
78732*W^6 + 19683
78732∗W6+19683
1/4
这六个点对应六条直线。对应的奇异点爆发会产生有趣的结果。