1. ( ) a ABC . p1 ( p2).
.
DABC , .p1 , - :
a(D)a1(D111)^p2
DA1// 1// C1// .p2 a.
.p2, , D - :
a(D)a1(D111)^p1
D1/ 1/ 1/ .p1 b.
.
1. D ( .p1) , . p2 :
(hÌa)Ù(h p1); hh1/^ p2;
h1/ : h1/ ^ 1; [1/ 11/]@ [C/ 1/] (.8.1);
.8.1.
2. D p1 DA1/ B1/ C1/, . p2 .
, ..D1/ B1/ C1/ @ DA/ B/ C/; .
, .... - //, //,... , (.8.2).
.8.2.
3. , [1// B1// C1// ].
D a. (8.3).
.8.3.
2. ).
.
, (D) . p1, , S1/ D1/ 1/ 1/, .
. p2, , S1// D1// 1// 1//, .
.
1. , (. 1).
2. [ ' S '11 ] ['S1'] u[C1'S1'] [C'S '] S1'. S1"- (.9.1).
. 9.1.
2. S1 m1 D111 :
m1 S1; m1 a1=>m1// a1//; m1∩a1=K1;
[S1"K1"] DA1// 1// C1//; [S1/ K1/] ;
|
|
[S1"K1"] . .
, :
[S/ K/ ] [S1/ K1/] [S1/ K1/] / / (.9.2);
.9.2.