В математике квадрат — это результат умножения числа на себя. Для обозначения этой операции используется глагол «возвести в квадрат». Возведение в квадрат аналогично возведению в степень 2 и обозначается верхним индексом 2; например, квадрат 3 может быть записан как 3 2 , что соответствует числу 9. В некоторых случаях, когда верхние индексы недоступны, как, например, в языках программирования или текстовых файлах, обозначения ( каретка ) или могут использоваться в место . Прилагательное, соответствующее возведению в квадрат, является квадратичным .x^2x**2x2
Квадрат целого числа также можно назвать квадратом числа или полным квадратом . В алгебре операция возведения в квадрат часто обобщается на полиномы , другие выражения или значения в системах математических значений, отличных от чисел. Например, квадрат линейного многочлена x + 1 — это квадратичный многочлен ( x + 1) 2 = x 2 + 2 x + 1 .
Одним из важных свойств возведения в квадрат чисел, как и во многих других математических системах, является то, что (для всех чисел x ) квадрат x равен квадрату его аддитивного обратного значения − x . То есть квадратичная функция удовлетворяет тождеству x 2 = (− x ) 2 . Это также можно выразить, сказав, что квадратичная функция является четной функцией .
Операция возведения в квадрат определяет действительную функцию , называемуюквадратная функция илифункция возведения в квадрат . Егообластью определенияявляется всядействительная линия, аизображением— набор неотрицательных действительных чисел.
Функция квадрата сохраняет порядок положительных чисел: большие числа имеют большие квадраты. Другими словами, квадрат является монотонной функцией на интервале [0, +∞) . В отрицательных числах числа с большим абсолютным значением имеют большие квадраты, поэтому квадрат представляет собой монотонно убывающую функцию на (−∞,0] . Следовательно, ноль является (глобальным) минимумом квадратичной функции. Квадрат x 2 a число x меньше x (то есть x 2 < x ) тогда и только тогда, когда 0 < x < 1 , то есть если x принадлежит открытому интервалу (0,1) . Это означает, что квадрат целого числа никогда не равен меньше исходного числа x .
Каждое положительное действительное число представляет собой квадрат ровно двух чисел, одно из которых строго положительное, а другое строго отрицательное. Ноль сам по себе является квадратом только одного числа. По этой причине можно определить функцию квадратного корня , которая сопоставляет неотрицательному действительному числу неотрицательное число, квадрат которого является исходным числом.
Ни один квадратный корень не может быть извлечен из отрицательного числа в системе действительных чисел , поскольку квадраты всех действительных чисел неотрицательны . Отсутствие действительных квадратных корней для отрицательных чисел можно использовать для расширения системы действительных чисел до комплексных чисел , постулируя мнимую единицу i , которая является одним из квадратных корней из −1.
Свойство «всякое неотрицательное действительное число является квадратом» было обобщено до понятия действительного замкнутого поля , которое представляет собой упорядоченное поле , в котором каждый неотрицательный элемент является квадратом и каждый многочлен нечетной степени имеет корень. Действительные замкнутые поля нельзя отличить от поля действительных чисел по их алгебраическим свойствам: каждому свойству действительных чисел, которое может быть выражено в логике первого порядка (то есть формуле, в которой переменные, определяемые количественно ∀ или ∃ представляют элементы, а не множества), верно для любого вещественного замкнутого поля, и наоборот, каждое свойство логики первого порядка, которое верно для конкретного вещественного замкнутого поля, также верно и для вещественных чисел.
Есть несколько основных применений функции квадрата в геометрии.
Название функции квадрата показывает ее важность в определении площади : оно происходит от того, что площадь квадрата со сторонами длины l равна l 2 . Площадь зависит от размера квадратично: площадь фигуры, большей в n раз, больше в n 2 раза. Это справедливо для площадей в трех измерениях, а также на плоскости: например, площадь поверхности сферы пропорциональна квадрату ее радиуса, и этот факт физически проявляется в законе обратных квадратов, описывающем, как сила физической силы такие силы, как гравитация, варьируются в зависимости от расстояния.
Квадратная функция связана с расстоянием через теорему Пифагора и ее обобщение, закон параллелограмма . Евклидово расстояние не является гладкой функцией : трехмерный график расстояния от фиксированной точки образует конус с негладкой точкой на кончике конуса. Однако квадрат расстояния (обозначаемый d 2 или r 2 ), графиком которого является параболоид , является гладкой и аналитической функцией .
Скалярное произведение евклидова вектора на самого себя равно квадрату его длины: v ⋅ v = v 2 . Это далее обобщается на квадратичные формы в линейных пространствах через скалярное произведение . Тензор инерции в механике является примером квадратичной формы. Он демонстрирует квадратичную зависимость момента инерции от размера ( длины ).
Существует бесконечно много пифагоровых троек , наборов из трех натуральных чисел, таких, что сумма квадратов первых двух равна квадрату третьего. Каждая из этих троек дает целые стороны прямоугольного треугольника.
Функция квадрата определяется в любом поле или кольце . Элемент в образе этой функции называется квадратом , а прообразы квадрата — квадратными корнями .
Понятие возведения в квадрат особенно важно в конечных полях Z / p Z , образованных числами по модулю нечетного простого числа p . Ненулевой элемент этого поля называется квадратичным вычетом, если он является квадратом в Z / p Z , в противном случае он называется квадратичным невычетом. Ноль, хотя и является квадратом, не считается квадратичным остатком. Каждое конечное поле этого типа имеет ровно ( p − 1)/2 квадратичных вычетов и ровно ( p − 1)/2 квадратичных невычетов. Квадратичные вычеты образуют группу при умножении. Свойства квадратичных вычетов широко используются в теории чисел .
В более общем смысле, в кольцах функция квадрата может иметь разные свойства, которые иногда используются для классификации колец.
Ноль может быть квадратом некоторых ненулевых элементов. Коммутативное кольцо , в котором квадрат ненулевого элемента никогда не равен нулю, называется приведенным кольцом . В более общем смысле, в коммутативном кольце радикальный идеал — это такой идеал I , из которого следует . Оба понятия важны в алгебраической геометрии из-за Nullstellensatz Гильберта .
Элемент кольца, равный собственному квадрату, называется идемпотентом . В любом кольце 0 и 1 являются идемпотентами.Других идемпотентов в полях и вообще в областях целостности нет . Однако кольцо целых чисел по модулю n имеет 2 k идемпотентов, где k — количество различных простых делителей числа n . Коммутативное кольцо, в котором каждый элемент равен своему квадрату (каждый элемент идемпотент), называется булевым кольцом ; Примером из информатики является кольцо, элементами которого являются двоичные числа , с побитовым И в качестве операции умножения и побитовым исключающим ИЛИ в качестве операции сложения.
В полностью упорядоченном кольце x2 ≥ 0 для любого x . Более того, x 2 = 0 тогда и только тогда, когда x = 0 .
В суперкоммутативной алгебре , где 2 обратимо, квадрат любого нечетного элемента равен нулю.
Если A — коммутативная полугруппа , то имеет место
На языке квадратичных форм это равенство говорит о том, что квадратичная функция является «формой, допускающей композицию». Фактически, квадратичная функция является основой, на которой строятся другие квадратичные формы, которые также допускают композицию. Процедура была введена Л. Е. Диксоном для получения октонионов из кватернионов путем удвоения. Метод удвоения был формализован А.А. Альбертом , который начал с поля действительных чисел и квадратичной функции, удваивая его для получения поля комплексных чисел с квадратичной формой x 2 + y 2 , а затем снова удваивая для получения кватернионов. Процедура удвоения называется конструкцией Кэли-Диксона и была обобщена для формирования алгебр размерности 2 n над полем F с инволюцией.
Квадратная функция z 2 является «нормой» композиционной алгебры , где тождественная функция образует тривиальную инволюцию, с которой начинаются конструкции Кэли-Диксона, ведущие к бикомплексным, бикватернионным и биоктонионным композиционным алгебрам.
Для комплексных чисел функция квадрата является двойным покрытием в том смысле, что каждое ненулевое комплексное число имеет ровно два квадратных корня.
Квадрат абсолютного значения комплексного числа называется его абсолютным квадратом , квадратом модуля или квадратом величины . [1] [ нужен лучший источник ] Это произведение комплексного числа на его комплексно-сопряженное число , равное сумме квадратов действительной и мнимой частей комплексного числа.
Абсолютный квадрат комплексного числа всегда является неотрицательным действительным числом, то есть равен нулю тогда и только тогда, когда комплексное число равно нулю. Его легче вычислить, чем абсолютное значение (без квадратного корня), и это гладкая функция с действительным знаком . Из-за этих двух свойств абсолютный квадрат часто предпочтительнее абсолютного значения для явных вычислений и при использовании методов математического анализа (например, оптимизации или интегрирования ).
Для комплексных векторов скалярное произведение может быть определено с помощью сопряженного транспонирования , что приводит к квадрату нормы .
Квадраты широко распространены в алгебре, в более общем смысле, почти во всех разделах математики, а также в физике , где многие единицы определяются с помощью квадратов и обратных квадратов: см. ниже.
Метод наименьших квадратов — стандартный метод, используемый в переопределенных системах .
Возведение в квадрат используется в статистике и теории вероятностей при определении стандартного отклонения набора значений или случайной величины . Отклонение каждого значения x i от среднего значения набора определяется как разность . Эти отклонения возводятся в квадрат, затем из нового набора чисел (каждое из которых положительно) берется среднее значение. Это среднее значение — дисперсия , а его квадратный корень — стандартное отклонение.
