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

Пьер де Ферма́ — французский математик-самоучка, один из создателей аналитической геометрии, математического анализа, теории вероятностей и теории чисел. По профессии юрист, с 1631 года — советник парламента в Тулузе. Один из величайших математиков всех времён. Блестящий полиглот. Наиболее известен формулировкой Великой теоремы Ферма, «самой знаменитой математической загадки всех времён».

Диофа́нт Александри́йский — древнегреческий математик, живший предположительно в III веке н. э. Нередко упоминается как «отец алгебры». Автор «Арифметики» — книги, посвящённой нахождению положительных рациональных решений неопределённых уравнений. В наше время под «диофантовыми уравнениями» обычно понимают уравнения с целыми коэффициентами, решения которых требуется найти среди целых чисел.
Диофа́нтово уравнение — это уравнение вида


Построе́ния с по́мощью ци́ркуля и лине́йки — раздел евклидовой геометрии, известный с античных времён.
Откры́тые (нерешённые) математи́ческие пробле́мы — задачи, которые рассматривались математиками, но до сих пор не решены. Часто имеют форму гипотез, которые предположительно верны, но нуждаются в доказательстве.
Гипотеза Морделла — гипотеза о конечности множества рациональных точек на алгебраической кривой рода
, выдвинутая Луисом Морделлом в 1922 году. Позже гипотеза была обобщена с поля
рациональных чисел на произвольное числовое поле. Была доказана Гердом Фальтингсом в 1983 году и теперь также называется теоремой Фальтингса.
Удвоение куба — классическая античная задача на построение циркулем и линейкой ребра куба, объём которого вдвое больше объёма заданного куба.

Алгебраическая геометрия — раздел математики, который объединяет алгебру и геометрию. Главным предметом изучения классической алгебраической геометрии, а также в широком смысле и современной алгебраической геометрии, являются множества решений систем алгебраических уравнений. Современная алгебраическая геометрия во многом основана на методах общей алгебры для решения задач, возникающих в геометрии.

Квадратри́са — плоская трансцендентная кривая, определяемая кинематически. Была предложена в античные времена для решения задач квадратуры круга и трисекции угла. Квадратриса стала первой в математике трансцендентной кривой.
Деся́тая пробле́ма Ги́льберта — одна из 23 задач, которые Давид Гильберт предложил 8 августа 1900 года на II Международном конгрессе математиков. Она состоит в нахождении универсального метода определения разрешимости произвольного алгебраического диофантова уравнения. Доказательство алгоритмической неразрешимости этой задачи заняло около двадцати лет и было завершено Юрием Матиясевичем в 1970 году.

Гипотеза Бёрча — Свиннертон-Дайера — математическая гипотеза относительно свойств эллиптических кривых, одна из задач тысячелетия, за решение которой институтом Клэя предложен приз в $1 млн.
Теория чисел — это раздел математики, занимающийся преимущественно изучением натуральных и целых чисел и их свойств, часто с привлечением методов математического анализа и других разделов математики. Теория чисел содержит множество проблем, попытки решения которых предпринимались математиками в течение десятков, а иногда даже сотен лет, но которые пока так и остаются открытыми. Ниже приведены некоторые из наиболее известных нерешённых проблем.

Алгебраическое многообразие — центральный объект изучения алгебраической геометрии. Классическое определение алгебраического многообразия — множество решений системы алгебраических уравнений над действительными или комплексными числами. Современные определения обобщают его различными способами, но стараются сохранить геометрическую интуицию, соответствующую этому определению.
Диофантова геометрия — подход к теории диофантовых уравнений, формулирующий задачи в терминах алгебраической геометрии над алгебраически незамкнутым базисным полем K, таким как поле рациональных чисел или конечное поле, или, обобщённо, коммутативное кольцо, такое как кольцо целых чисел. Единичное уравнение определяет гиперповерхность, и, таким же образом, диофантово уравнение переходит в алгебраическое многообразие V над K. Типичный вопрос о природе множества V(K) точек на V с координатами в K — вопрос «размере» множества этих решений: существуют ли такие точки вообще, конечно ли их число или бесконечно. Для геометрического подхода соглашение об однородности уравнений и однородности координат фундаментально. Решения в рациональных числах является основным соглашением[уточнить].
Теорема Ферма о прямоугольном треугольнике – это доказательство несуществования в теории чисел, единственное полное доказательство, оставленное Пьером Ферма. Теорема имеет несколько эквивалентных формулировок:
- Если три квадратных числа образуют арифметическую прогрессию, то шаг прогрессии не может быть квадратом.
- Не существует двух пифагоровых троек, в которых два катета одной тройки являются катетом и гипотенузой другой тройки.
- Прямоугольный треугольник, у которого длины всех трёх сторон являются рациональным числом, не может иметь площадь, равную квадрату рационального числа. Площадь, определённая таким образом, называется конгруэнтным числом, так что никакое конгруэнтное число не может быть квадратом.
- Прямоугольный треугольник и квадрат с одинаковой площадью не могут иметь соизмеримые стороны.
- Единственными рациональными точками на эллиптической кривой
являются три тривиальные точки (0,0), (1,0) и (−1,0). - Диофантово уравнение
не имеет целых решений.
Теория диофантовых приближений — раздел теории чисел, изучающий приближения вещественных чисел рациональными; назван именем Диофанта Александрийского.