Габриэль Крамер и его вклад в развитие теории вероятностей

Размещено на http://www.allbest.ru/

Доклад

на тему: "Габриэль Крамер и его вклад в развитие теории вероятностей"

Выполнил: студент 2 курса

15 группы отделения ПКС

Карпенко И.Ю.

Проверила: Карелина А.В.

Введение

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

В "Началах" Евклида фигурируют две теории "линейного" характера: теория величины и теория целых чисел. Близкие к современным матричным методам подходы к решению систем линейных уравнений обнаруживаются у вавилонян (системы из двух уравнений с двумя переменными) и древних китайцев (в "Математике в девяти книгах", до трёх уравнений с тремя переменными). Однако после достижения определённости с основными вопросами нахождения решений систем линейных уравнений развитие раздела практически не происходило, и даже в конце XVIII -- начале XIX века считалось, что проблем относительно уравнений первой степени больше не существует, притом системы линейных уравнений с числом переменных, отличающихся от количества уравнений или с линейно-зависимыми коэффициентами в левой части попросту считались некорректными

1. Биография

Крамер родился в семье франкоязычного врача. С раннего возраста показал большие способности в области математики. В 18 лет защитил диссертацию. В 20-летнем возрасте Крамер выставил свою кандидатуру на вакантную должность преподавателя на кафедре философии Женевского университета. Кандидатур было три, все произвели хорошее впечатление, и магистрат принял соломоново решение: учредить отдельную кафедру математики и направить туда (на одну ставку) двух "лишних", включая Крамера, с правом путешествовать по очереди за свой счёт.

1727: Крамер воспользовался этим правом и 2 года путешествовал по Европе, заодно перенимая опыт у ведущих математиков --Иоганна Бернулли и Эйлера в Базеле, Галлея и де Муавра в Лондоне, Мопертюи и Клеро в Париже и других. По возвращении он вступает с ними в переписку, продолжавшуюся всю его недолгую жизнь.

1728: Крамер находит решение Санкт-Петербургского парадокса, близкое к тому, которое 10 годами спустя публикует Даниил Бернулли.

1729: Крамер возвращается в Женеву и возобновляет преподавательскую работу. Он участвует в конкурсе, объявленном Парижской Академией, задание в котором: есть ли связь между эллипсоидной формой большинства планет и смещением их афелиев? Работа Крамера занимает второе место (первый приз получил Иоганн Бернулли).

В свободное от преподавания время Крамер пишет многочисленные статьи на самые разные темы: геометрия, история математики, философия, приложения теории вероятностей. Крамер также публикует труд по небесной механике (1730) и комментарий кньютоновской классификации кривых третьего порядка (1746).

Около 1740 года Иоганн Бернулли поручает Крамеру хлопоты по изданию сборника собрания своих трудов. В 1742 году Крамер публикует сборник в 4 томах, а вскоре (1744) выпускает аналогичный (посмертный) сборник работ Якоба Бернулли и двухтомник переписки Лейбница с Иоганном Бернулли. Все эти издания имели огромный резонанс в научном мире.

1747: второе путешествие в Париж, знакомство с Даламбером.

1751: Крамер получает серьёзную травму после дорожного инцидента с каретой. Доктор рекомендует ему отдохнуть на французском курорте, но там его состояние ухудшается, и 4 января 1752 года Крамер умирает.

Алгебраическая кривая или плоская алгебраическая кривая-- это геометрическое место (множество) точек на плоскости(O;x,y), которое определяется как множество нулей многочлена от двух переменных. Степенью (или порядком) n этой кривой называется степень этого многочлена. Алгебраические кривые степеней n = 1, 2, 3, … , 8 кратко называются прямыми, кониками,кубиками, квартиками, пентиками, секстиками, септиками, октиками соответственно. Например, единичная окружность -- это алгебраическая кривая степени 2 (коника), так как она задаётся уравнением x2 + y2 ? 1 = 0.

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

