1

) !(

.

.
.

1.1

.
.

.
.

.

.
!

!

.
. . . . 3 2 1
. . . e ln 2 -5 .
.
.
.

!
!
.

!

.

.
.
.

1.1.1

-1

-2 ) (
.
)( 3 .
)( 4 .
)( . 3.14
)( .
)( .
)( 1389 .
)( 2000 .
)( 4.
)( .

. )( )(
)( )( )( )(

. )(
!

xn y n z n n 3 x, y, z .
350
.

2.1.1

.
-1 .
-2 .
x -3 .

.
x .

. " 3 4 "

" 3 " " 4

" . P
Q :

P, P, P

PQ

P Q

P Q

PQ

P Q

PQ

P Q

PQ

.

.
3 1 4
.

3.1.1

P " "P
.
P P P P

.
.

4.1.1

-1 5<2 5<2

5 2 5 2
-2 |2 |2 5 | 2
|5

-3

3 !
.

5.1.1

PQ

. "" .

" P ( P Q ) " Q
P Q .

6.1.1

PQ

PQ

P Q .
.

7.1.1
" "

" P " Q P

Q!

PQ

!

3 4

P Q .
. P Q
P Q .

P Q P Q .
P Q .

8.1.1

T 1
F .
.
. .

9.1.1

R Q P .
) P P P -1(
) P Q Q P -2(
) P (Q R) ( P Q) R -3(
) P F P -4 ( F
) P T T -5 ( T

10.1.1

P Q P Q Q

. P Q P

10

p q :

Q P Q PQ PQ Q P Q PQ P

11.1.1

R Q P.
) -1 (

P ( P Q) P
P ( P Q) P
) -2 (

P Q R P Q P R
P Q R P Q P R

2.1.1 x
x .
x 7
!

12.1.1

)(

.
.

.
.
.
.

P x x " " P x x
) x, P( x . " x " P x
) x , P( x.
x

P x . x A
. x A, P x A
.

x } { B
" x x A " x

} {=A

11

12

13.1.1

x A, P x
) ( a A P a

!
x A, P x
a A P a .

14.1.1

A B .
.
-1 B .
-2 A .
-3 B .
-4 A .

1 2 . 3
1 4 2
!

-
!

15.1.1

x A, P x x A, P x
x A, P x x A, P x

1.1

-1 x < < 2 x
. x < 2
-2
.

)( x 3 . x < 2
)( x 1 x 2 . x( x 3 )
)( x . x( x 3 )
)( x -1

x 2

18.
)( .
)( .
)( x y

x .

13

14

-3 :
)( . P P
)( P ( P Q) P ) . P ( P Q) P
. 11.1.1 (.
)( P Q R P Q P R
) . P Q R P Q P R .
11.1.1 .
(.
-4 :
)( ] . ( ) ( ) (x )[| x a | | f ( x) L |
lim f ( x) L
xa

)( ) . ( ) (x ) ( x x x
)( ) . (x ) (x ) ( x x x x
)( ) . (k ) (x ) ( x k k x
-5 4 ) . (.

2.1
!
.

.
.

1.2.1
P Q
.
.

-1 P .
-2 P
Q .

2.2.1
.

3.2.1

.
-1 x y .

15

16

-2 a b -
x 2a .y=2b
) . x y 2a + 2b= 2( a + b
-3 x y 2 .

4.2.1

.
-1 " " P P
.

15
1.1 !
15 !
-2 " " Q Q

1.1 !
!

15 !
!

5.2.1
P Q Q P

Q P

PQ

P Q Q P .
.

6.2.1

-1 3.2.1 .
-2 3.2.1 . 1
a b a b .

7.2.1

. .

8.2.1
2 .

m
a
a
2

2 .
n
b
b

17

18

. (m, n) 1 (m, n) 1
(m, n) 1.
!

9.2.1

.
. .
2 .

. a b ab
a b :

) ( a b 2 .

10.2.1

a b 2 .

ab ( .

. . -
1936 .
600 .

11.2.1
P n
" P n n " .
) P (3) P (2) P (1 .
!
:
-1 ) P (1 P n n = 1 .
-2 P n ) P ( n 1 .
P n n .
.

12.2.1
n

P(n) : 1+2+ n n(n 1)/2

n 1 P n 1 1
. ) P (1 . P n
1+2+ n n(n 1)/2
) P ( n 1
(1+2+ n) (n 1) n(n 1)/2 (n 1) (n 1) (n 2)/2
P n n .

19

20

QED
. ""QuadEvatemonstrandun
.
.

.

!

.
.

! !

2.1

-1
:
)(

)( f ( x) sin x . f ( x) cos x
)( .
)(

-2 )(

)( ).x, P( x) x, P( x
)( ) .xy, P( x, y ) xy, P( x, y
-3 ) P (Q R ( P Q) R

21