Связанные понятия
Метод неделимых — возникшее в конце XVI века наименование совокупности приёмов, предназначенных для вычисления площадей геометрических фигур или объёмов геометрических тел.
Теоре́ма Менела́я или теорема о трансверсалях или теорема о полном четырёхстороннике — классическая теорема аффинной геометрии.
Удвоение куба — классическая античная задача на построение циркулем и линейкой ребра куба, объём которого вдвое больше объёма заданного куба.
Трисекция угла — задача о делении заданного угла на три равные части построением циркулем и линейкой.
Соизмери́мые величи́ны — величины, для которых соответственно существует общая мера. Общей мерой величин называют величину, которая целое число раз содержится в каждой из них. Если такой меры, которая укладывается целое число раз в каждую величину, не существует, то такие величины называют несоизмери́мыми. Примером несоизмеримых величин могут служить диагональ квадрата и его сторона.
Величина ́ — математическое понятие, описывающее объекты, для которых может быть определено отношение неравенства и смысл операции сложения, а также выполняется ряд свойств, включая аксиомы Архимеда и непрерывности. Величина является одним из основных понятий математики.
Преде́л — одно из основных понятий математического анализа. Различают предел последовательности и предел функции.
Дедеки́ндово сече́ние (или у́зкая щель) — один из способов построения вещественных чисел из рациональных.
Анализ бесконечно малых — историческое название математического анализа, раздела высшей математики, изучающего пределы, производные, интегралы и бесконечные ряды, и составляющего важную часть современного математического образования. Состоит из двух основных частей: дифференциального исчисления и интегрального исчисления, которые связаны между собой формулой Ньютона — Лейбница.
Абсолютная геометрия — часть классической геометрии, независимая от пятого постулата евклидовой аксиоматики (то есть в абсолютной геометрии пятый постулат может выполняться, а может и не выполняться). Абсолютная геометрия содержит предложения, общие для евклидовой геометрии и для геометрии Лобачевского.
Решение треугольников (лат. solutio triangulorum) — исторический термин, означающий решение главной тригонометрической задачи: по известным данным о треугольнике (стороны, углы и т. д.) найти остальные его характеристики. Существуют также обобщения этой задачи на случай, когда заданы другие элементы треугольника (например, медианы, биссектрисы, высоты, площадь и т. д.). Треугольник может располагаться на плоскости или на сфере. Данная задача часто встречается в тригонометрических приложениях, например...
Теоре́ма си́нусов — теорема, устанавливающая зависимость между длинами сторон треугольника и величиной противолежащих им углов.
Объём — это аддитивная функция от множества (мера), характеризующая вместимость области пространства, которую оно занимает. Изначально возникло и применялось без строгого определения в отношении тел трёхмерного евклидова пространства.
Сферическая тригонометрия — раздел тригонометрии, в котором изучаются зависимости между величинами углов и длинами сторон сферических треугольников. Применяется для решения различных геодезических и астрономических задач.
Спор о струне , спор о колеблющейся струне, спор о звучащей струне — научная дискуссия, развернувшаяся в XVIII веке между крупнейшими учёными того времени вокруг изучения колебаний струны. В спор оказались вовлечены Д’Аламбер, Эйлер, Д. Бернулли, Лагранж. Дискуссия касалась определения понятия функции и оказала решающее влияние на множество разделов математики: теорию дифференциальных уравнений в частных производных, математический анализ и теорию функций вещественного переменного, теорию тригонометрических...
Определённый интеграл — аддитивный монотонный функционал, заданный на множестве пар, первая компонента которых есть интегрируемая функция или функционал, а вторая — область в множестве задания этой функции (функционала).
Основна́я теоре́ма а́лгебры — утверждение о том, что поле комплексных чисел алгебраически замкнуто, то есть всякий отличный от константы многочлен (от одной переменной) с комплексными коэффициентами имеет, по крайней мере, один корень на поле комплексных чисел. Утверждение справедливо и для многочленов с вещественными коэффициентами, так как всякое вещественное число является комплексным с нулевой мнимой частью.
Теорема косинусов — теорема евклидовой геометрии, обобщающая теорему Пифагора на произвольные плоские треугольники.
Диагра́ммы Э́йлера (круги́ Э́йлера) — геометрическая схема, с помощью которой можно изобразить отношения между подмножествами, для наглядного представления. Первое их использование приписывают Леонарду Эйлеру (подробней см. ниже). Используется в математике, логике, менеджменте и других прикладных направлениях.
Планиме́трия (от лат. planum — «плоскость», др.-греч. μετρεω — «измеряю») — раздел евклидовой геометрии, изучающий двумерные (одноплоскостные) фигуры, то есть фигуры, которые можно расположить в пределах одной плоскости: треугольники, окружности, параллелограммы и т.д.
Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы (построенная по специальным правилам последовательность утверждений, записанная на формальном языке) или текст на естественном языке, по которому при необходимости...
Элемента́рная а́лгебра — самый старый раздел алгебры, в котором изучаются алгебраические выражения и уравнения над вещественными и комплексными числами.
Интегральное исчисление — раздел математического анализа, в котором изучаются понятия интеграла, его свойства и методы вычислений.
Бесконечно малая — числовая функция или последовательность, которая стремится к нулю.
Псаммит (др.-греч. Ψαμμίτης) или Исчисление песчинок — работа древнегреческого ученого Архимеда, в которой он пытается определить верхнюю грань числа песчинок, которые занимает в своём объёме Вселенная. С этой целью он пробует вычислить размер Вселенной, основываясь на астрономических представлениях того времени, а также изобретает способ наименования очень больших чисел. Работа была написана в виде письма тирану Сиракуз Гелону.
История комбинаторики освещает развитие комбинаторики — раздела конечной математики, который исследует в основном различные способы выборки заданного числа m элементов из заданного конечного множества: размещения, сочетания, перестановки, а также перечисление и смежные проблемы. Начав с анализа головоломок и азартных игр, комбинаторика оказалась исключительно полезной для решения практических задач почти во всех разделах математики. Кроме того, комбинаторные методы оказались полезными в статистике...
Асимпто́та или аси́мптота (от др.-греч. ἀσύμπτωτος — несовпадающий, не касающийся кривой с бесконечной ветвью) — прямая, обладающая тем свойством, что расстояние от точки кривой до этой прямой стремится к нулю при удалении точки вдоль ветви в бесконечность. Термин впервые появился у Аполлония Пергского, хотя асимптоты гиперболы исследовал ещё Архимед.
Принцип непрерывности — принцип, используемый в современной математике и физике. Истоки этого принципа в философии могут быть найдены в отрывках Гераклита, который уподоблял движение времени реке с постоянно сменяющими друг друга водами. В новое время этот принцип разрабатывался Лейбницем.
История тригонометрии как науки о соотношениях между углами и сторонами треугольника и других геометрических фигур охватывает более двух тысячелетий. Большинство таких соотношений нельзя выразить с помощью обычных алгебраических операций, и поэтому понадобилось ввести особые тригонометрические функции, первоначально оформлявшиеся в виде числовых таблиц.
Преде́льная то́чка множества в общей топологии — это такая точка, любая проколотая окрестность которой пересекается с этим множеством.
Доказательство «от противного » (лат. contradictio in contrarium) в математике — вид доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение отрицания этого суждения — антитезиса. Этот способ доказательства основывается на истинности закона двойного отрицания в классической логике.
Стереометрия (от др.-греч. στερεός, «стереос» — «твёрдый, объёмный, пространственный» и μετρέω, «метрео» — «измеряю») — раздел евклидовой геометрии, в котором изучаются свойства фигур в пространстве. Основными (простейшими) фигурами в пространстве являются точки, прямые и плоскости.
Площадь плоской фигуры — аддитивная числовая характеристика фигуры, целиком принадлежащей одной плоскости. В простейшем случае, когда фигуру можно разбить на конечное множество единичных квадратов, площадь равна числу квадратов.
Алгебраическая комбинаторика — это область математики, использующая методы общей алгебры, в особенности теории групп и теории представлений, в различных комбинаторных контекстах и, наоборот, применяющая комбинаторные техники к задачам в алгебре.
Комплексный логарифм — аналитическая функция, получаемая распространением вещественного логарифма на всю комплексную плоскость (кроме нуля). Существует несколько эквивалентных способов такого распространения. Данная функция имеет широкое применение в комплексном анализе. В отличие от вещественного случая, функция комплексного логарифма многозначна.
Аксио́мы Пеа́но — одна из систем аксиом для натуральных чисел, введённая в XIX веке итальянским математиком Джузеппе Пеано.
Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.
Эрлангенская программа — выступление 23-летнего немецкого математика Феликса Клейна в Эрлангенском университете (октябрь 1872 года), в котором он предложил общий алгебраический подход к различным геометрическим теориям и наметил перспективный путь их развития. Доклад был связан с процедурой утверждения Клейна в должности профессора и был опубликован в том же году. Первый русский перевод появился в 1895 году.
Математи́ческая структу́ра — название, объединяющее понятия, общей чертой которых является их применимость к множествам, природа которых не определена. Для определения самой структуры задают отношения, в которых находятся элементы этих множеств. Затем постулируют, что данные отношения удовлетворяют неким условиям, которые являются аксиомами рассматриваемой структуры.
Теоре́ма (др.-греч. θεώρημα «доказательство, вид; взгляд; представление, положение») — утверждение, выводимое в рамках рассматриваемой теории из множества аксиом посредством использования конечного множества правил вывода.
Сферический треугольник — геометрическая фигура на поверхности сферы, состоящая из трёх точек и трёх дуг больших кругов, соединяющих попарно эти точки. Три больших круга на поверхности сферы, не пересекающихся в одной точке, образуют восемь сферических треугольников. Соотношения между элементами сферических треугольников изучает сферическая тригонометрия.
Прострáнством называется математическое множество, имеющее структуру, определяемую аксиоматикой свойств его элементов (например, точек в геометрии, векторов в линейной алгебре, событий в теории вероятностей и так далее).Подмножество пространства называется «подпространством», если структура пространства индуцирует на этом подмножестве структуру такого же типа (точное определение зависит от типа пространства).
Подробнее: Пространство (математика)
Полный квадрат или квадратное число — число, являющееся квадратом некоторого целого числа. Иными словами, квадратом является целое число, квадратный корень которого тоже целый.
Книга абака (лат. Liber abaci) — главный труд Фибоначчи (Леонардо Пизанского), посвященный изложению и пропаганде десятичной арифметики. Книга написана в 1202 г., вторая переработанная редакция — 1228 г., посвящена Майклу Скоту. До наших дней дошла только вторая версия.
Преде́л фу́нкции (предельное значение функции) в заданной точке, предельной для области определения функции, — такая величина, к которой стремится значение рассматриваемой функции при стремлении её аргумента к данной точке.
Вполне упорядоченное множество — линейно упорядоченное множество M такое, что в любом его непустом подмножестве есть минимальный элемент, другими словами, это фундированное множество с линейным порядком.
Трансценде́нтное число ́ (от лат. transcendere — переходить, превосходить) — это вещественное или комплексное число, не являющееся алгебраическим — иными словами, число, которое не может быть корнем многочлена с целочисленными коэффициентами (не равного тождественно нулю). Можно также заменить в определении многочлены с целочисленными коэффициентами на многочлены с рациональными коэффициентами, поскольку корни у них одни и те же.