.

:
:
:
:

-
.II

:
:
a , :
a|b .1
:
.
a|c .2
:
:
:
b , , a , .

.III

:
|):|N(z
:

Noy Soffer 2012

 .1 ,u .|N(u)|=p - u :
:
:
.p
.2 z ,.
.3 z .:
:

.IV

]Z[
:
.|N(z)|=1:
.
z .:

:
|N(z)|=1
.V

" =

:
A
p A - . p.
:
:
a,b,u . , p ,
a b.

Noy Soffer 2012

p1 , , , ( p1" , , )
p1 , , p1,p1.
, .p1- :

pn , , r=n , , .
.VI

:
.1:
:
:

:
r:=b-aq
:
)i
)ii
)iii

b=aq+r
r>=0
r<a

.2:
:
:
,q1=q2.
:
.

Noy Soffer 2012

.VII

Z-

:
p a p .b
p- :a
gcd (p,a)=1
:
:

.VIII

:
:
N . :

pi- ,X ,
.

.IX

:
(
()
)
:
p M_p- . :
)

.X

))

()

))

)
)

:
)

) (

:
n ,:
n ,:
) ( )

) ( )

) (

:
) (
:

Noy Soffer 2012

) (
,s :
:
:
)
.XI

Zn*-
(

)
:
a:
:
:
:

!
:gcd(a,n)=1
:
(

)
:
:

)
.XII

) ( ) (

:
.1 ) ( :p|n
:
)

:
) -

, , np- , ,
:
*
,
+
(
)
) (
, ) p(n

Noy Soffer 2012

 .2 )
:

( p :n

(
)
(
)
, :pn-
,
(
)+
* +
,
(
)
(
)+
(
)
( )+
() (
)
.XIII

)
(

)
* +
* ) (

(
(

,
-

*
,

) (

) (
:
- ,

) (

,
:
()

)
.XIV

) (

* +

)-

,
-

,
,

* +

.1:
,j:

:
,

)
:

.
:
)

:
)

,
Noy Soffer 2012

.
.2:
y .
:
(
)
)
:
)
.XV

) (

:
) (
,
,
)
:

" ,:
(
) (

* +

:
) (

:
) (

) (

:
) (
) (

.XVI

,gcd(a,p)=1 -:
)
.XVII

) (

)
)

+
) (

,gcd(a,r)=1- :
(

) (

:
) (

) (

) (

(
Noy Soffer 2012

 :
)

) (

:
) (

gcd(r,s)=1:
) (

:
)
.XVIII

) (

n ) (
) (

) (

:
) (
) ( d- :
)

) (

:
)
,d .r=0
.XIX

) () (

) (

) (
) (

:
:
) (
:
)

, :d
:
)

:
b- :
,gcd(d,m)=1- :
)

) (
) (

Noy Soffer 2012

.XX

( ,:
)
}
d- )

) (
{
( , d :
(
)

) (

:
) (

) (

:
) (

) (

) (

) (

:

) (
:
a )
:
(
)

(
) (

(
)-
,d d.
a , , , a .
:
) (
) (
) (
{|
{| |}
|}
) ) (
(
:
) ) (
(
:
) (
) (
) (

) (

, :
) (

:
)

:
) (

) (

Noy Soffer 2012

.XXI

) (
(

(
.1 )
.2 , )
:

(
)
( )

..
:

:
)

:
:
)

:
)
.XXII

) (
(
)
) (
)

) (

* +

) (

.1 :j
:j=2
)i
j :j+1
)ii
:
)

) (

p .c
:p
)

. /
)

) (

.2 ) (

:
)
-

(
(

) (

) (

:
|

|
Noy Soffer 2012

:
,

g ,:
)

:
(

)
:
-

,
,:

(
(

)
:
)

!!!

,k=j-1 ,:
)
.XXIII

)
) (
(
)
( }

) (

:
)

-
:

+
( }
gcd(a, a .p-

) (
) -

,:
(

)
a- :

) (

) (
:
) (

:
)
.XXIV

) (

2
)

:
:j
.1 :j=3
, b=2k+1 :
(
)
.2 j :j+1
:

Noy Soffer 2012

:
)
.XXV

:
:

2,4,

:
)

) (

:
) (

) (
.XXVI

) (

)
:

:

) (
)) (
(

g .

)) (
)) (
(

(
:

(
) (

:
)

.XXVII

.XXVIII

) (

(
)

)) (
(
)

)) (
( m , ) ,(n:

)) (
(
:
) (
) (
(
)
(
)
, :
) (
(
)

,
(
)
(
)-

) (

* +

) (
)) (
(

* +

Noy Soffer 2012

) (

:
)

:
) (

n :
n:

, :
(
)
:
))

( -

, :
)

) (

:
)

:
)
.XXIX

)(n
:

) (

) (

.
:
{

:
)
:
)

( )-

(
)

,
,

( :
)

:
) (

) (
.XXX

)
})

* (
]

* +
[

Noy Soffer 2012

:
j

aj , :
(
)
:j-
, -
, :
*+

| |

, :
:
( ) (
)
:
(
()
)
,

) (

:
(
)
, j=i-
:
*

( )

, .
.XXXI

2 p
(
)
(
)

, :
|})

