Plane является интерфейсом для решения планиметрических задач
используя метод координат. Если построение может быть сделано циркулем и
линейкой за конечное число шагов, пользователь может произвести построение
с помощью графического интерфейса Plane. Каждый раз когда
пользователь делает новое построение (например проводит прямую), параметры
построения вычисляются в символах. После завершения построения
пользователь может записать уравнение с этими параметрами, которое будет
отражать геометрическое свойство построения, которое требуется доказать.
Потому что синтаксис выражений используемых Plane согласуется с
синтаксисом Mathematica от Wolfram пользователь может
использовать мощные процедуры этого програмного пакета чтобы упростить
уравнение и, таким образом, решить задачу.
|