Счетовод Ефим считал ворон на берёзе. Он заметил, что среди любых 15 есть хотя бы одна с белой головой, среди любых 10 есть хотя бы одна с серой головой, а среди любых 12 есть хотя бы одна с чёрной головой. Наконец, он заметил, что никаких вороньих голов, кроме чёрных, белых и серых, на берёзе не наблюдается. Сколько могло быть ворон на берёзе? Требуется найти все возможные варианты. При этом хотя бы 15 ворон на дереве имеется.

Для решения этой задачи, давайте обозначим количество ворон с разными цветами голов:

• \( x \) — количество ворон с белой головой,
• \( y \) — количество ворон с серой головой,
• \( z \) — количество ворон с черной головой.

Исходя из условий задачи, мы можем сформулировать следующие неравенства:

1. Среди любых 15 ворон есть хотя бы одна с белой головой, значит, максимальное количество ворон с серой и черной головами составляет 14: \[ y + z \leq 14 \]

2. Среди любых 10 ворон есть хотя бы одна с серой головой, значит, максимальное количество ворон с белой и черной головами составляет 9: \[ x + z \leq 9 \]

3. Среди любых 12 ворон есть хотя бы одна с черной головой, значит, максимальное количество ворон с белой и серой головами составляет 11: \[ x + y \leq 11 \]

И, конечно, общее количество ворон на березе должно быть не менее 15: \[ x + y + z \geq 15 \]

Теперь мы можем искать все возможные целые решения для этих неравенств. Чтобы это сделать, мы можем представить \( z \) как \( 15 - x - y \) и подставить его в наши неравенства.

1. Подставляя \( z \) в первое неравенство: \[ y + (15 - x - y) \leq 14 \Rightarrow 15 - x \leq 14 \Rightarrow x \geq 1 \]

2. Подставляя \( z \) во второе: \[ x + (15 - x - y) \leq 9 \Rightarrow 15 - y \leq 9 \Rightarrow y \geq 6 \]

3. Подставляя \( z \) в третье: \[ x + y \leq 11 \] В сочетании с \( y \geq 6 \): \[ x + 6 \leq 11 \Rightarrow x \leq 5 \]

Таким образом, мы получили:

1. \( 1 \leq x \leq 5 \)
2. \( y \geq 6 \)

Теперь можем подставить значения для \( x \) и найти соответствующее \( y \) и \( z \).

Рассмотрим все возможные значения \( x \):

• Если \( x = 1 \): \[ y \leq 10 \Rightarrow z \geq 4 \quad \text{(то есть } 1 + y + z \geq 15 \text{)} \]

• Если \( x = 2 \): \[ y \leq 9 \Rightarrow z \geq 4 \quad \text{(то есть } 2 + y + z \geq 15 \text{)} \]

• Если \( x = 3 \): \[ y \leq 8 \Rightarrow z \geq 4 \quad \text{(то есть } 3 + y + z \geq 15 \text{)} \]

• Если \( x = 4 \): \[ y \leq 7 \Rightarrow z \geq 4 \quad \text{(то есть } 4 + y + z \geq 15 \text{)} \]

• Если \( x = 5 \): \[ y \leq 6 \Rightarrow z \geq 4 \quad \text{(то есть } 5 + y + z \geq 15 \text{)} \]

Для каждого значения \( x \) мы можем подставлять значения \( y \) и отслеживать, сколько оставшихся мест для \( z \) можем получить. Эти уравнения будут определять все возможные варианты:

Таким образом, рассматривая все варианты и условия, можно получить вероятность существования следующих видов групп ворон (где сумма ворон всегда больше или равна 15):

• \( (1, 6, z) \) (где \( z \leq 8, z + 7 \leq 8 и т.д. \))
• \( (2, 6, z) \)
• \( (3, 6, z) \)
• \( (4, 6, z) \)
• \( (5, 6, z) \)

Таким образом, количество ворон может варьироваться, но все методы сводятся к численным изысканиям на основе предыдущих условий.