Глава 1. Общий раздел

Содержание

Введение
Переменные
Задание переменной
Значение переменной
Прикрепленная переменная
Срок действительности переменной
Переименование переменной
Калькулятор
Выражения
Присвоение
Операции
Функции
Примеры
Доска
Отмена действий
Восстановление действий
Настройка
Шрифт
Язык
Известные ограничения
Необычные размеры и формы
Прежние версии программы
Язык решения

Введение

Geometria предоставляет графический интерфейс для составления и решения задач по геометрии в пространстве.

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

Задачи и решения называются документами. Документы сохраняются в файлах. Вот как выглядит типичный цикл пользования программой:

Заметь, что программа не производит семантического анализа задачи, чтобы установить: является ли ответ заданный составителем, в действительности, правильным? Ответ может быть неправильным или даже бессмысленным. Задача тоже может оказаться бессмысленной. Так, в задаче может содержаться следующий вопрос:

Какова наивысшая точка в кентакской губернии?

и иметь в качестве ответа:

Точка Z в фигуре МояФигура.

Если составитель считает это правильным ответом к своей задаче, у программы не будет возражений. Вполне возможно, однако, что решатели обойдут вниманием подобную задачу.

Любой документ содержит условие задачи, конверт, некоторое число фигур и некоторое число записей на доске. Выпуклые многогранники являются единственными допустимыми фигурами. Фигуры можно преобразовывать, вращать, представлять прозрачными, обозначать.

Измерения и построения можно производить только на поверхности фигур. Если возникает необходимость действий внутри фигуры, ее нужно сначала рассечь подходящей плоскостью.

Обозначения и переменные представляют собой удобную абстракцию числовых координат и измерений. Переменные используются а вычислениях. На них можно ссылаться в построениях. Обозначения и переменные также используются в ответе к задаче.

Ответ не обязательно числовой. Во многих задачах требуется построить точку, отрезок или плосксть. На эти задачи невозможно ответить простым числом. Например:

Укажи плоскость которая параллельна диагонали куба и отсекает от него объем равный удвоенному объему пирамиды.

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