In the tetrahedron $ABCD$, the point $E$ is the projection of the point $D$ on the plane $(ABC)$. Prove that the following statements are equivalent: a) $C = E$ or $CE \parallel AB$ b) For each point M belonging to the segment $CD$, the following equation is satisfied $$S^2_{\vartriangle ABM}= \frac{CM^2}{CD^2}\cdot S^2_{\vartriangle ABD}+\left(1- \frac{CM^2}{CD^2} \right)S^2_{\vartriangle ABC}$$where $S_{\vartriangle XYZ}$ means the area of triangle $XYZ$.
Problem
Source: IV All-Ukrainian Tournament of Young Mathematicians, Qualifying p11
Tags: geometry, 3D geometry, geometric inequality, tetrahedron, Ukrainian TYM