(1)

: .

1 2 3 :::
. b b

L 1 L0
5 3

L1

L0
4

L1
m n

L0
. .

n m
1
. ( )

L L
b
0

n
.

L L
0

L
1
.

n n

L
b

Eudoxus1
1

\
.

"

"
b

L
, b ,

L 1 L0

,1

b b

2
( )

2
.

2= M N

p l 2
M N
.

n m m = 2k
,

p
m2
. ,

N
,

2= m n

m n

n2 = 2k2
2

2n2 = m2

n m
.

n = 2l

n
Hippasus2

n m

p
n
(

m n
.

pn

147

n = 17

.(2

a1 a0
, :

a1 a0 a0 n 1 a1

n1

a0 n1

n1

a1
.

a1 < a 0

a0 = n1 a1

a0 = n1 a1 + a2
.

0 a2 < a1
b

(1)

a1 a0 a1

a1 a2 = 0
,

n2

a2
: .

a2 6= 0

n2 a2 a1
(2)

a1 = n2 a2 + a3 a0
, (1) .

0 a3 < a2

a2
b

a1 a2
,( )

a3 = 0
b

a3 6= 0

a1 a0
.(1357) ,

a2

a2 = n3 a3 + a4
(1) (2) ,(3)

0 a4 < a3
f .

(3)

a4 = 0
.

n3 a0 a1 a1 a0
.

a3
(1-1)

nk ak
,

1 = nk ak
.

k a1 a0 k
: n1 : n2
. . .

ak
.

8 a = n a +a 0 < a2 < a 1 > 0 11 2 > > > a1 = n2 a2 + a3 0 < a3 < a 2 > > > < > > > ak 2 = nk 1 ak 1 + ak 0 < ak < ak 1 > > > > ak 1 = nk ak > :
. . . . . .
; ; ; ; ;

(4)

: n k ;1 : nk

ak a1 a0

ak
b

ak ak u>0

1
,

a1 a0
.

ak

a1 a0 a2
,

ak
, .

a1 a0
,

u a3 u

a0 a1 : : : ap ap

u
b

1 = np ap + ap+1
4

u
:

ap+1 = ap 1 ; np ap
;

a1 > a2 > a3 >

.

u u
,

aj a1 u

a1 a0
.

2
,

(2)

AC kED
:

EB D ABC
0

: : : BE kCD
,

AB AC
.

EB ED

a1
.

a0 a0 > a 1
(

ABCB

1080
.

EB D
0

a1 = a0 ; a1 a0 a1 a2 < a 1 a0 = 1 a1 + a2 a3 a2 AC a1
5

EB

= a0 ; a1

a2
: .

a0 ; a 1

0 < a2 < a 1

a3
0

a1 ; a2 ABCDE
0 0 0 0 0

AB

C D
0

A
0

a2
0

AB C D E
0 0 0 0

a3 < a2

DE

AC A C

BC

AD A D
0

a1 = 1 a2 + a3
f ,

0 < a3 < a 2

a2 a0 a1

a3

AB C D E
0 0 0 0

ABCDE
0 < a4 < a 3 0 < a5 < a 4
,

a2 = 1 a3 + a4
,

a3 = 1 a4 + a5 an+1 = an 1 ; an
;

an
:

ai

an a0
,

1=1

an + an+1
c

0 < an+1 < an

1-1

a0 a1
.

a1
.1

a0 = 1+ 5 a1 2
p

\
.

"

) .

pn

n
(.

.2

(1-1)

n1 +

n2 + n3+
(

1
. .

1
.n

(5)

1 k;1 + nk
)

(4)

a0 = a1
=

a2 n1 + a1 = n1 + a11
a2

1 n1 + n2+ a3
a2

= n1 +
.

n2 + a1 2
a3
(5) (4) b

1 + 1+
, b ,

1
.

1
.

(6)

.1

,(

10 b

n m n

m n

n m
,

c0 =c1 c2 : : : ck c1 c0 + 10 +
7

10k

ck

1 2 ::: n ; 1
.

n
f

m n
f .

: f

0=101001000100001 : : :

"

m n
, ?

c0 =c1 c2 c3 : : :
\ "
(9 0 )

ci
"

c0
b ? .