Для удобства рассуждений объединим кузнецов в 4 бригады по 12 человек, а лошадей – в 5 табунов по 12 лошадей. Тогда расписание работ бригад по пятиминуткам можно устроить образом:
1 табун х х х х
2 табун х х х х
3 табун х х х х
4 табун х х х х
5 табун х х х х
Таким образом, за пять пятиминуток кузнецы смогут подковать лошадей. За меньшее время это сделать не удастся, что нетрудно понять, если заметить, что при предложенном расписании ни один кузнец не простаивает.
1 табун х х х х
2 табун х х х х
3 табун х х х х
4 табун х х х х
5 табун х х х х
Таким образом, за пять пятиминуток кузнецы смогут подковать лошадей. За меньшее время это сделать не удастся, что нетрудно понять, если заметить, что при предложенном расписании ни один кузнец не простаивает.