Ужас! Ужас! Ужас!

[apximhd]

В последнее время все большее распространение получают математические пакеты. Я как-то не привык использовать программы символьной математики, все больше по-старинке, с карандашом и бумагой… А вот современные выпускники зачастую уже не могут взять простейший табличный интеграл, не говоря уже о каких-то более сложных выкладках. Зачем, если под рукой такой мощный инструмент?
По такому случаю я подумал, что, наверное, и мне стоит идти в ногу с прогрессом, и установил себе Maple 11. Первые же эксперименты с этим пакетом привели меня в восторг. Но восторг был недолгим.
Как в известном анекдоте про испытание новой бензопилы, я скармливал Maple все более сложные задачи, приговаривая: «Уууу, б…!», пока, наконец, не решил опробовать на нём задачник Сканави… А счастье было так возможно… И так возможно… И вот так…
Первое попавшееся уравнение оказалось Maple… не то что бы не по зубам, а… Впрочем, смотрите сами:



Как вы видите, Maple выдает два решения этого уравнения: x=9 и x=144. Второе решение, безусловно, подходит, но первое не попадает в область определения. При его подстановке в уравнение выражение под корнем x-13 оказывается отрицательным. Оно действительно получается при решении квадратного уравнения, но должно быть отброшено. Разработчики Maple по каким-то причинам не заложили в алгоритм подобную проверку решений на допустимость.

Идем дальше. Вот следующее задание, и те же грабли:



При подстановке x=-5 в исходное выражение оба аргумента подлогарифмических выражений оказываются отрицательными. Причем, сам Maple это признает, и при попытке подставить выданное им же решение в уравнение сообщает об ошибке.

И наконец… Смертельный номер! (Оркестр смолкает. Раздается барабанная дробь). Уравнение, приведенное на следующем скриншоте имеет очень простое решение:

sin(x)=1/4

Но то, что выдает Maple… Возможно, оно и правильно, проверять я не стал:



Вот barmaros сетует по поводу современных инженеров, а я теперь с ужасом думаю об инженерах будущих. Как они, взращенные на безграничной вере в торжество прогресса и всемогущество компьютеров, полностью доверяясь результатам мощнейших математических пакетов, будут создавать, например, новые самолеты, на которых мне же придется потом летать? Не становимся ли мы заложниками нами же созданных протезов для наших мозгов?

Comments

[sunnyvampire.livejournal.com]

вспоминается анекдот про математика, которому надо быол рассчитать траекторию прыжка с 10-метровой вышки в бассейн 1х1. Рассчитал, поднялся на вышку, прыгнул...и улетел вверх. Знаком ошибся.