Forinole <V incidenza per le coppie : «punto e retta, retta e piano, ecc. 
(a, n- 1, ti) (n-2), senza soddisfare la («, n- 2, n) (n-1), saranno quelle 
per cui il punto P giace in [«]. Pertanto, visto che le condizioni 
in discorso hanno il medesimo peso, deve sussistere la pf’°). 
16. La eliminazione delle condizioni, inerenti alla retta, fra 
forinole d’ incidenza, relative alle coppie di un punto e una retta, 
di una retta e un piano, incidenti, presenta maggiori difficoltà, 
allorché si vogliano ottenere forinole d’ incidenza per il punto e 
il piano più generali della fondamentale. E più conveniente in- 
vece ricorrere alla moltiplicazione simbolica per condizioni ine- 
renti al punto o al piano, in ciò, s’ intende, tenendo conto della 
forinola di risoluzione -), concernente il prodotto di due condi- 
zioni relative al piano, come pure conviene ricorrere a quegli ai- 
titi zìi di cui s’ è visto esempio nei §§ precedenti. 
Così, moltiplicando la pp°) per (n- 3, n- 1, n), si avrà : 
(a-1, n- 2, n ) (n- 1) -|- (a, n- 3, n) (n- 1) -[- (», n-2, n- 1) (n-1) = (n-1, n- 1, n) (n- 2) 
-f- (a, n-2, n) (n- 2) — (n- 3, n-1, n) (a) -|- (a-1, n-2, n-1) -f- (a, n- 3, n- 1). 
D’ altra parte, in forza della stessa Pi’ 0 ), posto in essa a - 1 
in luogo di a, è : 
(«- 1, n-2, n) (n-1) = (ct-1, n-1, n) (n-2) -j- (a- 1, n-2, n-1) — (a-1), 
dunque, sostituendo e riducendo, si ottiene : 
(a, n- 3, ri) (n-1) — (a, n-2, n ) (n-2) — (a, n-2, n-l-) (n-1) — (n-3, n-l,n) (a) 
-[- (a, n-3, n-1) -j- (rt-1). 
D’ altra parte, moltiplicando ancora pf °) per (n-1) , si ha, 
isolando al 1° membro il termine (a, n-2, n-1) (n-1) : 
(a, n-2, n-1) (n-1) == (a, n-2, n) (n-2) — (a, n-1, n) (n-3) -j- («-1), 
perciò, sostituendo questo risultato nelFultima eguaglianza e ri- 
ducendo, si ottiene infine : 
Pi' 0 ) («, n-3, n) (n-1) = (a, n-1, n) (n-3) -|- (a, n-3, n-1) — (n-3, n-1, n) (n); «<( n- 2. 
