Explicație pas cu pas:
F€AB si E€CD =>AF//CE
AE_|_CD si CD//AB => AE_|_ AB dar cum CF _|_ AB =>
AE//CF
=> AECF pllg dar cum m CFA=90 => AECF-romb
M-mij AF si Q mij AE=> QM-l.mij in triunghiul AFE =>
QM//FE si QM=FE/2
N mij CF si P mij CE => NP l.mij in triunghiul CFE =>
NP//FE si NP=FE/2
=> MQPN pllg dar cum MN este l.mij in triunghiul AFC =>
MN=AC/2 dar cum AC=FE => MN=FE/2
=> MQPN romb