Josep Carrera - Трехмерный мир. Евклид. Геометрия
- Название:Трехмерный мир. Евклид. Геометрия
- Автор:
- Жанр:
- Издательство:ООО “Де Агостини”
- Год:2015
- ISBN:нет данных
- Рейтинг:
- Избранное:Добавить в избранное
-
Отзывы:
-
Ваша оценка:
Josep Carrera - Трехмерный мир. Евклид. Геометрия краткое содержание
Евклид Александрийский — автор одного из самых популярных нехудожественных произведений в истории. Его главное сочинение — «Начала» — было переиздано тысячи раз, на протяжении веков по нему постигали азы математики и геометрии целые поколения ученых. Этот труд состоит из 13 книг и содержит самые важные геометрические и арифметические теории Древней Греции. Не меньшее значение, чем содержание, имеет и вид, в котором Евклид представил научное знание: из аксиом и определений он вывел 465 теорем, построив безупречную логическую структуру, остававшуюся нерушимой вплоть до начала XIX века, когда была создана неевклидова геометрия.
Трехмерный мир. Евклид. Геометрия - читать онлайн бесплатно полную версию (весь текст целиком)
Интервал:
Закладка:
В понятиях части и кратности содержится также понятие соизмеримости или делимости. Кратное число — повторение одной и той же величины определенное количество раз. Если у нас есть величина A, a m — произвольное натуральное число, то кратное будет m х A. Оно равно сумме величин A, взятых m раз. Делитель или часть D величины A — это величина «такого же рода», что и A, такая что A кратна D то есть такая, что если взять определенное натуральное число m, то A = m х D. Подразумевается, что мы знаем, в каких случаях величина «больше, равна или меньше другой», и это, как мы увидим, имеет огромное значение.
Зенон и Евдокс были представителями двух совершенно противоположных школ в математике: критически- деструктивной и критически-конструктивной. Оба были проникнуты столь же сильным критицизмом, как и их последователи...
Эрик Белл «Творцы математики»
Существуют объекты, подтверждающие определение, — свойства, которые устанавливаются в постулате или предложении. Это придает определению смысл. Но есть и другие объекты — не подтверждающие определение.
Возникает следующий вопрос: есть ли в «Началах» пары величин, не связанные никаким отношением? Ведь определение не может и не должно устанавливать, что «все величины, взятые кратно, имеют отношение между собой». Архимед не попал в эту ловушку, и в работе «О шаре и цилиндре» (пятое допущение, или постулат Архимеда) мы читаем:
Большая из двух неравных линий, поверхностей или тел превосходит меньшую на такую величину, которая, будучи складываема сама с собой, может превзойти любую заданную величину из тех, которые могут друг с другом находиться в определенном отношении.
Древнегреческий математик и астроном Евдокс (ок. 408-355 до н.э.) родился и умер в Книде. Он был сыном Эсхина и учеником Платона, происходил из семьи медиков и также несколько лет занимался медициной. В возрасте 23 лет Евдокс уехал в Афины и поступил в Академию Платона, где изучал философию. Несколько лет спустя он узнал об астрономических исследованиях, проводимых в то время в Египте. Питая огромный интерес к этой дисциплине, Евдокс решил переехать в Гелиополь. Благодаря поддержке и покровительству царя Агесилая у него был доступ к результатам исследований и теориям священнослужителей города. Вернувшись в Грецию, Евдокс основал собственную школу философии, астрономии и математики. Впоследствии он написал свою первую книгу «Явления», в которой рассматривал восходы и закаты звезд. Его геометрия (в частности, теория отношений и метод исчерпывания) оказала большое влияние на Евклида.
Теория отношений была самым древним решением проблемы иррациональных чисел, а метод исчерпывания позволил ему решать задачи нахождения площадей и объемов, напримерплощади круга, пропорциональной квадрату его диаметра, и объема пирамиды, который равен трети призмы с таким же основанием и такой же высотой. Большой интерес представляют определения 3 и 4. Выражение «некоторая зависимость» не имеет смысла. К тому же Евклид пишет об отношении по количеству, которого в случае несоизмеримости не существует. Четвертое определение заслуживает более пристального анализа:
Величины имеют отношение между собой, если они, взятые кратно, могут превзойти друг друга.
Это определение устанавливает, при каких условиях две величины «имеют отношение между собой»; если они не выполнены, между ними не будет отношения. Сравним это определение со следующими.
Утверждение | Определение |
Две прямые параллельны друг другу, | если они, продленные бесконечно, не встречаются. |
Одна прямая перпендикулярна другой, | если при их пересечении образуются прямые углы. |
Две величины имеют отношение между собой, | если они, взятые кратно, могут превзойти друг друга. |
Число является простым, | если измеряется только единицей. |
Два числа простые между собой, | если их единственная общая часть — единица. |
Для математика не так важен онтологический аспект («что это?»), сколько методологический («как это работает?»). Следовательно, его интересует, одинаковы два соотношения, или одно больше другого, даже если ему и не совсем ясно, что такое, собственно, соотношение. Именно об этом говорится в определениях 5, 6 и 7.
Определение 5.Говорят, что величины находятся в том же отношении первая ко второй и третья к четвертой, если равнократные первой и третьей одновременно больше, или одновременно равны, или одновременно меньше равнократных второй и четвертой каждая каждой при какой бы то ни было кратности, если взять их в соответственном порядке.
Определение 6.Величины же, имеющие то же отношение, пусть называются пропорциональными.
Определение 7.Если же из равнократных кратное первой превышает кратное второй, а кратное третьей не превышает кратного четвертой, то говорят, что первая ко второй имеет большее отношение, чем третья к четвертой.
Возьмем две пары однородных величин: А — В и Г — Δ (термин «однородные» нигде не объясняется, но очевидно, что имеются в виду две поверхности, два числа, два тела и так далее; напротив, линия, число и тело будут неоднородными величинами). Каждая пара образует соотношение, которое мы запишем как
А/B и Г/Δ.
Возникает вопрос: в каком случае мы можем сказать, что
А/B = Г/Δ, а когда А/B > Г/Δ ?
Теперь возьмем два произвольных множителя: множитель т для А и Г и n для В и А. При этом m х А и n х В — однородные величины, значит, их можно сравнивать; то же верно и для m х Г и n х Δ.
Следовательно, каково бы ни было значение множителей тип, каждый раз, когда мы имеем
то имеем и
То есть А/B = Г/Δ
Если же у нас такая пара множителей при которых
m х A > n х B, но m х Г < n х Δ,то
А/B > Г/Δ
Из-за чего Евклиду понадобилось такое сложное определение? Из-за несоизмеримости. Рассмотрим одно и то же предложение в двух разных случаях: в первом отрезки будут соизмеримы, а во втором — нет.
Читать дальшеИнтервал:
Закладка: