stringtranslate.com

Квадратный корень из 2

Квадратный корень из 2 (приблизительно 1,4142) — это положительное действительное число , которое при умножении на себя или возведении в квадрат равно числу 2. В математике его можно записать как или . Это алгебраическое число , и, следовательно, не трансцендентное число . Технически его следует называть главным квадратным корнем из 2, чтобы отличать его от отрицательного числа с тем же свойством.

Геометрически квадратный корень из 2 равен длине диагонали квадрата со сторонами в одну единицу длины ; это следует из теоремы Пифагора . Вероятно, это было первое число, известное как иррациональное . [1] Дробь 99/70 (≈ 1,4142 857) иногда используется как хорошее рациональное приближение с достаточно малым знаменателем .

Последовательность A002193 в Онлайновой энциклопедии целочисленных последовательностей состоит из цифр в десятичном представлении квадратного корня из 2, здесь усеченного до 65 десятичных знаков: [2]

1.41421 35623 73095 04880 16887 24209 69807 85696 71875 37694 80731 76679 73799

История

Вавилонская глиняная табличка YBC 7289 с аннотациями. Помимо показа квадратного корня из 2 в шестидесятеричной системе ( 1 24 51 10 ), табличка также дает пример, где одна сторона квадрата равна 30, а диагональ тогда равна 42 25 35. Шестидесятеричная цифра 30 может также обозначать 0 30 = 1/2 , в этом случае 0 42 25 35 приблизительно равно 0,7071065.

Вавилонская глиняная табличка YBC 7289 ( ок.  1800–1600 гг. до н. э.) дает приближенное значение в виде четырех шестидесятеричных цифр, 1 24 51 10 , что соответствует точности около шести десятичных цифр [3] и является наиболее близким возможным трехзначным шестидесятеричным представлением числа , имеющим погрешность всего лишь –0,000042%:

Другое раннее приближение дано в древнеиндийских математических текстах, Сульбасутры ( ок.  800–200 гг. до н. э.), как следует: умножьте длину [стороны] на ее треть, а эту треть на ее собственную четвертую часть за вычетом тридцать четвертой части этой четверти. [4] То есть,

Это приближение, отклоняющееся от фактического значения примерно на +0,07%, является седьмым в последовательности все более точных приближений, основанных на последовательности чисел Пелля , которые можно вывести из разложения непрерывной дроби . Несмотря на меньший знаменатель, оно лишь немного менее точно, чем вавилонское приближение.

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

Древнеримская архитектура

В древнеримской архитектуре Витрувий описывает использование квадратного корня из 2 прогрессии или техники ad quadratum . Она в основном заключается в геометрическом, а не арифметическом, методе удвоения квадрата, в котором диагональ исходного квадрата равна стороне полученного квадрата. Витрувий приписывает эту идею Платону . Система использовалась для строительства мостовых путем создания квадрата, касательного к углам исходного квадрата под углом 45 градусов. Пропорция также использовалась для проектирования атриумов путем присвоения им длины, равной диагонали, взятой из квадрата, стороны которого эквивалентны предполагаемой ширине атриума. [8]

Десятичное значение

Алгоритмы вычислений

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

Сначала выберите предположение, ; значение предположения влияет только на то, сколько итераций требуется для достижения приближения определенной точности. Затем, используя это предположение, выполните итерацию через следующее рекурсивное вычисление:

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

Рациональные приближения

Простое рациональное приближение 99/70 (≈ 1,4142 857) иногда используется. Несмотря на то, что знаменатель равен всего 70, он отличается от правильного значения менее чем на 1/10,000 (приблизительно)+0,72 × 10 −4 ).

Следующие два лучших рациональных приближения — это 140/99 (≈ 1,414 1414...) с незначительно меньшей погрешностью (приблизительно.−0,72 × 10 −4 ), и 239/169 (≈ 1,4142 012) с погрешностью приблизительно−0,12 × 10 −4 .

Рациональное приближение квадратного корня из двух, полученное в результате четырех итераций вавилонского метода после начала с 0 = 1 ( 665,857/470,832 ) ​​слишком большой примерно на1,6 × 10 −12 ; его квадрат ≈ 2.000 000 000 0045 .

Рекорды в вычислениях

