2009SE295
1
"!$#%'&)(+*,'-.)(0/)(21436587:9;2*,=<?>A@BC4D
EGFHJI0K2L @NMNO?PRQTSU IWVX P+*,)(:DZYT[\Y?<
]_^ BC I`0a <?b ^ MNOc50de'fGg2hN32i'@+jkMMW3 5clm23+npo+BWqsr4t0u
[1]
<vbsoWw `caxRy 7vzp<v{A| Q y w:}'~G"325)O ^ w3J|:PJJYTP `+asI4 @?2s< y BG4j2
RF
p
= k=5
2 (+Gzp
Oa, b ∈ F
p
I0y w74E(p; a, b) =
(x, y) ∈ F
p
× F
p
| y
2
= x
3
+ ax + b
∪ {O}
(1)
<c7F
p
(Wqsr4t0uO ^ jMMc347O
5W6W O¢¡ £ L @c¤¥P0e'N32i¦Y§7a, b ∈ F
p
54a
3
+ 27b
3
6= 0
(2)
<8¨'B )© ()O @0j ª « qRrtGuE(5; 1, 1)
(4"¬AG®F
5
I'¯ Nw'7f (x) = x
3
+ x + 1
(x = 0, 1, 2, 3, 4
3"(4°"7y =
0, 1, 2, 3, 4
(y
2
(0°p<c~G @JO±7x
0 1 2 3 4
f (x)
1 3 1 1 4
y
0 1 2 3 4
y
2
0 1 4 4 1
OWP"@:jG² H <+³´ @)Oµ7x = 1
¶ (x
I· 'w 5:7y
2
= f (x)
O?P2@y
¸8¹º @NMNO ¸8»6¼ @0j½"¾ £ 7x = 0
(pO4|c7f (x) = 1
)Y§7y = 1
Oy = 4
3y
2
= f (x)
¸8¿ YÁÀ · jE(5; 1, 1)
5:79
¼¦Â P2@E(5; 1, 1) =
(0, 1), (0, 4), (2, 1), (2, 4), (3, 1),
(3, 4), (4, 2), (4, 3) ∪ {O}
(W632i'@0jy
ÃÄ <4 = −1, 3 = −2
OÆÅ¦|:Ç y w7E(5; 1, 1)
<xy
È8É6 I4ÊWË' @6OÌ74Í Ê (2 ^ I P@?j-
x
1 2 3
0
1
2
−1
−2
6
y
u
u
u
u
u
u
u
u
3
k=ΠϦÐ_Ñ q¦rtu (4p(8Ò6Ó¦< Í"() ^ I8Ô C@8j Í7E = E(p; a, b)
O¢Õ4Ö @0j(i)
ר (0P ∈ E
OÌ0O
Oc(0Ùp<P + O = O + P = P
(3)
I Y Ô C'@cj P8Ú"ÛW7O
<c72M+(cÒÓ IÜ+ @0
«ÞÝ ß'à ¬RO @0j(ii)
0O
¶ ( ר (0P = (x, y) ∈ E
I0y wG7P
0
= (x, −y)
3 ÔAá @Ws5E
(:_OcPN@+jP
OP
0
(0Ùp<P + P
0
= P
0
+ P = O
(4)
O Ô C@vj P0ÚNÛv7P
0
<−P
O @?jƤ I 7P = (x, 0)
(" ^ P+ ¸ i L £ « i'@JOc5  P8¬â7P + P = O
32i'@0j ã2ä « Ò"Ó=( Ô2å(iii) ) P
1
= (x
1
, y
1
) ∈ E, P
2
=
(x
2
, y
2
) ∈ E
I'· 6w27(a) x
1
6= x
2
7 á B"57(b)
x
1
= x
2
, y
1
= y
2
6= 0
¸¿ YÆÀ ·¦© (=O @4j6æ'( O8|?7λ =
y
2
− y
1
x
2
− x
1
(a)
(Wç3x
2
1
+ a
2y
1
(b)
(Wç(5)
x
3
= λ
2
− x
1
− x
2
, y
3
= λ(x
1
− x
3
) − y
1
(6)
3 Ô)á @cP
3
= (x
3
, y
3
)
5E
(We' O?P2@0j ª « qArt8uE(5; 1, 1)
(8)(+ÒNÓ2¬F
5
(2
è Oé zs5:7x
0 1 2 3 4
x
2
0 1 4 4 1
x
1 2 3 4
1/x 1 3 2 4
(N ^ I P'@cjP = (0, 1) ∈ E(5; 1, 1)
I8· Gw872P =
P + P
<c~G @0jx
1
= 0, y
1
= 1
O y w7Gêë(5)
((b)
(WçkOÌêë(6)
<WìNN@JO±7λ =
3x
2
1
+ 1
2y
1
=
3 · 0
2
+ 1
2 · 1
=
1
2
= 3
x
3
= λ
2
− 2x
1
= 3
2
− 2 · 0 = 4
y
3
= λ(x
1
− x
3
) − y
1
= 3 · (0 − 4) − 1 = 2
OµP@?j y B ¸ ovw872P = (4, 2)
3i@cjí Â I 73P =
P + 2P
<c~G @0jx
1
= 0, y
1
= 1, x
2
= 4, y
2
= 2
O y w74êë(5)
((a)
(WçkOÌêë(6)
<WìNN@JO±7λ =
y
2
− y
1
x
2
− x
1
=
2 − 1
4 − 0
=
1
4
= 4
x
3
= λ
2
− x
1
− x
2
= 4
2
− 0 − 4 = 1 − 4 = 2
y
3
= λ(x
1
− x
3
) − y
1
= 4 · (0 − 2) − 1 = 1
¸
3P = (2, 1)
4P = P + 3P = (3, 4), 5P = P + 4P = (3, 1),
6P = P + 5P = (2, 4), 7P = P + 6P = (4, 3),
8P = P + 7P = (1, 4)
(6 ^ I ~=í L @Wj4 = −1
"Yð78P = (1, 4)
5−P
32i'@0j y B ¸ o+w79P = P + 8P = O
O?P2@0j-
x
1 2 3
0
1
2
−1
−2
6
y
u
:
A
A
AU
6
H
HH
j
X
X
X
X
X
X
y
u
u
u
u
u
u
u
4
k=òñ=óZôöõ6÷ÎøRùÎúZûRùZükýE(F
p
) = E(p; a, b)
<F
p
(Wqsr8t0u O y 7âþÿ I { |:Pzn
37"5WCGwnP = O
O?P2@P ∈ E(F
p
)
< 4jJM:(P
< WOv¡4j25 » ( <07"!$#5 » ( %ò<07æ L&8L 7Σ
n
= {0, 1, ... , n − 1}
¼RÂ '47$()N5A =
P
<W7"! #G5B =
%P
<c~G y w7S} I+*,N @0j ¸ 7-B
<W7"! # ¸ 7.%A
<c~G @JO±7B =
%A =
/%P
(7)
O?P6o+w70J(+1K =
/%P
¸32_Â L @0j#
"
!
A =
P
<c~G-A
B
E(F
p
), P
« ê54¬ 687 H "##
"
!
! #B =
%P
<c~G M ^ y w06(:90; ¸ g< I P L £ 7 0=' @?>@"A B @ `0a <?C¾N@NMNOc5DE232i'@0j *,H ! # ¸ 7 È FX ∈ E
< `:a'x y w GH I* YvB=O @:j! # 5:7 2(0ê54IP , A
O8 » ( %<?bAo+w7B =
%P, Y = X +
%A
(8)
<c~G y 7 I+*,N @0jJKc[=o4B25X = Y + (−
B)
(9)
33L axN @0j#
"
!
A =
P
<c~GB, Y
E(F
p
), P, A
« ê54¬ 687 H "#'
&
$
%
! #B =
%P
Y = X +
%A
<c~G5
MONQPSR q)rt+u(31; 2, 17)
(0p<?C¾N@0j8+®F
31
I¯ 4w87f (x) = x
3
+ 2x + 17
(O+|µ7µqJr8tcuE(31; 2, 17)
(0e2z)5]E(31; 2, 17) = 41
I PN@+jP = (10, 13)
3 i¦Y§7P, 2P, ..., 40P
á 3?TpÛU y w$VWX I4 @JO
Í (" ^ I P2@0j