Квадратный корень - Square root

Обозначение (главного) квадратного корня из x .
Например, 25 = 5 , поскольку 25 = 5 ⋅ 5 или 5 2 (5 в квадрате).

В математике , А квадратный корень из числа х это число у такого , что у 2 = х ; другими словами, число y , квадрат которого (результат умножения числа на себя, или y  ⋅  y ) равен x . Например, 4 и −4 являются квадратными корнями из 16, потому что 4 2 = (−4) 2 = 16 . Каждое неотрицательное действительное число x имеет уникальный неотрицательный квадратный корень, называемый главным квадратным корнем , который обозначается где символ называется радикальным знаком или основанием . Например, главный квадратный корень из 9 равен 3, что обозначается как, потому что 3 2 = 3 3 = 9 и 3 неотрицательно. Термин (или число), квадратный корень которого рассматривается, известен как подкоренное выражение . Подкоренное выражение - это число или выражение под знаком радикала, в данном случае 9.

Каждое положительное число x имеет два квадратных корня: положительный и отрицательный. Вместе эти два корня обозначаются как (см. Сокращение ± ). Хотя главный квадратный корень из положительного числа является лишь одним из его двух квадратных корней, обозначение « квадратный корень» часто используются для обозначения основного квадратного корня . Для положительного x главный квадратный корень также может быть записан в экспоненциальной записи как x 1/2 .

Квадратные корни отрицательных чисел можно обсуждать в рамках комплексных чисел . В более общем смысле, квадратные корни можно рассматривать в любом контексте, в котором определяется понятие « квадрат » математического объекта. К ним относятся функциональные пространства и квадратные матрицы , среди других математических структур .

История

Йельского вавилонская Коллекция ЕКЗ 7289 глина таблетка была создана между 1800 и 1600 г. до н.э. до н.э., показывающий , и , соответственно , как 1; 24,51,10 и 0; 42,25,35 база 60 номеров на площади пересекают две диагонали. (1; 24,51,10) основание 60 соответствует 1,41421296, что является правильным значением до 5 десятичных знаков (1,41421356 ...).

Папирус Ахмес копия с 1650 г. до н.э. более раннего Берлинского папируса и других текстов - возможно, Kahun Papyrus  - что показывает , как египтяне извлеченного квадратный корень с помощью обратного метода пропорции.

В Древней Индии знания теоретических и прикладных аспектов квадратного и квадратного корня были по крайней мере такими же старыми, как сутры Сульба, датируемые примерно 800–500 гг. До н.э. (возможно, намного раньше). Метод нахождения очень хороших приближений к квадратным корням из 2 и 3 дан в Баудхаяна Сульба Сутре . Арьябхата в « Арьябхатии» (раздел 2.4) дал метод нахождения квадратного корня из чисел, состоящих из многих цифр.

Древним грекам было известно, что квадратные корни из положительных целых чисел , которые не являются полными квадратами , всегда являются иррациональными числами : числами, не выражаемыми как отношение двух целых чисел (то есть их нельзя записать точно как m / n , где m и n целые числа). Это теорема Евклида X, 9 , почти наверняка принадлежащая Теэтету, датируемая примерно 380 г. до н. Э. Предполагается, что частный случай квадратного корня из 2 восходит к пифагорейцам и традиционно приписывается Гиппасу . Именно длина диагонали в виде квадрата с длиной стороны 1 .

В китайской математической работе « Письма о расчетах» , написанной между 202 г. до н. Э. И 186 г. до н. Э. Во время ранней династии Хань , квадратный корень аппроксимируется с помощью метода «избытка и недостатка», который гласит: «... объединить избыток и недостаток как делитель; (взяв) числитель дефицита, умноженный на знаменатель избытка, и числитель избытка, умноженный на знаменатель дефицита, объедините их в качестве делимого ".

