لدينا في متوازي الأضلاع \(ABCD\): \((AB) // (CD)\) و \(AB = CD\).
بما أن \(E\) منتصف \([AB]\) و \(F\) منتصف \([CD]\)، فإن \(AE = \frac{1}{2}AB = 2\) و \(DF = \frac{1}{2}CD = 2\).
إذن \(AE = DF\) و \((AE) // (DF)\)، مما يعني أن \(AEFD\) متوازي أضلاع.
وبما أن \(AD = 2\) و \(AE = 2\)، فإن \(AD = AE\).
متوازي أضلاع له ضلعان متجاوران متقايسان هو معين، إذن \(AEFD\) معين.
بما أن \(ABCD\) متوازي أضلاع، فإن \(\widehat{ADC} = 180^{\circ} - 60^{\circ} = 120^{\circ}\).
في المعين \(AEFD\)، القطر \([ED]\) هو منصف للزاوية \(\widehat{ADF}\)، لكن المطلوب هو الزاوية \(\widehat{EFD}\).
بما أن الزاويتين المتقابلتين في المعين متقايستان، فإن \(\widehat{EFD} = \widehat{EAD}\).
وحيث أن \(\widehat{EAD} = 180^{\circ} - 120^{\circ} = 60^{\circ}\)، فإن \(\widehat{EFD} = 60^{\circ}\).