В алгебраической геометрии, плоская аффинная алгебраическая кривая над полем k определяется как множество точек K2, являющихся корнями многочлена от двух переменных с коэффицентами в k, где K -- алгебраическое замыкание поля k. Точки этой кривой, все координаты которых лежат в k, называются k-точками. Например, точка принадлежит рассмотренной выше единичной окружности, однако не принадлежит её действительной части. Многочлен x2 + y2 + 1 задаёт алгебраическую кривую, действительная часть которой пуста.

Можно рассматривать алгебраические кривые, содержащиеся не в плоскости, а в пространстве с большим числом измерений или в проективном пространстве. Оказывается, что многие свойства алгебраической кривой не зависят от выбора конкретного вложения в некоторое пространство, и это приводит к общему определению алгебраической кривой:

Алгебраическая кривая -- это алгебраическое многообразие размерности 1. Это определение можно переформулировать так: алгебраическая кривая -- это алгебраическое многообразие, все алгебраические подмногообразия которого состоят из одной точки.

Рациональная кривая, также известная как уникурсальная кривая, -- это кривая, бирационально эквивалентная аффинной прямой (или проективной прямой), другими словами, кривая, допускающая рациональную параметризацию.

Более конкретно, рациональная кривая в n-мерном пространстве может быть параметризована (за исключением некоторого числа изолированных "особых точек") при помощи n рациональных функций от единственного параметра t.

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

x2 + xy + y2 = 1

Например, рассмотрим эллипс x2 + xy + y2 = 1 с рациональной точкой (?1, 0). Проведя через неё прямую y = t(x + 1), подставив выражение yчерез x в уравнение и решив относительно x, получим уравнения

задающие рациональную параметризацию эллипса. В таком виде представимы все точки эллипса кроме точки (?1, 0), можно сопоставить ей t = ?, то есть параметризовать эллипс проективной прямой.

Эту рациональную параметризацию можно рассматривать как параметризацию "эллипса в проективном пространстве", перейдя к однородным, то есть заменив t на T/U, а x, y на X/Z, Y/Z соответственно.

Параметризация эллипса X2 + XY + Y2 = Z2проективной прямой примет следующий вид:

Линейная алгебра-- раздел алгебры, изучающий объекты линейной природы: векторные (или линейные) пространства, линейные отображения, системы линейных уравнений, среди основных инструментов, используемых в линейной алгебре -- определители, матрицы, сопряжение. Теория инвариантов и тензорное исчисление обычно (в целом или частично) также считаются составными частями линейной алгебры. Такие объекты как квадратичные и билинейные формы, тензоры и операции как тензорное произведение непосредственно вытекают из изучения линейных пространств, но как таковые относятся к полилинейной алгебре.

Линейная алгебра обобщена средствами общей алгебры, в частности, современное определение линейного (векторного) пространства опирается исключительно на абстрактные структуры, а многие результаты линейной алгебры обобщены на произвольные модули над кольцом. Более того, методы линейной алгебры широко используются и в других разделах общей алгебры, в частности, нередко применяется такой приём, как сведение абстрактных структур к линейным и изучение их относительно простыми и хорошо проработанными средствами линейной алгебры, так, например, реализуется в теории представлений групп. Функциональный анализ возник как применение методов математического анализа и линейной алгебры к бесконечномерным линейным пространствам, и во многом базируется на методах линейной алгебры и в дальнейших своих обобщениях. Также линейная алгебра нашла широкое применение в многочисленных приложениях (в том числе, в линейном программировании, в эконометрике) и естественных науках (например, в квантовой механике).

Матрица -- математический объект, записываемый в прямоугольной таблице размером , в ячейках которой расположены элементы произвольного заранее выбранного (основного) поля (в наиболее общем случае -- ассоциативного кольца) -- это могут быть целые, вещественные или комплексные числа, векторы, рациональные функции -- в зависимости от приложений и задач:

Для матриц используется также сокращённая запись , но обычно с матрицами оперируют как с едиными объектами: над матрицами определены сложение и умножение, также матрицу можно умножить на скаляр -- элемент основного поля, относительно этих операций образуют векторное пространство над основным полем (или, в наиболее общем случае -- модуль над кольцом). Другие операции над матрицами -- транспонирование (замена строк на столбцы) и псевдо обращение (обобщение обращения квадратных матриц). Матрицы размера и называются вектор-строка и вектор-столбец соответственно.