Символ квадратного корня, написанный сложной буквой R, был изобретен Региомонтаном (1436–1476). R был также использован для системы счисления , чтобы указать , квадратные корни в Кардано «ы Арс Магна .

По словам историка математики Д. Е. Смита , метод Арьябхаты для нахождения квадратного корня был впервые введен в Европе Катанео - в 1546 году.

Согласно Джеффри А. Оуксу , арабы использовали букву jīm / ĝīm ( ج ), первую букву слова « جذر » (по-разному транслитерируемого как jaḏr , jiḏr , ar или iḏr , «корень»), помещенного в его первоначальную форму ( ) над числом, чтобы указать его квадратный корень. Буква jīm напоминает нынешнюю форму квадратного корня. Его использование продолжается до конца XII века в трудах марокканского математика Ибн аль-Ясамина .

Символ «√» для квадратного корня был впервые использован в печати в 1525 году, в Кристоф Рудольф «s Косс .

Свойства и использование

График функции f ( x ) = √ x , составленный из половины параболы с вертикальной направляющей

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

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

Для всех действительных чисел х ,

    (см. абсолютное значение )

Для всех неотрицательных действительных чисел x и y ,

а также

Функция квадратного корня непрерывна для всех неотрицательных x и дифференцируема для всех положительных x . Если f обозначает функцию квадратного корня, производная которой определяется выражением:

Ряд Тейлора в о й = 0 сходится при | х | ≤ 1, и определяется выражением

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

Квадратные корни из натуральных чисел

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

Квадратные корни целого числа - это целые алгебраические числа, а точнее - квадратичные целые числа .

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

В виде десятичных разложений

Квадратные корни из полных квадратов (например, 0, 1, 4, 9, 16) являются целыми числами . Во всех других случаях квадратные корни из положительных целых чисел являются иррациональными числами и, следовательно, имеют неповторяющиеся десятичные дроби в их десятичных представлениях . Десятичные приближения квадратных корней из первых нескольких натуральных чисел приведены в следующей таблице.

п усечено до 50 знаков после запятой
0 0
1 1
2 1,4142135623 7309504880 1688724209 6980785696 7187537694
3 1.7320508075 6887729352 7446341505 8723669428 0525381038
4 2
5 2,2360679774 9978969640 9173668731 2762354406 1835961152
6 2.4494897427 8317809819 7284074705 8913919659 4748065667
7 2,6457513110 6459059050 1615753639 2604257102 5918308245
8 2,8284271247 4619009760 3377448419 3961571393 4375075389
9 3
10 3,1622776601 6837933199 8893544432 7185337195 5513932521

Как расширения в других системах счисления

Как и раньше, квадратные корни из полных квадратов (например, 1, 4, 9, 16) являются целыми числами. Во всех остальных случаях квадратные корни из положительных целых чисел являются иррациональными числами и, следовательно, имеют неповторяющиеся цифры в любой стандартной позиционной системе обозначений .

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

Как периодические непрерывные дроби

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

= [1; 2, 2, ...]
= [1; 1, 2, 1, 2, ...]
= [2]
= [2; 4, 4, ...]
= [2; 2, 4, 2, 4, ...]
= [2; 1, 1, 1, 4, 1, 1, 1, 4, ...]
= [2; 1, 4, 1, 4, ...]
= [3]
= [3; 6, 6, ...]
= [3; 3, 6, 3, 6, ...]
= [3; 2, 6, 2, 6, ...]
= [3; 1, 1, 1, 1, 6, 1, 1, 1, 1, 6, ...]
= [3; 1, 2, 1, 6, 1, 2, 1, 6, ...]
= [3; 1, 6, 1, 6, ...]
= [4]
= [4; 8, 8, ...]
= [4; 4, 8, 4, 8, ...]
= [4; 2, 1, 3, 1, 2, 8, 2, 1, 3, 1, 2, 8, ...]
= [4; 2, 8, 2, 8, ...]

