modifica
{ [segmento] : a,b,c [convenzione] }
{dati due punti qualsiasi di un piano il segmento che li unisce appartiene al piano$forall (A,B)inpi, ABinpi$ [postulato] 2 del [piano] }
{ [segmento] AB:(A$le$punti$le$B) [definizione] }
{ [punto medio] del segmento pm(AB) il punto che lo divide in due segmenti congruenti [definizione] }
{$(ABpmCD,CDcongFG)rarr(ABpmCDcongABpmFG)$ [assioma] di [sostituzione] (o transititiva'): posso sostituire ad un segmento uno ad esso $cong$ }
{$(ABcongkCD,CDcongFG)rarr(ABcongkFG)$ [assioma] di [sostituzione] : posso sostituire ad un segmento uno ad esso $cong$ }
{$ABcongCD,A'B'congC'D' rarr AB+-A'B'congCD+-C'D'$ somme o differenze di [segmento] /i a due a due $cong$ sono a loro volta $cong$}
{$ABcongCDrarrkABcongkCD$ multipli o sottomultipli di [segmento] /i tra loro $cong$ sono a loro volta $cong$}
{ [proiezione] di un [segmento] su una [retta:] il segmento tra le proiez. dei due punti}
{distanza [punto] - [retta] : la lunghezza del [segmento] punto-sua proiezione}
{figura concava: esiste un segmento tra due suoi punti che fuoriesce dalla figura}
{punto medio:= quello che divide un segmento in due parti uguali}
{segmento tra i punti medi di un triangolo $cong 1/2$ lato rimanente }
{ [definizione] [circonferenza] [segmento circolare] : una delle due mezze lune ottenute tagliando un cerchio con una forbici}
{ [definizione] [circonferenza] [segmento circolare a due basi] : la parte interna di un cerchio tagliato lungo due corde parallele}