» º º
December 26, 2004
1
1
1.1
. . . . 1
1.2
. . . . 1
1.3 N = 3
. . . . 2
1
1.1
N
N
N = 5, 6, 7
N
)
(1)
20 3 , 3 2
41 6
5
N = 5
(2)
3, 4
5
6
N = 6
(3)
24 5 , 35 12
337 60
7
N = 7
20 3
3 2 41 6
5
4
3 5
6
24 5
35 12 337 60
7
N = 157
= 6803298487826435051217540 411340519227716149383203
= 411340519227716149383203 21666555693714761309610
= 224403517704336969924557513090674863160948472041 8912332268928859588025535178967163570016480830
D. Zagier
6803298487826435051217540 411340519227716149383203
411340519227716149383203 21666555693714761309610 224403517704336969924557513090674863160948472041
8912332268928859588025535178967163570016480830
157
1.2
1225
DZ41
12
2
− 5 = 31
12
2
41 ,
12
2
+ 5 = 49
12
2 .
N
x, y, z
x 2 − N = y 2 , x 2 + N = z 2 .
1.1
N
(1) N
(2)
N
(1) ⇒ (2)
p, q, r
p 2 + q 2 = r 2 , pq = 2N
p+q
2
2
− N = r
2
2
p−q ,
2
2
+ N = r
2
2 .
N
(1) ⇐ (2)
N
x, y, z
x 2 − N = y 2 , x 2 + N = z 2 .
N
√ x 2 + N + √ x 2 − N
√ x 2 + N − √ x 2 − N 2x
N
1.3 N = 3
1.2 N = 3
N = 3
x q , y
q , z q
3
x, y, z, q
x, y, z
z 2 = x 2 + y 2
m, n
⎧ ⎪
⎪ ⎪
⎪ ⎨
⎪ ⎪
⎪ ⎪
⎩
x = m 2 − n 2 , y = 2mn, z = m 2 + n 2 ,
mn(m 2 − n 2 ) = 3q 2
3
,
m, n, m 2 −n 2
m, n
mn(m 2 −n 2 ) = 3q 2
(1)
3 | m
mn(m 2 − n 2 ) = 3q 2
m 2 − n 2
m 2 − n 2 = q 2 1
n 2 + q 1 2 = m 2
3 | n
3 | q 1
3 | (m, n)
3 | m, n 2 + q 2 1 = m 2
m, n
(2)
3 | n
mn(m 2 −n 2 ) = 3q 2
m = a 2 , n = 3b 2 , m 2 −n 2 = c 2
a, b, c
a 4 − 9b 4 = c 2
??
(3)
3 | m 2 − n 2
m, n
3
mn(m 2 − n 2 ) = 3q 2
m = a 2 , n = b 2 ,
a, b
3 ab,
(a 2 + b 2 )(a 2 − b 2 ) = a 4 − b 4 = 3q 2 2 , q 2
. (1.1)
a, b
3
(a 2 − b 2 , a 2 + b 2 ) = 1,
3 | a 2 − b 2 . (1.2)
(1.1)
(1.2)
a 2 + b 2 = q 3 2 ⇒ a, b
3
.
a, b
3
N = 3
1.1
(1)
N = 1
x 4 − y 4 = z 2
(2)
N = 1
1.2
N = 2
1.3
N = 14
1.4
N = 15
1.5
N = 41
1.6 (5/2, 1/2, 7/2)
N = 6
d 1 , d 2
3a
5a
a
Æ Æ
N = 7
!"#N = 1, 2, 3, 4
$%
N = 13, 14, 15
&" '
(
P
8
3
P
2P
-
-
) DZN
N ≡ 5, 6, 7 (mod 8)
N
E N : y 2 = x 3 − N 2 x
N
*E N
(x, y)
+
n
N = 6(1 2 + 2 2 + 3 2 + · · · + n 2 )
,N = 8n 3 − 2n
-
$
a, b, c
&
u, x, y
⎧ ⎪
⎨
⎪ ⎩
a = u 2 +x x 2 , b = u 2 +y y 2 ,
c = u 2 −x x 2 + u 2 −y y 2 .
.