Вы находитесь на странице: 1из 37

.

n=0

2 3 4 5


2005

8 9 ...


2004

22.1
47

47

. | 2- ., . | .: ,
2004. | 36 .: .
ISBN 5-94057-138-7
( 7 { 11 ) 29 , 19 .

22.1

- .
MetaPost.

ftp://ftp.mccme.ru/users/shen/induction.zip

ISBN 5-94057-138-7

c ., 2004

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

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

. 2. , .

. 2 , ,
.
, ,
, . . : , | (. 3).

. 3. .
, (. 4).

. 4. , .
, , . ; ,
(. 5).
? (
).
. ,
4

. 5. .
, | (. 6).

. 6. .
( :
? : ,
.)
,
( ), |
. .
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.
, (. 7) 111 1001001
(. 8).
111111111 111
111
1001001
0111
111
0111
111
0
. 7. .
111
1001001
111
111
111
111111111
. 8. .
111 1001001 3 (
3). 3, , 9.
111 . . . 111 (27 ).
111 111 111. ,
. ( :
8 .)
6

: 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
, . .
4. ( ) .
( ,
. 9). ,
: .

. 9. .
1

. 10. : 1 2, 1 3, 2 3.
, :
, , (. 10).
| ,
, .
. . , ( ).
, .
. ( 8

. 11. .
, .) (
).
. 11.
, (, ) ,
. (
) . 12.
: 1 2, 1 3, 2 3, 1 2, 3 1, 3 2, 1 2
( ,
).
, , (
. 11 ).
,
. .

. 12. : .

10

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

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

, ,
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 An3 (, n 3 3 5 ,
n : ).
:
(. 13).
, : ,
(. 14).
.

12

A1

A2

A3

...

An

...

. 13. .

...

...

. 14. .
.
( ). ,
| , | .
. , . , ( ); , , -
( ).

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

13

. n = 1 :
.
. , ,
n 1 . , , 000 . . . 0001 ( (n 1)-
). ,
n-, , .
An1 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 b
k
n1 . ,
( , k |
14

). n ,
. :
1
1
1
=
+
.
k
k + 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/61/7 = 1/(67) = 1/42:
1=

1 1 1
1 1 1
1
+ + = + + + .
2 3 6
2 3 7 42

1/6, 1/3 (?),


, ,
.
8.
n

, 2 2, 4 4, 8 8, . . . , 2n
2 , . . . , 1 1,
(. 15).

. 15. .
.
. 2 2 ( n = 1) : .
. 4 4 ( n = 2)
: 2 2
,
(. 16).
15

. 16. n = 2.
.
2n1 2n1 1 1 .
. , 2n 2n
2 2 2 2.
(
. 17) 2 2.

. 17. 4 .
. (
8 8.)

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

n(n + 1)
2

n > 1.
.
. n = 1
1=

12
2

16

. - ,
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
(n 1)((n 1) + 1)
+n=
+n=
2
2
(n 1)n + 2n
=
=
2
n(n + 1)
n2 + n
=
,
=
2
2
. .
, - 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 ),
n + 1, 2S = n(n + 1).
, ,
.
10.

,
1 + 4 + 9 + . . . + n2 =
17

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

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

(n 1)n(2n 1)
6

( , n
n1). n2 . , n

(n 1)n(2n 1)
(n 1)n(2n 1) + 6n2
+ n2 =
=
6
6
n[(n 1)(2n 1) + 6n]
=
=
6
n[2n2 3n + 1 + 6n]
=
=
6
2
n[2n + 3n + 1]
=
=
6
n(n + 1)(2n + 1)
=
,
6
.
- ?
: (n(n + 1)/2)
. ,
,
an3 + bn2 + 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
, . , -

18

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 Sn = 3Sn1 2.
-, ? ,
,
(1, 3, 9, 27, 81, 243, . . . ). , , .
, ,
Sn

= 3n + 1.

.
. ( n = 0, 1, 2, 3).
.
n1

1=3

Sn

Sn

+ 1,

= 3Sn1 2 = 3(3n1 + 1) 2 = 3 3n1 + 3 2 = 3n + 1.


19

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

12.

,
13 + 23 + 33 + . . . + n3

. (, 1 = 12 , 1 + 8 = 9 = 32 , 1 + 8 + 27 =
= 36 = 62 , 1 + 8 + 27 + 64 = 100 = 102 .)
. , , , . ,
| ,
.
1, 3, 6, 10, . . . ? , : 31 = 2, 63 = 3,
10 6 = 4 . :
1, 1 + 2, 1 + 2 + 3, 1 + 2 + 3 + 4, . . ..
, ,
13 + 23 + . . . + n3 = (1 + 2 + . . . + n)2 .
.
.
n2 (n + 1)2 /4, 9.
13 + 23 + . . . + (n 1)3 =

20

(n 1)2 n2
.
4

n3 , , 13 + 23 + . . . + n3
(n 1)2 n2
(n 1)2 n2 + 4n3
+ n3 =
=
4
4
((n 1)2 + 4n) n2
=
=
4
(n2 2n + 1 + 4n) n2
=
=
4
(n2 + 2n + 1) n2
=
=
4
(n + 1)2 n2
=
,
4
.
13.

,
1+

1
1 1
+ + ... + n < 2
2 4
2

n > 1.
. , .
1+

1 1
1
1
+ + ... + n = 2 n.
2 4
2
2

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

1+

1 1
1
1
+ + . . . + n1 = 2 n1 ,
2 4
2
2

1
1
1
1
1
1
1 1
+ + . . . + n = 2 n1 + n = 2 2 n + n = 2 n ,
2 4
2
2
2
2
2
2