В 1997 году команда Ясумасы Канады вычислила значение с точностью до 137 438 953 444 знаков после запятой . В феврале 2006 года рекорд по вычислению был побит с использованием домашнего компьютера. Сигэру Кондо вычислил один триллион знаков после запятой в 2010 году. [10] Другие математические константы , чьи десятичные разложения были вычислены с такой же высокой точностью, включают π , e и золотое сечение . [11] Такие вычисления предоставляют эмпирические доказательства того, являются ли эти числа нормальными .

Это таблица последних записей в вычислении цифр . [11]

Доказательства иррациональности

Доказательство бесконечным спуском

Одним из доказательств иррациональности числа является следующее доказательство бесконечным спуском . Это также доказательство отрицания опровержением : оно доказывает утверждение « не рационально», предполагая, что оно рационально, а затем выводя ложность.

  1. Предположим, что — рациональное число, то есть существует пара целых чисел, отношение которых равно в точности .
  2. Если два целых числа имеют общий множитель , его можно исключить с помощью алгоритма Евклида .
  3. Тогда можно записать в виде несократимой дроби, такой что a и b являются взаимно простыми целыми числами (не имеющими общего множителя), что дополнительно означает, что по крайней мере одно из чисел a или b должно быть нечетным .
  4. Отсюда следует, что и . (  ( а/б ) ​​н = а н/б н  ) ​​( a 2 и b 2 — целые числа)
  5. Следовательно, a 2 является четным , так как оно равно 2 b 2 . ( 2 b 2 обязательно является четным, так как оно в 2 раза больше другого целого числа.)
  6. Отсюда следует, что a должно быть четным (так как квадраты нечетных чисел никогда не бывают четными).
  7. Поскольку a четное, существует целое число k , которое удовлетворяет .
  8. Подставим 2k из шага 7 вместо a во второе уравнение шага 4: , что эквивалентно .
  9. Так как 2k2 делится на два и, следовательно, четно, и так как , то отсюда следует , что b2 также четно, а это значит, что b четно .
  10. Согласно шагам 5 и 8, a и b оба четные, что противоречит шагу 3 (который является неприводимым).

Поскольку мы вывели ложь, предположение (1), что является рациональным числом, должно быть ложным. Это означает, что является не рациональным числом; то есть является иррациональным.

На это доказательство намекнул Аристотель в своей работе Analytica Priora , §I.23. [12] Впервые оно появилось как полное доказательство в « Началах » Евклида , как предложение 117 книги X. Однако с начала 19 века историки согласились, что это доказательство является интерполяцией и не может быть приписано Евклиду. [13]

Доказательство с использованием обратных величин

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

Доказательство с помощью уникальной факторизации

Как и в случае с доказательством бесконечным спуском, мы получаем . Будучи той же величиной, каждая сторона имеет то же самое разложение на простые множители по фундаментальной теореме арифметики , и, в частности, должна была бы иметь множитель 2, встречающийся одинаковое количество раз. Однако множитель 2 появляется нечетное количество раз справа, но четное количество раз слева — противоречие.

Применение теоремы о рациональном корне

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

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

Геометрическое доказательство

Рисунок 1. Геометрическое доказательство иррациональности числа 2, предложенное Стэнли Тенненбаумом.

Простое доказательство приписывают Стэнли Тенненбауму , когда он был студентом в начале 1950-х годов. [14] [15] Даны два квадрата с целыми сторонами соответственно a и b , один из которых имеет вдвое большую площадь , чем другой, поместите две копии меньшего квадрата в больший, как показано на рисунке 1. Область перекрытия квадратов в середине ( ) должна быть равна сумме двух непокрытых квадратов ( ). Однако эти квадраты на диагонали имеют положительные целые стороны, которые меньше, чем исходные квадраты. Повторяя этот процесс, есть произвольно малые квадраты, один из которых в два раза больше площади другого, но оба имеют положительные целые стороны, что невозможно, поскольку положительные целые числа не могут быть меньше 1.

Рисунок 2. Геометрическое доказательство иррациональности числа 2, предложенное Томом Апостолом.

Том М. Апостол привел еще один геометрический аргумент reductio ad absurdum , показывающий, что иррационально. [16] Это также пример доказательства бесконечным спуском. Он использует классическое построение циркуля и линейки , доказывая теорему методом, похожим на тот, который использовали древнегреческие геометры. По сути, это то же самое алгебраическое доказательство, что и в предыдущем абзаце, рассматриваемое геометрически другим способом.

Пусть △  ABC — прямоугольный равнобедренный треугольник с длиной гипотенузы m и катетами n, как показано на рисунке 2. По теореме Пифагора , . Предположим, что m и n — целые числа. Пусть m : nотношение, заданное в его наименьших членах .

Проведем дуги BD и CE с центром A. Соединим DE . Отсюда следует, что AB = AD , AC = AE иBAC иDAE совпадают . Следовательно, треугольники ABC и ADE равны по SAS .

Поскольку EBF — прямой угол, а BEF — половина прямого угла, △  BEF — также прямоугольный равнобедренный треугольник. Следовательно, BE = mn влечет BF = mn . По симметрии, DF = mn , и △  FDC — также прямоугольный равнобедренный треугольник. Отсюда также следует, что FC = n − ( mn ) = 2 nm .

Следовательно, существует еще меньший прямоугольный равнобедренный треугольник с длиной гипотенузы 2 nm и катетами mn . Эти значения являются целыми числами, даже меньшими, чем m и n , и находятся в том же отношении, что противоречит гипотезе о том, что m : n находится в наименьшем члене. Следовательно, m и n не могут быть оба целыми числами; следовательно, является иррациональным.

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

В то время как доказательства бесконечным спуском конструктивно верны, когда «иррациональный» определяется как «нерациональный», мы можем получить конструктивно более сильное утверждение, используя позитивное определение «иррационального» как «количественно отдельного от каждого рационального». Пусть a и b будут положительными целыми числами, такими, что 1< а/б < 3/2 (так как 1<2< 9/4 удовлетворяет этим границам). Теперь 2 b 2 и a 2 не могут быть равны, так как первое имеет нечетное число множителей 2, тогда как второе имеет четное число множителей 2. Таким образом, | 2 b 2a 2 | ≥ 1 . Умножая абсолютную разность | 2а/б |по b 2 (2 + а/б ) ​​в числителе и знаменателе, получаем [17]

последнее неравенство верно, поскольку предполагается, что 1< а/б < 3/2 , что даета/б + 2 ≤ 3 (иначе количественная обособленность может быть установлена ​​тривиально). Это дает нижнюю границу1/3 б 2 для разницы | 2а/б |, давая прямое доказательство иррациональности в ее конструктивно более сильной форме, не полагаясь назакон исключенного третьего; см.Эрретт Бишоп(1985, стр. 18). Это доказательство конструктивно демонстрирует явное несоответствие междуи любым рациональным.

Доказательство с помощью пифагорейских троек

Это доказательство использует следующее свойство примитивных пифагорейских троек :

Если a , b и c — взаимно простые положительные целые числа, такие, что a 2 + b 2 = c 2 , то c никогда не бывает четным. [18]

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

Предположим обратное, что рационально. Следовательно,

где и
Возводя обе стороны в квадрат,

Здесь (b, b, a) — примитивная пифагорова тройка, и из леммы a никогда не бывает четным. Однако это противоречит уравнению 2 b 2 = a 2 , которое подразумевает, что a должно быть четным.

Мультипликативная обратная величина

Мультипликативная обратная величина квадратного корня из двух (т. е. квадратный корень из 1/2 ) ​​— широко используемая константа .

0,707 106 781 186 547 524 400 844 362 104 849 039 284 835 937 688 47 ... (последовательность A010503 в OEIS )

Половина , также обратная величина , является общей величиной в геометрии и тригонометрии, поскольку единичный вектор , который составляет угол 45° с осями на плоскости, имеет координаты

Это число удовлетворяет

Характеристики

Размер угла и площадь сектора одинаковы, когда конический радиус равен 2. Эта диаграмма иллюстрирует круговую и гиперболическую функции, основанные на площадях секторов u .

Одним из интересных свойств является

с

Это связано со свойством серебряных соотношений .

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

