Сначала найдём общее количество "человеко-дней", необходимое для укладки плитки:
\( 15 \text{ рабочих} \times 6 \text{ дней} = 90 \text{ человеко-дней} \)
Теперь разделим общее количество "человеко-дней" на 9 дней, чтобы узнать, сколько рабочих потребуется:
\( 90 \text{ человеко-дней} : 9 \text{ дней} = 10 \text{ рабочих} \)
Ответ: 10 рабочих.