Иллюстрации

Цель данной иллюстрации показать, что число соприкасающихся сфер – ≥ 12. Код Mathematica создавший этот объект, дан в тексте. Он создает файл, содержащий десятки тысяч треугольников, которые 3D принтер поймёт и сможет воплотить в физический объект. Распечатанный объект визуализирует, что на сфере остается очень мало свободного пространства. Ньютон и его современник Грегори имели разногласия по поводу того, достаточнолиэтого местадляразмещениятринадцатойсферы.

Скручивание Дена в торе и раскрученный тор. Левое и правое изображения показывают дванеизоморфныхграфа,ноониимеюттежетопологическиеиизоспектральныесвойствадля оператора Лапласа, что и для оператора Дирака. Это простейший пример пары неизометрических,ноизоспектральныхграфовДирака.

Все 26 Архимедовых и каталонских твердых частиц, соединенных с «драгоценным камнем» в форме двенадцатигранника Disdyakis. Правильная фигура, демонстрирующая большой ромбовидный двенадцатигранник с 30 точками искривления ⅓ и 12 точками искривления -⅔. Полное искривление равняется 2 и согласуется с Эйлеровой характеристикой. Это демонстрируетдискретнуютеоремуГаусса-Бонне46.

Ожерелье Антуана – совокупность Кантора в пространстве, чье дополнение неодносвязно. Сфера Александра, справа, является топологическими 3 шарами, которые являются односвязными, но у которых есть множество внешних точек, которые неодносвязны. Из сфер Александраполучатсякрасивыесерьги,еслиихраспечатать.

Два типа доказательств Архимеда, что объем сферы – 4π/3 47 48 49. Первое предполагает, что площадь поверхности A известна. Формула V = Ar/3 может быть представлена путем разрезания сферы на множество маленьких четырехгранников объемом dAr/3. При подведении итоговпосфере, мыполучаем Ar/3.Второедоказательствосравниваетполовинуобъема сферыс дополнениемконусав цилиндре.

Копыто Архимеда, Архимедов купол (диэдр), пересечение цилиндров – твердые частицы, для которых Архимед мог вычислить объем с помощью сравнительных интеграционных методов50. Копыто – также объект, где Архимед должен был использовать предельную сумму, вероятнопервуювистории человечества51.

Два из 6 регулярных выпуклых четырехмерных многогранников. Цвет – вершина в четырехмерномпространстве.Мывидим120ячееки600ячеек.

Другая пара 6 регулярных выпуклых четырехмерных многогранников. Цвет – высота в четырехмерном пространстве.Мывидим 16ячеек (аналогоктаэдра)и 24ячейки.Позжепозволит составлять мозаикучетырехмерногоЕвклидовапространства.

5 ячеек – полныйграфс5вершинамии самыйпростойчетырехмерныйполиэдр. 8ячеек, справа,такжевызываютсяячейкой.Это– четырехмерныйаналогкуба.

Архимедовы купола – половина Архимедовых сфер. Унихестьобъем,равный⅔ призмы, в которую они вписаны. Это было обнаружено только после Архимедовых шаров, площадь поверхности⅔отплощадиповерхностиограниченнойпризмы50.

Аполлонов конус, названный в честь Аполлона из Перги, использует визуализацию конического сечения. Деревянные модели используются в школах. Правильная фигура демонстрирует образ Хаоса, точка притяжения Лоренца 52. Как полагают – это фрактал. Динамикаэтойсовокупностихаотическаядляразличныхпараметров.

Лента Мёбиуса была утолщена, чтобы ее можно было напечатать. Правое изображение показывает ленту Мёбиуса с самопересечением. Это пример, где система компьютерной алгебры блистает. Чтобы сделать поверхность более толстой, нам нужно вычислить нормальный векторвкаждойточкеповерхности.

Теорема девяти точек Фейербаха (слева), реализованная в 3D (прим. пер.: сама теорема гласит – окружность девяти точек касается вписанной и всех вневписанных окружностей треугольника). Правая фигура иллюстрирует теорему Гиппократа, попытка квадратуры круга (прим.пер.:построениеспомощьюлинейкиициркуляквадрата,равного поплощадикругус радиусом R=1). Треугольник имеет такую же площадь, как «луночки» – серповидные фигуры, ограниченныедугами двухокружностей.

Слева изображен гекслет Содди. Чтобы построить этот массив, потребуется провести соответствующие преобразования, например, преобразования Мёбиуса. Иллюстрация справа показывает существование бесконечного множества плотных объединений в пространстве. Если существует множество близко расположенных кубов и множество близко расположенных шестиугольников,тоэтимножестваможнообъединить.

Граф 1/|ζ(x+iy)| показывает нули зета-функции ζ (z) как вершины. Догадка Римана в том, что все эти корни находятся на строке x = ½. Справа изображена Гамма функция, которая расширяет функцию факториала от положительных целых чисел до комплексной плоскостиГ( x)=( x – 1)! дляположительногоx.Этиграфысоздаютсядляпоследующейпечати.

Две фигуры из различных областей геометрии. Первое изображение позволяет распечатывать апериодическую черепицу Пенроуза, состоящую из фигур, называемых "дротик" и "воздушный змей". Чтобы создать мозаичное размещение сначала в 2D, мы использовали код из 37 раздел 10.2. Вторая фигура – это третья стадия рекурсивно определенной кривой Пеано, криваязаполненияпространства.

