Треуг ЕDO = треуг ЕОА по двум сторонам и прямому углу между ними
ЕО - общая сторона, АО = ОD т. к. О - середина биссектрисы АD и угол DOE = AOE - прямой
треуг ЕОА = AOF по стороне и прилежащим к ней углам
АО - общая сторона, угол ОАЕ = OAF т. к. AD - биссектриса, угол AOF = АОЕ - прямой AFDE - ромб
отсюда следует DE=EA=AF=4