Ответ:

В правильном восьмиугольнике диагональ AD равна длине стороны, умноженной на √(2(1+cos(3π/4))). Используя AB = a, находим AD = a√(2(1+(-√2/2))).