Квадратная скобка обозначение , используемое выше , является краткой формой для непрерывной дроби. Написанная в более наглядной алгебраической форме, простая непрерывная дробь для квадратного корня из 11, [3; 3, 6, 3, 6, ...], выглядит так:

где двузначный образец {3, 6} повторяется снова и снова в частичных знаменателях. Поскольку 11 = 3 2 + 2 , вышесказанное также идентично следующим обобщенным непрерывным дробям :

Вычисление

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

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

где перли и войти 10 являются естественными и базовыми-10 логарифмами .

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

поскольку он позволяет скорректировать оценку x на некоторую величину c и измерить квадрат корректировки в терминах исходной оценки и ее квадрата. Кроме того, ( x + c ) 2x 2 + 2 xc, когда c близко к 0, потому что касательная линия к графику x 2 + 2 xc + c 2 при c = 0, как функция только c , равна у = 2 хс + х 2 . Таким образом, небольшие корректировки х можно планировать путем установки 2 хс к , или с = / (2 х ).

Наиболее распространенный итерационный метод вычисления квадратного корня вручную известен как « вавилонский метод » или «метод Герона» в честь греческого философа I века Герона Александрийского , который первым описал его. В методе используется та же итерационная схема, что и в методе Ньютона – Рафсона при применении к функции y = f ( x ) = x 2 - a , с учетом того факта, что его наклон в любой точке равен dy / dx = f ( x ). = 2 x , но предшествует ему на много веков. Алгоритм состоит в том, чтобы повторять простое вычисление, результатом которого является число, близкое к фактическому квадратному корню, каждый раз, когда оно повторяется с его результатом в качестве нового ввода. Мотивация заключается в том, что если x является завышенной оценкой квадратного корня из неотрицательного действительного числа a, то a / x будет заниженным значением, и поэтому среднее этих двух чисел является лучшим приближением, чем любое из них. Однако неравенство средних арифметических и геометрических показывает, что это среднее всегда является завышенным значением квадратного корня (как указано ниже ), и поэтому оно может служить новым завышенным значением для повторения процесса, который сходится как следствие следующих друг за другом. переоценивает и недооценивает близость друг к другу после каждой итерации. Чтобы найти x :

  1. Начните с произвольного положительного начального значения x . Чем ближе к квадратному корню из a , тем меньше итераций потребуется для достижения желаемой точности.
  2. Замените x на среднее значение ( x + a / x ) / 2 между x и a / x .
  3. Повторите процедуру, начиная с шага 2, используя это среднее значение в качестве нового значения x .

То есть, если произвольное предположение для равно x 0 и x n + 1 = ( x n + a / x n ) / 2 , то каждое x n является приближением, которое лучше для больших n, чем для малых n . Если a положительно, сходимость квадратичная , что означает, что по мере приближения к пределу количество правильных цифр примерно удваивается на каждой следующей итерации. Если a = 0 , сходимость только линейная.

Используя личность

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

Временная сложность для вычисления квадратного корня с п цифрами точности эквивалентно умножения два п -значных чисел.

Еще один полезный метод вычисления квадратного корня - алгоритм сдвига корня n-й степени , применяемый для n = 2 .

Название функции извлечения квадратного корня варьируется от языка программирования к языку программирования, при этом sqrt(часто произносится как «брызги») широко используется в C , C ++ и производных языках, таких как JavaScript , PHP и Python .

Квадратные корни из отрицательных и комплексных чисел

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

Квадрат любого положительного или отрицательного числа является положительным, а квадрат 0 равен 0. Следовательно, никакое отрицательное число не может иметь действительного квадратного корня. Однако можно работать с более обширным набором чисел, называемым комплексными числами , который действительно содержит решения для вычисления квадратного корня из отрицательного числа. Это делается путем введения нового числа, обозначаемого i (иногда j , особенно в контексте электричества, где « i » традиционно представляет электрический ток) и называемого мнимой единицей , которая определяется таким образом, что i 2 = -1 . Используя эти обозначения, мы можем думать о i как о квадратном корне из −1, но у нас также есть (- i ) 2 = i 2 = −1, и поэтому - i также является квадратным корнем из −1. По соглашению, главный квадратный корень из -1 я , или в более общем случае , если х является любое неотрицательное число, то главный квадратный корень из - х является

