Сгруппируем в обоих выражения члены, равноотстоящие от концов. В результате получим, что разность между выражением слева и выражением справа равна сумме выражений вида  a_kb_k + a_n+1–kb_n+1–k – a_kb_n+1–k – a_n+1–kb_k = (a_k – a_n+1–k)(b_k – b_n+1–k) > 0.

Ответ задачи отсутствует