Explicație pas cu pas:
4. [AC] = [BD]
AC + CD = BD + CD => [AD] = [BC]
∢AED = ∢BFC (ip.)
∢EDA = ∢FCB (ip.)
=> Δ EAD = Δ FCB (cazul U.U.L.)
=> ∢EAD = ∢FBC și [AE] = [BF]
5. [AB] = [CD]
∢BAO = ∢DCO = 90° (ip.)
∢BOA = ∢DOC (opuse la vârf)
=> Δ BAO = Δ DCO (cazul U.U.L.)
=> [BO] = [DO] => O mijlocul segmentului [BD]
