Почему AD = AC/√2 Нигде не могу найти, помогите пожалуйста!!!

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.