"Геометрия", Мерзляк А.Г., Поляков В.М.; под ред. Подольского В.Е.
Компьютерная геометрическая модель — это не просто рисунок на экране, а фигура, построенная по заданным условиям. Если задать связи между её элементами, исходные точки можно перемещать, а свойства построения сохранятся. Так удобно исследовать разные случаи, замечать закономерности и выдвигать гипотезы. Но компьютерный эксперимент показывает лишь примеры: чтобы получить математический вывод, наблюдение нужно обосновать определениями и теоремами.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Компьютерная геометрическая модель — изображение фигуры и связей между её элементами, созданное в программе. В отличие от произвольного рисунка, такая модель строится по заданным условиям: например, точка может быть задана на прямой, а отрезок — соединять две определённые точки. Модель нужна, чтобы наглядно исследовать фигуру и её свойства.
Динамическое построение — чертёж, в котором можно перемещать исходные точки, сохраняя заданные геометрические зависимости. Если вершины треугольника передвинуть, построенные по определению медианы продолжат соединять вершины с серединами противоположных сторон. Это позволяет проверять разные положения фигуры без повторного построения.
Геометрический эксперимент — проверка предположения на серии компьютерных построений. Ученик меняет исходные данные, наблюдает за фигурой и отмечает, какие свойства остаются неизменными. Такой эксперимент помогает найти закономерность и сформулировать гипотезу, которую затем нужно доказать математически.
Компьютерная модель отличается от обычного рисунка тем, что её элементы связаны заданными условиями. Например, чтобы получить прямоугольник, недостаточно изобразить четырёхугольник, похожий на него: нужно задать прямые углы и параллельность противоположных сторон. Тогда программа учитывает эти связи при изменении фигуры. Поэтому модель показывает не только внешний вид объекта, но и способ его построения.
Способ построения важен, потому что приблизительно нарисованные элементы не обязаны подчиняться геометрическим условиям. От руки можно изобразить стороны почти перпендикулярными или отметить середину отрезка не совсем точно. Пока ничего не перемещают, неточность бывает незаметна. Но при движении точек такая фигура может деформироваться и перестать обладать нужными свойствами.
Если построение сделано по правилам, перемещение исходных точек помогает исследовать много положений одной и той же фигуры. Например, можно изменить форму треугольника, сохранив его медианы, и посмотреть, меняется ли их взаимное расположение. Так легче заметить свойство, которое повторяется в разных случаях, а не зависит от одного удачного чертежа. Условия задачи при этом должны оставаться неизменными.
Наблюдение на экране позволяет выдвинуть гипотезу, то есть предположение о закономерности, но не заменяет доказательство. Даже если свойство видно в десятках положений, это всё ещё отдельные примеры, а утверждение может относиться к бесконечному числу фигур. Кроме того, изображение и измерения имеют ограниченную точность. Поэтому после эксперимента нужно найти рассуждение, которое объясняет, почему свойство выполняется всегда.
Работу удобно вести по порядку: сначала точно сформулировать условие, затем построить модель с необходимыми связями. После этого следует перемещать исходные данные и наблюдать за фигурами, не нарушая условие задачи. Повторяющееся наблюдение записывают в виде гипотезы. В конце её проверяют доказательством, опираясь на определения и уже известные теоремы.
| Этап | Что сделать | Что проверить |
|---|---|---|
| Постановка задачи | Записать условие и вопрос задачи | Понятно ли, какие свойства заданы и что требуется выяснить |
| Построение модели | Создать фигуру, задав связи между элементами | Построена ли фигура по условию, а не приблизительно |
| Изменение исходных данных | Перемещать исходные точки и менять их положение | Сохранились ли заданные зависимости |
| Формулировка гипотезы | Описать замеченную закономерность | Повторяется ли наблюдение в разных положениях |
| Обоснование вывода | Построить доказательство по определениям и теоремам | Объясняет ли рассуждение общий случай, а не один пример |
Таблица помогает не перескакивать от построения сразу к выводу: каждый этап отвечает на отдельный вопрос. Если при изменении данных нарушается условие, нужно исправить модель, а не делать вывод по ней. Гипотеза становится математическим результатом только после обоснования.
Условие. Построить в программе треугольник и его медианы, а затем изменить положение вершин и исследовать, пересекаются ли медианы в одной точке. Медиана соединяет вершину треугольника с серединой противоположной стороны. Важно построить именно такие отрезки, а не провести три линии, которые лишь выглядят подходящими.
Создаём треугольник ABC и находим середины сторон BC, AC и AB. Каждую середину задаём как геометрический объект, а не выбираем приблизительно на экране. Это гарантирует, что точка делит сторону на две равные части.
Соединяем A с серединой BC, B с серединой AC и C с серединой AB. Получаются три медианы, построенные по определению. Программа теперь хранит связь каждой медианы с вершиной и серединой нужной стороны.
Перемещаем вершины, меняя форму и размеры треугольника, и наблюдаем за пересечением медиан. Если во многих положениях они сходятся в одной точке, формулируем гипотезу: медианы треугольника пересекаются в одной точке. Перемещение служит проверкой модели, но не доказательством гипотезы.
Ответ. Компьютерное исследование позволяет заметить, что медианы пересекаются в одной точке. Чтобы подтвердить это для любого треугольника, нужно доказать утверждение геометрически, например воспользоваться известной теоремой о медианах.
Условие. Построить прямоугольник, измерить его диагонали, изменить размеры и проверить предположение об их равенстве. При построении нужно сохранить прямые углы и параллельность противоположных сторон. Иначе после изменения размеров получится не обязательно прямоугольник, а эксперимент перестанет соответствовать условию.
Строим прямоугольник так, чтобы программа задавала его геометрические свойства. Затем проводим диагонали — отрезки, соединяющие противоположные вершины. Проверяем измерениями, равны ли их длины в исходном положении.
Перемещаем вершины или меняем длину и ширину прямоугольника, следя за тем, чтобы прямые углы сохранялись. Сравниваем диагонали в нескольких заметно разных случаях. Если измерения каждый раз совпадают, возникает гипотеза об их равенстве.
Не делаем вывод только по показаниям программы: измерения округляются и могут скрыть небольшую разницу. Для доказательства отмечаем, что диагонали образуют два треугольника с равными соответствующими сторонами и прямыми углами. По признаку равенства прямоугольных треугольников диагонали равны.
Ответ. В прямоугольнике диагонали равны. Компьютер помогает увидеть это на разных примерах, а обосновывает результат доказательство с опорой на свойства прямоугольника и равенство треугольников.
Условие. Построить окружность, хорду и перпендикуляр из центра окружности к хорде. Перемещая концы хорды, исследовать, делит ли перпендикуляр хорду пополам. Хорда — отрезок, соединяющий две точки окружности, а её середину нельзя назначить на глаз, если требуется проверить свойство.
Отмечаем центр окружности и две точки на ней, затем проводим хорду. Через центр строим прямую, перпендикулярную хорде, и отмечаем точку пересечения. Каждую зависимость задаём инструментами построения, чтобы сохранялись и принадлежность концов окружности, и прямой угол.
Перемещаем концы хорды по окружности и смотрим, где пересекаются хорда и перпендикуляр. Можно измерить части хорды по обе стороны от точки пересечения, но измерения рассматриваем только как наблюдение. Если они выглядят равными в разных положениях, формулируем гипотезу о делении хорды пополам.
Обосновываем гипотезу: отрезки от центра до концов хорды являются радиусами, поэтому они равны. Вместе с перпендикуляром они образуют два прямоугольных треугольника с общей стороной и равными гипотенузами. Треугольники равны, следовательно, соответствующие части хорды равны.
Ответ. Перпендикуляр, проведённый из центра окружности к хорде, делит её пополам. Построение позволяет увидеть закономерность, а доказательство подтверждает её для любой хорды.
Считать, что похожий на нужный рисунок чертёж уже удовлетворяет условию, — ошибка: объекты могли быть расположены приблизительно, без требуемых связей. Так происходит, потому что неточность не всегда заметна на экране. Проверьте, какими командами построен каждый элемент и следует ли его свойство из заданного условия. Если точку середины выбирали на глаз, задайте её как середину отрезка.
При перемещении можно случайно нарушить исходное условие, а затем принять изменившуюся фигуру за проверку той же гипотезы. Например, прямоугольник может стать произвольным четырёхугольником, если программа не сохраняет прямые углы. Проверяйте после каждого движения, что необходимые зависимости остались на месте. Если условие нарушилось, вернитесь к модели, построенной правильно.
Компьютерное наблюдение не является доказательством: экран показывает лишь выбранные примеры, даже если их много. Эту ошибку допускают, когда закономерность кажется очевидной во всех проверенных случаях. Чтобы проверить себя, спросите, объяснено ли утверждение для любого положения фигуры или показано только несколько примеров. Для общего вывода нужны определения и теоремы.
Вывод только по округлённым измерениям может быть неверным: небольшая погрешность отображения скрывает точное равенство или различие. Например, два отрезка могут иметь чуть разные длины, но программа покажет одинаковое округлённое число. Поэтому измерения используйте для поиска гипотезы, а точное свойство доказывайте. Проверьте, есть ли у вывода геометрическое обоснование, не зависящее от показаний экрана.
Для компьютерного исследования нужны знания геометрических определений и свойств фигур: программа не решает за ученика, какие условия следует задать. Полезно также уметь выполнять построения циркулем и линейкой, ведь точность модели зависит от того, правильно ли отражены связи между элементами. Например, знание определения медианы помогает построить её, а не просто провести отрезок к стороне.
Динамические модели пригодятся при изучении геометрических преобразований и координатного метода: с их помощью можно исследовать, что меняется, а что сохраняется. Компьютерный эксперимент помогает проверять гипотезы перед доказательством, но не заменяет рассуждение. Умение отделять наблюдение от доказанного результата важно и в других разделах математики.
Чем компьютерное построение отличается от обычного чертежа?
Обычный чертёж можно нарисовать от руки или просто расположить объекты на экране, поэтому заданные свойства могут быть только приблизительными. В компьютерном построении фигуру создают по условиям задачи и связывают её элементы так, чтобы нужные зависимости сохранялись.
Почему важно строить фигуру по условиям, а не просто рисовать её?
Приблизительный рисунок может выглядеть правильно, хотя его элементы не связаны нужными геометрическими условиями. Тогда после перемещения точек свойства пропадут, и исследование будет относиться уже не к исходной задаче.
Что даёт возможность перемещать точки на чертеже?
Можно рассмотреть множество положений фигуры, не строя каждый раз новый чертёж. Это помогает заметить, какие свойства сохраняются, и сформулировать предположение о закономерности.
Можно ли считать результат компьютерного эксперимента доказательством?
Нет: эксперимент проверяет лишь отдельные случаи, пусть даже их очень много. Доказательство должно объяснять, почему утверждение верно для всех фигур, удовлетворяющих условию.
Как проверить, что при перемещении точки построение сохраняет нужные свойства?
Сначала проверьте, что фигура создана командами и зависимостями, которые точно задают условие, а не нарисована приблизительно. Затем переместите исходные точки и убедитесь, что построенные объекты остаются связанными именно так, как требует условие задачи.
Дружим с компьютером
