Список программного обеспечения для интерактивной геометрии - List of interactive geometry software

Программное обеспечение для интерактивной геометрии (IGS) или же среды динамической геометрии (DGE) находятся компьютерные программы которые позволяют создавать, а затем манипулировать геометрический конструкции, прежде всего в плоская геометрия. В большинстве IGS строительство начинается с добавления нескольких точек и использования их для определения новых объектов, таких как линии, круги или другие точки. После того, как некоторая конструкция будет завершена, можно переместить точки, с которых она была начата, и посмотреть, как изменится конструкция.

История

Самым ранним IGS был Geometric Supposer, который был разработан в начале 1980-х годов.[1] Вскоре за ним последовали Cabri в 1986 году и альбом The Geometer's Sketchpad.

Сравнение

Существует три основных типа компьютерных сред для изучения школьной геометрии:[нечеткий ], среды динамической геометрии (DGE) и Логотип -программы.[2] Большинство из них представляют собой DGE: программное обеспечение, которое позволяет пользователю манипулировать («перетаскивать») геометрический объект в различные формы или положения. Основным примером суппозера является геометрический суппозер, который не имеет перетаскиваемых объектов, но позволяет студентам изучать заранее определенные формы. Почти все следующие программы являются DGE. Соответствующий сравнительный физический пример этих алгоритмов см. Ленарт Сфера.

Лицензия и платформа

В следующей таблице представлено первое сравнение различного программного обеспечения в соответствии с их лицензией и платформой.

Программного обеспеченияРасходы (доллар США )ЛицензияПлатформы
Кабри Геометрия?ПроприетарныйWindows, Mac OS X
Машина.СвободныйGPLWindows, Linux, Mac OS X
КарметаллСвободныйGPLWindows, GNU Linux, Mac OS X
Золушка 1.4СвободныйПроприетарныйWindows, Linux, Mac OS X (Java)
Золушка 2.069 долларов СШАПроприетарныйWindows, Linux, Mac OS X (Java)
DrGeoСвободныйGPLWindows, Linux, Mac OS X
GeoGebraСвободныйGPLWindows, Linux, Mac OS X
GeomСвободныйСвободныйWindows, MacOS, Linux
Блокнот Геометра70.02 долларов СШАПроприетарныйWindows, Mac OS X (Java)
Эксперт по геометрии (GEX)??Windows, Linux, Mac OS X
GEUP?ПроприетарныйWindows
КигСвободныйGPLLinux
KSEGСвободныйGPLWindows, Linux, Mac OS X
WIRIS?ПроприетарныйLinux, Windows, Mac OS X (Java)

3D программное обеспечение

Программного обеспеченияРасходы (доллар США )ЛицензияПлатформы
Архимед Geo3DУсловно-бесплатное ПОПроприетарныйWindows / Mac OS X / Linux
GeoGebra (с версии 5.0 Beta)СвободныйGPLWindows, Linux, Mac OS X, Android, iOS, Windows RT
Енка 3D формыБесплатно для некоммерческого использованияПроприетарныйWindows
WIRIS?ПроприетарныйWindows, Linux, Mac OS X

Общие особенности

В следующей таблице представлено более подробное сравнение:

