Проблема скота Архимедессы - Википедия - Archimedess cattle problem

Проблема архимеда о скоте (или проблема bovinum или же проблема Archimedis) проблема в Диофантов анализ, изучение полиномиальные уравнения с целое число решения. Приписывается Архимед, задача состоит в том, чтобы вычислить поголовье крупного рогатого скота в стаде бог солнца из заданного набора ограничений. Проблема была обнаружена Готтхольд Эфраим Лессинг в греческой рукописи, содержащей стихотворение из сорока четырех строк, в Библиотека Герцога Августа в Вольфенбюттель, Германия в 1773 г.^[1]

Проблема оставалась нерешенной в течение ряда лет, отчасти из-за сложности вычисления огромных чисел, задействованных в решении. Общее решение было найдено в 1880 году Карлом Эрнстом Августом Амтором (1845–1916), директором школы. Gymnasium zum Heiligen Kreuz (Гимназия Святого Креста) в Дрездене, Германия.^[2][3][4] С помощью логарифмические таблицы, он вычислил первые цифры наименьшего решения, показывая, что это примерно ${ displaystyle 7.76 times 10 ^ {206544}}$ крупного рогатого скота, гораздо больше, чем могло поместиться в наблюдаемая вселенная.^[5] Десятичная форма слишком длинная, чтобы люди могли ее точно вычислить, но арифметика с множественной точностью пакеты на компьютерах могут записывать это явно.

История

В 1769 г. Готтхольд Эфраим Лессинг был назначен библиотекарем библиотеки Герцога Августа в г. Вольфенбюттель, Германия, который содержал множество греческих и латинских рукописей.^[6] Спустя несколько лет Лессинг опубликовал переводы некоторых рукописей с комментариями. Среди них было греческое стихотворение из сорока четырех строк, содержащее арифметическую задачу, которая просит читателя найти количество скота в стадо бога солнца. Теперь это обычно приписывают Архимеду.^[7][8]

Проблема

Проблема в сокращении немецких переводов, опубликованных Георг Нессельманн в 1842 году и Крумбигелем в 1880 году, говорится:

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

Белые быки ${ displaystyle = left ({ frac {1} {2}} + { frac {1} {3}} right)}$ черные быки + желтые быки,

Черные быки ${ displaystyle = left ({ frac {1} {4}} + { frac {1} {5}} right)}$ пятнистые быки + желтые быки,

Пятнистые быки ${ displaystyle = left ({ frac {1} {6}} + { frac {1} {7}} right)}$ белые быки + желтые быки,

Белые коровы ${ displaystyle = left ({ frac {1} {3}} + { frac {1} {4}} right)}$ черное стадо

Черные коровы ${ displaystyle = left ({ frac {1} {4}} + { frac {1} {5}} right)}$ пестрое стадо,

Пятнистые коровы ${ displaystyle = left ({ frac {1} {5}} + { frac {1} {6}} right)}$ желтое стадо

Желтые коровы ${ displaystyle = left ({ frac {1} {6}} + { frac {1} {7}} right)}$ белое стадо.

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

Белые быки + черные быки = а квадратный номер,

Пятнистые быки + желтые быки = а треугольное число.

Если ты подсчитал и их, о друг, и нашел общее количество скота, то радуйся как победитель, ибо ты оказался самым искусным в числах.^[9]

Решение

Первую часть проблемы легко решить, настроив система уравнений. Если количество белых, черных, пятнистых и желтых быков записано как ${ displaystyle W, B, D,}$ и ${ displaystyle Y}$, а количество белых, черных, пятнистых и желтых коров записывается как ${ displaystyle w, b, d,}$ и ${ displaystyle y}$, проблема заключается в том, чтобы найти решение:

${ displaystyle { begin {align} W & {} = { frac {5} {6}} B + Y B & {} = { frac {9} {20}} D + Y D & {} = { frac {13} {42}} W + Y w & {} = { frac {7} {12}} (B + b) b & {} = { frac {9} {20} } (D + d) d & {} = { frac {11} {30}} (Y + y) y & {} = { frac {13} {42}} (W + w) end {выровнено}}}$

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

${ displaystyle { begin {align} B & {} = 7 {,} 460 {,} 514 W & {} = 10 {,} 366 {,} 482 D & {} = 7 {,} 358 {, } 060 Y & {} = 4 {,} 149 {,} 387 b & {} = 4 {,} 893 {,} 246 w & {} = 7 {,} 206 {,} 360 d & {} = 3 {,} 515 {,} 820 y & {} = 5 {,} 439 {,} 213 end {выровнено}}}$

