قطرا المربَّع متعامدان ومتناصفان — موتور الشكل المتطوّر (GEODATA).
في المربَّع القطران متعامدان، إذن \((AC) \perp (BD)\).
في المربَّع القطران يتناصفان، إذن \(O\) منتصف \([BD]\) (وأيضًا منتصف \([AC]\)).
\((AC) \perp (BD)\) و \(O\) منتصف \([BD]\) و \(O \in (AC)\)، إذن \((AC)\) مؤسّط عمودي لـ \([BD]\).
\((AC) \perp (BD)\) و \((\Delta) \perp (BD)\): مستقيمان يعامدان \((BD)\)، إذن \((AC) \parallel (\Delta)\).
كل سؤال يضيف طبقة إلى نفس الشكل — بناء تدريجي للبرهان.