[tex]\it [AD-bisectoare\ \Rightarrow\ \widehat{(DAB)}\ \equiv\ \widehat{(DAE)}\ \ \ \ \ (1)\\ \\ ED||AB \Rightarrow \widehat{(DAB)} \equiv \widehat{(ADE)}\ (alterne\ interne)\ \ \ \ \ \ (2)\\ \\ (1),\ (2) \Rightarrow\ \widehat{(DAE)} \equiv \widehat{(ADE)} \Rightarrow \Delta DEA\ -\ isoscel,\ ED=EA[/tex]