Правая часть (как и отрицательная) действительно является квадратным корнем из - x , так как

Для любого ненулевого комплексного числа z существует ровно два числа w таких, что w 2 = z : главный квадратный корень из z (определен ниже) и его отрицательное значение.

Главный квадратный корень комплексного числа

Геометрическое представление корней 2–6 комплексного числа z в полярной форме re iφ, где r = | z  | и φ = arg z . Если z вещественное число, φ = 0 или π . Основные корни показаны черным.

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

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

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

Вышесказанное также может быть выражено в терминах тригонометрических функций :

Алгебраическая формула

Квадратные корни из i

Когда число выражается с помощью его действительной и мнимой частей, для вычисления главного квадратного корня можно использовать следующую формулу:

где SGN ( у ) является знаком из г ( за исключением того, здесь, SGN (0) = 1). В частности, мнимые части исходного числа и главное значение его квадратного корня имеют одинаковый знак. Действительная часть главного значения квадратного корня всегда неотрицательна.

Например, главные квадратные корни из ± i даются по формуле:

Примечания

В дальнейшем комплексные z и w могут быть выражены как:

где и .

Из - за прерывистый характер квадратного корня функции в комплексной плоскости, следующие законы не верны в целом.

  • (контрпример для главного квадратного корня: z = −1 и w = −1 ) Это равенство справедливо только тогда, когда
  • (контрпример для главного квадратного корня: w = 1 и z = −1 ) Это равенство справедливо только тогда, когда
  • (контрпример для главного квадратного корня: z = −1 ) Это равенство справедливо только тогда, когда

Аналогичная проблема возникает с другими сложными функциями с разветвлениями, например, комплексным логарифмом и отношениями log z + log w = log ( zw ) или log ( z * ) = log ( z ) *, которые в общем случае неверны.

Ошибочное предположение об одном из этих законов лежит в основе нескольких ошибочных «доказательств», например следующего, показывающего, что −1 = 1 :

Третье равенство не может быть оправдано (см. Недействительное доказательство ). Это можно сделать, изменив значение √ так, чтобы оно больше не представляло главный квадратный корень (см. Выше), но выбирало ветвь для квадратного корня, содержащую . Левая часть становится либо

если ветка включает + i или

если ветвь включает - i , а правая часть становится

где последнее равенство является следствием выбора ветви при переопределении √.

Корни N и полиномиальные корни

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

Кубический корень из этого числа такой , что ; это обозначено

Если n является целым числом больше двух, корень n- й степени является таким числом , что ; это обозначено

Для любого многочлена р , А корень из р представляет собой число у таких , что р ( у ) = 0 . Например, корни n- го числа x являются корнями многочлена (от y )

Теорема Абеля – Руффини утверждает, что, как правило, корни многочлена пятой степени или выше не могут быть выражены через корни n- й степени.

Квадратные корни из матриц и операторов

Если A - положительно определенная матрица или оператор, то существует ровно одна положительно определенная матрица или оператор B с B 2 = A ; мы затем определим A 1/2 = B . В общем случае матрицы могут иметь несколько квадратных корней или даже бесконечное их количество. Например, единичная матрица 2 × 2 имеет бесконечное количество квадратных корней, хотя только один из них является положительно определенным.

В целостных областях, включая поля

