Содержание
Geometria предоставляет графический интерфейс для составления и решения задач по геометрии в пространстве.
В любой выбранный момент, пользователь программы является либо составителем задачи (иными словами, учителем), либо решателем задачи (иными словами, учеником).
Задачи и решения называются документами. Документы сохраняются в файлах. Вот как выглядит типичный цикл пользования программой:
Заметь, что программа не производит семантического анализа задачи, чтобы установить: является ли ответ заданный составителем, в действительности, правильным? Ответ может быть неправильным или даже бессмысленным. Задача тоже может оказаться бессмысленной. Так, в задаче может содержаться следующий вопрос:
Какова наивысшая точка в кентакской губернии?
и иметь в качестве ответа:
Точка Z в фигуре МояФигура.
Если составитель считает это правильным ответом к своей задаче, у программы не будет возражений. Вполне возможно, однако, что решатели обойдут вниманием подобную задачу.
Любой документ содержит условие задачи, конверт, некоторое число фигур и некоторое число записей на доске. Выпуклые многогранники являются единственными допустимыми фигурами. Фигуры можно преобразовывать, вращать, представлять прозрачными, обозначать.
Измерения и построения можно производить только на поверхности фигур. Если возникает необходимость действий внутри фигуры, ее нужно сначала рассечь подходящей плоскостью.
Обозначения и переменные представляют собой удобную абстракцию числовых координат и измерений. Переменные используются а вычислениях. На них можно ссылаться в построениях. Обозначения и переменные также используются в ответе к задаче.
Ответ не обязательно числовой. Во многих задачах требуется построить точку, отрезок или плосксть. На эти задачи невозможно ответить простым числом. Например:
Укажи плоскость которая параллельна диагонали куба и отсекает от него объем равный удвоенному объему пирамиды.
Смотри также: