Prosta MQ dzieli odcinki AB i DB na dwie równe części, a zatem z twierdzenia odwrotnego do
twierdzenia Talesa wynika, że prosta MQ jest równoległa do prostej AD. Ponadto, na mocy
| AD | ||
podobieństwa trójkątów MBQ i ABD w skali 1:2, MQ= | . Analogicznie dowodzimy: | |
| 2 |
| AD | BC | BC | ||||
NP||AD i NP= | =MQ, MP||BC i MP= | , NQ||BC i NQ= | =MP. Wobec tego | |||
| 2 | 2 | 2 |
| AD | BC | |||
prostym, co implikuje, że jest on także rombem i | =MQ=NQ= | , czyli AD=BC. To | ||
| 2 | 2 |