Решение : AD = A1D1 = V13
AC1 = 5
Из треугольника ADC1:
DC1^2 = AC1^2 - AD^2 = 5^2 - (V13)^2 = 25 - 13 = 12 = (2V3)^2
DC1 = 2V3
CC1 = BB1 = V3
DC1 = 2V3
Из треугольника DCC1:
DC^2 = DC1^2 - CC1^2 = (2V3)^2 - (V3)^2 = 12 - 3 = 9 = 3^2
DC = 3
вроде так