SUI PRINCIPI CHE REGGONO LA GEOMETRIA DI POSIZIONE 461 



(t) Hp(a) .'. ue{aì)c) . 0e{acu) : q„ , web :: Q, .-. xer'^{2a3') ~ 

 ~ \2 -^xs' . (a) : Q^ . xeh. 



(ò) Hp . se{ahc} . ^' = t^ : Q^ .*. rcer ~ {zas') -^ \z ^ iz' . xeh. . (p): 



:0^ . 2^€{acz') 

 (H) Hp(ò) .•. 2<€(a5c) . se{acu) : q„ . ueh :: Q^ .'. a;er~(0a^')~ 



~ i^ ~ iz'. iu ~ eh . (y) : Ox • ^ ~ € (ac0') 



Sommando membro a membro le deduzioni (ò) e (E) dopo aver 

 moltiplicato a sinistra l'una per la proposizione (condizionale 

 in 2:) z^^ z' .'. w e{abc) . ze{acu) : Q„ . weh, e l'altra per 2:^=0'; 

 si ottiene: 



(n) Hp(ò) , 0~ = 0' .-. u^{abc) .0e{acu) : q„ . weh :: 3^ .•. icer— 

 ~ (m/) ~ i^f ~ i^'. (ò) . (H) : Q^ . ^ ~ e {acz'). 



D'altra parte; 



(Z) Hp(ò) .0^ = z'.Pl. PI, 2,8 §8 : o, : xer ^(zas:') -^is^ 



Onde si può eliminare x dalla (n): 



(X) Hp (ò) . z-^z=. 2' .-. tie {ale) . ze{acu) : 3„ . m eh z, (ti) . (l) :: 

 : : 0, . ~ e [ac/] 

 Hp . (\) . (ò) : . Th] 



P. 9. HpP4 . :•: ze{abc) . z'=iz . 3^=3' :. ìie{ahc) . 3e{acu) : 

 : 0„ . Meh .•. ve{abc) . v^{acz) : q„ . vek ::().. z' -^ e{acz) 



Teor. 

 (a) Hp . z e{ahc) . z'=iz . z\ {acz) . PI : ^. .'. yer -^ (z'az) ~ 

 ~ ìz' ~ \z . (if ,1')(a)P8 : 0, : ye{abc) . ye{acz) . z'e{acy) 



(P) Hp(a). (a) .PI . Pl,2,4§8 :0, .'. yer^{z'az)^iz'^iz. 

 .y'^xy : 0, : y'e{a'c'z') .(a)P5 . iÌÌ)Pll §9 : 0, : 2/'€ (ac^') . 

 .e:rtP9§9:0,.2/'eKi/) 



