.
, 4, 81, 144, , 5, 30, 48. ,
-
{, 1, 4, 9, 16, 25,...}. ">2"
-. : 5 , 1 -
. . , X > Y
X Y, : X 5, Y - 3,
, (5, 10) (3, 5) .
: X > Y .
, ^
: (- ), , (-), , ( - -), ( - ), , , , , . , , - ( ), , , . - - .
- (/7-) / - ;
, ,
R,
, . () - ,
. -
, . = 2.
() -
; - R(a,b) aRb -
b R.
. 1) , ,
2) .
3) " ", " ", " ".
4) () ""
(,,) : -
5) - " ".
6) -" ".
7) - "
", . XIY - Z / .
8) - "
7"
|
|
9) {(1, 3), (4, 2), (4, 5), (3, 1), (2, 5), (3, 2)} 6 ( 12); : , 5 1, 2, 3, 4, 5 (X, Y) , X Y.
- . ,
/
, (,) ,
- , - , , , . , " X > Y " " X = Y "
" X < Y".
- .
() - . () . , N - N, -
().
,
, - , " 2" " " . , q 2 , ( - 0) ( 1) q: ,
- , - .
, -
, , X 1, XRY, 0 . . {, , ]. 4 :
V j
- . .13, - (), (,) R - ( , b).
ARB " R
.
' , , , ; , , R ,
,
R. . ,
. ,
R , , , bRa.
, R, ..
, .
. "" ""; - : - , -, - ..
:
X > Y X < Y, -
|
|
, , .
(, )
- , a'.aRa
(,
- ,
- , - .. b - ! -
R, b - . : : aRb bRa, - b.
. 1) .
2) "", "" - .
3) .
, -. ,
| R(X,Y,Z) (F,Z),
R(a,b,c) R(a,c,b). ,
(X - Y - Z) (F,Z). , X - Y = Z,
X = Y + Z , Z . - ,
. 1) "" "" . 2} .
3) .
4) "", ""
5) "", ""
.
1) .
2) , : " - ".
3)
: " X Y ": ,
, , -
4) "", "" - (40 ) (135 ); (80 ), .
. b - , , b ( , ,
). , , , :
. , , , b - , b , -
, , , , , .
1
,-4-
(, ) 1 (, 0), (, ) . (, ) , .. (, ),
(, ) .
R , ( . a,b
), ,
. , " " " ". " " - "
|
|
^ ". , , .)
4. "
- , , .
. 1) , .
2) .
3) : " ".
4) (X, ) (Z, ): (X, Y)P(Z,), XIY = ZIT.
5) -" 7".
R.
, .
R, ,
. ; ,
, ,
, -
( R), ,
R -
,
1) ;
2) .
. , , , .
, , (, , , ) , .
2-5.
(2) - ; - .
(3) - : - -.
(4) - (X, Y), X/Y.
(5) - 7 /
7. Nt
, / =4 -(...-10, -3, 4, 11, 18, 25,..). . : , -
, L . , . , L,M,K L ,
, ;
, / k. , ( - ).