cos(45/2)=√((1+cos45)/2)=√(2+√2)/2. По теореме косинусов: BC^2=AC^2+AB^2-2*AB*AC*cos45/2 ; DC^2=AD^2+AC^2-2*AC*AD*cos45/2. И AC^2+AB^2-2*AB*AC*cos45/2=AD^2+AC^2-2*AC*AD*cos45/2, тогда AB^2-AD^2=16*cos45/2*(AB-AD), раскладываем разность квадратов и получаем AB+AD=8*√(2+√2)