Каждый элемент области целостности имеет не более двух квадратных корней. Разность двух квадратов идентичности у 2 - v 2 = ( U - V ) ( U + V ) доказывается с помощью коммутативности умножения . Если u и v - квадратные корни из одного и того же элемента, то u 2 - v 2 = 0 . Поскольку делителей нуля нет, это означает, что u = v или u + v = 0 , где последнее означает, что два корня являются аддитивно обратными друг другу. Другими словами, если существует элемент, являющийся квадратным корнем u из элемента a , то единственными квадратными корнями из a являются u и −u . Единственный квадратный корень из 0 в области целостности - это сам 0.

В поле характеристики  2 элемент либо имеет один квадратный корень, либо не имеет его вообще, потому что каждый элемент является его собственным аддитивным обратным, так что - u = u . Если поле конечно характеристики 2, то каждый элемент имеет единственный квадратный корень. В поле любой другой характеристики любой ненулевой элемент либо имеет два квадратных корня, как объяснено выше, либо не имеет ни одного.

Для нечетного простого числа p положим q = p e для некоторого положительного целого числа e . Ненулевой элемент поля F q с q элементами является квадратичным вычетом, если он имеет квадратный корень из F q . В противном случае это квадратичный невычет. Есть ( q - 1) / 2 квадратичных вычетов и ( q - 1) / 2 квадратичных невычетов; ноль не засчитывается ни в одном из классов. Квадратичные вычеты образуют группу при умножении. Свойства квадратичных вычетов широко используются в теории чисел .

В кольцах вообще

В отличие от области целостности, квадратный корень в произвольном (унитальном) кольце не обязательно должен быть уникальным с точностью до знака. Например, в кольце целых чисел по модулю 8 (которое является коммутативным, но имеет делители нуля) элемент 1 имеет четыре различных квадратных корня: ± 1 и ± 3.

Другой пример - кольцо кватернионов, не имеющее делителей нуля, но не коммутативное. Здесь элемент −1 имеет бесконечно много квадратных корней , включая ± i , ± j и ± k . Фактически, набор квадратных корней из −1 в точности равен

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

Геометрическое построение квадратного корня

Построение длины с учетом и единичной длины
Спираль Феодора до треугольника с гипотенузой √ 4

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

Квадратный корень можно построить с помощью циркуля и линейки. В его элементов , Евклид ( . Фл 300 г. до н.э.) дал строительство среднее геометрическое двух величин в двух разных местах: Предложение II.14 и Предложение VI.13 . Поскольку среднее геометрическое для a и b равно , можно построить, просто взяв b = 1 .

Эта конструкция также дана Декартом в его «Геометрии» , см. Рисунок 2 на странице 2 . Однако Декарт не претендовал на оригинальность, и его аудитория была хорошо знакома с Евклидом.

Второе доказательство Евклида в Книге VI основано на теории подобных треугольников . Пусть AHB - отрезок длины a + b с AH = a и HB = b . Постройте окружность с диаметром AB и пусть C будет одним из двух пересечений перпендикулярной хорды в точке H с окружностью, и обозначьте длину CH как h . Затем, используя теорему Фалеса и, как в доказательстве теоремы Пифагора с помощью аналогичных треугольников , треугольник AHC похож на треугольник CHB (как и на самом деле оба треугольника ACB, хотя нам это и не нужно, но это суть доказательство теоремы Пифагора), так что AH: CH есть как HC: HB, то есть a / h = h / b , из чего мы заключаем перекрестным умножением, что h 2 = ab , и, наконец, это . Когда отмечаем середину O отрезка AB и рисуем радиус OC длины ( a + b ) / 2 , то ясно, что OC> CH, т.е. (с равенством тогда и только тогда, когда a = b ), что является арифметико-геометрическим среднее неравенство для двух переменных и, как отмечалось выше , является основой древнегреческого понимания «метода Герона».

Другой метод геометрической конструкции использует правильные треугольники и индукцию : может быть построен, и как только было построено, правый треугольник с ножками 1 и имеет гипотенузу из . Построение последовательных квадратных корней таким образом дает Спираль Теодора, изображенную выше.

Смотрите также

Примечания

использованная литература

внешние ссылки