Let $ABCD$ be convex quadrilateral such that $AB=CD$. And $E\neq F$ where $E, F$ is midpoint of $AC, BD$ respectively. Then prove that angle between$(AB, EF)$ and $(CD, EF)$ are equal.
I'll prove $\vec{AB}\cdot\vec{EF}=\vec{CD}\cdot\vec{EF}$. Using $\vec{EF}=\frac{1}{4}(\vec{AB}+\vec{CB}+\vec{CD}+\vec{AD})$, it's sufficient to prove that $$(\vec{AB}+\vec{CB}+\vec{CD}+\vec{AD})\cdot\vec{AB}=(\vec{AB}+\vec{CB}+\vec{CD}+\vec{AD})\cdot\vec{CD}\iff (\vec{CB}+\vec{AD})\cdot\vec{AB}=(\vec{CB}+\vec{AD})\cdot\vec{CD}\iff BC\cdot CDcos\angle C+AD\cdot CDcos\angle D=BC\cdot ABcos\angle B+BA\cdot ADcos\angle A\iff BCcos\angle C+ADcos\angle D=CBcos\angle B+ADcos\angle A$$. I can't continue after this. Can anyone help me?


Let the position vectors of $A,B,C$ and $D$ be $a,b,c$ and $d$ (not writing arrow above the symbols for ease in writing). \begin{align} (\vec {AB}-\vec {CD})\cdot\vec{EF}&=(b-a-(d-c))\cdot\left(\dfrac{b+d}{2}-\dfrac{a+c}{2}\right)\\ &=\dfrac12\times(b-a+c-d)\cdot(b-a-(c-d))\\ &=\dfrac12\times(|b-a|^2-|c-d|^2)\\ &=\dfrac12\times(AB^2-CD^2)\\ &=0 \end{align}