You are on page 1of 32

.


2007

22.1
47
.

47

. | 3- ., . | .: ,
2007. | 32 .: .
ISBN 978-5-94057-324-1

( 7 { 11 ) 46 , 19 .
2004 .

22.1

- ( ) .


http://www.mccme.ru/free-books/induction/induction.zip
ftp://ftp.mccme.ru/users/shen/induction.zip


05.11.2007 . 60 90 1/16. .
. . . 2. 3000 .

. 119002, , . ., 11. . (495)-241-74-83.
.
ISBN 978-5-94057-324-1

c ., 2004, 2007

, .
. ( , ).
() .
,
. .
1. . ,
, ( ) ( ).

. ,
( | ,
) . ,
, , , , .
,
, , . . : , | ( ). ,
( ).
, ,
.
; ,
( ).

? ( ).
. ,
,
| .
( : ?
: ,
.)
,
( ), |
. .
2. 111 3, 111 111 111 9, 111 : : : 111 (27 ) 27. , 111 : : : 111
(3n ) 3n n .
. 3 9 3 9 ( 3, 3,
9). ; 111 : 3 = 37
111 111 111 : 9 = 1234579.
27 27, 27 ( ) . (, 1899
27, 27 | !) ?
111 111 111 , 9. , 111:

111 111 111 = 111 1001001:


, 111 1001001
:
111111111 111
111
1001001
0111
111
0111
111
0

111
1001001
111
111
111
111111111

111 1001001 3 ( 3). 3, , 9.


111 : : : 111 (27 ).
111 111 111. , . (
: 8 .)
: 111 111 111 9 ( ,
). 10 : : : 010 : : : 01 3,
3. 3 9. ,
27 27.
: 81 = 3 3 3 3
27 .
( ) 27, 3,
27 3 = 81.
, 81 3 = 243 243,
81 ( 81)
( 3).
, . .
3. , , 8 , 3 5 .
. , 8, 9 10 :

8 = 5 + 3;
9 = 3 + 3 + 3;
10 = 5 + 5:
,
11 = 8 + 3 = (5 + 3) + 3;
12 = 9 + 3 = (3 + 3 + 3) + 3;
13 = 10 + 3 = (5 + 5) + 3:

14 = 11 + 3;
15 = 12 + 3;
16 = 13 + 3
, . .
5

4. ( ) .
( ).
,
:
.
, :
, , (1 2, 1 3, 2 3,
).
1
2
3

| ,
, .
. . , ( ).
, .

. 1. .
. (
, .)
(
).
. 1.
, (,
) , . (
) . 2 (. 8).
: 1 2, 1 3, 2 3, 1 2, 3 1, 3 2, 1 2
( ,
).
, , ( . 1
).
,
. .
7

. 2. : .
8

5. ,
. , , , .
. , . 0 , | .
, .
( , .)
( ), .
| , .
: ,
. :
. .
( | ).
2.
. . , (
, ).
. . : .
.
, , ( ) ( ,
2). .

? ?
,
. ,
. ,
,
.
, 111 3, |
111 111 111 9, | 111 : : : 111 (27 )
27 . : , 3n 3n , ,

3n +1 , ,
3n +1 .
, n ( n > 8) 3 5 . n = 8; 9; 10,
, n = 11; 12; 13, n = 14; 15; 16 .
, n > 2
n ( )
. n + 1
n ,
.
, ,
n (
n n + 1 , 2).
, .
(A1 ; A2 ; : : : ; An ; : : : ). ,
(An ) , ,
(Ak k < n ) . ,
An .
, n . ,
An n .
, An :
n ,
, .
, , .
,
A8 ( 8 ). A8 ; A9 ; A10 ,
. An
An 3 (, n 3 3 5 , n :
).
:
(. 3).
, : ,
(. 4).
.
10

A1

A2

A3

:::

An

:::

. 3. .

:::

:::

. 4. .
.
( ). ,
| , | .
. , . , (
); , , -
( ).

, , .
6. | (
). :
() ( );
() , .
(: 0011001 : : :
| .) ,
.
. An : n
.

11

. n = 1 :
.
. , ,
n 1 . , ,
000 : : : 0001 ( (n 1)-
). , n -
, ,
.
An 1 n 1 .
? .
, : n 1
n - ? ,
:
n ,

. : ,
n .
.
, , 001 000. (:
001 101 111 011 010 110 100 000.)

7.
1 ( ) : 1=2; 1=3; 1=4; 1=5; : : :
, n > 3
n .
, n = 3 :

1=

1 1 1
+ + :
2 3 6

(, , , ,
. ,
.)
.
(n = 3) .
. , n 1 :

1
1
1
1 = + + ::: + ;
a

n 1 . , ( , k | ). n
12

, . :
1
k

1
1
+
:
+ 1 k (k + 1)

( , 1=k 1=(k + 1) 1=k (k + 1),


.)
( ) : ,
k , k + 1 k (
k (k + 1), ).
.
,
n . ,
1=6 1=7 1=6 1=7 = 1=(6 7) =
1=42:
1 1 1
1 1 1
1
1= + + = + + + :
2 3 6
2 3 7 42
1=6, 1=3 (?),
, ,
.
8. , 2 2, 4 4,
88; : : : ; 2n 2n ; : : : ;
1 1, .
.
. 2 2 ( n = 1) : .
. 4 4 (
n = 2) :
2 2
,
).
.
2n 1 2n 1
1 1 .
. , 2n 2n
2 2 2 2.
( . 5, . 14)
2 2.
. (
8 8.)

