Чтобы найти часть от части, нужно умножить дроби:
\[\frac{5}{12} \cdot \frac{8}{15} = \frac{5 \cdot 8}{12 \cdot 15} = \frac{40}{180} = \frac{2}{9}\]Ваня собрал \(\frac{2}{9}\) всех грибов.
Чтобы узнать, какую часть всех грибов собрал Миша, нужно из общего количества (1) вычесть части, собранные Петей и Ваней:
\[1 - \frac{7}{15} - \frac{2}{9} = \frac{45}{45} - \frac{21}{45} - \frac{10}{45} = \frac{45 - 21 - 10}{45} = \frac{14}{45}\]Миша собрал \(\frac{14}{45}\) всех грибов, что составляет 28 грибов.
Если \(\frac{14}{45}\) всех грибов составляют 28 грибов, то чтобы найти общее количество, нужно 28 разделить на эту дробь:
\[28 : \frac{14}{45} = 28 \cdot \frac{45}{14} = \frac{28 \cdot 45}{14} = \frac{2 \cdot 45}{1} = 90\]Всего ребята собрали 90 грибов.
Ответ: 90