|ВС| == | В1 С1 |
Таким образом, всякая точка Х неподвижного листа отображается точно в одну точку Х1 этого же листа. Так получается отображение плоскости на себя, при котором расстояние между любыми двумя точками равно расстоянию между их образами.
С помощью описанного опыта обнаруживаются и важнейшие свойства движения:
а) если три точки А, М, В лежат на одной прямой, то и их образы А1, М1, В1 тоже лежат на одной прямой;
б) если точка М лежит между точками А и В, то и М лежит между А1 и В1
Открытые опытным путем, эти свойства, разумеется, подлежат доказательству. Здесь опять опыт проявляется как эвристический метод.
Рассмотрим пример применения опыта для открытия алгебраической закономерности.
Допустим, что в одном, синем, мешочке имеется т синих палочек, а в другом, красном, мешочке - п красных палочек. Нужно освободить один мешочек. Мы можем это сделать двумя способами. Можно пересыпать все красные палочки из красного мешочка в синий, и тогда в нем окажется т + п палочек. Но можно пересыпать все синие палочки в красный мешочек, и тогда в нем окажется п + т палочек. Но и в одном, и в другом случае мы имеем в мешочке одно и то же множество палочек. Следовательно,
т + п =-- п + т.
Разумеется, в конкретном опыте т и п обозначают определенные числа. Поэтому полученное равенство является лишь одной из посылок, с помощью которых уже другим методом (индукцией) получают общий закон коммутативности сложения натуральных чисел:
" т +п = п+т ; для любых натуральных чисел т и п".
Подсчет двумя способами (по рядам и по столбцам) единичные квадратиков, заполняющих прямоугольник, измерения которого выражаются натуральными числами, является опытом, с помощью которого обнаруживается коммутативность умножения натуральных чисел.
Важно отметить, что с помощью эмпирических методов (наблюдения, опыта, измерений) выполняется лишь начальный этап работы по математическому описанию реальных ситуаций. Получаемый математический материал (интуитивные понятия, гипотезы, совокупности математических предложений) подлежит дальнейшей обработке уже другими методами.