Учебное пособие Москва 2008
 Скачать 3.68 Mb.
|
|
Федеральное агентство по образованию Н.А. Стахин ОСНОВЫ РАБОТЫ С СИСТЕМОЙ АНАЛИТИЧЕСКИХ (СИМВОЛЬНЫХ) ВЫЧИСЛЕНИЙ MAXIMA (ПО для решения задач аналитических (символьных) вычислений) Учебное пособие Москва 2008 Стахин НА, Основы работы с системой аналитических (символьных) вычислений Maxima Стахин НА. Основы работы с системой аналитических (символьных) вычислений Maxima. (ПО для решения задач аналитических (символьных) вычислений Учебное пособие. – Москва 2008. — 86 с. Настоящее учебное пособие содержит описание основных приемов работы с компьютерной программой для выполнения алгебраических вычислений, символьных преобразований и построения разнообразных графиков — Maxima. Система Maxima распространяется под лицензией GPL и доступна как пользователям ОС Linux, таки пользователям MS Учебное пособие является составной частью проекта внедрения свободного программного обеспечения в образовательные учреждения, ориентировано на учителей школ и преподавателей педагогических вузов, учащихся и студентов и предназначено как для самообразования преподавателей математики и информатики школ пилотных регионов, таки сопровождения курсов повышения квалификации при изучении свободного программного обеспечения. 2 Стахин НА, Основы работы с системой аналитических (символьных) вычислений Maxima Оглавление П РЕДИСЛОВИЕ 4 ВВЕДЕНИЕ 5 1. О ПРОИСХОЖДЕНИИ M AXIMA 6 2. З АГРУЗКА И ИНТЕРФЕЙСЫ M AXIMA 7 3. В ВОД ПРОСТЕЙШИХ КОМАНД В WX M AXIMA 10 3.1. О БОЗНАЧЕНИЕ КОМАНД И РЕЗУЛЬТАТОВ ВЫЧИСЛЕНИЙ 11 3.2. В ВОД ЧИСЛОВОЙ ИНФОРМАЦИИ 12 3.3. КОНСТАНТЫ 13 3.4. А РИФМЕТИЧЕСКИЕ ОПЕРАЦИИ 13 3.5. ПЕРЕМЕННЫЕ 14 3.6. М АТЕМАТИЧЕСКИЕ ФУНКЦИИ 14 3.7. П РАВИЛО ЗАПИСИ ФУНКЦИЙ 15 3.8. П ОЛЬЗОВАТЕЛЬСКИЕ ФУНКЦИИ 15 3.9. П ЕРЕВОД СЛОЖНЫХ ВЫРАЖЕНИЙ В ЛИНЕЙНУЮ ФОРМУ ЗАПИСИ 16 4. Р ЕШЕНИЕ ЗАДАЧ ЭЛЕМЕНТАРНОЙ МАТЕМАТИКИ 18 4.1. M AXIMA УПРОСТИТ ВЫРАЖЕНИЕ 18 4.2. Р АСКРЫТИЕ СКОБОК 20 4.3. С НОВА РАСКРЫТИЕ СКОБОК 21 4.4. А ЕСЛИ НУЖНО СДЕЛАТЬ ЕЩЕ ПРОЩЕ 23 4.5. А ЭТИ ФУНКЦИИ ИМЕЮТ ДЕЛО С УГЛАМИ … 26 5. О ПЕРАТОРЫ И ФУНКЦИИ 29 6. Г РАФИКИ ФУНКЦИЙ 35 6.1. С ТЕПЕННАЯ ФУНКЦИЯ 35 6.2. Т РИГОНОМЕТРИЧЕСКИЕ ФУНКЦИИ 39 6.3. О БРАТНЫЕ ТРИГОНОМЕТРИЧЕСКИЕ ФУНКЦИИ 42 6.4. Э КСПОНЕНТА И ЛОГАРИФМ 43 6.5. Г РАФИКИ ПАРАМЕТРИЧЕСКИ ЗАДАННЫХ ФУНКЦИЙ 44 6.6. Д ИСКРЕТНЫЙ ГРАФИК 47 6.7. Г РАФИКИ В ПОЛЯРНОЙ СИСТЕМЕ КООРДИНАТ 50 7. Т РЕХМЕРНЫЕ ГРАФИКИ 51 7.1. Т РЕХМЕРНЫЕ ПАРАМЕТРИЧЕСКИЕ ГРАФИКИ 54 8. Р ЕШЕНИЕ УРАВНЕНИЙ 57 8.1. П ОИСК ЭКСТРЕМУМА 59 8.2. Р ЕШЕНИЕ СИСТЕМ УРАВНЕНИЙ 60 9. Р ЕШЕНИЕ ЗАДАЧ МАТЕМАТИЧЕСКОГО АНАЛИЗА 64 9.1. Н АХОЖДЕНИЕ ПРОИЗВОДНОЙ 64 9.2. ИНТЕГРИРОВАНИЕ 65 9.3. Н АХОЖДЕНИЕ ПРЕДЕЛОВ 67 9.4. Р АЗЛОЖЕНИЕ В РЯД Т ЕЙЛОРА 70 9.5. Н АХОЖДЕНИЕ СУММЫ РЯДА 70 10. Р ЕШЕНИЕ ЗАДАЧ ЛИНЕЙНОЙ АЛГЕБРЫ 73 10.1. О ПЕРАЦИИ С МАТРИЦАМИ 73 10.2. У МНОЖЕНИЕ МАТРИЦ И ВОЗВЕДЕНИЕ ИХ В СТЕПЕНЬ 74 10.3. Р ЕШЕНИЕ СИСТЕМ ЛИНЕЙНЫХ АЛГЕБРАИЧЕСКИХ УРАВНЕНИЙ 75 11. В ОПРОСЫ И ЗАДАНИЯ ДЛЯ САМОСТОЯТЕЛЬНОЙ РАБОТЫ 76 12. С ПИСОК САЙТОВ И ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ ГЛОССАРИЙ 83 3 Стахин НА, Основы работы с системой аналитических (символьных) вычислений Maxima Предисловие Большинство компьютерных программ, предназначенных для вычислений, умеет работать только с числовыми выражениями. Да и сами создатели первых компьютеров вряд ли изначально предполагали, что настанет такое время, когда проектируемые ими ЦЭВМ (цифровые электронно– вычислительные машины, равно как и различные компьютеры (англ. computer означает вычислитель, освоив арифметику, смогут освоить и алгебру. Поясним, чем алгебра отличается от арифметики. Арифметика, как известно, происходит от греческого слова ριθμός ἀ , означающего число. В типичных задачах арифметики по известным или данным числам находится неизвестное число. Все операции в арифметике совершаются счисленными величинами. В алгебре неизвестную величину обозначают буквой (символом) и для нахождения этой величины совершают различные математические символьные) преобразования, в которых известные величины также обозначены буквами. Рассматриваемая в настоящем пособии компьютерная программа Maxima представляет собой свободно распространяемую систему компьютерной алгебры, рассчитанную на широкий круг пользователей. Данное пособие в первую очередь предназначено для первичного знакомства с системой компьютерной алгебры Maxima и может использоваться как при очном обучении, таки в системе дополнительного образования. Пособие содержит большое число различных примеров по разным разделам математики, имеет набор заданий для самостоятельной работы. Наилучшим вариантом обучения будет такой, когда читатель самостоятельно с пособием в руках сначала практически повторит на компьютере рассматриваемые примеры, а затем будет использовать приобретенные им навыки в дальнейшей работе. Отметим, что наряду с документацией в качестве достоверного источника о дополнительных свойствах (флагах) различных функций в пособии были использованы описания Тихона Тарнавского [7,8]. Все приведенные в пособии решения задачи примеров были подвергнуты реальной проверке на компьютере с установленным на нем дистрибутивом от компании ALTLinux, уровень сложности решаемых задач соответствует вузу. Список использованных источников имеется в конце пособия. Если по какой-либо причинена вашем компьютере не установлен описываемый в пособии графический интерфейс программы wxMaxima, тов качестве руководства в работе с программой Maxima из терминала мы рекомендуем имеющийся в Интернете перевод статьи Роберта Додиера Со всеми трудностями, замечаниями и пожеланиями публикации других необходимых в работе разделов компьютерной математики просим обращаться по адресу электронной почты spo_method_support@armd.ru. 4 Стахин НА, Основы работы с системой аналитических (символьных) вычислений Maxima Введение Программа Maxima распространяется под лицензией GPL и доступна как пользователям ОС Linux, таки пользователям MS Windows. К сожалению, русская версия программы не имеет даже простой справки на русском языке, а немногочисленные статьи, посвященные изучению этой программы, имеющиеся в некотором количестве в Интернете, – не всегда доступны и, зачастую, рассчитаны на уже компьютеризированного пользователя. Предлагаемое пособие в первую очередь предназначено для первичного знакомства с системой компьютерной алгебры Maxima и может использоваться как при очном обучении, таки в системе дополнительного образования. Большинство компьютерных программ, как уже отмечалось, предназначено для вычислений с числовыми выражениями. Как правило, их результаты бывают приближенными, ведь при операциях с вещественными числами происходит их округление. Системы компьютерной математики, избавлены от подобных недостатков. Они способны использовать в процессе вычислений математические теоремы и факты. Так, известное тригонометрическое тождество гласит, что sin 2 x+cos 2 x=1 для любого x. Ни один калькулятор неспособен применить это тождество в процессе преобразований, в то время как такие программы, как Mathematica или Maxima, предназначенные для символьных вычислений, легко справляются с подобными задачами. Там, где необходимо выполнить вычисления точно, либо осуществить аналитическое преобразование, например, упростить сложное математическое выражение, вычислить в символьном виде производную или первообразную заданной функции, разложить ее вряд Тейлора, найти корни уравнения и т. д, применяются системы компьютерной алгебры (системы символьных вычислений. Отметим также особую роль подобных систем в техническом и математическом образовании. Они позволяют проверить результаты громоздких математических расчетов и наглядно представить сложные математические объекты. В отличие от коммерческой программы Mathematica программа Maxima распространяется под лицензией GNU, что позволяет рекомендовать ее широкому кругу пользователей. У каждой из этих двух программ есть свои сильные и слабые стороны. Удобный графический интерфейс является несомненным достоинством программы Mathematica, в то время как Maxima зачастую дает математически более строгие ответы. Так, например, при вычислении первообразной функции x n Maxima просит уточнить значение n, так как при n= – 1 результатом является функция ln x, а при других n первообразная равна x n+1 /(n+1). Программа Mathematica не уточняет n и для такой функции всегда в качестве первообразной выдает значение x n+1 /(n+1), хотя если в качестве функции задать 1/x, то получим верный результат – ln x. Другими представителями систем такого рода являются программы Mathcad, Maple, Axiom, GAP, FreeMat, Octave, Scilab, YACAS и другие. 5 Стахин НА, Основы работы с системой аналитических (символьных) вычислений Maxima 1. О происхождении Maxima Maxima среди прочих аналогичных программ обладает наиболее широкими возможностями по части символьных вычислений и вполне способна поспорить в этой области с коммерческими Mathematica и Maple. Система аналитических вычислений Maxima идеально подходит в качестве объекта для изучения как при обучении школьников старших классов, таки студентов вузов, ее могут использовать и профессиональные математики для проведения сложных расчетов и исследований. По происхождению Maxima принадлежит к древнейшему роду среди программ этого вида деятельности – она обладает, пожалуй, одной из длиннейших историй среди всех сколь-нибудь распространённых сегодня программ. Жизнеописание Максимы берёт своё начало в х годах, когда появился продукт под названием Macsyma, в котором реализовывались, как принято сейчас говорить, передовые идеи в области компьютерной математики. Позже эти идеи легли в основу обоих уже упомянутых лидеров проприетарного рынка математического софта – Mathematica и Проект Macsyma был основан Энергетическим Управлением США (Departament of Energy, DOE) в х годах. Разрабатывать его начали в легендарном Массачусетском Технологическом Институте (Massachusets Institute of Technology, MIT), на языке, который заслуженно считался тогда наиболее подходящим для невычислительных задач из всех существовавших на тот момент. Этим языком был Lisp, единственный из языков того времени доживший до наших дней и даже сейчас соперничающий по распространённости в живых проектах со многими ультрасовременными языками. Естественно, изначально Macsyma была закрытым коммерческим проектом. Доступность проекта сообществу стала возможной благодаря профессору Техасского Университета Вильяму Шелтеру (William Schelter), который добился от DOE получения кода Macsyma и его публикации под лицензией GPL под именем Maxima. Он же долгое время разрабатывал как саму Максиму, таки один из диалектов лиспа – GCL (GNU Common Lisp) – на котором разрабатывалась Максима после её освобождения. К величайшему сожалению, Вильям Шелтер умер в 2001 году. Но, как это часто бывает в мире открытого ПО, жизнь проекта не закончилась вместе с жизнью его основателя. Сейчас над проектом работает большое число математиков и программистов во главе с Джеймсом Эмундсоном (James Amundson). Теперь Maxima работает не только с GCL, но и си, полностью отвечающими стандарту ANSI Common Lisp (в отличие отв котором пока есть незначительные отклонения от стандарта). В Максиме сейчас принят такой же принцип нумерации версий, как ив ядре Linux: номер состоит из трёх чисел, разделённых точками, причём номера с нечётным средним числом соответствуют так называемым development- версиям (разрабатываемым, сч тным – stable (стабильным. Стабильность 6 Стахин НА, Основы работы с системой аналитических (символьных) вычислений Maxima одной ветки и статус в разработке другой здесь означает не столько стабильность или нестабильность работы программы, сколько стабилизацию самого процесса разработки в ветке новая младшая версия может иметь новые функции и новые интерфейсы, в стабильной же младшие версии будут содержать только исправления ошибок. Конечно, из этого следует несколько больший риск столкновения с ошибками в разрабатываемой версии, но риск этот весьма мал ив достаточной степени будет окупаться теми нововведениями, которые изначально в стабильной версии будут недоступны 2. Загрузка и интерфейсы Версия, существующая на начало лета 2008 года – 5.15.0, доступна для загрузки с русской версии сайта Maxima http://maxima.sourceforge.net/ru/. С каждой новой версией в Maxima появляются новые функциональные возможности и виды решаемых задач. Пакет Maxima либо входит в Linux- дистрибутив, и при отсутствии программы на компьютере, ее просто нужно доустановить из дистрибутива, либо пакет доступен для скачивания с упомянутого сайта проекта, либо Максиму можно собрать из исходников, лежащих на том же сайте. Попробуем загрузить ту Максиму, что находится на нашем компьютере и приобрести минимальный начальный опыт, например, следующим образом. Найдем на рабочем столе или вменю задач Терминал (Konsole) и запустим эту программу, после получения приглашения введем maxima. Тем самым мы пытаемся загрузить Максиму из Консоли (е консольный вариант. Maxima тут же напишет нам номер своей версии и название сайта для своего последующего обновления. Добавим 2*2 после выражения в скобках, у нас получится (%i1) 2*2 (мы желаем узнать, знает ли об этом Максима. Нажав Enter, мы замечаем, что курсор как всегда переместился на строчку ниже, но Максима не сказала нам ни "Дани "Нет. В отчаянии мы стучим пальцем по стрелке "Вверх, но курсор вверх не передвигается, однако снова сама собой появляется запись 2*2 (тут же замечаем для себя на будущее, что Maxima запомнила введенный нами текст) (рис. 1). Рассуждая о том, что нам теперь делать, вспоминаем, что очень часто программисты используют знак ; (точку с запятой, чтобы один оператор отделить от другого. Добавим ; к нашему тексту, получим 2*2; и снова упорно надавим Enter. Maxima тут же отвечает, но сама возмущена – пишет (Incorrect syntax: ...) – и указывает нам на нашу некорректность в записи команды в две строчки (рис. 1). Мы, конечно же, прежде всего, вынуждены "зарубить наносу, что точку с запятой надо ставить обязательно, если мы хотим получить ответ от Максимы. На наше новое немного измененное предложение (%i1) 2*12; (мы попробовали сдвинуть курсор влево и вставили 1 перед двойкой и исправления оказались доступны. На это повторное предложение "перемножь эти два числа" 7 Стахин НА, Основы работы с системой аналитических (символьных) вычислений Максима ответила (%o1) 24, но записала это по-своему: номер ответа (%o1) поставила на экране слева, асам ответ 24 – на самой середине экрана (рис. Рис. 1. Начало работы в консольной версии Максимы Ответ на наше более сложное задание вычислить е, которое мы ввели в виде одной строки %e**(%pi), Максима также получила мгновенно, но ответ вывела в 2 строки (в верхней строке Максима записала показатель степени %pi, а ниже и немного левее — основание степенного выражения %e). Из записи ответа видно, что Максима понимает математику, но предпочитает записывать ответ не в виде числа (зачастую, как мы знаем, приближенного, а в символьном виде (точно, однако в консольном варианте других возможностей – кроме как выводить результат в несколько строку Максимы нет. Когда мы повторили наше задание и добавили в новом задании слово numer, Максима вывела нам численный ответ в виде числа с большой точностью – 16 знаков считать, конечно же, Максима умеет и численно, и весьма точно). На рис. 2 на наш запрос вида) 'оболочка xmaxima вывела ответ в виде ми строк. Трудно согласиться стем, что красивый знак интеграла xmaxima записывает таким корявым способом – в виде набора обычных текстовых символов. Рис. 2. Интерфейс Возможности Максимы в консольной версии, как видим, — весьма ограниченные. Без дополнительного графического интерфейса Максиму можно использовать лишь ввиду безысходности, так как голая консоль, или простой интерфейс xmaxima рис. 2) довольно-таки бедны визуальными возможностями 8 Стахин НА, Основы работы с системой аналитических (символьных) вычислений Maxima все математические формулы рисуются обычными текстовыми символами – в несколько строк дисплея. Однако за счёт отсутствия сложной графической надстройки понижаются требования к компьютеру (железу. Максима в консольном варианте способна работать даже на таких компьютерах, которые сегодня и за компьютеры уже никто не считает. Самостоятельная оболочка, xmaxima, ненамного более требовательна к ресурсам, чем консольный интерфейс, оснащена системой меню и позволяет встраивать графические объекты прямо в документ в момент их создания (пожеланию пользователя, но математические знаки имитируются в ней, также как ив консольной версии, текстовыми символами. Ещё два интерфейса, emaxima и imaxima, реализованы как библиотеки к редактору emacs и будут полезны тем, кто набирает свои работы в формате LaTeX. Четвёртый графический интерфейс к Максиме – это интерфейс к редактору TeXmacs. TeXmacs используется в первую очередь для работы с текстами научной тематики. Для интеграции Максимы с редактором TeXmacs сначала необходимо запустить TeXmacs, затем для подключения Максимы – на панели инструментов программы TeXmacs необходимо нажать на кнопку с изображением монитора и выбрать интерактивную сессию Maxima (рис. 3). Выбор пункта Maxima позволит начать сеанс работы с этой программой. И закончить … , если Maxima плохо интегрирована в редактор TeXmacs (рис. 4). Впрочем, упомянутые интерфейсы в дистрибутив Alt-Linux не входят. Вменю рабочего стола KDE Образование |