всего 50 389 082 голов крупного рогатого скота^[9] а другие решения являются их целыми кратными. Обратите внимание, что первые четыре числа кратны 4657, значение, которое будет повторяться ниже.

Общее решение второй части проблемы впервые нашел А. Амтор.^[10] в 1880 г. Следующую его версию описал Х. В. Ленстра,^[5] на основе Уравнение Пелла: решение, приведенное выше для первой части задачи, следует умножить на

${ displaystyle n = { frac {(w ^ {4658j} -w ^ {- 4658j}) ^ {2}} {(4657) (79072)}} ,}$

куда

${ displaystyle w = 300426607914281713365 { sqrt {609}} + 84129507677858393258 { sqrt {7766}}}$

и j любое положительное целое число. Эквивалентно возведение в квадрат ш приводит к

${ Displaystyle ш ^ {2} = и + v { sqrt {(609) (7766)}} ,}$

куда {ты, v} являются фундаментальными решениями Уравнение Пелла

${ displaystyle u ^ {2} - (609) (7766) v ^ {2} = 1}$

Размер наименьшего стада, способного удовлетворить как первую, так и вторую части задачи, определяется выражением j = 1 и составляет около ${ displaystyle 7.76 times 10 ^ {206544}}$ (впервые решено Амтором). Современные компьютеры могут легко распечатать все цифры ответа. Впервые это было сделано на Университет Ватерлоо, в 1965 г. Хью К. Уильямс, Р. А. Герман и Чарльз Роберт Зарнке. Они использовали комбинацию IBM 7040 и IBM 1620 компьютеры.^[11]

Уравнение Пелла

Ограничения второй части задачи очевидны, и на самом деле Уравнение Пелла то, что необходимо решить, можно легко дать. Сначала спрашивают, что B + W должен быть квадрат, или используя значения, указанные выше,

${ Displaystyle B + W = 7 {,} 460 {,} 514k + 10 {,} 366 {,} 482k = (2 ^ {2}) (3) (11) (29) (4657) k ,}$

таким образом следует установить k = (3)(11)(29)(4657)q² для некоторого целого числа q. Это решает первое условие. Во-вторых, требуется, чтобы D + Y должен быть треугольное число,

${ displaystyle D + Y = { frac {t ^ {2} + t} {2}}}$

Решение для т,

${ displaystyle t = { frac {-1 pm { sqrt {1 + 8 (D + Y)}}} {2}}}$

Подставляя значение D + Y и k и найти значение q² так что дискриминант квадратичного квадрата п² влечет за собой решение Уравнение Пелла,

${ displaystyle p ^ {2} - (4) (609) (7766) (4657 ^ {2}) q ^ {2} = 1 ,}$

Подход Амтора, рассмотренный в предыдущем разделе, заключался в основном в поиске наименьшего v такое, что оно целиком делится на 2 · 4657. Фундаментальное решение этого уравнения состоит из более чем 100 000 цифр.

Рекомендации

дальнейшее чтение

• Белл, А. Х. (1895), «Проблема крупного рогатого скота. Автор: Archimedies 251 B. C.», Американский математический ежемесячник, Математическая ассоциация Америки, 2 (5): 140–141, Дои:10.2307/2968125, JSTOR  2968125
• Дёрри, Генрих (1965). "Архимед' Problema Bovinum". 100 великих задач элементарной математики. Dover Publications. С. 3–7.
• Williams, H.C .; German, R.A .; Зарнке, К. Р. (1965). «Решение проблемы Архимеда о рогатом скоте». Математика вычислений. Американское математическое общество. 19 (92): pp. 671–674. Дои:10.2307/2003954. JSTOR  2003954.
• Варди, И. (1998). «Проблема архимеда о скоте». Американский математический ежемесячный журнал. Математическая ассоциация Америки. 105 (4): pp. 305–319. Дои:10.2307/2589706.
• Бенсон, Г. (2014). «Поэт Архимед: общие инновации и математическая фантазия в проблеме крупного рогатого скота». Аретуза. Издательство Университета Джона Хопкинса. 47 (2): pp. 169–196. Дои:10.1353 / ар. 2014.0008.

внешняя ссылка

• OEIS последовательность A096151 (десятичное разложение 206545-значного целочисленного решения задачи Архимеда о скоте) —Полное десятичное решение второй задачи.
• Алекс Беллос. "Святая корова, это большое число" (видео). YouTube. Брэди Харан. Получено 25 ноября 2019.