Формат ЕГЭ +

До единого экзамена остается 2 месяца, и поэтому мы снова открываем рубрику подготовки к профильному ЕГЭ по геометрии.
Эту задачу предложили ученикам 11 класса на олимпиаде Курчатова в прошлое воскресенье, и она как раз соответствует формату задач второй части ЕГЭ на «доказательство + вычисление».
К сожалению, в данном на олимпиаде варианте задача была без рисунка и с некорректными длинами отрезков, поэтому я предлагаю решить второй пункт этой задачи с отрезками 1 и 4.
Как обычно, свои ответы пишите в комментариях.