-- . , . . , . ∅, . , , ().
, , . . , :
-- , . , -- , . {0, π, 2π, 3π, }.
, , , . A B A∩B, , , . , , , .
, B . : . . , , ( ). , A .
. , , . , , .
-- , a , . A B. , , . , , .
. -- - . , () . , , . , , .. . , .
. . -- .
⇔ () ();
⇔ () ();
⇔ ( () ());
⇔ --
. , : . , : . , .
|
|
. , ( ), , x . , : , -1. , , . , ∃ ", ".
∀ " , , " .. , ∀ x ∈ ℝ () -- , -- .
, : , . . : , ( 0=1). , . : , , , , . : . (?), , . , , . , .. , -- , . , . , 1) , 2) (), 3) .
":=" , .. , A B.
. ( ) , . (), -- , -- , -- . ,
. , , . :
. , N. , .. () , , M N.
, , . , -- . . , , (, , , , ..) , , , --
|
|
. , -- , Pi ℕ {0,1,,9} , Pi(n) , n- π (Pi(1)=1, Pi(2)=4 ..). , n , , -- .
"" , . , , , .
, . . , . , : ,
.
, , .
, , , , -- . . -- . , , n∈ N , -- , f(m)=n. , -- . , -- . , . , n∈ N -- , N, . , "".
. . , , .. . :
1) ,
2) n , n+1.
. , , . , . , , -- , .
" " . , n
(1)
(2)
(3)
......................
(n)
((n+1))
.....................
, . (1) n. : , n .
, (n+1) . : , , .. . " " -- - . , , n n+1- , . .
|
|
(1)
.
():
,
1) -- ( );
2) - n ( ), ( )
, .
: (2) ,
2)' , k<n n- , , n.
, . , : n>1 .
. -- n=2. . . , k n. n , , n -- n . , n=k⋅m 1<k, m<n. k m . , n .
. ,
, , (1).
1. :
2. :
3. :
4. :
, , :
. , . ( ), . , .. . , :
, .
,
, , .
. , , 1 n. , . , . ,
d, . :
|
|
( ) , .
n 1 n . n!. 0!=1.
1!=1, 2!=2, 3!=6, 4!=24, 5!=120, 6!=720, 7!=5040, 8!=40320, , -- .
: k n . (: " "). : , , . -- n-1 n "" n . . k , :
n A. k A, .. B⊆ A k -- , , . ( k-1 ), ( k ). :
1≤ k≤ (n-1) n≥ 1. " " . (3) .
1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
1 6 15 20 15 6 1
1 7 21 35 35 21 7 1
................................
n- k=0,1,2,, n. , (4=1+3, 6=3+3, ...) ,
. n≥ 1 0≤ k≤ n
. :
, . , (3).
n , k. , , n=1 . . -, . :
. n
.
, , , n , .. .
-- n. (3). .
, (5) . :
1,0488088481701515469914535136799