ABCD - квадрат, AD=DC, ADC=90
ADC - равнобедренный прямоугольный.
По теореме Пифагора
AC= √(AD^2 + DC^2) =√(2AD^2) =AD√2
AC=AD√2 <=> AD=AC/√2
В треугольнике с углами 45, 45, 90 (равнобедренный прямоугольный) стороны относятся как 1:1:√2.
Диагональ квадрата со стороной а равна a√2.
