!
"
#
$ %&
##
' ( )
# ) *+ $
! +
, ! $ &
! $
$ -* . /
$ 0
$ 112
' ( ! +
, ! $
' ( ! +
, ! $
$
-
$
0
$ 11
'3( ! +
4* 5$
%9"
%9"
#
:
3
;
! 4
-2
9
7
. .
<
!
8
=
1
.
3
. *
> # +
+ ?
* $ 4
4 &
>
4
* + . = $
4 * ? $ $ $
6
;
+ =
- ? " *
>
: ?
2
&
=
. *
=
. *
.
=
. *
=
. *
<
0 =
- =
=
. *
=
. *
8
*
.
.
=
* +
/
. *
+
.
+
$
. 6
*$
.
=
. *
*
.
.
=
. *
*
.
1
A
B
A
C /
.
! .
.
! .
.
.
*
.
! 4
-! 4
-D
7
2
;
A '3 (
A '3 ( A '7 ;(
D
/; /3 / / 3 ; 2 7
3
! 4
-! 4
-D
2
;
E A '3 ( A ' 3( F A E C
A '3 ( C ' 3(
D
3
3 ; 2
F
E
A '3 ( C ' 3( A '2 2(
" A E B A G H
3
9
9
!
9 ? "
9 / * . . .
.
9 . + ?
&DA & 4 θ &+ A & θ
#
"
& 4 +
$ "
+ = Ax Ay
A 2 2
!
9
9
. =
. =
2
= −
x y
A A
1
tan
θ
#
"
9
9
. =
. =
& *
*
/ +
4
!
"
"% %
#
"
9
9
. =
. =
* = + .
+
' 3( A & ' 3($ = A $ A $ 3A 3
*?
A' 3( & A' 3 ($ ≠ &
A' 3( & A' 3 ($ ≠ &
. ' D/+ DC+ 5/ ( A '; 3(
9 * . . D A
3$ + A / $ 5 A ;
<
=
. *
>
9
+
'
'
" " "'
) (
tan 1
2 2
x y
y x
C C dan
C C
C
− =
+ =
θ
=
. *
G
*
*
.
A '3
(
A '
3(
E
DA 3
E
+A
D
A
+A 3
0
(
A
C
$
(
4
0
(
A
C
$
(
4
4
F
DA E
DC
DA 3 C
A 2
F
+A E
+C
+A
C 3 A 2
∴
(
A 'F
DF
+( A '2 2(
1
. .
. .
E
A ' $
$ G$
($
A ' $
$ G$
($
'
A '4 $ 4 $ G$ 4 (
∈
.
$
∈
? *
.
. $
.
$
C
A
C
#
C
C
'
A
C
C
'
#
$
C
C
'
A
C
C
'
#
C
A
C
#
)$
C
A
2
C
A
7
A
C
<
A
A
.
"
.
"
. . , . .
. *
$ A & > C & > C C & >
A '& & & ($ A '> > > (
. . $ =
$ A
$ A
*?
* A ' / 3 /;($ & A '7 < / ($ , A '2 /; 2 <(
$& A 7 C / < C 3 C /; / A 3
$, A
&$, A
. .
3
.
"
.
"
==
! #
.
!
.
"
E
$
&
$
,
∈
.
∈
.
C
& $ ,
A
$,
C
&$,
C
& $ ,
A
$,
C
&$,
$ &
A
$&
3
$&
A
&$
;
$
≥
$
A
=
* + =
A
.
"
.
"
G
G
*
*
0 A ' /< ($ & A '/3 ;($ , A ' 2 /8($
3 B ;& B 3& B 2,
" D + = '; +( A D' 3(
3 " D$ +$ 5 =
' 3 ;( A D' ( C +' ( C 5' (
; . $
$ & $,
3 $ &C,
2
==
=
A '
G
(
+
| |
2 n 2
2 2
1
u
...
u
u
u
.
u
=
+
+
+
=
*?
A '
/
3(
7
14 9
4 1 3 ) 2 (
12 + − 2 + 3 = + + =
00
&
E&:- %9"
E&:- %9"
J .
!
J .
3
>
;
9
;9
29
7
>
1
J .
J .
. 9 * * 9 #
+ = . * C .
9 . / . / * ?
9 0 * = . * C .
= . * # 1 1 . 9
3 " / 1 0 2 + = 9
; ! 9 . & 1 0 2 + =
9
3 9
2 = . * # . 9
7 . # 1 1 . 9
< . # / 1 3 . * = . *
8 . # . 9
1 " / 1 0 + = 9
! 9 . & 1 0 + =
J .
J .
9$ C$ . * 4 /$ = ∀α$ β$ γ ∈ 9 * ?
α C β ∈ 9 α β ∈ 9
α C β C γ A α C β C γ #
3 ∃ ∈∈∈∈ 5
∋
αC A Cα A α = . *; ∀ α∈9 ∃ α∈α∈α∈α∈5
∋
αC/α A /αCα A/α = . * α
/ = . *
2 α C β A β C α #
7 α β γ A α β γ #
< α β C γ A α β C α γ K β C γ α A β α C β γ #
8 α β A β α #
1 ∃ ∈∈∈∈ 5 ∋ α A α A α .
∀ α ≠ ∈ 9 ∃ αααα ∈∈∈∈5
∋
α α/ A α/ α Aα/ . α
3
. 9$ C$ . * J . *
$ = ∀ $ ∈ $ C ∈ ∀ ∈ $ ∈ 9
. ∈ , 6 =
. ?
& ∀ $ $ 6 ∈ $ C C 6 A C C 6
& ∀ ∈ $ ∃ ∈
∋
C A ? .&
!
J .
&
!
J .
& ∀ ∈ $ ∃ ∈
∋
C A ? .&3 ∀ ∈ $ ∃ / ∈
∋
C/ A&; ∀ $ ∈ $ C A C
∀ ∈ 9$ ∀ $ ∈ $ C A C
∀ $ . ∈ 9$ ∀ ∈ $ C . A C .
3 ∀ $ . ∈ 9$ ∀ ∈ $ . A .
; ∀ ∈ $ ∃ ∈ 9 ∋ A
G
G
*
*
,
/
.
.
/ .
# . 9$
=
. *
.
.
+
#
$
$G$
C
$
$G$
A
C $
C
$G$
C
$
$G$
A
$
$G$
$
∈9$
$
$G$
A
$
$G$
$
9$
. *
# . 9
.
*
D
.
9
9
=
. *
.
.
33
G
G
*
*
" =
*6
.
E
$
.
E B
A E B
*
*
.
.
A L $
|
$
∈
M " =
.
.
A L $
|
$
∈
M " =
*6
6 *
=
. *
.
.
+
#
$
C 4$
A
C 4 $
C
$
A
$
G
G
*
*
3
*
*
.
.
A L $
|
$
∈
M " =
*6
6 *
=
. *
.
.
=
. *
.
.
+
#
$
C 4$
A $
$
A
$
$
C 4$
A
C4 $
C
$
A
$
32
>
>
.
F *
# . 9
F
6
6
$ =
F
. *
# . 9$
=
. *
.
.
=
. *
.
.
*?
A
D
F A *
&
A
F
9
9
.
# . 9
/
&
$
&
$G$
&
∈
6
6
$ =
N $ N $G$ N
∈
9 +
.$
*
*
N
&
C N
&
C G C N
&
A
0
N A N AGA N A
$
&
$
&
$G$
&
3 1
$
3<
9
9
G
G
*
*
A '
($
&
A '
3 / ($
,
A '2 3 / (
.
$
3 C
&
B
,
A
" =
*6
/
..
A '7
3 ;($
&
A '
2 /3
($
,
A '
< / (
9
9
.
*
# .
9
&
$
&
$G$
&
∈
!
.
+
N
&
C N
&
C G C N
&
5
3
1
/
&
$
&
$G$
&
.
$
&
3
1
/
&
$
&
$G$
&
.
. /
.
N $ N $ G$ N
*
&
A N
&
C N
&
C G C N
&
;
9
9
G
G
*
*
A ' ($ A ' ($ + A ' ($
3
∀ ' 4 (∈ 3 $
' 4 ( A ' ( C ' ( C 4 ' (
A C C 4 +
∴ ∀ ' 4 (∈ 3 .
∴ ∀ ' 4 (∈ 3 .
! . * & A '3 1 /; ;(
. /
A ' / 3(
& A ' 3 (
, A ' / (
>
>
G
G
*
*
. . * /
0 A ' / 3 ( 8 A ' /; 2 (
9 . $ +
. $ +
. * / . *
A ' ($ A ' ($ + A ' ($
A ' ($ A ' ($ + A ' ($
3
N ' ( C N ' ( C N3' ( A ' (
N C N C N3A
N C N3A N A N A N3A
N3A
0 . *6 $ $ + . $ 3
;2
>
>
G
G
*
*
! . * / A ' ($ A ' ($
+ A ' ($ 3
! . * / A ' ($ & A ' 2($
, A '2 3 ;($ 3
3 " +
. * . *
A ' ($ 3 A ' 2($ 9 A '2 3 ;(
A ' ($ 3 A ' ; ;($ 9 A ' (
4 A ' ($ 3 A '3 3($ 9 A ' (
