أ- في الرباعي \(ABDF\)، نثبت أنه متوازي أضلاع ثم مستطيل:
لدينا \(E\) منتصف \([BD]\)، إذن \(BE = ED\). وبما أن \(F\) مناظرة \(E\) بالنسبة لـ \(D\)، فإن \(ED = DF\).
نستنتج أن \(BE = DF\) و \((BE) // (DF)\) (لأنهما على نفس المستقيم)، إذن \(ABDF\) متوازي أضلاع.
وبما أن المثلث \(ABD\) قائم في \(B\)، فإن الزاوية \(\widehat{ABD}\) قائمة.
متوازي أضلاع به زاوية قائمة هو مستطيل. إذن \(ABDF\) مستطيل.
ب- في المستطيل \(ABDF\)، القطران متقايسان، إذن \(BF = AD\).
وفي متوازي الأضلاع \(ABHD\)، الأضلاع المتقابلة متقايسة، إذن \(BH = AD\).
من ذلك نستنتج أن \(BF = BH\).