13

. 5. 4 .

, , :
9. , ( n > 1)
1 + 2 + 3 + ::: + n =
.
.

( + 1)
:
2

n n

= 1
1=

12
2

. - ,
n = 2:
1+2=3=

2(2 + 1)
:
2

. 1+2+3+ : : : +(n 1)+ n


:
1 + 2 + 3 + : : : + (n 1) + n = [1 + 2 + : : : + (n 1)] + n

(n 1)((n 1) + 1)
(n 1)n
+n =
+n =
2
2
(n 1)n + 2n
=
=
2
2
n +n
n (n + 1)
=
=
;
2
2
. .
14

, - n (n + 1)=2,
? .
S = 1 + 2 + : : : + (n 1) + n
:
S = n + (n 1) + : : : + 2 + 1:
:
2S = [1 + n ] + [2 + (n 1)] + : : : + [(n 1) + 2] + [n + 1]:
n (
n + 1, 2S = n (n + 1).

),

, ,
.
. , (

10

1 + 4 + 9 + : : : + n2 =

> 1)

( + 1)(2n + 1)
:
6

n n

.
: 1 = (1 2 3)=6.
. ,
n 1 :
(n 1)n (2n 1)
12 + 22 + 32 + : : : + (n 1)2 =
6
( , n n 1). n 2 . , n

(n 1)n (2n 1)
(n 1)n (2n 1) + 6n 2
+ n2 =
=
6
6
n [(n 1)(2n 1) + 6n ]
=
=
6
2
n [2n 3n + 1 + 6n ]
=
=
6
2
n [2n + 3n + 1]
=
=
6
n (n + 1)(2n + 1)
=
;
6
.
15

- ?
: (n (n + 1)=2)
. ,
,
3
2
an + bn + cn + d a; b; c; d .
, n
. ,
.
11. 1; 1.
, 1; 2; 1. ,
1; 3; 2; 3; 1. 1; 4; 3; 5; 2; 5; 3; 4; 1. 100 ?
. , 100
, . , - n ( Sn ).
:
n
Sn

0 2
1 4
2 10
3 28
- ? ,
:
1; 5; 4; 7; 3; 8; 5; 7; 2; 7; 5; 8; 3; 7; 4; 5; 1;
(S4 ) 82.
, ,
. S .
, ?
. ,
1; 3; 2; 3; 1

1; 1 + 3; 3; 3 + 2; 2; 2 + 3; 3; 3 + 1; 1:
( )
, 3S 2 ( 2,
). S5 = 3S4 2 = 244
S

n = 3Sn 1 2:
16

-, ? ,
,
(1; 3; 9; 27; 81; 243; : : : ). , , . , ,
S

n
n = 3 + 1:

.
. (
.

= 0; 1; 2; 3).

n 1 + 1;
n 1=3