Матрица с равным числом строк и столбцов называется квадратной, в зависимости от содержания они могут быть диагональными (все элементы -- нули основного поля, кроме диагональных: ), единичными (все диагональные элементы равны единице основного поля, а остальные -- нулю), симметричными (все элементы симметричны относительно главной диагонали: ), кососимметричными (), треугольными (все элементы выше или ниже главной диагонали равны нулю), ортогональными. Среди квадратных матриц вводится отношение подобия

(),

где -- матрица, обратная ), такие характеристики матриц, как ранг(максимальное количество линейно независимых строк или столбцов) и характеристический многочлен инвариантны относительно подобия. Также одинаковы для подобных прямоугольных матриц такие характеристики, как след (взятие суммы элементов главной диагонали) и определитель.

Определитель -- многочлен, комбинирующий элементы прямоугольной матрицы особым способом, благодаря которому независимо от транспонирования и линейных комбинаций строк или столбцов характеризуется содержание матрицы; в частности, если в матрице есть линейно-зависимые строки или столбцы -- определитель равен нулю. Квадратные матрицы, определитель которых равен нулю называются вырожденными, для них не определено обращение; если определитель отличен от нуля -- то матрица называется невырожденной. Определитель играет ключевую роль в решении систем линейных уравнений в общем виде, на его базе вводятся понятия минора, дополнительного минора, алгебраического дополнения

Понятие вектора (сам термин "вектор" был введен У. Гамильтоном) изначально возникло как геометрическая абстракция для объектов, характеризующихся одновременно величиной и направлением, таких как скорость, момент силы, напряжённость электрического поля, намагниченность. В начале XX века изначальная интерпретация векторов (до сих пор используемая в элементарной математике) как "направленных отрезков" сменилось на аксиоматику векторного пространства с двумя операциями? сложением векторов и умножение вектора на числа (более обще, на элементы поля). Кроме того, часто вводятся различные виды произведения векторов: скалярное, векторное, смешанное,псевдоскалярное, двойное векторное.

Ключевую роль в линейной алгебре играет понятие линейной независимости векторов, которое лежит в основе определений базиса и размерности векторного пространства? число называется размерностью векторного пространства, если оно содержит линейно независимых векторов и любые векторов этого пространства являются линейно зависимыми. Такое векторное пространство называется -мерным, и любой его вектор представляется упорядоченной последовательностью чисел (однозначно определяемых при выборе какого-либо базиса). Таким образом, векторы могут быть записаны в виде матриц размера или -- векторов-столбцов и векторов-строк соответственно, а все операции векторной алгебры могут быть сведены к алгебре матриц? например, сложение векторов совпадает со сложением матриц, а векторное умножение векторов может быть выражено как произведение кососимметрической матрицы, построенной из первого сомножителя и вектора-столбца, представляющего второй сомножитель.

Линейные отображения - Подобно теориям других алгебраических структур, линейная алгебра изучает отображения между векторными пространствами, которые сохраняют структуру векторного пространства. Линейное отображение (линейное преобразование, линейный оператор) произвольных векторных пространств над одним полем -- отображение, сохраняющее линейность:

,

.

Когда между двумя векторными пространствами существует взаимно-однозначное отображение, являющееся линейным, то эти пространства называются изоморфными; многие свойства векторных пространств сохраняются при изоморфных преобразованиях (инвариантны относительно изоморфизма).

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

Векторные пространства - Все математические структуры, изучаемые в линейной алгебре -- векторы, тензоры, матрицы, алгебраические формы, а также операции над ними, универсализированы вообще алгебраическом понятии векторного (линейного) пространства. Векторное пространство определяется как алгебра над произвольным множеством элементов , называемых векторами, и произвольным полем , элементы которого называются скалярами, притом векторы с операцией сложения векторов образуют абелеву группу, и определена операция умножения векторов на скаляр: такая, что выполнены следующие свойства ():