также является единственным действительным числом, отличным от 1, бесконечная тетрата которого (т.е. бесконечная экспоненциальная башня) равна его квадрату. Другими словами: если для c > 1 , x 1 = c и x n +1 = c x n для n > 1 , предел x n при n → ∞ будет называться (если этот предел существует) f ( c ) . Тогда является единственным числом c > 1, для которого f ( c ) = c 2 . Или символически:

появляется в формуле Вьета для π ,

что связано с формулой [19]

Похожий по внешнему виду, но с конечным числом членов, появляется в различных тригонометрических константах : [20]

Неизвестно, является ли это нормальным числом , которое является более сильным свойством, чем иррациональность, но статистический анализ его двоичного разложения согласуется с гипотезой о том, что основание два является нормальным . [21]

Представления

Серия и продукт

Тождество cos  π/4 = грех  π/4 = 1/2 , наряду с бесконечными представлениями произведений для синуса и косинуса , приводит к таким произведениям, как

и

или эквивалентно,

Число также можно выразить, взяв ряд Тейлора тригонометрической функции . Например, ряд для cos  π/4 дает

Ряд Тейлора 1 + x при x = 1 и использовании двойного факториала n !! дает

Сходимость этого ряда можно ускорить с помощью преобразования Эйлера , что даст

Неизвестно, можно ли представить с помощью формулы типа BBP . Однако формулы типа BBP известны для π 2 и 2 ln (1+ 2 ) . [22]

Число может быть представлено бесконечным рядом египетских дробей со знаменателями, определяемыми 2 n -ными  членами рекуррентного соотношения типа Фибоначчи a ( n ) = 34 a ( n −1) − a ( n −2), a (0) = 0, a (1) = 6. [23]

Продолженная дробь

Квадратный корень из 2 и приближения с помощью подходящих дробей цепных дробей

Квадратный корень из двух имеет следующее представление в виде непрерывной дроби :

Конвергенты п/д образованные путем усечения этого представления, образуют последовательность дробей, которые приближают квадратный корень из двух с возрастающей точностью и которые описываются числами Пелля (т.е. p 2 − 2 q 2 = ±1 ). Первые подходящие дроби:1/1 , 3/2 , 7/5 , 17/12 , 41/29 , 99/70 , 239/169 , 577/408 и сходящееся следующееп/д естьп + 2 д/п + д . Конвергентныйп/д отличается отпочти точно1/2 2 q 2 , что следует из:

Вложенный квадрат

Следующие вложенные квадратные выражения сходятся к :

Приложения

Размер бумаги

Форматы бумаги серии А

В 1786 году немецкий профессор физики Георг Кристоф Лихтенберг [24] обнаружил, что любой лист бумаги, длинный край которого в разы длиннее короткого края, можно сложить пополам и выровнять по его короткой стороне, чтобы получить лист с точно такими же пропорциями, как у оригинала. Это отношение длин более длинной стороны к более короткой гарантирует, что разрезание листа пополам вдоль линии приведет к тому, что меньшие листы будут иметь такое же (приблизительное) соотношение, как и исходный лист. Когда Германия стандартизировала размеры бумаги в начале 20-го века, они использовали соотношение Лихтенберга для создания серии размеров бумаги «A» . [24] Сегодня (приблизительное) соотношение сторон размеров бумаги по ISO 216 (A4, A0 и т. д.) составляет 1: .

Доказательство:
Пусть длина сторон листа бумаги меньше, а длина сторон больше.

в соответствии с требованиями ISO 216.

Пусть будет аналогичным отношением пополам листа, тогда

.

Физические науки

В физических науках есть несколько интересных свойств, связанных с квадратным корнем из 2 :

Расстояния между вершинами двойного единичного куба являются квадратными корнями первых шести натуральных чисел , включая квадратный корень из 2 (√7 невозможно из-за теоремы Лежандра о трех квадратах ).

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

