7. Сравнение без счёта

🏭

Сбой на складе робототехники

Представьте: вы попали на завод по производству роботов. Произошёл сбой конвейера. Перед вами — огромная куча корпусов роботов с одной стороны и гора аккумуляторных батарей с другой. Объекты лежат вперемешку, их сотни.

Начальник цеха требует немедленного ответа:

«Хватит ли батарей на всех роботов, или нужно срочно дозаказывать партию?»
⏱️

Считать объекты по одному слишком долго — конвейер запустят через минуту.

🔢

Если начнём считать (один, два, три...), мы собьёмся — кучи хаотичны.

👁️

Визуально оценить сложно: роботы большие, батареи маленькие. Глаза нас обманут.

Как со 100% точностью узнать, чего больше, не используя числа и не пересчитывая предметы?

Мы отказываемся от идеи «узнать количество». Нам не нужно знать, сколько объектов в каждой куче. Нам важно только соотношение между ними. А для этого достаточно попробовать составить пары.

Представьте, что вместо подсчёта мы запускаем конвейер: каждый робот едет по ленте и автоматически «хватает» ближайшую свободную батарею. Когда конвейер остановится, мы смотрим: что осталось без пары?

1

Запускаем конвейер

Роботы и батареи движутся навстречу друг другу.

2

Автосцепка

Каждый робот захватывает одну батарею.

3

Смотрим остаток

Что осталось без пары?

Жёсткое правило: одна батарея — один робот. Нельзя подключить две батареи к одному роботу или двух роботов к одной батарее. Это правило «один к одному».

В конце процесса соединения возможны только три исхода. Анализируем, что осталось:

🤖🔋 🤖 🤖

Лишние роботы

Остались роботы без пары. Вывод: роботов больше.

>
🤖🔋 🔋 🔋

Лишние батареи

Остались батареи без пары. Вывод: батарей больше.

<
🤖🔋 🤖🔋

Пустота

Все нашли пару. Вывод: их поровну.

=

Важнейший вывод: количество не зависит от размера объектов. Большие объекты занимают больше места, но это ничего не говорит о том, сколько их.

🐘 🐘 🐘 🐘 🐘

5 огромных слонов

| | | | |
🐜 🐜 🐜 🐜 🐜

5 крошечных муравьёв

💡

Как бы мы ни меняли размер слонов или муравьёв, количество пар не изменится. «Больше» в математике означает количество экземпляров, а не занимаемое место.

Переходим от конвейера к языку математики.

Определение

Два множества равны, если каждому элементу одного множества можно найти пару в другом множестве, и при этом не останется лишних элементов. Числа для этого не нужны.

>

Если остались объекты в группе A (роботы): A > B

<

Если остались объекты в группе B (батареи): A < B

=

Если ничего не осталось: A = B

🪙

На столе в ряд лежат 10 монет плотно друг к другу и 8 монет с большими промежутками. Ряд из 8 монет длиннее. Ребёнок скажет, что их больше. Как доказать обратное, не называя чисел?

🪑

Можно ли сравнить количество стульев в комнате и количество людей, если вы не видите ни тех, ни других, но знаете, что все сидят и есть пустые места?

Считать не обязательно, чтобы сравнивать

Чтобы понять, где больше, нужно просто попытаться составить пары. Тот, кто остался без пары — «победил» (его больше). Равенство — это идеальное партнёрство без одиночек.