Связанные понятия
Абсолютная геометрия — часть классической геометрии, независимая от пятого постулата евклидовой аксиоматики (то есть в абсолютной геометрии пятый постулат может выполняться, а может и не выполняться). Абсолютная геометрия содержит предложения, общие для евклидовой геометрии и для геометрии Лобачевского.
Геометрия Лобачевского (или гиперболическая геометрия) — одна из неевклидовых геометрий, геометрическая теория, основанная на тех же основных посылках, что и обычная евклидова геометрия, за исключением аксиомы о параллельных прямых, которая заменяется её отрицанием.
Эрлангенская программа — выступление 23-летнего немецкого математика Феликса Клейна в Эрлангенском университете (октябрь 1872 года), в котором он предложил общий алгебраический подход к различным геометрическим теориям и наметил перспективный путь их развития. Доклад был связан с процедурой утверждения Клейна в должности профессора и был опубликован в том же году. Первый русский перевод появился в 1895 году.
Евкли́дова геоме́трия (или элементарная геометрия) — геометрическая теория, основанная на системе аксиом, впервые изложенной в «Началах» Евклида (III век до н. э.).
Метод неделимых — возникшее в конце XVI века наименование совокупности приёмов, предназначенных для вычисления площадей геометрических фигур или объёмов геометрических тел.
Гипотеза в математике — утверждение, которое на основе доступной информации представляется с высокой вероятностью верным, но для которого не удаётся получить математическое доказательство. Математическая гипотеза является открытой математической проблемой, и каждую нерешённую математическую проблему, которая является проблемой разрешимости, можно сформулировать в форме гипотезы. Однако в виде гипотезы может быть сформулирована не всякая математическая проблема. Например, конкретное решение некоторой...
Спор о струне , спор о колеблющейся струне, спор о звучащей струне — научная дискуссия, развернувшаяся в XVIII веке между крупнейшими учёными того времени вокруг изучения колебаний струны. В спор оказались вовлечены Д’Аламбер, Эйлер, Д. Бернулли, Лагранж. Дискуссия касалась определения понятия функции и оказала решающее влияние на множество разделов математики: теорию дифференциальных уравнений в частных производных, математический анализ и теорию функций вещественного переменного, теорию тригонометрических...
Метод исчерпывания (лат. methodus exaustionibus) — античный математический метод, предназначенный для исследования площадей криволинейных геометрических фигур или объёмов геометрических тел. Идею метода, в не очень ясных выражениях, высказал ещё Антифон, однако разработку и применение осуществил Евдокс Книдский. Обоснование этого метода не опирается на понятие бесконечно малых, но неявно включает понятие предела. Название «метод исчерпывания» предложил в 1647 году Грегуар де Сен-Венсан, в античные...
Доказательство «от противного » (лат. contradictio in contrarium) в математике — вид доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение отрицания этого суждения — антитезиса. Этот способ доказательства основывается на истинности закона двойного отрицания в классической логике.
Основна́я теоре́ма а́лгебры — утверждение о том, что поле комплексных чисел алгебраически замкнуто, то есть всякий отличный от константы многочлен (от одной переменной) с комплексными коэффициентами имеет, по крайней мере, один корень на поле комплексных чисел. Утверждение справедливо и для многочленов с вещественными коэффициентами, так как всякое вещественное число является комплексным с нулевой мнимой частью.
Теоре́ма (др.-греч. θεώρημα «доказательство, вид; взгляд; представление, положение») — утверждение, выводимое в рамках рассматриваемой теории из множества аксиом посредством использования конечного множества правил вывода.
Аксио́мы Пеа́но — одна из систем аксиом для натуральных чисел, введённая в XIX веке итальянским математиком Джузеппе Пеано.
Проективная модель (называемая также Модель Клейна и модель Бельтрами — Клейна) — модель геометрии Лобачевского, предложена итальянским математиком Эудженио Бельтрами.
Бесконечно малая — числовая функция или последовательность, которая стремится к нулю.
Трисекция угла — задача о делении заданного угла на три равные части построением циркулем и линейкой.
Теоре́ма Менела́я или теорема о трансверсалях или теорема о полном четырёхстороннике — классическая теорема аффинной геометрии.
Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы (построенная по специальным правилам последовательность утверждений, записанная на формальном языке) или текст на естественном языке, по которому при необходимости...
История тригонометрии как науки о соотношениях между углами и сторонами треугольника и других геометрических фигур охватывает более двух тысячелетий. Большинство таких соотношений нельзя выразить с помощью обычных алгебраических операций, и поэтому понадобилось ввести особые тригонометрические функции, первоначально оформлявшиеся в виде числовых таблиц.
Соизмери́мые величи́ны — величины, для которых соответственно существует общая мера. Общей мерой величин называют величину, которая целое число раз содержится в каждой из них. Если такой меры, которая укладывается целое число раз в каждую величину, не существует, то такие величины называют несоизмери́мыми. Примером несоизмеримых величин могут служить диагональ квадрата и его сторона.
Трансценде́нтное число ́ (от лат. transcendere — переходить, превосходить) — это вещественное или комплексное число, не являющееся алгебраическим — иными словами, число, которое не может быть корнем многочлена с целочисленными коэффициентами (не равного тождественно нулю). Можно также заменить в определении многочлены с целочисленными коэффициентами на многочлены с рациональными коэффициентами, поскольку корни у них одни и те же.
Дедеки́ндово сече́ние (или у́зкая щель) — один из способов построения вещественных чисел из рациональных.
Преде́л — одно из основных понятий математического анализа. Различают предел последовательности и предел функции.
Сферическая тригонометрия — раздел тригонометрии, в котором изучаются зависимости между величинами углов и длинами сторон сферических треугольников. Применяется для решения различных геодезических и астрономических задач.
Конти́нуум-гипо́теза (проблема континуума, первая проблема Гильберта) — выдвинутое в 1877 году Георгом Кантором предположение о том, что любое бесконечное подмножество континуума является либо счётным, либо континуальным. Другими словами, гипотеза предполагает, что мощность континуума — наименьшая, превосходящая мощность счётного множества, и «промежуточных» мощностей между счетным множеством и континуумом нет, в частности, это предположение означает, что для любого бесконечного множества действительных...
Теоре́ма си́нусов — теорема, устанавливающая зависимость между длинами сторон треугольника и величиной противолежащих им углов.
Интегральное исчисление — раздел математического анализа, в котором изучаются понятия интеграла, его свойства и методы вычислений.
Решение треугольников (лат. solutio triangulorum) — исторический термин, означающий решение главной тригонометрической задачи: по известным данным о треугольнике (стороны, углы и т. д.) найти остальные его характеристики. Существуют также обобщения этой задачи на случай, когда заданы другие элементы треугольника (например, медианы, биссектрисы, высоты, площадь и т. д.). Треугольник может располагаться на плоскости или на сфере. Данная задача часто встречается в тригонометрических приложениях, например...
Вариацио́нное исчисле́ние — раздел анализа, в котором изучаются вариации функционалов. Наиболее типичная задача — найти функцию, на которой заданный функционал достигает экстремального значения.
Теорема косинусов — теорема евклидовой геометрии, обобщающая теорему Пифагора на произвольные плоские треугольники.
Комплексный логарифм — аналитическая функция, получаемая распространением вещественного логарифма на всю комплексную плоскость (кроме нуля). Существует несколько эквивалентных способов такого распространения. Данная функция имеет широкое применение в комплексном анализе. В отличие от вещественного случая, функция комплексного логарифма многозначна.
Длина кривой (или, что то же, длина дуги кривой) — числовая характеристика протяжённости этой кривой. Исторически вычисление длины кривой называлось спрямлением кривой (от лат. rectificatio, спрямление).
Планиме́трия (от лат. planum — «плоскость», др.-греч. μετρεω — «измеряю») — раздел евклидовой геометрии, изучающий двумерные (одноплоскостные) фигуры, то есть фигуры, которые можно расположить в пределах одной плоскости: треугольники, окружности, параллелограммы и т.д.
Дифференциальная геометрия поверхностей — раздел математики, изучающий поверхности методами дифференциальной геометрии. При этом исследуемые поверхности обычно подчинены условиям, связанным с возможностью применения методов дифференциального исчисления. Как правило, это — условия гладкости поверхности, то есть существования в каждой точке поверхности определённой касательной плоскости, кривизны и т. д. Эти требования сводятся к тому, что функции, задающие поверхность, предполагаются однократно, дважды...
Математическая индукция — метод математического доказательства, который используется, чтобы доказать истинность некоторого утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером 1 — база (базис) индукции, а затем доказывается, что если верно утверждение с номером n, то верно и следующее утверждение с номером n + 1 — шаг индукции, или индукционный переход.
Анализ бесконечно малых — историческое название математического анализа, раздела высшей математики, изучающего пределы, производные, интегралы и бесконечные ряды, и составляющего важную часть современного математического образования. Состоит из двух основных частей: дифференциального исчисления и интегрального исчисления, которые связаны между собой формулой Ньютона — Лейбница.
Алгебраическая комбинаторика — это область математики, использующая методы общей алгебры, в особенности теории групп и теории представлений, в различных комбинаторных контекстах и, наоборот, применяющая комбинаторные техники к задачам в алгебре.
Асимпто́та или аси́мптота (от др.-греч. ἀσύμπτωτος — несовпадающий, не касающийся кривой с бесконечной ветвью) — прямая, обладающая тем свойством, что расстояние от точки кривой до этой прямой стремится к нулю при удалении точки вдоль ветви в бесконечность. Термин впервые появился у Аполлония Пергского, хотя асимптоты гиперболы исследовал ещё Архимед.
В компле́ксном анализе вы́четом заданного объекта (функции, формы) называется объект (число, форма или когомологический класс формы), характеризующий локальные свойства заданного.
Подробнее: Вычет (комплексный анализ)
Преде́льная то́чка множества в общей топологии — это такая точка, любая проколотая окрестность которой пересекается с этим множеством.
Конструктивная математика — абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах — конструктивных объектах.
Объём — это аддитивная функция от множества (мера), характеризующая вместимость области пространства, которую оно занимает. Изначально возникло и применялось без строгого определения в отношении тел трёхмерного евклидова пространства.
Удвоение куба — классическая античная задача на построение циркулем и линейкой ребра куба, объём которого вдвое больше объёма заданного куба.
Принцип непрерывности — принцип, используемый в современной математике и физике. Истоки этого принципа в философии могут быть найдены в отрывках Гераклита, который уподоблял движение времени реке с постоянно сменяющими друг друга водами. В новое время этот принцип разрабатывался Лейбницем.
Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.
Дифференциальное исчисление — раздел математического анализа, в котором изучаются понятия производной и дифференциала и способы их применения к исследованию функций. Формирование дифференциального исчисления связано с именами Исаака Ньютона и Готфрида Лейбница. Именно они чётко сформировали основные положения и указали на взаимообратный характер дифференцирования и интегрирования. Создание дифференциального исчисления (вместе с интегральным) открыло новую эпоху в развитии математики. С этим связаны...
Площадь круга с радиусом r равна πr2. Здесь символ π (греческая буква пи) обозначает константу, выражающую отношение длины окружности к её диаметру или площади круга к квадрату его радиуса. Поскольку площадь правильного многоугольника равна половине его периметра, умноженного на апофему (высоту), а правильные многоугольники стремятся к окружности при росте числа сторон, площадь круга равна половине длины окружности, умноженной на радиус (то есть 1⁄2 × 2πr × r).