n 1 + 1) 2 = 3 3n 1 + 3 2 = 3n + 1:
n = 3Sn 1 2 = 3(3

. ,
(, , )
3100 + 1.
.
, ? , .

. ,

12

13 + 23 + 33 + : : : + n 3
. (, 1 = 12 , 1 + 8 = 9 = 32 , 1 + 8 + 27 =
= 36 = 62 , 1 + 8 + 27 + 64 = 100 = 102 .)
. , , , . ,
| ,
.
1; 3; 6; 10; : : : ? , : 3 1 = 2,
6 3 = 3, 10 6 = 4 . : 1; 1+2; 1+2+3; 1+2+3+4; : : :.
, ,
13 + 23 + : : : + n 3 = (1 + 2 + : : : + n )2 :
17

.
.
2
2
n (n + 1) =4, 9.
13 + 23 + : : : + (n 1)3 =

(n 1)2 n 2
:
4

n 3 , , 13 + 23 + : : : + n 3
(n 1)2 n 2
(n 1)2 n 2 + 4n 3
+ n3 =
=
4
4
((n 1)2 + 4n ) n 2
=
=
4
(n 2 2n + 1 + 4n ) n 2
=
=
4
(n 2 + 2n + 1) n 2
=
=
4
2
2
(n + 1) n
=
;
4
.
. , (

13

1+

1 1
1
+ + ::: + n
2 4
2

<

> 1)

2:

. , .
1+

1 1
1
1
+ + ::: + n = 2 n :
2 4
2
2

: 1 + 1=2 = 2 1=2.
:
1+

1 1
1
1
+ + : : : + n 1 = 2 n 1 ;
2 4
2
2

1+

1 1
1
1
1
1
1
1
+ + : : : + n = 2 n 1 + n = 2 2 n + n = 2 n ;
2 4
2
2
2
2
2
2

. .
18

, ,
( ). :

1
1 1
1 + + + : : : + n 1 < 2;
2 4
2
( )
1
1 1
+ + : : : + n < 1;
2 4
2

1+
.

1 1
1
+ + ::: + n
2 4
2

<

2;

. , (

14

1+

1
1 1
+ + ::: + 2
4 9
n

<

> 1)

2:

. : , , .
:
1+

1 1
1
1
+ + ::: + 2 6 2 :
4 9
n
n

n = 1 1 = 2 1.
:
1+

1
1 1
+ + ::: +
62
4 9
(n 1)2

1
;
1

1=n 2
1+

1
1 1
+ + ::: + 2 6 2
4 9
n

1
1
+ 2 =
n 1
n
2
n n +1
<
=2
(n 1)n 2
2
n n
1
< 2
=2 ;
(n 1)n 2
n

.
19

:
,
1
1
1
1
<
=
;
2
n
(n 1)n
n 1
n

1
1
1
1
1 + 2 + 2 + 2 + ::: + 2
2
3
4
n


 
 



1 1
1 1
1 1
1
1
1+
+
+
+ ::: +
:

1 2
2 3
3 4
n 1
n
1 + 1 1=n ,
2.
15. ,
50 . (
) ,
( ). , . (
, .)
. n , n . n 6 50 .
, n , ,
(n 1) . : (n 1) ,
( ).
,
. , n ,


n ,
.
(n = 1). 1 2 ( ), 48
( ) . ( | , 47 , |
.) , ,
20

. (
48=50: 48 , 50 .)
. n (
). , ,
n 1 ( ).
(A A ) n 1
!
, B
n , , n 1
, , (A ) .
( ) A
n 1.

:
. ? ,
.
1 ( , ).
, ,
. ,
. ,
. n . n
? , .
() (
) . .
( ), . .
. , ( ) .
. , ( , ) .
. , , , 8 , 3 5 . .
21

, ( , 8),
3 5 .
. n . n > 8,
n . , , n
8, 9 10, . , n > 11.
n 3 > 8 , , n 3 < n . ( n
), n 3 3 5
. , n .
, n . .
,
.
.

16

1; 1; 2; 3; 5; 8; 13; 21; 34; 55; : : :


. ,
7 .
. ,
7. , :
: : : ; a;

7k; 7l; : : :

( , 7, 7k 7l ).
, ,
, - a . 7l = a + 7k ,
a = 7l 7k = 7(l k ) a 7. , 7k; 7l
| .
, 7
. ( 7
.)
.
: n , Fn
Fn +1 7. ( Fn n - .)
( 7).
: Fn Fn +1 7,
Fn 1 = Fn +1 Fn 7,
.
( )
, .
.
22

17. , (
)
2.

( , 2 ,
.)
. , 2.
. (
, ,
2.)
p=q , (p=q )2 = p 2 =q 2 = 2,

2 = 2q 2 :

, p . , p ,
p = 2k + 1, p 2 = (2k + 1)2 = 4k 2 + 4k + 1 = 2(2k 2 + 2) + 1,
2
2
2
p , p = 2q . , p
p = 2k .
2
2
2
2
p = (2k ) = 4k = 2q :
2, , 2k 2 = q 2 . , q
( q 2 ), q = 2l . p ,
q , 2:
p
q

2k
=
2l

k
l

(k=l )2 = (p=q )2 = 2 ( ), () , | (
).
.
: , 2k 2 =
2
2
q , , (q=k ) = 2, , k < q ,
p=q q=k .

, . :
, | .
. , . , An ,
n , n = n + 1.

23

, , n .
n .
, (n 1) = (n 1) + 1, n 1 = n .
, , n = n + 1.
, n :
|

,
a1 = a2 = : : : = an . ( 1
n
, n ,
| .)
n = 1 :
.
, n , ( ), n
.
a1 ; a2 ; : : : ; an 1 ; an . , n 1 .
:
a1 = a2 = : : : = an 1 :
. n 1 ,

.

a ;:::;a

2 = : : : = an 1 = an :

, ,

1 = a2 = : : : = an 1 = an ;

.
. , n
. n = 1 n = 2 ( ). n , , n 1 . , n A1 ; A2 ; : : : ; An 1 ; An . . l ,
A1 ; A2 ; : : : ; An 1 . , An
.
A2 ; A3 ; : : : ; An . ,
0
0
l . l l ? ,
A2 An 1 , , . , l l 0
n .

, ?
24

, ,
:
n , , n . n . |
.
, .
, , . .
, .
1. ,
. , .
2. 33 ( ), , , :
, , ; : : : ;
, ,
; : : : ; , . ( , , .)
3. ,
,
. :
, ; ,
. ,
, T (
).

? ,
: ,
? , . ,
: . , , ,
.
( -).

25

4. , : , | . , h3; 7i h4; 5i,


(3 < 4). h4; 9i h4; 6i,
, 9 > 6.

: , , - .
.
. , , ,
x; y ,
, | . ,
x y :
x < y

=y

y < x:

x < y

y < z

x < z

, x < y (x y ) y > x (y x ) ( ).
, . ,
( )
.
: X Y , X Y ?
, : , , ,
, .
? ,
.
18

. (. 6) . -

. 6. : .
: -!
26

. 7. ( ).
, | (. 7).
: , , , , . (,
. 7 , . 8.

. 8.
: . 9, .)
, (

. 9.
).
.
.
. . , . 7
,

,
|
,
.
27

? ,
( ;
), .
). | ,
.
: ! ,
, . ( .)
, ,
n ( , 2n |
).
.
: ( )
n . ( :
, .) ,
,
.
.
. M ,

