Introduction. 1. Elliptic Curves Defined by Simplest Cubic Fields. 2. Linear Forms in Elliptic Logarithms. 3. Computation of Integral Points. 4. Tables of Results. 5.
Integral Points on Elliptic Curves Defined by Simplest Cubic Fields Sylvain Duquesne
CONTENTS Introduction 1. Elliptic Curves Defined by Simplest Cubic Fields 2. 3. 4. 5.
Linear Forms in Elliptic Logarithms Computation of Integral Points Tables of Results General Results about Integral Points on the Elliptic Curves y2 = x3 + mx2 (m+3)x + 1 References
Let f(X) be a cubic polynomial defining a simplest cubic field in the sense of Shanks. We study integral points on elliptic curves of the form Y2 = f(X). We compute the complete list of integral points on these curves for the values of the parameter below 1000. We prove that this list is exhaustive by using the methods of Tzanakis and de Weger, together with bounds on linear forms in elliptic logarithms due to S. David. Finally, we analyze this list and we prove in the general case the phenomena that we have observed. In particular, we find all integral points on the curve when the rank is equal to 1.
INTRODUCTION
!#"$"!% &('*) $+-,/.01,32
456!%789;:?@BADCE">!FGF=HIJI>KGL>=I @M"> H@N>ODH P-Q8RTS ) RVU ,/ R +;W Q J,X. SYR ,[Z%\ ] !" #"^4=I!!LH=!K ">=4HKGLF>XXO FH=!F;GF=HI9 4GFh ] u Ge!IDHHL">a#He ;">= >=a7a =H ] ZN9?"!=K%=K> ] "!% ">!HIM ah>OD=#!H%M% >">D e w N\=Zn~ ' ]
!#
"!%ccc=!#%7L">hI>=HH* =H> J!I ] XGL!IBHH4#HO!H FH=9 c A K Peters, Ltd. 1058-6458/2001 $0.50 per page Experimental Mathematics 10:1, page 91
92
Experimental Mathematics, Vol. 10 (2001), No. 1
b"> I!K#O!a7c"! >#aC I>KGL!=I6@ Q _eZ S Z & + Q =HH"!% & ) + ,.0J,X2ET!OD=I 56!%78 S 9Y7- K!I!FK & + !IM7 . Q ONIB} S !
p} & + 9;yN!K">XI!K#O!u
H ] =@N
>">X>X Q S "!p ] K!>=K=I$KOD
>=9?:D@T Q S ">K!>=K=IKO >= 7F"!I>=Y@!I@ Q SpQ c S ">K O
FK L%
7 Q S 9 XGL#%">=O 7-9>x"!>9 pHa J"!VI>=HHB#> E7">O FH= >F u w|u">=Z=22._~9 ] I>KGL>
"!4>!HL">="u#I>;XG! >%F9 7 ) Q [\ S Q ` S !I $) m & ] " Q m\ S ) Z% ] I>KGL! Q S ) Q Q SS ) H;O0 m \ !H b"F;">="
Me=" Q S ) + HO } Q # S H ª 4 #FHX !!IB">?I! e#=!K ] =$">= ">=" ' wzyNH#OD[Z=22%0~9 /21N.l 3lDl @gfnm=o : 6>fnMm 5 6Fm8f Lemma 2.1 45 6Lv + fnq!.o 1$m 1N5m W (´ Q S W Q S ´ + H + ;=6 :%J q 3?=o 50fl ;lDo 5 6x.o 1J::0fl H Q + , .0J,X2 S H; , g >
EN2 H + ) Z H }|4, } # ] < OD FH GF=I#7y 9:<6I z=#!H wZ=22 }_~ ] "!h"HH ] !4pH ] !!I! 78H>=% 78#OD
$=HH !H%#"FOD9 4 eX=HH !>#X=6@"! =5F% + ) } R U; W +R W U FI3 #6IF FQ I + #!#"3"F% ] "d%%# S+ N9 ?\ H?H?H=\ I>=! o !ITO Q =& $
D9cI>KGL!X"> ">=" ) OD0 Q Z%\ + Q Z%\ + \ U S \ Q SS \ 7c"!?=HH !># ] "> + I>=>=?ONI! GF=IB">=« " C Q
S ) OD0 # Q
S \ \ Q
S + ! !IK! + ) O0 ! \ C Q« S ?\ H?H?H\ C Q S ! « ) OD '& C Q
S \ U #"
" %$ Q
S ( « !I « # + . § ) #NH Z*)
,+
«
¥
0
!/
Q ,Z S
§¥
Q H U S + «
1
32
C Q
S H
w :6I3Z=22 }_~9 l=m4 Q S )65
2 Theorem 2.2 -g8m1 9 % 5 6Lvfl=m87 ) ODI 0
9(;V>94 Q S;) : 7#6%=I^OD FH= >FGF=HI9 !OD"!% ]
"!
KO F>=IaF" =\ + ?\ H?H?H=\ 78
">X#I!=HH*=H! 9yN!K ">!O 7@>@>6, m 78O m
%9 Y^M=@d KOD F>ThH e^ Q ` S 9 ±a=!K ] T> ] #!O$"F%">V e=H!
D Q S 9uyN ¯U ) # Q S \ % !#"$"!% m ) #*B , A6>789 A ) ?Z\ )
\ ¯
R
) m
78D C ) : Z\ ) K\ ¯ R "!¥ % ) ¯ E , >@>@>0F , ¯ G , A¯ H b">< e =\ ¯ ?\ H?H?H=\ ¯ =>B Q ¥ S N">=
!O H =H> Q S F">=!KA ) N9 )4 ] I H ) OD0
; 9 J> L> aDGLFI$ > ! !!I78 H9^GF#!=IVH>K { H ] " "> K6#I!F% 7 9 ;V> ) Q [\ S g U f 5 6Vg 6Fm al L 3[5%k>Jj :Vg 6Fmn Proposition 3.1. Z ´ML? N § \
.
PO §
1N.l 3Q l L? ) K6 + Q f=l#l lKii*5 #69 Z S 5 6LvRL + g fJm1>l I fhi*5%k8klKfnm lKg®Ll?68K"5%k qFl :> m1NlU 3lMLq6k®5mM: 3?i*5m 3hg®@ w Q ¯
, ¯IS S W Q ¯
S W Q ¯IS S ~T"
VU SW" H ?> ] >=I^DH!{"> K6#I!!% 7 ] "$ =HH !
H%#"!O 9
> O F"FaM> 7">X78#O + ) } R U;W + R W U ) Q8RTS H
94
Experimental Mathematics, Vol. 10 (2001), No. 1
O + U I>=!">M67 Q8RS 9y6 L= ) #OD0
9 ;V> ^) Q [\ S Q S 5 6Lv , &6Z# Proposition 3.2. + L=;m 1>.l 6 Q S + ´ L
.
) 4, + &6Z# ">?=HH ! H%#"!O ! Y@BFI!KC¯
H=4 Q S 7aHH C ] "! Q S W Q ¯ S W >@>@> W Q ¯ S ) b ] " ´ H , Z%9/"!= ) Q S p">=!K j Q ¯ S < , >@>@>E , Q ¯ S ,db =%7#O =HH !MH%#"!O9M:6I z?=FHHH ] !O XH ] !FI78 Q S 9 pO F%#!a"! !FI B " > " ! !
u
! F I F >=I^6 @ !4.69 Z ] !IM.69 #6 ] aI!=I!!Ka@DH%> ! c !FI H 7 H9 J> ] { =I!!K^"! !FIQ 9 +!D"! ' K F > I X > " 8 7 H H > ^ F
F H = O > !
] % ] ] = =H
6!O # K?\ H?H?H_\ ; ] x ^=H K!I LS<!I L !I^H>=%a7#O
-g m1 L
4
+
Q S )
2
] ">#X">
%# !FI>=IB@ H , Z%9 ] !HI$H{?DI>=I!FKX7O ">>=56!H @ 4 Q S ´ML N O § T !!I7 H9//"> ] #I! ] ] !HI3H{$ "> ] "!%4">H>=%4e=KOD 6DODHH 74K6 =<% !FI>=I9 b"F !#FH=O ] !I!=I 6 @ p%{D!I :<=J
wZ=2 2_~4"> ) #69Jb4">DK>#H ] =@NX^=>#H t">= O">NI9?D">"> > OD!=I$$=K=4@=%#9 b"!ML^I>= Q I!!^xI>^ S % ! !B OD%B">^H>=%78#O 6@3% ! !#=>OD%3H%K !IGL!I =I!!K=IDFc78"FH%K9;b4">
GF# =K 7u"F > ] F# = % ! !#=>OD% ">OHH=c=Kp">4H%K9py6c=HH;! ] ">= "> H>=%a7hO OHH 9 uFI>KH!OD! 7 ">OD%h Z 999 #"F U Q % S H 7 ) Z !
>@>@>
#">6">K! % ! !NO%=H@$=56!H Q H S 9Bb"F ">DI!#OD! 797 ] HHeD7u"! #I!^7 Q H S FI ] "> T"!%B">TGF#F# =H=OD= =I!FK=IxH%K ] HHc 7
#I! H 9
%$ &$(' + ' + %L /. ) 5 2 2 ;:
lm ) Q K \?H?H?_H \ S rhl45\3l#v%q!ohlvJrA5 c Proposition 3.3. I fng f~>.: 3 mN 1 lk 5msm gsohl m1Nl* 50fhf.:=o=g 5m lv 35%i4c Z o.1i gsvm ) O
B' ZT´ rD05 fhgf ´ ! )
R
+ )
R
9 ;V> + 5 e 6 v + , 5 6Lv ) Q \?H?H?H \ + S ) Vm1Nl.6
H 4 ´ 3
H Q
LS S
*) C -, 5 32 L) 0 . 1,
W H
& L +) W ,
W
. 65 L +
H
7c"> !!I$78 H K>7c"> 7#O 7 =H 9?7">OD">NIJ7 H Q 9 97">K!IFe ^QL ) 4>
%GF=I S ] X!K=X"!KF !I^ =%"> Hh"!O$9 ±a=!K"!cO"!6IHH ] ! =IF!Kp">
!!I 7 H% H 9Mb4">> ] !!I=>#HH@xOHH =>!" =6!O#%aHH>">
FH=7;#H
9 ±4 ] =u7"! !!I=OD?H% ] =%"!H#"!O9
Remark. H
4. TABLES OF RESULTS
b %FH=XZh6. "> ] #=!Hu!>=IM6@"!pO">NI9 +>XHH ´ ZB!h"$"!%hI>=HH*=Hc! ] XKO L>=I !#> vJwJxOy zN{ |w u=OD!xZ=22 _~9V OD=cIF >F">=I3 ">B%FH=6@/!!I>hH>=I%H>^7 ">; F%#OD vNwOxOy zJ{K!HFI>;% >"! #!{ ] ^"!= KOD F>=I ">B#>{ !>V">8 p##" !IVy ] !>#J :9 b4">a%LH=%X F%#%=IB6@#!{L9-b %FH= # !I^. H-"! K6#I!!%
7L=#"D#H> - Q S 9 NO!%E#"> ] "!%">J%#VH ] =@NB#H d
x Q S ] "xB K6#I!!% ] ">= 6I!I^FI$> ] ">=B=9 [">=">#>{Z%">D ew N\=Zn~
=OD$ F 78"!J#I>=HH*=Hu> !Ix">#DI>6= >
K>@"!#H e
"!xw N\=Zn~FIM I>!FH ] ">=-NI!I9cy6 b %FH Z
=cFH@?">H 7 ">
%H>=-7e">
F%#ODc ] ">=">4#>{?4Z%9 Ju=>#HH@Fw N\=Zn~>=ODaH ] =@N 4=>#%=9 Q b"FH?=OD%{T %HIxFH@T7p">D F%#O? I>KGe>=4O FH=>FGF=HIL ] "!= !OD=I
Duquesne: Integral Points on Elliptic Curves Defined by Simplest Cubic Fields
95
! "#$#$#%&%'% !(!"% %! % ( % ! ! % ! %!% % )!%%%% %$%$$$* "+!%!% !",(%% "+% % %%! !% ' ! % ( % %!% ( !!'%* !&+(++( + & (((++ (++& & + + " ( + & & & +( &%## #$# ( !! !(! +%" " (! ! !!! "' ! ! ( % % %!%
) % %# %!( % !%!%%, !(!! !%! % ! ( " !%!%% ! & %"% & &((& ( & &((& ( + & & & & ( &(
)(( ""% &( &( (&( (+ + ( ( + & & ) +"* & , - &%! " #$#$* '!% %!(!% % % + %!%! % % ! - ! ' ! ! % % !! % G3J)K G G C\[^]I_ 6G I / 6 0L4-6C'@25 4-`a2A/10L6b=ID !_6! ">=J!Id">=!#H=#!H78D">V>= C I>KGe>=I @ O FH= >LDGL=HI!9 F%!H% ]
!#X"!%w N\=Zn~
H ] =@N=>h% Q b">=O }69*| =H ] S !I?"!% ">u%u!4">-#H aC "!%?% DO!H FH=7Xw N\=Zn~ % L%X7#O # w N\=Zn~ ] "!=^
NI!I Q b">#=O }69 S 9
5. GENERAL RESULTS ABOUT INTEGRAL W POINTS ON THE ELLIPTIC CURVES y2 = x3 + mx2 (m+3)x + 1 y6hHL L% eh;"! K!I>#=I"!a !#FH=O 7 HB >D F%#Oh t =I: F"!>=56!%!=9;$ F%#S !H%78b"6>B=5F%!w "" Z=22NZ < ) {NH#" !I yNO%JZ=22 _ ~9 "!M F% = ] T! OD => =FHDd F%#Oh t =Id=HH !V>==9
] = !I$"F4=#=H $"!78HH ] >>9 ±a=!K4c"!!HI ep LHuXKN=!I!cO">NI ">; F%#OD# t=I>="!=N>GF6=I>#
9
5A. Arithmetic Study of Integral Points + # ] B"> ] "!% ] ">=x">D F%hO = ">#M >J#H; ">B>J KOD FK L%
7"> >#4Ca9
;V> Lemma 5.1. jJ%: gF6 mnm1>l.6 [
gfMl.K%l?65 6LvTg >w \[~Xg f\5 63gV6Fm laL 3[5%k Q ONI S 9 y6 ) #de>?"!% ] "!=F + )R U ,#d + W Proof. Q #d,T. S , Z Hb">=7 =M">=\ + ;NI!I9-b"> !H@/6I!I3#5!%#$ONI!!H $Z%
Q #dB, . S Q ONI S 9;yN!K #dp,.;FHONI!!H 6 ] aO [ Q ONb I S 9Y7 p6IFI6#ODH%
%!OD= H=I!DDK#IFK9 n ;V>g ' f :=vv 5 6Lv?w [\ ~g( f 5 6Mg 6Fm Ml L35%kJj :%g 6Fmn Lemma 5.2. m 1N.l 6B} v :lnU f 6_:mpv%Vg K_g vl W Z 9 yNODH%D">X !N!
!#79 n Proof. ) + W 5 6ev l=m r#l 5 6^g 6Fm al L.l 369 Z l=m R Theorem 5.3. I ) U W . , Z%s 9 /21N?l 3lBAl @g fKm8f fhq!?o 1Tm 1N5~ m , g\ f 5.f C=8q 5 3lBg >05 6e v : 6!Lk Jg >.l K.l 3:=vvDj 3hg8iDl^v%g Kgsv%Vg 6NL W Z g fXDo : 6BL3hqF?l 6Fm-Mm :Z* i :=v%qN®k :XT } 5 6Lvg >aVg 6T5vv%g m g : 6 }Tv :_lnf 6_:muv%g Kgsvl W Z 9 )4"!% ^K !#OJ !I W Z% Proof. ">=!K4 !9-b"6! ">K>; !h""!%~ [, D56!% 7c!I$!H@$7 a5F%?OD6I!FH0 "! % 7p!I!H@7u7 HH- !#ODI!6( m 7 ! 5F% OD6IF!H m,L Q ] ">!!( H l Q S I!= >= ">( m8 I! 0H!%7"> >O t S 9 a#> ±a=!=H zpH= OODNJ7 m ) : #6 ] = =">]mJI!NI>= F Z ) ) Z%\ m
m
a56!% ONI!!HFm mJI!NI>= Q + W # SKQ W Z S W Z ) ) m
m
W %Z F">=!K W Z m
H
78HH ] "F% M 5F%J7 !IE!H@ 7(m Z Q OD6IB} S 9 ] "!% = \ } Q ONI S ] "!= + W Q ONIB} S ="> =">=!K Z Q OD6IB} S ? 56!%pONI!!H4}>9 J NI! I%">=!K . Q ON IB} S + W # Q OD6IB} S ] "!#" 3K#I!K9 [">=W Q ONI S NI!I !I #NHu
!#= Z Q ONI S F D5F% OD6I!FH0 # 9;b">? Z Q OD6IB} S 4 > #FH 6@$"@6 ">=9 + FHH@ 7 #. Q ONIB} S e"!= + W # Q OD6IB} S ] "!#"KhI!K 9 n lm ) w [\ ~r#Q l 5 6 Vg 6Lm Ml L 3[5%kJj :%g 6Fm Corollary 5.4. I : 6 m 1NlJoJ q 3=KlaCa9 /21N.l 6 ag > Z ; l 1N5 Kl # Q OD6IB} S : 3 . Q OD6I S = 1g8klg > ² Z ;4 l 1J5 K%l [ Q ONIB} S : 3 | Q ONI S 9 #>=aTZ ONI!!H}>9aY7 a6IFI }69 # ] p{6> ] "!%}XI>=>-I!NI> W Z 6@?=OOD' !I
Proof.
W Z ) #
1
l l £ +
2
mb
#
Q OD6I
S H
b"!X !67 #ODH% ] "!= ² Z%9 n ;V>
gf l.Kl.6 m1Nl?3l gf 6_:gV6Lm lML 3[5%k!jJ:%g6Fm Corollary 5.5. : 6^ C Q ` SQ gh9l9 -g m 1 5 Jj :%fhg m gVKl coD:: 3v%g6_5m l S 9 b">u
wZ%[\ ~>> ">p>9 Y7 Z% "># K#I!KJe ] =$"> !N!
KHe H%@^!I=ODO }69 Z%9 n b"!= KHH%#=^ !OOD%# t=IB47HH ] '
Proof.
97
/2> 1 l.3 llA @ g fKm8fi Q 6:m~6elonlnf#f?5 3^vl to68c Proposition 5.6. gV6BL9M 5 fhg8iajLk lnfnmaoqFrKgsoptulkv S fnq!o.1Jm1N5mm1NlajO:%gV6Lmaw \[~ g f*: J 6 aC Q % S g >5 6Lv9: 6!kL$g > m1Nl>?:%kk®: -g6BLVoD: 6Lvg8m gP: 6>f 5 3 l f. 5 m gftul#v '
Q
Z Q ONI a S >?: 3Xl.K%l?3-:=vv.: 3Jl.K%l?3-Q:=vv$j_3ngiDl m 2. £ v%gK gsv%gV6NL W Z xg f =: vv 3. g > ² Zb5 6Lv [ Q ONI S m1>l.6 4. Q ONI # S H Z § £ b"! F JHH ] !aI>Ms 7 DM @N=O 1.
%^=%##"/78hHp e9 u7#^ !N>V"> !>!!K=I =#!H ] ^H{ 78OB F%#OD# t=I H>!47=56!% Q _eZ S 9
5B. Parametrized Solutions of y2 = x3 + mx2
W
(m+3)x + 1
"F=K ] 4K!I!">=56!% Q _eZ S ; >;#>7 K; U 9 u B) ,DZ%9-yN!K Q N\=Z%\ S uH ] =@Np">7 K ] TH>=%#Y@EE 7 ">V=56!% ] !h%!H F%#OD# t=%$7>a>7 ¬ K ' ^ ) ,/Z%\ W \ ) , + ,/Z ) ¬ +W # ¬ W W Z, H
/#I! xGL!I¬ F%#O¬ h t=I3¬ #H4H>!7 >=56!% ] + ,/Z ) \ ¬
!I ] $I>=>$6@ Q S ">$ F%hO# t=I H> "!!>=I9]+!4K>O FH ' B) + ,#6\ Q Z S ) ) ¬ W UW # W + W Z%\ ) # ¬ W Z ¬ ¬ b">H>M!>=IBp">¬ < ( #w N\=Zn~ ] "!=D 6I!I9cb"!p=O%{"!4H=I>@B =$ODI>9 b">$=56!%!78 Q W Z S TE#Ha e > " , # W Z%9 "!x3"! ] = ) # + ) W w % Z \ # ,Zn~ ) w N\=Zn~!I + ) w #6\ # ,Zn~ ¬ ¬ %!I> =!I>=D[4C Q ` Q SSVQ "!^ eT"> ] !> "!' ) ¬ Nb% ">=" L#>wzyN"F6I!DZ=22%¬ 0~ S 9 _' # , W ¬ + , , + !I W <% #H F 9 )a"!%X
=$6@ Q W Z S 9py6Ge!HH@M$"! ]
!%H=2#H> -">>aC49 b"> 6!OD#H I!%>=4"!
L">=>O=!9 yNOH%^K!I>#%F ] " ) W } Q %78 FH! 6@ W , # S 3#H
7 ) + } + W . ,J.?FI ] MTGL!I OM !#" "!%aC "! "!" #>{?7!1#%7@? "?7F">p ] < F6F=56!" !L^"> ] #I!7 ) # + , # W Z ) } + W . + ,xN. H + y6 .2 ) # >,ZX¬ !I .¬ + ) Z + ¬ W .6 ] ¬ X"! H . + + W Z . + ¬ ) W NZ ] "J">?K¬ !IF! . NI!I . + W . Q OD6IZ S . ! I . + !cO FH FH=-7.6. 9 a=@ %!OD=">;GF=HI?` Q Z S "> ] "F%">u=>#H H>J
.
+ , . Z ) Q W Z S ¥ Q .c, Z S + ¥ Q ZZ, # Z S H ] "e %X9Y7 ) N ] FD ) ZZ ] "!#"c"> OHH=c%H>47 78h>{.69-Y7 ) W Z% ] ! ) ZK}. ] "F#"X">#ODHH=X%H>78X#>{}697 ) Z% ] !x ) ZK}2 .FI4C X7;h>{J% H=| Q ">p
w N\=Zn~ew W Z%\=Z|%._~ w #6\=Z|%._~ w W }>D\ }0}|~ w W ZZ 0}>\ }2 } ._~ %B=/6@> F%#OD# t=% !IB">?I!I!!H=!#%#
w W >} \h| |%._~
!Ixw 2%N\=Z2 N Zn~
%78!!IT6@^@6=OD%=%h#"9 ODHH= #>{|!-78OH@!K4aC-7e#>{|<H 78 ) Z # } .6 ] "!#"OD=@ ] =HH X"> ODHH=9 > ] !# =!HK!K#F>"! w N\=Zn~9 +> "! L> ] O!Ge!Ix% ! !#=>OD%!7 ">M">="?7$ 4Ca9 +>?"F ] M>=I
F%FH%?V{6! ] ">@6OD !D ="!6 7">
#NI!a#6%=Ix^">>4C JhOD">=B , Z , Z&_ ´ W ´ ,#, .&_e Z Z Z ´ ´ W , #c,. &_ & & ,/Z ,/Z&_ !I
&
] "
)
¡
´
, c # ,.&_
C
+
´
&
« + SKQ U
&
Q W § +!HH@ ] "F=
W
S
)
,3Z,/Z&_ ¡
)
Z « W¬ +
H
¬
+ ´ ´ H C , c # , . _ & & & ,/Z,/Z&_ y6* + C 2& !Ib + & C E.NH Z=.B& 7 ³}%N9 > ] K!I>a"> 7 9 u FH"!hH4 ] 4 L% ' ) ,$ ¥ ] "
) ¡ ¢
b">>X C I>KGL!=I6@ Q _ Z S
O F"F4"> > P Q S N+ ) } 1
´ + ´ U "!=H6X7 P[Q ">IF K#O!?H ] @6 S 9b"!D #NI! oFI %X=J6@ + ) ¡ § o ¢ !I + ) W ¡ H & « P-Q S & « P-Q S #"78 ] %hIJFI>@7">78!FK§ P =4"! >=56!H= ' #0 # #0 Z W W Z W W Z W ´ ´ W 7 ³#6\ . . Z ´ ´ , \ + . . Z ,3Z ´ U ´ ,/Z, H . . % ] "$% ! !NO%$78( + =$6@
&
FI
P-Q S «
)¢¡ ¥
§
&
P-Q S «
H
+>* c">B6 + !I U %7 %78O "!M=FIJ
a7"> I!OD$7;#%9X "6!=I!!K4">4>=56!H= ´ O} H 2 & !I Z H .N& 7 ³}%N9 )a ] K!I>4"> 7 ] 9 ±aX!H@ >7V ¥ GL=H@[78%7O "!xI>OD[ 7h%9+> 9 w N\ ~ + #0 Z . ,/Z, ´ W ´ ,/Z, \ .
&
] "
!I
&
)
,/Z,.&_
¡
§
&
´W
¡
¥
´
Q W
« + SKQ W
& US
5D. Approximating the Canonical Height + h ] GL!I > ! J !FI 78V"!/!!H ">="-7L#HN aC49 u@?=ODODF6# 9 Z%
U
,
U W
+ +
, } 9&%. U + ´ } Q 9&%.c,/Z,3Z&_ S H ´ W Z,/Z&_ Z W Z&_ U + ^"F ] # Z } H \ Q . Z / , Z&_ S ¥ & ,/Z,.&_ Z } Q ,.c,.&_ S ´ H \ . Q Z W Z&_ S ¥ &%.c,/Z,/Z&_ & #09 } H Hu . Q Z,/Z &_ S , \ ¥ & ,/Z,. &_ & ,/Z,.&_ } H H Q ,.c,.&_ S . Q Z W Z &_ S ´ , ¥ &%.c,/Z,/Z &_ & #09 & #09&%.c,/Z,/Z&_
+
Q S ´
Q S
Z H }|-, ´
H Q + ,X.0J,X2 S ,
H;H + !9pyN
4#H Q S ) H;O0 %Z \
U + H , HuO0 %Z \ + +
7³}%JH
!
b DGL!I$MH ] eF!IB7=" ">>J a##"!OD=I>= K#L>9 ;« !">« H#"!O I>=Khe=IXM« wzyNeH « #OD /Z=2 u"!= Z=22.6y6=K|9 }69 #_~9 "! + ) U ,T + + W Q J,X. S ,/Z%9 y6 ,/Z Q ONI # S !I !> =9 OH%4%!OD= "> ]
"!% «>4DO FH F« HX7.69py6 « & ) X , 0 . J,X2 + «
) 7 . , + #0 + W Q J,X. S Q ">MFO#% 7
. +& , #0 & + W Q J,X. SS ) $ #
« Q ">?!« « OD#%
o7 #« & U S
) . ,} U + W Q /,Z S « + ,$Z # W & ) Q ">
FO#% 7e. & ) ,?} U & W Q J,Z S 0 « « « + & ,/Z # & + W « & S « !I «
) I Q 7?\ $ S 9
#09&%.c,/Z,/Z&_
Q S W
yN!K
) H
«
«
!_"!%a"> !H@B !hOXN>@^H6H KJ #F> #69$ m/exNI!Ix !hOI!NI!> 9 ;=F H
}
7
+ ) Q2 , . + S $ + ,V} &
Q +W
+ ,
S\
+ I!NI>=} & Q « + W + , S 9 « J/">«^"!«"!!I Q =!\m I! 6I!= S !I & m I>6=B>BI!6I! [ m
«
«
«
«
100
Experimental Mathematics, Vol. 10 (2001), No. 1
56!%78UmIF6I>= Q + W + , S 9)aKNe. ! « « $ + ) } Q , +_Q J,Z SSKQ + W + , S W } Q . , + S \ m I!NI>=M. « , + 9 J« « ">T=« !H« 7 7 !# I $( + & + F mJIF6I>= & !I$"!=!K(mJI!NI>= Q . , + W . & « S 9 u=! « Q #0J,X. S & \ #| $ + « ) } Q . , « + W . & SKQ . , + S , } Q « #0J,X. S « & = m I!« NI>= #0« J,X.69 a!I !K} & ) Q #0J,X. S + , #| ] KFH!I> "!% m ) . « F> 9 > ] KO F!?">HNH-KhF> + ) % ) #69VB"!=p + Q $ S ) ZM!I W Q #0J, # S Q ONI S F ] X! '
7= + ) H 9 Z Q ONIM} S + «) H W H( #69
7 #69 . Q ONIM} S + ) H « W H(
7 U ^HH= + dH W H( #6« 9 U VK!I>B> ] "> a#h"!O=I>=EKhF> ª 7">$ 9 « :a=!J6@ ">$=HH FJH %#"!O 7 9 y6 ) # &oK ) 4 ) KN Q # C + & S !I ¬ ª ) Q Q # ,Z S SKQ W Z S
2
¥
b"!=B">4h#"!OD=I>=$K¬ #F>J ) H Z & + & W H ª U+ Q & + S U ,V Q & + S + W Q J,X. S , H
)
«
«
+ ¨
H
+ ,/Z & «
b">?I!K#O!?Z & + 7-">>?a=%"! Z 9 J^">X"> eh6I!= ] I>=I!!K W N. H Z=0 . # 2 H }| N + ´ # C ´ W o }NH # ,/ Z H #.H4 H 7 ³}%NL ´dK6 - W HN2 uH } | ´ Z W HO} uH / 7 ³}%N9
%#! ] %FHOD!O t4=h"^ F%u7 ª 78 ³}% ' H Z & + H; , H#6\ ) U+ ) 2NH }| 2NH }| H Z & HKN \ Hu . #Hu U+ U+ Z Hu W H W H W H ZW } H O H H;O} H W H;Hu 78HH ] !VH ] !!IT78 ª ' 2 H }| N , H Q & U S a H , . #Hp , H Q J H 22c,/ Z H 2NZ &0H « S W HpH; ,TJ H # } #NH ) ) J">!J 4h#"!OD=I>=K#F> ] D8 Q S a H , . #N2 HH}p| , H Q & U S , H Q J H 22c,3 Z H 2NZ &0H4 « S ) W HpHu ,TH W H( #,TJ H # } #NH U ) ±a=!K ] !JH ] a !FI78« Q S ' Q S a H , . #N2 HH}p| , H Q S , H Q J H 22c,/ Z H 2NZ &0H4 S W HpH« ,J Hz #NH
)
)
(5–2)
5E. About the Special Point [0, 1] /2N 1 ljJ : gVF 6 m
w N\=Zn~
gfU5%k ]5d_f45 L6l.6el?35mM: 39 Theorem 5.7. Y7; ´ %} N ] "!=KOD F>=IT">J#I>=HH* Proof.
3
=H4> !I3HH
"!$#H4 Q Jb%FH= / F%=2 }TFI/2 S FI"!B#/74"!M"!. =O ^#%GF=I9 7 }%N ] !V"!V%
Duquesne: Integral Points on Elliptic Curves Defined by Simplest Cubic Fields
% ! F=>OD%!=9u Q ] " e# B K6#I!!% S !h"x"!%Bw N\=Zn~ ) 9^yN!K"! FO7- ] D 4 Q ` S 4HH Q ` S . H>4D Q ` S 9c?!ODaGL#p"!% 4#H !I!X">a"F!I Q w N\=Zn~ S Q w N\=Zn~ S + ) Q S ´
)
HpJH 22 W
)
HuHu ,BJ Hz #6\
U + H;6@ Q }eZ S L ´
+
U + +
´NH
J# Q ` S !I$">=FK !>4KN9 ] !OD
"!% ) w & + \ & U ~Lc!. #H 9"F=X=B"!% u6IFI!IM>pO FH FH 7c.6F ³}69?"! @ Q }J « # S «
«
Q S Q S
« M
+
H ,
)
HH
HpJH 22 W
)
HuH; ,
H}6\
%X=4"! I>=!OD!%u7"> K6#I!F%#%=9 n
Theorem 5.8. 5 3 l4jJ% : fhg m gVKl?i
+
´
/21Nlb: 6Fk3JgV6Fm laL 3[5%kjO:%gV6Lm8fb: 6aC qNkm gzjeklKf : > m1NljO:%gV6Lmpw N\=Zn~'5 3l '
w N\=Zn~g >
gf l.Kl.6 9 w N\=Zn~ 5 6Lv4#w N\=Zn~g >
1gso.1
gfU:=vve9
Y74 ´ }%Nu">^/7a">M">=O %GF=I Q y6=KB} S 9c7³}% ] Fa"!< F. N!p% ! !NO%!9 + % _ ] " e IF !H
!#9 « + FHH@L7 ³}%N ] "! Q # ,/Z S F + ´ } }NH b KOD FH
">
!67 ] "! H6{ %c"!u .w N\=Zn~!T I } w N\=Zn~9?"F= 0 U ,V}% + ,/Z #%% ,/Z } # Q . w N\=Zn~ S ) W \ ,T} U , # #0 + ,. , NZ Q . w N\=Zn~ S ² Z ] ">= ³6> hH 9 b">pOu=!! ] " ³#2!OD#%aNI!I ] ">=BO=!>J">= O FH=?"!% }w N\=Zn~4>#H 9 Y7a . Q OD6IB} S ] $ ) A} ,.6uKN F!I !I^=HODF%KODOD7 K#a7 #6 ] #> m Q S Q }w N\=Zn~ S ) Q S+ H b">=0 m Q S FI Q S %K !#OD78HH %H>=