* ( * +

{|

:

:

, j , j.
, :


, j , j.
:
Noy Soffer 2012

|}]

{|

.1 :p=4k+1
* (

.2 :p=4k+3
* (
.XXXII

)-

* + ,

:
:
q=2p+1
:
)

(
)

* (
()

:
:

.XXXIII

()

* +

* (* (

:
})

* (

})

* (

, :
()

* (* (

:
(

()

, :
,xq

xq p:
Noy Soffer 2012

 xq , y :
:

.i

) :

, 1 ,y ,

.
y , .x
y>0 x :
,y<-1:

.ii

.
,y=0:
.
, :

, :-
|}

({

|}

({

" :

-:
*+

(*

Noy Soffer 2012

/+

(*

:
|}

*]

[(

({|

(
, )
, " ,:
)

, ,:
)
.XXXIV

"
(
()
)
()

()

.:

:
)

()

:
()

gcd-:
)

) (

:
(
( )
()
)
m- ,1 , , .1
.XXXV

"
(
()
)

:
)
(
)
:
(
( )
)
:
:

()

Noy Soffer 2012

:
())
(
))
, :4a-

) )

(*

)
)

, .
** : ,a=0 " , .
.XXXVI

n " " )-
)
)

(
[ -

:
:
:
:
(

)
,f(1,0)=n -.
n " ):f(x,y
:
(

:
) (

:
.

/
:
)
- n:

) )

(
)

) )

((
)

((

:
) ()

()

Noy Soffer 2012

)
:
, -

) (

()

()

, :
) (
:
) (

,:
)

-
:

( , -

)
:
.XXXVII

(
)

,
)

))

)
:
:

(
( (

(
( -

:
)

(/

).

, , .

,
,.

,:
,
)

(
)

,k
:

).

(/

. k:

,1 , , .k

Noy Soffer 2012

 .
)1 :
)2 , .
, ,

, , .
.XXXVIII

) ,
(
( )
)

.:
,f -
f- :
:b=-a
)

(
)

, -

, f b , , ,b>-a ,
.
:
:a=c
)
,

:

, -

, .
, , .

.:
f,g ,:

) f(x,y
)

) (
(
)
( ):
(

, f:
)

g- , :
(
)
f- g- , , .
:
) (*
+
) ( *
+
) ( *
+
) ( *
+
Noy Soffer 2012

f,g - , :

:
.

:
).

*/

((

:
)

*/

).

((

)/

).

((

:
.

,U=-I- ,sgn(g)=sgn(-f)=-sgn(f) , , U=I ,:

f=g
.XXXIX

:
:
,

:
)

(
)

.XL

) )

(
(

((
(

.1 , a,b :
:
{
:
. /

/. /

.2 :u,v

)i
,:
,

, , .

Noy Soffer 2012

)ii

)iii

!!

.
:
, :

!
:
)

.XLI

'
*
+
* +

*
, -

) (

:
,

:
][

,-

:
,

:
-

(
)
, , , :

) (

, :

:
)/

)/ .

) (

- :
:

Noy Soffer 2012

:
) . /

()

). /

:
(

(
(

)
)

:
(

)
:
).

)/

((

)/

(
)

((

:
)

((

:
(

)
:
:

:
)
* ( )+.
, +
*+
, +

* , ,
*+
* .

:
)

, +

(
)
* .

(
(

:
(

)
]

( [*

(
(

*+

( *

, :
Noy Soffer 2012

( |

( ||

, , , .
.XLII

( 2 )
) ( , -

) (
:
,
) (
.

f p- :
) (
) ( ) (
) (
:

) (
) ( ) (
) (
:
) (
:

-.
,a=0 , ,b=0 ,.r=0 ,
.XLIII

+
,-

:

:

) (

:
-

n
:n=0

:
)

n:

Noy Soffer 2012

,n:

:
-

:
, :
.XLIV

) ( ( )
)) (

(
)

-
(

] [

* (
,

,.
,

. :

:
)
:

: -

Noy Soffer 2012

 , , , :
) (
) ( ) (
) (
.XLV

) (
:
:

:

) (

:
) (

:
* +
) (
:
+
,:

n ,

* +

.n
:
) (

:gcd(p,q)=1-

:
!!
.XLVI

'
) (

. :
+

) (

) (

:
)

) (

:
) (
) (
, :
) (
) (
,

) ,

Noy Soffer 2012

]
:

]
:
(

) (
) (

) (
) (

:
) (

:
(

) (
) (

) (

:
)

) (
)
) (

)) (

( (

:
:
)

) (
)
) (

)) (

( (

:
)

) (

0 1

.0 1/

.0 1/

. /
)

)(, -

. /

) (

:
*

. /

) (

:
. /

. /,

) (
(

. /

. /

. /

) (

. /

. /

) (

:
Noy Soffer 2012

, :

) (

) (

:
)

) (
(
)
) (

:
*

) (
) (

:
) (
(
)
) (
:
*

*
)

:
*
)

:
)

, -

(
, -

0
.0

1/

0 1

. 0 1/

. 0 1/
*

) (

:
*

) (

Noy Soffer 2012