توازٍ وتعامد في مثلَّث قائم — موتور الشكل المتطوّر (GEODATA).
\((AB) \perp (AC)\) (الزاوية قائمة في \(A\)) و \((\Delta) \perp (AC)\) بالبناء: مستقيمان يعامدان \((AC)\)، إذن \((\Delta) \parallel (AB)\).
\((\Delta') \parallel (AC)\) و \((AB) \perp (AC)\) إذن \((\Delta') \perp (AB)\)، وبما أنّ \((\Delta) \parallel (AB)\) فإنّ \((\Delta') \perp (\Delta)\).
كل سؤال يضيف طبقة إلى نفس الشكل — بناء تدريجي للبرهان.