Для решения этой задачи применим теорему косинусов в треугольнике ABD:
AB^2 = AD^2 + BD^2 - 2ADBD*cos(BAD)
Подставляем значения данного нам с условиями задачи:
5^2 = 12^2 + BD^2 - 212BD*cos(45°)
Решаем уравнение относительно BD:
25 = 144 + BD^2 - 24BD(√2/2) 25 = 144 + BD^2 - 12BD BD^2 - 12BD + 144 - 25 = 0 BD^2 - 12BD + 119 = 0
Находим дискриминант D = 12^2 - 41119 = 144 - 476 < 0, значит корни уравнения будут комплексными.
Следовательно, нам дано, что точка В лежит в плоскости ABCD, а точка В1 порождает с AD1D2 прямую параллельно AD.