Иллюстрация теоремы в многовариантном исчислении, градиент перпендикулярен уровню поверхности. Второе изображение иллюстрирует экспоненциальное отображение в Римановой геометрии, где мы видим волновые фронты в точке положительного искривления и в точке отрицательногоискривления.Дифференциальные уравнениясложны,ноMathematica заботится обэтом.

Отпечаток треугольника Пенроуза. Фигура была создана Оскаром Рёйтерсвердом и популяризированаРоджеромПенроузом53. С помощьюMathematica впервыереализованав36.

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

Зонтик Уитни – символ теории катастроф. Это типичная форма каустики волнового фронта, движущегося в пространстве. Слева мы видим, как поверхность была утолщена, что делает фигуру пригодной для печати. Справа, искривления сетки представлены как трубки. Это так же способсделать объектпригодным дляпечати.

Фигура слева демонстрирует многогранник Штеффена, или "изгибаемая поверхность". Можно менять его форму, при этом расстояния между точками будут неизменны. Это удивительно, потому что теорема Коши гласит, что такое невозможно для выпуклых тел54. Изображениесправапоказываеткак построить каустикунаповерхностизаданнойформы.

Первое изображение иллюстрирует падающую палку, отталкивающуюся рикошетом от стола. Мы видим стробоскопический снимок траектории. Второе изображение, иллюстрирует орбитубильярданатрехмерномбильярдном столе55.

Левое изображение показывает два изоспектральных цилиндра, созданные Гордоном-

Веббом. Правое изображение показывает выполненную распечатку графика оператора Дирака56.

Левое изображение показывает каустику кофейной чашки. Это знак теории катастроф. Правое изображение показывает минимальную поверхность Косте, использующую параметризацию,открытуюГреем57.

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

Левое изображение иллюстрирует спектр матрицы, где элементы беспорядочны, но соотнесены. Элементы даны значениями квазипериодической функции. Мы уже наблюдали экспериментально, что график спектральной функции имеет фрактальную природу в комплексной плоскости. Изображение может быть распечатано. Справа пример decic поверхности, нулевое геометрическое место точек f (x, y, z) = 0 многочлена десятого порядка в трехпеременных.Мыпоказываемобласть определенияf (x, y, z)≤0.

Левая фигура изображает геодезический поток на эллипсоиде без осевой симметрии. Последняя теорема Якоби, все еще нерешенная задача, утверждает, что у всех каустических поверхностей есть 4 точки возврата. Правое изображение показывает некоторую геодезию, начинающуюсявточкеповерхностивращения.

Волновой импульс на кубе. Несмотря на простоту установки, волновые импульсы становятся очень сложными. Правая фигура показывает аппроксимацию губки Менджера, фрактал в трехмерном пространстве. Это важно для топологии, потому что это содержит очень компактноеметрическоепространствотопологическойразмерности1.

Фигура слева иллюстрирует Эйлеров кирпич. Неизвестно, существует ли кубоид, для которого все длины сторон, все поверхностные и пространственная диагонали – целые числа. Если все поверхностные диагонали целочисленные, то кубоид зовется Эйлеровым кирпичом. Если, вдобавок к этому, пространственная диагональ – целое число, то это совершенный Эйлеров кирпич. Правая фигура показывает, как можно выполнить умножение чисел, используя параболу.

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

Слева предмет по теореме Паппа – Гюльдена слева, и представление теоремы Морли котораягласит,чтоугол трисектриспроизвольноготреугольникавстречаютсявравностороннем треугольнике.

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

Таблицыифрагментыкода

A)Революции. Первая таблица объединяет информационную и промышленную революции.

По промышленным революциям см. 61 страницу 3, по второй промышленной революции 62 страница2,потретьейсм.21 страницы34,23.

B)Изменения в сообщении, восприятии и учебных кабинетах. В таблице приведены примеры прорывных открытий в сообщениях и вариантах применения в школах. Среднеечислоуказывает,скольколетназадэтопроизошло.

Ранние системы компьютерной алгебры (computer algebra system – CAS) в1960-х были

Mathlab (не путать с MATLAB – прим. ред.), Cayley, Schoonship, Reduce, Axiom and Macsyma63. Как студенту, первому автору были предоставлены Macsyma, Cayley (который позже стал Magma) и Reduce.Мыживемвовремя,когданачинаютразмываться границы трех категорий: сотовые телефонысвидеоиаудиодатчиками,их можно носитькакочкииподключать к Паутине.В аудитории учителя уже сегодня фотографируют доклады студентов через сотовый телефон и могут автоматически поставить оценку. Студенты пишут на "умной" бумаге, а программа связывает записанное аудио с написанным текстом. Настанет время, когда студенты смогут распечатать экспериментпофизикеиработать сним.

C)Исходный код для экспорта в файл STL. Следующие строки Mathematica создают объектс13соприкасающимисясферами.

D) Формат STL. Приведен верх файла kissing.stl, преобразованного с использованием «admesh» в читаемый человеком формат ASCII. Весь файл имеет 104'000 строк и содержит 14'640 граней.Строкас«normal»содержитвектор,указывающийориентациютреугольнойграни.

E) Примеры Mathematica. Вот примеры основных «миниатюрных программ», которые могутиспользоватьсядлясозданияформ:

o E1)Дополнениенекоторых«узлов»: