Przyjmijmy oznaczenia jak na poniższym rysunku. 

Punkty E, F, G i H są kolejnymi środkami boków rombu ABCD. 

Zatem: 

Przyjmijmy również, że: 

oraz:

Suma miar kątów leżących przy jednym ramieniu wynosi 180^o, zatem: 

Trójkąty HAE i FCG oraz trójkąty EBF i GDH są przystające (cecha bkb). 

W trójkącie HAE mamy (analogicznie mamy w trójkącie FCG): 

W trójkącie EBF mamy (analogicznie mamy w trójkącie GDH):

Zauważmy, że kąty AEH, HEF i BEF to kąty przyległe. Suma ich miar wynosi 180^o. 

Analogicznie mamy dla pozostałych kątów leżących przy każdym z ramion rombu. 

Obliczamy więc ile wynosi miara każdego z kątów wewnętrznych czworokąta EFGH.

Miara każdego z kątów wewnętrznych czworokąta EFGH wynosi 90^o. 

Oznacza to, że czworokąt ten jest prostokątem.