Josep Carrera - Трехмерный мир. Евклид. Геометрия

Книга VI,предложение 1. Треугольники и параллелограммы, имеющие одинаковую высоту, относятся друг к другу как их основания.

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

Если АВ и ΓΔ являются соизмеримыми основаниями двух треугольников, заключенных между одними и теми же параллельными, то существует общий отрезок LM, который делит основание АВ на т количество частей и основание ΓΔ — на п количество частей. Если мы соединим точки концов каждого из т отрезков, на которые LM делит основание АВ с вершиной С, и точки концов каждого из п отрезков, на которые LM делит основание ΓΔ с вершиной Е, то получим, соответственно, тип количество треугольников, равновеликих треугольнику LMN, где N — любая точка, взятая на прямой СЕ, параллельной А. Следовательно, АВС = m х (LMN), ΔΓΕ = m х (LMN). То есть

АВ/ΔΓ = (m х LM)/(n х LM) = (m х (ΔLMN))/(n х (ΔLMN)) = ΔABC/ΔAГ.

РИС. 3

РИС. 4

Но если отрезки АВ и ΓΔ взяты произвольно, мы не можем знать, соизмеримы ли они. Действительно, любой отрезок имеет гораздо больше несоизмеримых ему отрезков, чем соизмеримых. Таким образом, доказательство, изложенное выше, является не общим, а, напротив, сугубо частным случаем. Рассмотрим теперь общее доказательство. Оно будет основано на следующей идее: если метод танграма нельзя применить внутри фигуры, это не значит, что его нельзя применить вне ее. Вместо того чтобы строить общий треугольник и помещать его в каждый из заданных, построим отрезки, равные каждому основанию, и соединим получившиеся точки с вершиной, как показано на рисунке 3. Таким образом, мы получим треугольники, кратные тип раз заданным:

ΔΑ"CΒ = m x (ΔΑCΒ), ΔΝ'" РМ = n x (ΔΝΡΜ).

Не нужно верить никаким предсказаниям, сделанным по гороскопам, основанным на дате рождения. Влияние звезд настолько трудно рассчитать, что на Земле нет никого, кто мог бы это сделать.

Евдокс

Теперь мы должны только убедиться, что из двух треугольников, заключенных между двумя параллельными прямыми (то есть одинаковой высоты), большая площадь — у того, у которого большее основание. Ответ, разумеется, утвердительный (см. рисунок 4). Основание АВ меньше основания ΓΔ. Следовательно, мы можем отложить АВ на ΓΔ (в «Началах» не объясняется понятие большего и меньшего, но интуитивно всегда используется верно: большее — то, что содержит часть, равную меньшему) и построить треугольник, равный АСВ, внутри ΓΕΔ.

Значит, площадь треугольника с большим основанием больше. Следовательно, если

то

Теперь, применив определение Евдокса, мы получаем, что

АВ/ΓΔ = ΔАСВ/ΔΓΕΔ,

Ч.Т.Д.

В предыдущем примере мы установили равенство соотношений между парами величин различных видов: прямых в первом случае и площадей — во втором. Отсюда вытекает необходимость уточнения, которое содержится в определении 5 книги 5. Благодаря этим определениям Евклид располагал весьма полезным инструментом для получения конкретных геометрических результатов в области прямых и плоских многосторонних фигур. Эти результаты составляют основное содержание книги VI, в которой Евклид излагает в том числе предложения, указанные в следующей таблице. Это геометрическое ядро теории отношений.

У теории отношений открылся огромный — и неожиданный, что говорит о гениальности Евдокса,— математический потенциал для определения площадей и объемов. Для этого метод танграма должен был применяться до бесконечности, что невозможно из-за наложенного Аристотелем ограничения. Следовательно, необходимо прибегать к двойному методу доведения до абсурда — в XVII веке его назвали методом исчерпывания. Евклид использовал его для доказательства следующих предложений.

Книга XII,предложение 2. Круги относятся друг к другу как квадраты их диаметров.

S 1/S 2- d 1 2/d 2 2

Книга XII,предложение 7. Всякая призма, имеющая треугольное основание, разделяется на три равные друг другу пирамиды, имеющие треугольные основания.

P 1/П 1= 1/3

Книга XII,предложение 18. Сферы находятся друг к другу в тройном отношении собственных диаметров.

Е 1/Е 1= d 1 3/d 2 3

Рассмотрим, как Архимед использовал метод исчерпывания для решения задачи о квадратуре параболы. В некотором смысле оно похоже на решение задачи о квадратуре круга, предложенное Евклидом. Его основная цель — вписать в площадь параболы треугольники и сложить их площади, уже известные нам. Архимед писал:

Квадратура параболы. Площадь сегмента параболы относится к площади вписанного в нее треугольника как один к трем.

Рассмотрим треугольник АСВ, вписанный в сегмент параболы ADCEBA, где вершина С — точка, через которую проходит касательная к параболе, параллельная хорде АВ. В этом случае Архимед утверждал, что площадь S (ADCEBA) равна 4/3 площади треугольника Т = АСВ. То есть

S(ADCEBA) = 4/3 x S(ΔABC) = 4/3 х Т,