fine
POLIGONI (CONVESSI)
Che cosa è un poligono?
Che cosa è un insieme convesso?
fine
POLIGONI (CONVESSI)
Che cosa è un insieme convesso?
fine
CONVESSI
NON CONVESSI
fine
CONVESSI
NON CONVESSI
fine
CONVESSI
NON CONVESSI
fine
CONVESSI
NON CONVESSI
fine
CONVESSI
NON CONVESSI
fine
CONVESSI
NON CONVESSI
fine
CONVESSO
fine
CONVESSO
Un insieme X di punti del piano
(dello spazio)
con la seguente proprietà:
se A e B sono punti qualsiasi di X
il segmento AB è tutto contenuto in X
fine
NON CONVESSO
fine
NON CONVESSO
Un insieme X di punti del piano
(dello spazio)
con la seguente proprietà:
ci sono almeno due punti A e B di X
per i quali il segmento AB
non è tutto contenuto in X
fine
Teorema
L’intersezione di due insiemi convessi è un insieme
convesso.
Dimostrazione
Ipotesi:
1) X è un insieme convesso
2) Y è un insieme convesso
Tesi
X  Y è un insieme convesso
N. B. X  Y è l’insieme dei punti che stanno
contemporaneamente in X e Y
fine
Teorema
L’intersezione di due insiemi convessi è un insieme
convesso.
Dimostrazione
Ipotesi:
1) X è un insieme convesso
2) Y è un insieme convesso
Tesi
X  Y è un insieme convesso
N. B. X  Y è l’insieme dei punti che stanno
contemporaneamente in X e Y
X Y
X
Y
Prendiamo due punti A e B in X Y e costruiamo il segmento AB.
fine
Teorema
L’intersezione di due insiemi convessi è un insieme
convesso.
Dimostrazione
Ipotesi:
1)X è un insieme convesso
2)Y è un insieme convesso
Tesi
X  Y è un insieme convesso
N. B. X  Y è l’insieme dei punti che stanno
contemporaneamente in X e Y
X
A
B
Y
Prendiamo due punti A e B in X Y e costruiamo il segmento AB.
Poiché X è convesso, AB è tutto contenuto in X.
Poiché Y è convesso, AB è tutto contenuto in Y.
Allora AB è tutto contenuto in X Y .
fine
POLIGONI (CONVESSI)
Partiamo da:
ANGOLO INTERSEZIONE (NON VUOTA)
DI DUE SEMIPIANI CON RETTE
ORIGINE NON PARALLELE
fine
Questo (modello di) foglio
rappresenta il piano della geometria di Euclide
fine
fine
piano
fine
fine
retta
fine
fine
fine
fine
Semipiano 1
Semipiano 2
fine
Semipiano 1
Semipiano 2
I semipiani sono insiemi convessi
fine
fine
fine
angolo
fine
POLIGONI (CONVESSI)
ANGOLO INTERSEZIONE (NON VUOTA)
DI DUE SEMIPIANI CON RETTE
ORIGINE NON PARALLELE
fine
POLIGONI (CONVESSI)
ANGOLO INTERSEZIONE (NON VUOTA)
DI DUE SEMIPIANI CON RETTE
ORIGINE NON PARALLELE
Gli angoli (così definiti) sono
insiemi convessi (Teorema)
fine
POLIGONI (CONVESSI)
TRIANGOLO
INTERSEZIONE (NON VUOTA) DI TRE
SEMIPIANI CON RETTE ORIGINE NON
PARALLELE
dati A, B, C, si scelgono
S(A) semipiano di origine BC contenente A
S(B) semipiano di origine AC contenente B
S(C) semipiano di origine AB contenente C
fine
POLIGONI (CONVESSI)
TRIANGOLO
INTERSEZIONE (NON VUOTA) DI TRE
SEMIPIANI CON RETTE ORIGINE NON
PARALLELE
dati A, B, C, si scelgono
S(A) semipiano di origine BC contenente A
S(B) semipiano di origine AC contenente B
S(C) semipiano di origine AB contenente C
I triangoli sono insiemi convessi
(Teorema)
fine
fine
triangolo
fine
POLIGONI (CONVESSI)
QUADRANGOLO (CONVESSO) ABCD
(nell’ordine)
INTERSEZIONE (NON VUOTA) DI QUATTRO
SEMIPIANI
A B C D sono scelti in modo che
AB sono nello stesso semipiano di origine CD
BC sono nello stesso semipiano di origine AD
CD sono nello stesso semipiano di origine AB
DA sono nello stesso semipiano di origine BC
fine
POLIGONI (CONVESSI)
QUADRANGOLO (CONVESSO) ABCD
(nell’ordine)
INTERSEZIONE (NON VUOTA) DI QUATTRO
SEMIPIANI
A B C D sono scelti in modo che
AB sono nello stesso semipiano di origine CD
BC sono nello stesso semipiano di origine AD
CD sono nello stesso semipiano di origine AB
DA sono nello stesso semipiano di origine BC
I quadrangoli così definiti sono
insiemi convessi (Teorema)
fine
fine
convessi
non
convessi
fine
convessi
non
convessi
fine
convessi
non
convessi
fine
convessi
non
convessi
fine
convessi
non
convessi
fine
convessi
non
convessi
fine
convessi
non
convessi
fine
convessi
non
convessi
fine
POLIGONI (CONVESSI)
PENTAGONO(CONVESSO) ABCDE
(nell’ordine)
INTERSEZIONE (NON VUOTA) DI CINQUE
SEMIPIANI
A B C D E sono scelti in modo che
ABC sono nello stesso semip. di origine DE
BCD sono nello stesso semip. di origine AE
CDE sono nello stesso semip. di origine AB
DEA sono nello stesso semip. di origine BC
EAB sono nello stesso semip. di origine CD
fine
POLIGONI (CONVESSI)
PENTAGONO(CONVESSO) ABCDE
(nell’ordine)
INTERSEZIONE (NON VUOTA) DI CINQUE
SEMIPIANI
A B C D E sono scelti in modo che
ABC sono nello stesso semip. di origine DE
BCD sono nello stesso semip. di origine AE
CDE sono nello stesso semip. di origine AB
DEA sono nello stesso semip. di origine BC
EAB sono nello stesso semip. di origine CD
I pentagoni così definiti sono
insiemi convessi (Teorema)
fine
convessi
non
convessi
fine
convessi
non
convessi
fine
convessi
non
convessi
fine
convessi
non
convessi
fine
convessi
non
convessi
fine
convessi
non
convessi
fine
convessi
non
convessi
fine
convessi
non
convessi
fine
POLIGONI (CONVESSI)
DATI n VERTICI (in un dato ordine)
A1 A2 ……….An-1 An
diciamo che i vertici Ak e Ak+1sono adiacenti
(diciamo che anche A1 e An sono adiacenti).
Per costruire un poligono convesso, considero
n punti con la proprietà seguente:
ogni retta che contiene due vertici adiacenti
non separa gli altri vertici,
cioè li lascia tutti nello stesso semipiano
fine
fine
E ripeto per tutti i vertici!
fine
E ripeto per tutti i vertici!
fine
E ripeto per tutti i vertici!
Ho trovato 2 vertici che
separano!
fine
POLIGONI (CONVESSI)
DATI n VERTICI (in un dato ordine)
A1 A2 ……….An-1 An
diciamo che i vertici Ak e Ak+1sono adiacenti
(diciamo che anche A1 e An sono adiacenti).
Per costruire un poligono convesso, considero
n punti con la proprietà seguente:
ogni retta che contiene due vertici adiacenti
non separa gli altri vertici,
cioè li lascia tutti nello stesso semipiano
fine
POLIGONI (CONVESSI)
DATI n VERTICI (in un dato ordine)
A1 A2 ……….An-1 An
diciamo che i vertici Ak e Ak+1sono adiacenti
(diciamo che anche A1 e An sono adiacenti).
Per costruire un poligono convesso, considero
n punti con la proprietà seguente:
ogni retta che contiene due vertici adiacenti
non separa gli altri vertici,
cioè li lascia tutti nello stesso semipiano
il poligono convesso A1 A2 ……….An-1 An
è costituito dall’intersezione di tutti i
semipiani che hanno le seguenti proprietà:
1) hanno come origine la retta per due vertici
adiacenti;
2) contengono tutti gli altri vertici.
fine
fine
POLIGONI (CONVESSI)
Lato del poligono:
ogni segmento che congiunge
due vertici adiacenti
Diagonale del poligono:
ogni segmento che congiunge
due vertici non adiacenti
Le rette per i lati non
separano i vertici.
Le rette per le diagonali
separano i vertici.
Classificazione di alcuni insiemi
di poligoni convessi
acutangolo
rettangolo
scaleno
isoscele
Triangoli
ottusangolo
fine
Classificazione di alcuni insiemi
di poligoni convessi
acutangolo
rettangolo
scaleno
isoscele
equilatero
Triangoli
ottusangolo
fine
Classificazione di alcuni insiemi
di poligoni convessi
Trapezi: quadrangoli con (almeno) due lati paralleli;
Parallelogrammi: Quadrangoli con due coppie di
lati paralleli.
Rettangoli: Parallelogrammi con 4 angoli
congruenti (retti)
Rombi: Parallelogrammi con 4 lati
congruenti
Quadrati: Parallelogrammi con
4 angoli congruenti (retti) e
4 lati congruenti
Quadrangoli
fine
Classificazione di alcuni insiemi
di poligoni convessi
trapezi
rettangoli
parallelogrammi
quadrati
Quadrangoli
rombi
fine