Indagine insiemistica sulla doppia proiezione ortogonale di Monge
LE LEGGI GEOMETRICHE
PERPENDICOLARITA’ O ORTOGONALITA’
QUADRO RIASSUNTIVO DELLE
FORMALIZZAZIONI
INSIEMISTICO-DESCRITTIVE
COME ALGORITMI GRAFICI
Il disegno è stato eseguito nell’a. s. 1995/96
da
Vermut Lorena della classe 4°A
dell’Istituto Statale d’Arte “G. Mazara” di Sulmona
per la materia :“Geometria descrittiva”
Insegnante: Prof. Elio Fragassi
La revisione delle formalizzazioni è stata curata dalla
dott.ssa Gabriella Mostacci
Il materiale può essere riprodotto citando la fonte
Autore
Prof. Elio Fragassi
LA CONDIZIONE DI ORTOGONALITA’
Enti
Formalizzazione esplicativa
Formalizzazione applicativa
r’  t1
r
t1  r'
r  
r“  t2
  r
t2  r"
LA CONDIZIONE DI ORTOGONALITA’
Enti
Basata sulla legge di contenenza
Formalizzazione esplicativa
Formalizzazione applicativa
a’t1
b’ t1
a
b’’ t2
a"t2
ab
ab
t1T1b
b
t2T2b
ab
ba
ba
t1  T1a
t2  T2a
LA CONDIZIONE DI ORTOGONALITA’
Enti
Basata sulla legge dell’appartenenza
Formalizzazione esplicativa
Formalizzazione applicativa
T1at1
a
ab
T1a t1
T2a t2
T2at2
ab
t1b’
b
t2b"
ab
ab
ab
t1 b'
t2 b"
LA CONDIZIONE DI ORTOGONALITA’
Enti
Basata sulla legge della contenenza
Formalizzazione esplicativa
Formalizzazione applicativa
t1T1a
t1T1b
a
t2T2b
t2T2a

a
a't1
a
a"t2


b
b’t1
b"t2
LA CONDIZIONE DI ORTOGONALITA’
Enti
Basata sulla legge dell’appartenenza
Formalizzazione esplicativa
Formalizzazione applicativa
t1b'
t1  b'
b

t2  b”
t2b"
b
T1bt1
b
T2bt2


b
T1b  t1
T2b  t2
Per maggiore completezza ed approfondimento degli argomenti si può
consultare il seguente sito
http://www.webalice.it/eliofragassi