Для нахождения угла ADC воспользуемся теоремой косинусов.
Обозначим угол ADC как x. Так как треугольник ABC - равносторонний, то угол BAC равен 60 градусов. Также угол BAC равен сумме углов BAD и DAC, поэтому угол DAC равен 15 градусов.
Теперь можем найти угол ADB, который равен 90 - 45 = 45 градусов. Так как треугольник ADB - прямоугольный, то можем применить теорему косинусов:
cos(x) = (AB^2 + BD^2 - AD^2) / (2 AB BD)
cos(x) = (1^2 + 1^2 - AD^2) / (2 1 1)
cos(x) = (2 - AD^2) / 2
Так как угол x лежит в первой четверти, то cos(x) > 0, следовательно:
2 - AD^2 > 0
AD^2 < 2
AD < sqrt(2)
Таким образом, угол ADC равен arccos((2 - AD^2) / 2) = arccos((2 - 2) / 2) = arccos(0) = 90 градусов.