Примечания

  1. ^ Фаулер, Дэвид Х. (2001), «История открытия несоизмеримости, пересмотренная», Neusis (10): 45–61, MR  1891736
  2. ^ "A002193 - OEIS". oeis.org . Получено 2020-08-10 .
  3. Фаулер и Робсон, стр. 368.
    Фотография, иллюстрация и описание таблички root(2) из ​​Йельской вавилонской коллекции. Архивировано 13 августа 2012 г. на Wayback Machine.
    Фотографии высокого разрешения, описания и анализ таблички root(2) (YBC 7289) из Йельской вавилонской коллекции.
  4. ^ Хендерсон.
  5. ^ "Опасное соотношение". nrich.maths.org . Получено 2023-09-18 .
  6. ^ Фон Фриц, Курт (1945). «Открытие несоизмеримости Гиппасом из Метапонта». Annals of Mathematics . 46 (2): 242–264. doi :10.2307/1969021. ISSN  0003-486X. JSTOR  1969021.
  7. ^ Конвей, Джон Х.; Гай , Ричард К. (1996), Книга чисел , Коперник, стр. 25
  8. ^ Уильямс, Ким ; Оствальд, Майкл (2015). Архитектура и математика от античности до будущего: Том I: античность до 1500-х годов . Биркхойзер. стр. 204. ISBN 9783319001371.
  9. ^ Хотя термин «вавилонский метод» широко используется в современном употреблении, нет прямых доказательств того, как вавилоняне вычисляли приближение, показанное на табличке YBC 7289. Фаулер и Робсон предлагают обоснованные и подробные предположения. Фаулер и Робсон, стр. 376. Флэннери, стр. 32, 158.
  10. ^ "Константы и записи вычислений". Numbers.computation.free.fr. 2010-08-12. Архивировано из оригинала 2012-03-01 . Получено 2012-09-07 .
  11. ^ ab "Records set by y-cruncher". Архивировано из оригинала 2022-04-07 . Получено 2022-04-07 .
  12. ^ Все, что говорит Аристотель, когда пишет о доказательствах от противного , это то, что «диагональ квадрата несоизмерима со стороной, потому что нечетные числа равны четным, если предполагается, что они соизмеримы».
  13. ^ Издание греческого текста «Начал », опубликованное Э. Ф. Августом в Берлине в 1826–1829 гг., уже относит это доказательство в Приложение. То же самое происходит и с изданием Дж. Л. Гейберга (1883–1888 гг.).
  14. Proof 8‴ Архивировано 22.04.2016 на Wayback Machine
  15. ^ Янофски, Н. (2016). «Парадоксы, противоречия и пределы науки». Архивировано из оригинала 2016-06-30.
  16. Том М. Апостол (ноябрь 2000 г.), «Иррациональность квадратного корня из двух — геометрическое доказательство», The American Mathematical Monthly , 107 (9): 841–842, doi : 10.2307/2695741, JSTOR  2695741
  17. См. Кац, Карин Усади; Кац, Михаил Г. (2011), «Значение в классической математике: противоречит ли оно интуиционизму?», Intellectica , 56 (2): 223–302 (см. особенно раздел 2.3, сноску 15), arXiv : 1110.5456 , Bibcode : 2011arXiv1110.5456U
  18. ^ Серпинский, Вацлав (2003), Треугольники Пифагора , Дувр, стр. 4–6, ISBN 978-0-486-43278-6
  19. ^ Курант, Ричард; Роббинс, Герберт (1941), Что такое математика? Элементарный подход к идеям и методам , Лондон: Oxford University Press, стр. 124
  20. ^ Джулиан ДА Вайсман Sin и cos в сурдовых числах Архивировано 2009-05-06 на Wayback Machine
  21. Добро и правитель (1967).
  22. ^ Бейли, Дэвид Х. (13 февраля 2011 г.). "Сборник формул типа BBP для математических констант" (PDF) . Архивировано (PDF) из оригинала 2011-06-10 . Получено 2010-04-30 .
  23. ^ Sloane, N. J. A. (ред.). "Последовательность A082405 (a(n) = 34*a(n-1) - a(n-2); a(0)=0, a(1)=6)". Онлайновая энциклопедия целочисленных последовательностей . Фонд OEIS . Получено 05.09.2016 .
  24. ^ ab Хьюстон, Кит (2016). Книга: исследование от корки до корки самого могущественного объекта нашего времени . WW Norton & Company. стр. 324. ISBN 978-0393244809.
  25. ^ Норденген, Кая (2016). Книга: Hjernen er sternen . 2016 Кагге Форлаг АС. п. 81. ИСБН 978-82-489-2018-2.

Ссылки

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