,

,

,

.

В качестве поля иногда специально рассматриваются поле вещественных чисел (тогда говорят о вещественном векторном пространстве) или поле комплексных чисел(комплексное векторное пространство) с обычными операциями сложения и умножения, в частности, в теории выпуклых множеств многие

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

Линейные комбинации векторов -- конечные суммы вида , для совокупности векторов вводится линейной независимости (если существует нетривиальная линейная комбинация, обращающаяся в нуль абелевой группы пространства), вводится понятие базиса как максимальной линейно-независимой совокупности, показывается, что мощность базиса (называемая размерностью векторного пространства) не зависит от его выбора.

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

Собственные векторы и собственные числа - В общем случае действие линейных отображений может быть довольно сложным. Важной и распространённой задачей является нахождение такого базиса векторного пространства , в котором матрица данного линейного отображения имеет наиболее простой вид. При решении этой задачи ключевую роль играют инвариантные подпространства линейного отображения -- подпространства, образкоторых при отображении вложен в себя. Если найдены инвариантные подпространства ненулевой размерности (то есть, выполнено ), прямая сумма которых составляет всё пространство , то матрица отображения имеет блочно-диагональный вид с блоками порядков , , на главной диагонали, если выбрать базис состоящим из групп векторов, где -ая группа является базисом в подпространстве .

Простейшим случаем инвариантного подпространства является одномерное инвариантное подпространство , которое можно задать с помощью одного (любого) ненулевого вектора . В этом случае условие вложенности образа подпространства в себя принимает вид с некоторым числом ; такая конструкция приводит к определению собственного вектора и собственного числа: если для некоторого вектора и числа выполнено равенство , то называется собственным числом отображения , а вектор называется его собственным вектором.

Собственные числа линейного отображения определены однозначно, а собственные векторы -- с точностью до пропорциональности, то есть до умножения на произвольное ненулевое число.

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

2. История

Методы, сформировавшие линейную алгебру как самостоятельную отрасль математики, уходят корнями в другие разделы. Ферма в 1630-е годы, создав классификацию плоских кривых, ввёл в математику (ключевой для линейной алгебры) принцип размерности и разделил задачи аналитической геометрии по числу неизвестных (с одним неизвестным -- отыскание точки, с двумя -- кривой или геометрического места на плоскости, с тремя -- поверхности). Эйлер создал классификацию кривых по порядкам обратив внимание на линейный характер преобразований координат, ввёл в оборот понятие аффинного преобразования (и само слово "аффинность").

Первое введение понятия определителя для целей решения систем линейных уравнений относят к Лейбницу (1678 или 1693 год), но эти работы не были опубликованы. Также определитель обнаруживается в трудах Сэки Такакадзу 1683 года, в которых он обобщил метод решения систем линейных уравнений из древнекитайской "Математики в девяти книгах" до уравнений с неизвестными. Маклорен, фактически используя простейшие определители в трактате вышедшем 1748 году приводит решения систем их двух линейных уравнений с двумя неизвестными и трёх уравнений с тремя неизвестными. Крамер и Безу в работах по проблеме отыскания плоской кривой, проходящей через заданную точку, вновь построили это понятие (правило Крамера сформулировано в 1750 году), Вандермонд и Лагранж дали индуктивное определение для случаев , а целостное определение и окончательные свойства определителей дали Коши (1815) и Якоби (1840-е годы) . Гауссу (около 1800 года) принадлежит формализация метода последовательного исключения переменных для решения этих задач, ставшего известным под его именем (хотя по существу для решения систем линейных уравнений именно этот метод и использовался с древности).

