Нехай Антон зібрав грибів, Борис грибів, Василь грибів, А гриць грибів.
Перша умова: «Антон із Борисом разом зібрали грибів саме стільки, як Василь і Гриць»
Друга умова: «В антона з грицем грибів менше, ніж в Бориса з Василем»
Третя умова: «Гриць знайшов більше грибів ніж, Василь»
c" alt="d>c" align="absmiddle" class="latex-formula">
Складемо все це в систему й будемо її перетворювати:
з перших двох виразів останньої системи видно, що d-b" alt="b-d>d-b" align="absmiddle" class="latex-formula">, тобто:
2d\\b>d" alt="2b>2d\\b>d" align="absmiddle" class="latex-formula">
Тепер повернемося до першої умови. Якщо d" alt="b>d" align="absmiddle" class="latex-formula">, то можемо підставити замість і отримати замість рівняння нерівність:
Все, ми розв'язали задачу. Маємо ланцюг: d>c>a" alt="b>d>c>a" align="absmiddle" class="latex-formula">.
Відповідь: Антон, Василь, Гриць, Борис.