1 > m2 > m3 > : : :

.
,
. . ,
N ( ).
(
, ). ;
( . . . , , , 2007, , ftp://mccme.ru/users/shen/logic/sets).
, .
28

19. 01010. : 10
000 : : : 0001 ( ). ,
(
, ,
).
. , ,
. , , . .
, 01010 h2; 4i, 0100000001,
10 0000001, h1; 9i (
, ).
:
() c
( ,
);
()
(
).
. ( ),
, ( ). ,
( | ).
( , ), : ,
.
,
.
, .
, () . ,
,
ha1 ; b1 i > ha2 ; b2 i > ha3 ; b3 i > : : :

( ). . 29

1 > a2 > a3 > : : :

(
).
:
. , N ,
:

N = aN +1 = aN +2 = : : :

,
.
.
.

20. n , n > 3
. ,
| .
21. , () n
2n 1 () .
r
q
p

22. ,
6 + 6 + 6 + 6 < 3,
.
23. , 1 + 1=2 + : : : + 1=k n , k
.
24. . , .
25. n ,
?
26. , n (, ) n > 6.
27. , n > 3 n ,
.

30

28. 1; 3; 9; 27; 81; : : : (


). ,
, ,
.
29.
1
x +

. ,
x

2 + 1 ; x 4 + 1 ; x 8 + 1 ; x 16 + 1 ; : : :
x2
x4
x8
x 16

.
30 (). ,
x

n+ 1
xn

n = 2; 3; 4; 5; 6 : : :
n
31. , 2 > n n = 1; 2; 3; 4; : : :
32.
F

1 = 1;

2n .

2 = 1;

n = Fn 1 + Fn 2

> 3:

1;5n 6 Fn +2 6 2n

= 1; 2; 3; 4 : : :
33. ,

34. n .
( ). ,
( ) 2n ,
.
35. , n ,
, Fn +2 .
36. , 2 n 1 2 Fn +1 .
37. , ( n = 2; 3; 4; : : :)

1 + F2 + F3 + : : : + Fn = Fn +2 1:
31

38. , ( n = 3; 4; 5; : : :) n - (n 2) 180 .
39. .
,
.
( ),
, . ?
n
n
40. , 2 2 , (
) , .
41.

1 3 5
2n 1
:::
2 4 6
2n

<

(: , n n +1.)
42. , . ,
, . .
43. , n 10n .
44. 19 ( ).
45. , M ,
X (,
X ).
46. :

( , ).
,
( ). .
?

32