Мы уже знаем, что общее утверждение на бесконечном множестве нельзя доказать перебором — проверок понадобилось бы бесконечно много. Но выход есть: если нужно доказать, что все элементы множества обладают каким-то свойством, можно взять произвольный (то есть любой, не какой-то конкретный) элемент этого множества и дать ему имя — обозначить его буквой.
Это похоже на то, как в жизни людям дают имена, чтобы говорить о них, не показывая пальцем. В математике для той же цели используют буквы. После того как элементу присвоено имя, его можно называть и записывать в выражениях, формулах, равенствах и неравенствах — а то, что доказано для этого «безымянного» элемента с условным именем, оказывается верным сразу для всех элементов множества, потому что элемент был взят произвольно.
При введении обозначений в математике есть свои традиции. Неизвестные числа в текстовых задачах чаще всего обозначают буквами $x$ и $y$; в задачах на движение путь, скорость и время — буквами $s$, $v$, $t$; площадь фигуры — буквой $S$, периметр — буквой $P$, объём — буквой $V$.
Докажем, что сумма любых трёх последовательных натуральных чисел делится на 3. Возьмём произвольное натуральное число и обозначим его буквой $n$. Тогда два следующих за ним числа равны $n+1$ и $n+2$ — и нужно доказать, что число $n+(n+1)+(n+2)$ делится на 3.
Попробуй справа: кнопка подставляет разные значения $n$ и проверяет, что сумма всегда делится на 3 — но помни, что ни одна проверка отдельных чисел не заменяет доказательство выше, ведь чисел бесконечно много.
Докажем, что частное двух натуральных чисел не изменится, если каждое из них увеличить в одно и то же число раз (при делении без остатка). Здесь у нас четыре «персонажа» — введём четыре обозначения: делимое — буквой $a$, делитель — буквой $b$, частное — буквой $k$, число, на которое всё умножаем — буквой $c$.
Буквенные обозначения удобны и для описания целых классов чисел. Любое чётное число можно записать в виде $2k$, а любое нечётное — в виде $2k+1$, где $k$ — произвольное целое неотрицательное число. Эта запись сама по себе уже доказательство: число $2k$ делится на 2 при любом $k$, а число $2k+1$ при делении на 2 всегда даёт остаток 1.
Например, чтобы доказать, что сумма чётного и нечётного числа всегда нечётна, обозначим их $2k$ и $2m+1$ (разными буквами — ведь это, вообще говоря, разные числа) и сложим: $2k+(2m+1) = 2(k+m)+1$ — это снова число вида «удвоенное плюс один», то есть нечётное.
Обозначения помогают описывать не только числа, но и положение точек на прямой. Возьмём луч, отметим на нём начальную точку (число 0) и выберем удобную «цену деления» — единичный отрезок. Тогда каждой точке луча соответствует ровно одно число — её координата, а каждому числу — ровно одна точка.
Если точка движется по координатному лучу с постоянной скоростью $v$, выйдя из точки с координатой $x_0$, то её координата в момент времени $t$ вычисляется по формуле $x = x_0 + vt$. Так задачи на движение записываются на «математическом языке» одной короткой формулой.
Чтобы обозначить положение точки не на прямой, а на плоскости, используют координатный угол (координатную плоскость) — две взаимно перпендикулярные координатные прямые (оси) с общим началом отсчёта. Горизонтальную ось называют осью $x$, вертикальную — осью $y$.
Ещё один способ «говорить на математическом языке» о движении — график движения: по горизонтальной оси откладывают время $t$, по вертикальной — пройденный путь (или расстояние до какого-то пункта) $s$. Каждому моменту времени соответствует точка графика с координатами $(t;\,s)$.
Задача 1: сумма трёх последовательных чисел $n,\ n{+}1,\ n{+}2$ всегда делится на 3
Перетащи точку $M$ по координатному лучу — её координата читается снизу
Движение по формуле $x = x_0 + vt$: точка выходит из $x_0{=}2$ со скоростью $v{=}3$
Перетащи точку $A$ по координатному углу — её координаты $(x;\,y)$ читаются снизу