Teorema del punto interno
presi due punti A e B distinti sulla retta ordinata, con B che segue A, c'è almeno un punto P sulla retta che segue A e precede BDopo aver definito il segmento, la proposizione può essere enunciata come "in ogni segmento c'è almeno un punto interno". La scelta di inserire questa proposizione tra i postulati è dettata da ragioni di semplicità espositiva, ma non è affatto necessaria: l'assioma di partizione del piano, accanto al postulato di illimitatezza "preso un punto A sulla retta, c'è almeno un punto che precede e un punto che segue A", permette di dimostrare la proposizione. Vediamo come.
Retta AB
Quale postulato garantisce l'esistenza della retta AB?
Punto C
Quale postulato garantisce l'esistenza di un punto C fuori dalla retta AB?
Retta AC
Quali postulati garantiscono l'esistenza della retta ordinata AC?
Punto D
Qual è l'enunciato del postulato garantisce l'esistenza di un punto D che segue C sulla retta ordinata AC?
Retta BD
Quali postulati garantiscono l'esistenza della retta ordinata BD?
Punto E
Qual è l'enunciato del postulato che garantisce l'esistenza di un punto E che segue D sulla retta ordinata BD?
Retta EC
Quale postulato garantisce l'esistenza della retta EC?
Semipiani
Quale postulato garantisce che la retta EC divide il piano in due semipiani?
EC e BD
Perché la retta EC e il segmento BD non possono intersecarsi?
B e D
Quale retta genera il semipiano che contiene B e D che utilizziamo nella dimostrazione?
A, D e la retta EC
Perché A e D sono in semipiani diversi?
Esistenza
Concludiamo che esiste un punto interno al segmento AB
F
Quale assioma garantisce l'esistenza di F?