Question 42Let $ABCD$ be a trapezoid with $BC\parallel AD$. Suppose the bisectors of $\angle BAD$ and $\angle CDA$ meet on the perpendicular bisector of $BC$. Prove that $AB=CD$ or $AB+CD=AD$.