Д'Аламбер, Лагранж и Эйлер, работая над теорией дифференциальных уравнений в том или ином виде выделили класс линейных однородных уравнений и установили факт, что общее решение такого уравнения порядка является линейной комбинацией частных решений (однако, при этом не отмечали необходимость линейной независимости решений). Основываясь на наблюдении, что множество значений целочисленной функции не меняется от того, что над и совершается линейная подстановка (с целыми коэффициентами и определителем, равным 1), Лагранж в 1769 году разрабатывает теорию представления целых чисел квадратичными формами, а в 1770 году обобщает теорию до алгебраических форм. Гаусс развил теорию Лагранжа, рассматривая вопросы эквивалентности форм, и ввёл серию понятий, относящихся к линейным подстановкам, самым важным из которых было понятие сопряжённой (транспонированной) подстановки. С этого времени арифметические и алгебраические исследования квадратичных и связанных с ними билинейных форм составляют существенную часть предмета линейной алгебры.

Ещё одним источником подходов для линейной алгебры стала проективная геометрия, создание которой начато Дезаргом в XVII веке и получившей значительное развитие в трудахМонжа конца XVIII века и в дальнейшем в работах Понселе, Брианшона и Шаля начала -- середины XIX века. В те времена основным предметом изучения проективной геометрии были коники и квадрики, являющиеся по сути квадратичными формами. Кроме того, понятие двойственности проективных пространств, введённое Монжем, являет один из аспектов двойственности в линейных пространствах (однако эта связь была замечена только в конце XIX века Пинкерле).

Но основной базой линейной алгебры стало фактически влившееся в раздел векторное исчисление, очерченное Гауссом в работах по геометрической интерпретации комплексных чисел (1831) и обретшее окончательную форму в трудах Мёбиуса, Грассмана и Гамильтона 1840-х -- 1850-х годах. Так, Гамильтон в 1843 году обобщает комплексные числа докватернионов и даёт им геометрическую интерпретацию по аналогии с гауссовой (Гамильтону, в том числе, принадлежит и введение термина "вектор"), а в 1844 году Грассман строит понятие внешней алгебры, описывающей подпространства линейного пространства. Всеобщее признание векторного исчисления в конце XIX века существенно связано с применением векторов ведущими физиками-теоретиками того времени, прежде всего, Максвеллом, Гиббсом, Хевисайдом, в частности, физиками тщательно проработана векторная алгебра в трёхмерном евклидовом пространстве:

введены понятия скалярного, векторного и смешанного произведений векторов, набла-оператор, сформирована вошедшая в традицию символика, также начиная с этого времени векторы проникают и в школьные программы.

Понятие матрицы ввёл Сильвестр в 1850 году. Кэли обстоятельно разрабатывает матричное исчисление, публикуя в 1858 году "Мемуары о теории матриц" (англ. Memoir on the theory of matrices), принципиально, что Кэли рассматривает матрицы как нотацию для линейных подстановок. В частности, в этой работе Кэли вводит сложение и умножение матриц, обращение матриц, рассматривает характеристические многочлены матриц и формулирует и доказывает для случаев 2Ч2 и 3Ч3 утверждение об обращении в нуль характеристического многочлена квадратной матрицы (известное как теорема Гамильтона -- Кэли, так как случай 4Ч4 доказал Гамильтон с использованием кватернионов), доказательство для общего случая принадлежит Фробениусу (1898). Системы линейных уравнений в матрично-векторном виде впервые появились, по-видимому, в работах Лагерра (1867).

Теория инвариантов в классическом варианте -- учение о свойствах алгебраических форм, сохраняющихся при линейных преобразованиях, сформирована начиная с 1840-х годов в работах Кэли, Эрмита и Сильвестра (известных как "инвариантная троица", фр. la trinitй invariantive), считается, что именно теория инвариантов и приводит к созданию принципов решения произвольных систем линейных уравнений. В частности, Эрмит сформулировал и решил в частном случае проблему нахождения системы линейных диофантовых уравнений, решение в общем случае найдено Смитом (англ. Henry John Stephen Smith), результат которого остался незамеченным, пока не был обнаружен в 1878 году Фробениусом. Финальный вид результаты о системах линейных уравнений с произвольными числовыми коэффициентами получили в работах, организованных Кронекером, в которых принимали участие Вейерштрасс, Фробениус и группа немецких учёных, особое внимание уделялось строгости и точности формулировок. В частности, определитель в курсе лекций Кронекера -- Вейршртаса вводился как полилинейная знакопеременная функция от векторов -мерного пространства, нормированная таким образом, что принимает значение 1 для единичной матрицы; притом это определение эквивалентно вытекающему из исчисления Грассмана. Фробениус в 1877 году ввёл понятие ранга матрицы, основываясь на котором в ближайшие годы сразу несколько учёных доказали утверждение об эквивалентности разрешимости системы линейных уравнений совпадением рангов её основной и расширенной матрицы, известной в русских и польских источниках как теорема Кронекера -- Капелли, во французских -- теорема Руше (фр. Eugиne Rouchй) -- Фонтене (фр. Georges Fontenй), в немецких и испанских -- теорема Руше -- Фробениуса, в итальянских и английских -- теорема Руше -- Капелли.

