Формат ЕГЭ +

Вот еще одна задача, которую я придумал в формате Единого государственного экзамена: доказательство + вычисление. Она немного сложнее тех задач, которые обычно предлагают на ЕГЭ, зато красиво и коротко решается. Предлагаю вам над ней подумать!
Как обычно, в комменты пишите ответы, а не решения:)