Sea $ABCD$ un cuadrilátero convexo con $AB=BC=CD$, con $AC \neq BD$, y sea $E$ el punto de intersección de sus diagonales. Demuestra que $AE=DE$ si y solo si $\angle BAD+\angle ADC = 120^\circ$.