Problem

Source:

Tags: geometry, geometric inequality



Let $ABCD$ be a convex quadrilateral with $\angle BAC = \angle CAD$, $\angle ABC =\angle ACD$, $(AD \cap (BC =\{E\}$, $(AB \cap (DC = \{F\}$. Prove that: a) $AB\cdot DE = BC \cdot CE$ b) $AC^2 < \frac12 (AD \cdot AF + AB \cdot AE).$