لدينا \((IN) // (AM)\) (حسب المعطيات) و \((IM) // (AN)\) (لأن \((IJ) // (AB)\)).
إذن الرباعي \(AMIN\) متوازي أضلاع.
في المثلث \(ABC\)، المستقيم \((IM)\) يمر من منتصف \([BC]\) وموازٍ لـ \([AB]\)، إذن \(M\) منتصف \([AC]\).
بالتالي \(AM = \frac{1}{2} AC\).
كذلك المستقيم \((IN)\) يمر من منتصف \([BC]\) وموازٍ لـ \([AC]\)، إذن \(N\) منتصف \([AB]\).
بالتالي \(AN = \frac{1}{2} AB\).
بما أن \(AB = AC\) (المثلث متقايس الضلعين)، فإن \(AN = AM\).
متوازي أضلاع له ضلعان متجاوران متقايسان هو معين، إذن \(AMIN\) معين.