بناء الرباعي AIJK وإثبات أنّه مستطيل — موتور الشكل المتطوّر (GEODATA).
نرسم من \(I\) المستقيم \((IJ)\) العمودي على \((AB)\)، فيقطع \((BC)\) في \(J\).
نرسم من \(J\) المستقيم \((JK)\) العمودي على \((IJ)\)، فيقطع \((AC)\) في \(K\).
\((IJ) \perp (AB)\) بالبناء و \((JK) \perp (IJ)\) بالبناء: المستقيمان \((AB)\) و \((JK)\) يعامدان نفس المستقيم \((IJ)\).
\((AB) \perp (AC)\) لأنّ الزاوية قائمة في \(A\)، و \((JK) \parallel (AB)\).
مستقيم عمودي على أحد مستقيمين متوازيين يكون عموديًا على الآخر، إذن \((JK) \perp (AC)\)، أي:
في الرباعي \(AIJK\): \((AI) \parallel (KJ)\) و \((IJ) \parallel (AK)\) (كلّ زوج يعامد نفس المستقيم)، والزاوية قائمة في \(A\).
رباعي أضلاعه متوازية مثنى مثنى وفيه زاوية قائمة هو مستطيل.
كل سؤال يضيف طبقة إلى نفس الشكل — بناء تدريجي للبرهان.