.
.
, , ( ). :

1
1 1
1 + + + . . . + n1 < 2,
2 4
2
21

( )

1 1
1
+ + . . . + n < 1,
2 4
2

1+

1 1
1
+ + . . . + n < 2,
2 4
2

.
14.

,
1+

1
1 1
+ + ... + 2 < 2
4 9
n

n > 1.
. : ,
, .
:
1+

1 1
1
1
+ + ... + 2 6 2 .
4 9
n
n

n = 1 1 = 2 1.
:
1+

1 1
1
1
+ + ... +
62
,
4 9
(n 1)2
n1

1/n2
1+

1 1
1
1
1
+ + ... + 2 6 2
+ 2 =
4 9
n
n1 n
n2 n + 1
=2
<
(n 1)n2
n2 n
1
<2
=2 ,
(n 1)n2
n

.
:
,
1
1
1
1
<
=
,
n2
(n 1)n
n1 n
22

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
n1 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 , | .) ,
, . ( 48/50:
48 , 50 .)

23

. n (
). , , n 1 ( ).
,
(A A ) n 1 !
, B
n , , n 1
, , (A ) .
( ) A
n 1.

: . ? , .
1 ( ,
).
, ,
. ,
. ,
. n . n
? , .
() (
) . .
( ), . .
. , ( ) .
. , ( , ) .
. , , , 8 , 3 5 . .
, ( , 8),
3 5 .
. n. n > 8,
24

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,
Fn1 = Fn+1 Fn 7,
.
( )
, .
.
17. , (
) 2.
25


( , 2 ,
.)
. , 2.
. (
,
,
2.)
p/q, ( p/q)2 = p2 /q2 = 2,
p2 = 2q2 .

, p . , p ,
p = 2k + 1, p2 = (2k + 1)2 = 4k2 + 4k + 1 = 2(2k2 + 2) + 1, p2
, p2 = 2q2 . , p
p = 2k.
p2 = (2k)2 = 4k2 = 2q2 .
2, , 2k2 = q2 . , q
( q2 ), q = 2l . p,
q , 2:
2k
k
p
=
= .
q
2l
l
(k/l )2 = ( p/q)2 = 2 ( ),
() ,
| ( ).
.
: , 2k2 = q2 ,
, (q/k)2 = 2, , k < q,
p/q q/k .

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

26

, , n.
n.
, (n 1) = (n 1) + 1, n 1 = n.
, , n = n + 1.
. , n :
a1 , . . . , an | , a1 = a2 = . . . = an . ( , n ,
| .)
n = 1 :
.
, n , ( ), n
.
a1 , a2 , . . . , an1 , an .
, n1 . :

a1 = a2 = . . . = an1 .

. n 1 ,
a2 = . . . = an1 = an .

, ,
a1 = a2 = . . . = an1 = an ,

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

27

. , l l 0
n .
, ?

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

? ,
: ,
? , | .
, : .
28

, , ,
.
( -).
4. ,
: , |
. , h3, 7i h4, 5i,
(3 < 4). h4, 9i h4, 6i,
, 9 > 6.

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

x=y

x > y.

:
x < y y < z, x < z.
, x < y (x y) y > x (y x) ( ).
, . ,
( )
. :
X Y , X Y ?
, : , , ,
, .
? ,
.
18. (. 18) . : -!
, | (. 19). -

29

. 18. : .

. 19. ( ).
: , , ,
, . (,
. 19 , . 20.

. 20.
: . 21, .) , (
).
.
.
.
. , . 19

,

,
|
,

30

. 21.
.
? ,
( ;
), .
). | ,
.
:
! ,
, . ( .)
,
,
n ( , 2n |
).
.
: ( )
n . ( :
,
.) , ,
.
.
. M ,
m1 > m2 > m3 > . . .

.
,
. 31

. ,
N ( ).
(
, ). ;
( . .
. , , , 1999, , ftp://ftp.mccme.ru/users/shen/logic/sets).
, .
19. 01010. : 10
000 . . . 0001 ( ). ,
(
, ,
).
. , , . , , .
.
, 01010 h2, 4i, 0100000001,
10 0000001, h1, 9i (
, ).
:
() c
( ,
);
()
( ).
. ( ),
, ( ).
, ( | ).
( , ),
: , .
,

32

. ,
.
, () . ,
,
ha1 , b1 i > ha2 , b2 i > ha3 , b3 i > . . .
( ). . :
a1 > a2 > a3 > . . .
(
).
:
. , N ,
:
aN = 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
.

33

24. . , .
n
n
25. , 2 2 , (
) , .
26. , . ,
, . .
27. , n 10n .
28. , M ,
X (,
X ).
29. :

( , ).
, (
). .
?

34


01335 24.03.2000 . 05.11.2004 .
60 90 1/16. . . . . 2,25.
3000 .


119002, , ., 11. . 241-05-00.
.


( LATEX -
PostScript PDF) ftp://ftp.mccme.ru/users/shen |
, .
:

(. )

,
. :
1. , ; 2. ; 3. . ; 4. ; 5.
; 6. ; 7. ; 8. ;
9. ; 10. ; 11. ;
12. ; 13. . ; 14. . . ; 15. -
; 16. .
, (= ); 57 .
. : , (LL(1), LR(1)) .
( 1995 ., 1997 .)
, .

, 57
. .

(. . ,

. )
1. .
2. .
3. .

(. , . , . )

(. . )

http://www.mccme.ru

( )

LTEX

(. . )

LATEX
ftp://ftp.mccme.ru/pub/tex.