deci simetricul lui O fata de A este E => OA=AE
simetricul lui O fata de C este F => OC=CF
dar pentru ca ABCD este paralelogram => AO=OC => AE=CF => AE+OA=OC+CF=> EO=OF( una dintre viitoarea diagonala se injumatateste)
ABCD paralelogram => BO=OD
BEDF,BO=OD,OE=OF =>BEDF paralelogram ( daca intr-un patrulater diagonalele se injumatatesc atunci acesta este paralelogram )