Программного обеспеченияРасчетыМакросыLociАнимацииСценарииЗаданияLaTeX экспортИнтернет-экспортМногоязычныйДоказательстваДополнительный
Cabri II PlusдададададаДа (с плагином)НетдадаДа (по отношениям)Доступно на калькуляторе TI
Кальки 3DдадададаНетНетНетНетДа (FRA ENG DEU ESP PTG)Да (по отношениям)Экспериментальная связь с некоторыми CAS
МашинадададададададададаНет?
КарметаллДа (рекурсивный)дадаДа (несколько)Да (JavaScript)дадададаДа (вероятностный)Амодальность, система папок, Обезьяна
ЗолушкададададададаДа (PDF)дадаВероятностныйНесколько геометрических форм, физическое моделирование
Ganja.jsдадададададаНетдаНетНет2D и 3D, проективные и конформные, геометрическая алгебра.
GCLCдададададададаНетНетдаРазборчивые доказательства, поддержка 3D
GeoGebraдадададаДа (JavaScript)НетДа (PSTricks и PGF / TikZ)даДа (55 языков)даCAS, экспорт HTML5 (с версии 4.2)
3D и автоматическая проверка (начиная с версии 5.0)
ГеометриядаНетдадаНетдаНетдадаНетДвухролевая (учитель, ученик) модель
ГеометриксдаНетдадаНетдаНетНетдадаИнтерактивное подтверждение, проверка диаграмм, модели учителя / ученика, метки с динамическими заполнителями
Выражения геометриидаНетдадаНетНетдаДа (интерактивные приложения HTML5 / JS)даНетСимвольные вычисления, которые можно скопировать в качестве входных данных для CAS, TeX и исходного кода в 21 формате / языке. Функции. Дуги на любой функции или кривой. Веб-сайт для экспортированных HTML5 Canvas и интерактивных приложений JavaScript (Euclid's Muse).
GeoNextдаНетНетда??Нет?даНетДоступно как веб-приложение
Géoplan-GéospaceдададададаНетНетДа (activeX)дадаПоследовательности, 2D и 3D, удобочитаемый формат файлов
GeoProofдаНетНетНетНетНетдаНетНетдаАвтоматические формальные доказательства
GEUPдададада?Нет?НетдаНет?
iGeomдададаНетдадаНетдадаВероятностныйПовторяющиеся скрипты
КигдададаНетДа (Python)НетДа (PSTricks)НетдаНетЯрлыки с динамическими заполнителями
Живая геометриядадададаНетНетНетНетНетНетВключает плеер.
Sarit2dдадададададададаНетдаДоступно в Интернете
БлокнотдададададаНет?Да (ограничено)даНетФункции и графики функций, символическое дифференцирование, математическая запись
ТабулададададаНетНетНетНетНетНетСкладывание, резка, оклейка, модели маркеров и рабочих инструментов.
TabulaeдададаНетНетНетНетдадаНетСовместные сеансы через Интернет.
Кабри 3DдаНетНетдаНетНетНетДа (ограничено)даНет?
Архимед Geo3DдадададаНетНетНетНетНет (Eng De Fr)НетПересечение локусов
GEUP 3DдадададаНетНетНетНетдаНет?
NetpadдадададаНетНетНетдаНетдаБаза в Интернете
Программного обеспеченияРасчетыМакросыLociАнимацииСценарииЗаданияLaTeX экспортИнтернет-экспортМногоязычныйДоказательстваДополнительный

Макросы

Возможности, связанные с макроконструкциями: (TODO)

Программного обеспеченияДопускает рецидивПозволяет экономить
Cabri II Plusдада
Кальки 3DНетда
GCLCНетНет
GeoGebraдада
Géoplan-Géospaceдада
GEUPдада
iGeomдада
Киг?да
KSEGдада
Sketchpad (GSP)Да (через итерацию)да

Loci

Особенности Loci, связанные с IGS: (TODO)

Программного обеспеченияВозьмите точку локусаПересечение двух локусов
Cabri II Plusдада
Кальки 3DНетНет
Машинадада
GeoGebraдаНет
Géoplan-GéospaceдаНет
GEUPдада
iGeomдаНет
КигдаНет
Sketchpad (GSP)даНет
NetPadдада

Доказательство

Мы подробно описываем здесь особенности, связанные с доказательством. (СДЕЛАТЬ)

Программного обеспеченияИнтерактивные доказательстваАвтоматические доказательстваВероятностные доказательства
Cabri II PlusОбратная связь дляНетДа в Cabri I
ЗолушкаНетИспользование внешнего CASда
GCLCНетдаНет
GeoGebraдадаНет
ГеометриксдадаНет
Géoplan-GéospaceНетНетда
GeoProofдадаНет
iGeomНетНетда
JeometryНетдаНет
NetPadдада?

Измерения и расчет

Особенности измерения и расчета, связанные с IGS: (TODO)

Программного обеспеченияПроизвольная точностьАрифметические выраженияТригонометрические функцииЕслиТест на существование объекта
CabriдадададаНет
Кальки 3DНетдадаНетНет
Машина.Нетдададада
GCLCНетдададада
GeoGebraНетдададаДа (JavaScript)
ГеометрияНетдадаНетНет
Géoplan-GéospaceНетдадаДа (функция µ)Нет
GeoProofдадададаНет
ГеометриксНетдададаНет
iGeomНетдадаНетНет
NetPadдадададаНет

Форматы экспорта графики

Программного обеспеченияPNGBMPTIFFГифкаSWFSVGЭДСРисПостскриптумPdfLaTeX / EukleidesLaTeX / PstricksLaTeX / PGF / TikZАсимптота
Кальки 3DНетНетНетНетНетНетНетдаНетНетНетНетНетНет
Машина.даНет???даНетдадаНетНетда??
Золушкадада??????Нетда????
GCLCНетда???даНетНетдаНетНетда??
GeoGebraдаНетНетДа (анимированный)НетдадаНетдадаНетдадада
Выражения геометриидададаДа (анимированный)НетНетдаНетдаНет????
GeoProofдаНет???даНетНетНетНетдаНет??
Кигдада???даНетдададаНетда??
KmPlotдада???да????????
KSEGдада???НетНет?НетНетНет??
ГеометриксНетдададададаНетНетНетНетНетНет??
iGeomНетНетНетдаНетНетНетНетдаНетНетНет??

Атрибуты объекта

Программного обеспеченияЦветЗаполнено / Не заполненоШиринаПрозрачностьПоказано / СкрытоСлойФорма точекТип линии
CabriдададададаНетдада
Кальки 3DдададаНетдададада
Машина.дададададададада
GCLCдададаНетдаНетдада
GeoGebraдададададададада
ГеометриядадаНетдададаНетда
Выражения геометриидадададададаНет (но размер)да
Géoplan-GéospaceдададададаНетдада
КигдададаНетдаНетдада
GeoProofдаНетдаНетдададада
ГеометриксдададаНетдаНетдада
GEUPдададададаНетдада
iGeomдададаНетдаНетНетда
Блокнотдадададада?дада
NetPadдадададададаНет (но размер)да

2D программы

Машина.

Машина. это бесплатный GPL аналог Блокнота Геометра (GSP), написанный на Ява.

Карметалл

Карметалл это бесплатный GPL программное обеспечение, написанное на Ява. Унаследованный от C.a.R., он предоставляет другой пользовательский интерфейс.

Золушка

Золушка, написано в Ява, сильно отличается от блокнота Geometer. Более поздняя версия Cinderella.2 также включает движок моделирования физики и язык сценариев. Кроме того, сейчас[когда? ] поддерживает макросы, линейные сегменты, вычисления, произвольные функции, графики и т. д. Полная документация доступна в Интернете.

Доктор гений

Dr Genius был попыткой слияния Доктор Гео и Калькулятор гениальности.

Доктор Гео

Доктор Гео - это интерактивное программное обеспечение под лицензией GPL, предназначенное для младших школьников (7-15 лет). Более поздняя версия, Доктор Гео II,[3] полностью переписан Dr. Geo, для Писк /Болтовня среда.

GCLC

GCLC[4] это инструмент динамической геометрии для визуализации и обучения геометрии, а также для создания математических иллюстраций. В GCLC цифры скорее описываются, чем рисуются. Этот подход подчеркивает тот факт, что геометрические конструкции являются абстрактными формальными процедурами, а не фигурами. Конкретный рисунок может быть сформирован на основе абстрактного описания. Есть несколько форматов вывода, в том числе Латекс, LaTeX / PStricks, LaTeX / Tikz, SVG и PostScript. Есть встроенная программа доказательства геометрических теорем (на основе метода площадей). GCLC доступен для Windows и Linux. WinGCLC - это версия GCLC для Windows с графическим интерфейсом, которая предоставляет ряд дополнительных функций.

GeoGebra

GeoGebra это программное обеспечение, сочетающее в себе геометрию, алгебру и исчисление для математического образования в школах и университетах. Он доступен бесплатно для некоммерческих пользователей.[5]

  • Лицензия: открытый исходный код под Лицензия GPL (бесплатно)
  • Языки: 55
  • Геометрия: точки, линии, все конические сечения, векторы, параметрические кривые, линии годографа
  • Алгебра: прямой ввод неравенств, неявных многочленов, линейных и квадратных уравнений; вычисления с числами, точками и векторами
  • Исчисление: прямой ввод функций (в том числе кусочно-определенных); пересечения и корни функций; символьные производные и интегралы (встроенная CAS); ползунки как параметры
  • Параметрические графики: Да
  • Неявные полиномы: Да
  • Интернет-экспорт: все конструкции экспортируются как веб-страницы как Java-апплет
  • Макросы: можно использовать как инструменты с помощью мыши и как команды в поле ввода
  • Анимация: Да
  • Таблица: Да, ячейки могут содержать любой объект GeoGebra (числа, точки, функции и т. Д.)
  • Динамический текст: Да (включая LaTeX)
  • Платформы: Mac OS, Unix / Linux, Windows (любая платформа, поддерживающая Java 1.5 или новее)
  • Непрерывность: использует эвристический подход, позволяющий избежать прыжков с объектами

GeoKone.NET

GeoKone.NET[6] представляет собой интерактивный рекурсивный генератор естественной геометрии (или «сакральной геометрии»), который запускается в веб-браузере. GeoKone позволяет пользователю создавать геометрические фигуры, используя натуралистические правила рекурсивного копирования, такие как Золотое сечение.

Геолог

Геолог[7] это язык логического программирования для финитной геометрической логики.

Выражения геометрии

Выражения геометрии[8] Занимается символической геометрией. Он использует реальные символьные входы и возвращает реальные и символьные выходы. Он подчеркивает использование с Система компьютерной алгебры (CAS), а также экспорт и обмен через интерактивные HTML5, Lua, и OS X виджеты на панели инструментов.

Блокнот Геометра

Блокнот Геометра (GSP)

  • Детерминированный
  • Языки: Английский, испанский, датский, русский, корейский, тайский, традиционный и упрощенный китайский, французский, литовский (текущая версия); другие (более старые версии)
  • Макросы: Да («специальные инструменты» и «скрипты»)
  • Java-апплет: да
  • Анимация: да
  • Локус: Да, включая точку на локусе
  • Задания: Нет
  • Измерения / расчеты: да
  • Платформа: Windows, Mac OS, TI-92 +, работает под Вино
  • Доказательства: Нет

Геометрическая опора

Геометрическая опора[9]

Géoplan-Géospace

GeoProof

GeoProof[10] это бесплатный GPL программное обеспечение динамической геометрии, написанное на OCaml.

GEUP

GEUP является более ориентированным на исчисление аналогом Sketchpad от The Geometer.

  • Детерминированный
  • Языки: Английский, французский, немецкий, итальянский, португальский, испанский
  • Макросы: да
  • Java-апплет: Нет
  • Анимация: да
  • Локус: Да, включая точку на локусе
  • Задания: Нет
  • Измерения / расчеты: да
  • Платформа: Windows
  • Доказательства: Нет

ГРЕЙС

GRACE (редактор графической линейки и компаса) является аналогом блокнота Geometer (GSP), написанного на Ява.

Jeometry

Jeometry это апплет динамической геометрии.

Киг

Киг это бесплатный (GPL ) аналог Блокнота Геометра (GSP) для KDE, но больше ориентированы на исчисление. Это часть KDE Edutainment Project.

KmPlot

KmPlot это плоттер математических функций, выпущенный на бесплатной Лицензия GPL. Включает мощный синтаксический анализатор и точную печать в правильном масштабе. Одновременно постройте несколько функций и объедините термины функций для создания новых функций. Поддерживает функции с параметрами и функции в полярных координатах. Доступно несколько режимов сетки. Возможности включают:

  • мощный математический анализатор
  • точная метрическая печать
  • различные типы графиков (функции, параметрический, полярный)
  • настраиваемые визуальные настройки (линия графика, оси, сетка)
  • экспорт в растровый формат (BMP и PNG ) и Масштабируемая векторная графика (SVG)
  • сохранить / загрузить полную сессию в читаемом XML формат
  • режим трассировки: перекрестие по графику, координаты отображаются в строке состояния
  • поддержка масштабирования
  • умение рисовать 1-ю и 2-ю производную и интеграл функции графика
  • поддержка определяемых пользователем констант и значений параметров
  • различные инструменты для построения графиков: найти точку минимума / максимума, получить значение y и нарисовать область между функцией и осью y

KSEG

KSEG это бесплатный (GPL ) аналог Sketchpad (GSP) The Geometer с некоторыми уникальными особенностями. Это программное обеспечение может обрабатывать тяжелые сложные конструкции в евклидовой геометрии.

  • Детерминированный
  • Языки: Голландский, английский, французский, китайский, немецкий, венгерский, итальянский, японский, норвежский букмол, португальский, русский, испанский, турецкий, валлийский
  • Макросы: Да. Редактируемый и с поддержкой рекурсии
  • Java-апплет: Нет
  • Анимация: Нет
  • Локус: Да, но нет прямого способа разместить точку на локусе.
  • Задания: Нет
  • Измерения / расчеты: Да (калькулятор немного странный)
  • Платформа: Unix / Linux, Windows, Mac OS (любая платформа, поддерживающая Qt )
  • Доказательства: Нет
  • Дополнительный: Редактируемый

Живая геометрия

Живая геометрия - бесплатная CodePlex проект, позволяющий создавать интерактивные конструкции линейки и циркуля и экспериментировать с ними. Это написано в Silverlight 4 и C # 4.0 (Visual Studio 2010). Основной движок - это гибкая и расширяемая структура, которая позволяет легко добавлять новые типы фигур и функции. У проекта есть два внешних интерфейса: WPF и Silverlight, которые имеют общие DynamicGeometry библиотека.

TracenPoche

TracenPoche полностью Adobe Flash программа. Он доступен на английском, испанском и французском языках.

3D программы

Архимед Geo3D

Архимед Geo3D

Эйлер 3D

Эйлер (программное обеспечение)

Euler 3D - это программа, которая позволяет создавать и управлять своими собственными многогранниками. Он имеет ряд возможностей: преобразования, анимацию, создание двойников, импорт / экспорт VRML и т. Д.

Требуется бесплатная регистрация.

Geomview

Geomview

Непрерывность против детерминизма

Все эти программы можно разделить на две категории: детерминированные и непрерывные. GeoGebra может быть детерминированной или непрерывной (ее можно изменить в настройках).

Все конструкции в детерминированных программах (GSP, Cabri, Kseg и большинство других) полностью определяются заданными точками, но результат некоторых построений может подпрыгивать или вести себя неожиданно при перемещении заданной точки.

Напротив, некоторые конструкции в непрерывных программах (пока только Cinderella и GeoGebra) зависят от количества скрытых параметров и таким образом, что перемещение данной точки вызывает непрерывное движение конструкции, в результате, если точка перемещается обратно в исходное положение результат построения может быть другим.

Вот тест, чтобы проверить, является ли конкретная программа непрерывной:

Построить ортоцентр треугольника и трех средних точек (скажем, А ', В' С ' ) между вершинами и ортоцентром.

Построить описанный круг из A'B'C ' .

Это круг из девяти точек, он пересекает каждую сторону исходного треугольника в двух точках: основании высоты и средней точке. Постройте пересечение одной стороны с кругом в средней точке, теперь переместите противоположную вершину исходного треугольника, если построенная точка не перемещается, когда база высоты перемещается через нее, это, вероятно, означает, что ваша программа непрерывна.

Хотя можно создать детерминированную программу, которая ведет себя непрерывно в этом и подобных простых примерах, в целом можно доказать, что никакая программа не может быть непрерывной и детерминированной одновременно.[11]

Смотрите также

Рекомендации

  1. ^ Шварц; Иерушалми и Уилсон (1993). Геометрический опорщик: в чем дело?. Хиллсдейл, Нью-Джерси: Лоуренс Эрлбаум Ассошиэйтс.
  2. ^ Баттиста, М. (2007). «Развитие геометрического и пространственного мышления». У Лестера-младшего, Ф.К. (ред.). Второй справочник исследований по преподаванию и обучению математике. Шарлотта, Северная Каролина: информационный век и Национальный совет учителей математики. С. 843–903.
  3. ^ http://wiki.laptop.org/go/DrGeo
  4. ^ http://www.matf.bg.ac.rs/~janicic/gclc/
  5. ^ http://www.geogebra.org/license#FAQ
  6. ^ http://GeoKone.NET
  7. ^ «Архивная копия». Архивировано из оригинал на 2008-04-09. Получено 2008-03-01.CS1 maint: заархивированная копия как заголовок (связь)
  8. ^ http://geometryexpressions.com
  9. ^ http://www.cet.ac.il/math-international/software5.htm
  10. ^ «Архивная копия». Архивировано из оригинал на 2006-04-21. Получено 2006-04-21.CS1 maint: заархивированная копия как заголовок (связь)
  11. ^ Кортенкамп, Ульрих (1999): Основы динамической геометрии, Диссертация, ETH Zurich 1999. Доступно онлайн по адресу http://kortenkamps.net/papers/1999/diss.pdf

внешняя ссылка