modifica
{ [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$ }
{ [mediana] : [vertice] - [pm] (lato) [definizione] [triangolo] danno [baricentro] }
{$(hat(A)pmhat(B),hat(B)conghat(C)) rarr (hat(A)pmhat(B)conghat(A)pmhat(C))$ assioma di sostituzione (o transititiva'): posso sostituire ad un angolo uno ad esso $cong$ }
{diag1$nn$diag2 $-=$ pm(diag1)=pm(diag2) }
{//gr,diag1$nn$diag2 $=$ pm $rarr$ [//gr] [parallelogramma] }
{ [circonferenza] [teorema] $(d _|_ c) cap c -= $pm(c) il diametro perp. alla corda ne stacca il pm. dim: altezza negli isosceli }