нарисовать блок-схему к задаче. Виконавець малює прямокутники, розміщенні один поруч з іншим, якщо довжини сторін першого з них порівнюють а і b, а довжини сторін кожного наступного на 5 кроків більші за довжини сторін попереднього, поки площа прямокутника буде не більша за 2000.
1.1. Валерий будет третьим. 1.2. Василий будет первым.
2.1. Сергей будет вторым. 2.2. Валерий будет третьим.
3.1. Андрей будет первым. 3.2. Сергей будет третьим.
Допустим, 1.1 истинно, тогда 1.2 ложно.
Если 1.1 истинно, то истинно и 2.2, тогда 2.1 ложно.
Если 1.1. истинно, то 3.2. ложно, тогда 3.1. истинно.
Получаем распределение мест: Валерий третий (1.1.), Андрей первый (3.1.), Сергей не второй, следовательно, второй Василий (методом исключения).
Противоречий нет.
Проверим альтернативный вариант.
Допустим, 1.1. ложно, тогда 1.2. истинно.
Если 1.1. ложно, то и 2.2. ложно, тогда 2.1. истинно.
Если 2.1. истинно, то 3.2 ложно, тогда 3.1 истинно.
Но истинные 1.2. и 3.1. противоречат друг-другу, следовательно наше допущение неверно и 1.1. ложным быть не может.
Окончательно: Андрей первый, Василий второй, Валерий третий, Сергей четвертый (во всяком случае, не вошел в первую тройку).