В 1888 году Пеано на базе исчисления Грассмана впервые в явном виде сформулировал аксиомы линейного пространства (векторных пространств над полем действительных чисел в том числе бесконечномерных) и применил обозначения, сохранившиеся в употреблении в XX--XXI века. Тёплиц в начале 1910-х годов обнаружил, что при помощи аксиоматизации линейного пространства для доказательства основных теорем линейной алгебры не требуется прибегать к понятию определителя, что позволяет распространить их результаты на случай бесконечного числа измерений, иными словами, линейная алгебра применима при любом основном поле. Аксиоматическое определение векторного и евклидова пространства было впервые чётко сформулировано в начале XX века практически одновременно Вейлем и фон Нейманом, исходя из запросов квантовой механики.

Тензорное исчисление, разработанное в 1890-е годы Риччи и Леви-Чивитой, составило своей алгебраической частью основное содержание полилинейной алгебры. Особое внимание к этому подразделу было привлечено в 1910-е -- 1930-е годы благодаря широкому использованию тензоров Эйнштейном и Гильбертом в математическом описании общей теории относительности.

В 1922 году Банах, изучая полные нормированные линейные пространства, ставшие известными после его работ как банаховы, обнаружил, что уже в конечном случае возникают линейные пространства, не изоморфные своему сопряжению, и в этой связи в первой половине XX века методы и результаты линейной алгебры обогатили функциональный анализ, сформировав его основной предмет в современном понимании -- изучение топологических линейных пространств.

Также в 1920-е -- 1950-е годы получает распространение направление по линеаризации общей алгебры, так, развивая результат Дедекинда о линейной независимости любых автоморфизмов поля, Артинлинеаризовывает теорию Галуа, а в 1950-е годы, прежде всего, в работах Джекобсона, эти результаты обобщены на произвольные расширения тел; благодаря этим построениям обретена возможность применения инструментов и достижений хорошо изученной линейной алгебры в весьма абстрактных разделах общей алгебры.

алгебра крамер матрица вектор

Заключение

Габриэмль Краммер- один из создателей линейной алгебры.

Самая известная из работ Крамера -- изданный незадолго до кончины трактат "Введение в анализ алгебраических кривых", опубликованный на французском языке ("Introduction а l'analyse des lignes courbes algйbraique", 1750 год). В нём впервые доказывается, что алгебраическая кривая n-го порядка в общем случае полностью определена, если заданы её n(n + 3)/2 точек. Для доказательства Крамер строит систему линейных уравнений и решает её с помощью алгоритма, названного позже его именем: метод Крамера.

Крамер рассмотрел систему произвольного количества линейных уравнений с квадратной матрицей. Решение системы он представил в виде столбца дробей с общим знаменателем -- определителем матрицы.

Список использованной литературы

1. https://ru.wikipedia.org/wiki/%D0%9A%D1%80%D0%B0%D0%BC%D0%B5%D1%80,_%D0%93%D0%B0%D0%B1%D1%80%D0%B8%D1%8D%D0%BB%D1%8C

2. http://dic.academic.ru/dic.nsf/ruwiki/460954

3. http://www.ronl.ru/referaty/matematika/142327/

4. http://www.calend.ru/person/1064/

Размещено на Allbest.ru