modifica
{ [definizione] [parallelogramma] : quadrilatero con lati opposti paralleli }
{ [definizione] rettangolo: parallelogramma con angoli $cong$ }
{ [definizione] [rombo] : [parallelogramma] con lati $cong$ }
{ [definizione] [quadrato] : [parallelogramma] con lati e angoli $cong$ }
{teo:$ABCD,AB$//$CD,BC$//$AD rarr ABcongCD ^^ BCcongAD$ i lati opposti del parallelogramma sono $cong$ }
{teo:$ABCD,AB$//$CD,BC$//$AD rarr hat(A)conghat(C) ^^ hat(B)conghat(D)$ gli angoli opposti del [parallelogramma] sono $cong$ }
{4ro + lati opposti $cong rarr$ [//gr] [parallelogramma] }
{angoli opposti $cong rarr$ [//gr] [parallelogramma] }
{//gr,diag1$nn$diag2 $=$ pm $rarr$ [//gr] [parallelogramma] }
{2 lati opposti sono // e $cong rarr$ [//gr] [parallelogramma] }
{ABCD [//gr] + AC$cong$BD $rarr$ ABCD e' un rett. [parallelogramma] }
{ [teorema] ABCD:[//gr] $O=d_1nnnd_2$ e' [c.s.] (centro di simmetria) ovvero $sigma_O(ABCD)=ABCD$ L'intersezione delle diagonale del parallelogramma e' suo [c.s.] }