Адекватность - Adequality

Адекватность - это метод, разработанный Пьером де Ферма в его трактате Methodus ad disquirendam maximam et minimam ( латинский трактат, распространенный во Франции около 1636 г.) для вычисления максимумов и минимумов функций, касательных к кривым, площади , центра масс , наименьшего действия и т. Д. и другие проблемы математического анализа . По словам Андре Вейля , Ферма «вводит технический термин adaequalitas, adaequare и т. Д., Который, по его словам, заимствован у Диофанта . Как показывает Диофант V.11, это означает приблизительное равенство, и именно так Ферма объясняет это слово в одно из его более поздних произведений ". (Weil 1973). Диофант придумал слово παρισότης ( parisotēs ) для обозначения приблизительного равенства. Клод Гаспар Баше де Мезириак перевел греческое слово Диофанта на латынь как adaequalitas . В французском переводе Пола Таннери латинских трактатов Ферма о максимумах и минимумах использовались слова adéquation и adégaler .

Метод Ферма

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

Чтобы найти максимум члена , Ферма приравнял (или, точнее, адекватно), и после выполнения алгебры он мог сократить множитель, а затем отбросить все оставшиеся члены, связанные с ним. Чтобы проиллюстрировать метод на собственном примере Ферма, рассмотрим проблему поиска максимум (слова в Ферма, это разделить линию длины в точке , таким образом, что произведение двух полученных частей быть максимальным.) Ферма adequated с . То есть (с использованием обозначения адекватности, введенного Полом Таннери ):

Отмена условий и разделение Ферма пришли к

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

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

Критика Декарта

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

Научная полемика

И Ньютон, и Лейбниц называли работу Ферма предшественником исчисления бесконечно малых . Тем не менее, среди современных ученых существуют разногласия относительно точного значения адекватности Ферма. Адекватность Ферма анализировалась в ряде научных исследований. В 1896 году Поль Таннери опубликовал французский перевод латинских трактатов Ферма о максимумах и минимумах (Fermat, Œuvres, Vol. III, pp. 121–156). Таннери перевел термин Ферма как «adégaler» и принял «адеквацию» Ферма. Кожевник также ввел в математические формулы символ адекватности.

Генрих Вилейтнер (1929) писал:

Ферма заменяет A с A + E . Затем он устанавливает новое выражение примерно равное ( angenähert Gleich ) к старому, отменяет равные условия с обеих сторон, и делит максимально возможной мощности Е . Затем он отменяет все члены, содержащие E, и устанавливает те, которые остаются равными друг другу. Из того, что [искомая] А результаты. О том, что E должно быть как можно меньше, нигде не говорится и в лучшем случае выражается словом «adaequalitas».

(Вилейтнер использует этот символ .)


Макс Миллер (1934) писал:

В этой связи следует поставить оба члена, выражающие максимум и минимум, примерно равными ( näherungsweise gleich ), как говорит Диофант.

(Миллер использует этот символ .)


Жан Итар (1948) писал:

Известно, что выражение «adégaler» заимствовано Ферма от Диофанта, переведено Ксиландером и Баше. Речь идет о приблизительном равенстве ( égalité приблизительно ) ".

(Итард использует этот символ .)


Йозеф Эренфрид Хофманн (1963) писал:

Ферма выбирает величину h , которая считается достаточно малой, и полагает f ( x  +  h ) примерно равным ( ungefähr gleich ) f ( x ). Его технический термин - adaequare .

(Хофманн использует этот символ .)


Пер Стрёмхольм (1968) писал:

В основе подхода Ферма лежало сравнение двух выражений, которые, хотя и имели одинаковую форму, не были в точности равными . Эту часть процесса он назвал « compare par adaequalitatem » или « comparer per adaequalitatem », и это подразумевало, что в остальном строгая идентичность между двумя сторонами «уравнения» была разрушена изменением переменной на небольшую величину:

.

В этом, как я полагаю, было реальное значение его использования πἀρισον Диофанта, подчеркивая малость вариации. Обычный перевод «adaequalitas» , как представляется, « приближенное равенство », но я предпочитаю « псевдо-равенство » к мысли нынешнего Ферма в этой точке.

Он также отмечает, что «в M1 (метод 1) никогда не стоял вопрос о том, чтобы вариация E была равна нулю. Слова, которые Ферма использовал для выражения процесса подавления терминов, содержащих E, были« elido »,« deleo »и« expungo ', а по-французски' i'efface 'и' i'ôte '. Мы вряд ли можем поверить, что здравомыслящий человек, желающий выразить свое значение и ищущий слова, постоянно наталкивался на такие извилистые способы передачи того простого факта, что термины исчезли, потому что E было равно нулю. (стр. 51) Клаус Йенсен (1969) писал:

Более того, применяя понятие adégalité, которое составляет основу общего метода Ферма построения касательных и под которым понимается сравнение двух величин, как если бы они были равны, хотя на самом деле это не так ("tamquam essent aequalia, licet revera aequalia non sint ") Я буду использовать более распространенный в настоящее время символ .

Цитата на латинском языке взята из «Ферма», изданного Таннери 1891 года, том 1, страница 140. Майкл Шон Махони (1971) писал:

Метод максимумов и минимумов Ферма, который явно применим к любому многочлену P (x) , изначально базировался на чисто финитистских алгебраических основах. Он предположил, напротив , неравенство двух равных корней, чтобы определить, согласно теории уравнений Вите, связь между этими корнями и одним из коэффициентов многочлена, отношение, которое было полностью общим. Это соотношение затем привело к решению с экстремальной ценностью, когда Ферма удалил свое контрфактическое предположение и установил одинаковые корни. Заимствуя термин у Диофанта, Ферма назвал это контрфактическое равенство «адекватностью».

(Махони использует символ .) На стр. 164, конец сноски 46, Махони отмечает, что одним из значений адекватности является приблизительное равенство или равенство в предельном случае . Чарльз Генри Эдвардс-младший (1979) писал:

Например, для того , чтобы определить , как разбить отрезок длины на два сегмента , и чей продукт является максимальным, то есть , чтобы найти прямоугольник с периметром , который имеет максимальную площадь, он [Ферма] протекает следующим образом . Сначала он заменил

(он использовал A , E вместо x , e ) для неизвестного x , а затем записал следующее «псевдоравенство», чтобы сравнить полученное выражение с исходным:

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

Кирсти Андерсен (1980) писала:

Два выражения максимума или минимума сделаны «адекватными» , что означает что-то вроде как можно более близкого к равенству .

(Андерсен использует этот символ .) Герберт Брегер (1994) писал:

Я хочу выдвинуть свою гипотезу: Ферма использовал слово «adaequare» в смысле «поставить равным» ... В математическом контексте единственная разница между «aequare» и «adaequare», кажется, состоит в том, что последнее дает больше акцентировать внимание на том, что равенство достигается.

(Страница 197f.) Джон Стилвелл (Stillwell 2006, стр. 91) писал:

Ферма представил идею адекватности в 1630-х годах, но он опередил свое время. Его преемники не желали отказываться от удобства обычных уравнений, предпочитая использовать равенство нечетко, а не точно. Идея адекватности возродилась только в ХХ веке, в так называемом нестандартном анализе .

Энрико Джусти (2009) цитирует письмо Ферма к Марин Мерсенн, где Ферма писал:

Cette compareison par adégalité produit deux termes inégaux qui enfin produisent l'égalité (selon ma méthode) qui nous donne la solution de la question "(" Это сравнение по адекватности дает два неравных условия, которые в конечном итоге приводят к равенству (следуя моему методу), что дает нам решение проблемы ») ..

Джусти отмечает в сноске, что это письмо, похоже, ускользнуло от внимания Брегера.

Клаус Барнер (2011) утверждает, что Ферма использует два разных латинских слова (aequabitur и adaequabitur), чтобы заменить обычный в настоящее время знак равенства, aequabitur, когда уравнение касается действительного тождества между двумя константами, универсально действующей (доказанной) формулы или условного уравнения. , adaequabitur , однако, когда уравнение описывает связь между двумя переменными, которые не являются независимыми (и уравнение не является действительной формулой). На странице 36 Барнер пишет: «Почему Ферма постоянно повторял свою непоследовательную процедуру для всех своих примеров для метода касательных? Почему он никогда не упоминал секанс, которой он фактически оперировал? Я не знаю».

Кац, Шапс, Шнидер (2013) утверждают, что применение Ферма техники к трансцендентным кривым, таким как циклоида, показывает, что техника адекватности Ферма выходит за рамки чисто алгебраического алгоритма и что, вопреки интерпретации Брегера , технические термины паризотируют, как они используются Diophantus и adaequalitas, используемые Ферма, означают «приблизительное равенство». Они развивают формализацию техники адекватности Ферма в современной математике как стандартную функцию части, которая округляет конечное гиперреалистическое число до ближайшего действительного числа .

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

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

Библиография