Мы знаем, что у равнобедренного треугольника углы при основании равны)
Угол Е=60градусов(так ,как сумма углов треугольника = 180градусов, поэтому Угол Е= 180-(90 +30)=60)
ЕF-биссектриса, поэтому угол CEF=углуDEF=30градусов
DEF-равнобедренный, потому что уголFDE=углуDEF
Доказано.