1. Вектор EF равен полусумме векторов BA и DC: $$\vec{EF} = \frac{1}{2}(\vec{BA} + \vec{DC})$$.
2. Умножив обе части на 2, получаем: $$2\vec{EF} = \vec{BA} + \vec{DC}$$.
3. Так как векторы FE, BA и DC коллинеарны (лежат на одной прямой или параллельных прямых), они компланарны. Доказано.