Стивен Вайнберг - Объясняя мир. Истоки современной науки
Чтобы доказать теорему, следует провести перпендикуляр к гипотенузе AB из вершины P. Обозначим точку его пересечения с гипотенузой C (см. рис. 2). Таким образом мы поделим исходный треугольник ABP на два меньших прямоугольных треугольника APC и BPC. Легко видеть, что оба меньших треугольника подобны исходному прямоугольному треугольнику, то есть все углы в них те же самые, что и в большом. Если мы обозначим углы при вершинах A и B α (альфа) и β (бета), то у треугольника ABP будут углы α, β и 90°, и значит, α + β + 90° = 180°. В треугольнике APC два угла равны α и 90°, значит, третий угол равняется β. Аналогично в треугольнике BPC два угла равны β и 90°, следовательно, третий угол равен α.
Так как все три треугольника взаимно подобны, их соответствующие стороны пропорциональны. Это означает, что длина катета AC относится к длине гипотенузы AP треугольника ACP так же, как длина катета AP к длине гипотенузы AB в исходном треугольнике ABP. Соответственно, BC относится к BP в той же пропорции, что и BP к AB. Мы можем выразить это в более привычной алгебраической форме, связав длины сторон пропорцией:
Отсюда очевидно следует, что AP² = AC × AB, а BP² = BC × AB. Складывая два этих уравнения вместе, получаем:
AP² + BP² = (AC + BC) × AB.Но AC + BC = AB, что и требовалось доказать.
Рис. 2. Доказательство теоремы Пифагора. Согласно теореме, сумма площадей квадратов, стороны которых равны катетам AP и BP, равняется площади квадрата, стороной которого является гипотенуза AB. Для доказательства теоремы из точки P в точку C проводится перпендикуляр к гипотенузе AB.
5. Иррациональные числа
Математикам Древней Греции были известны лишь рациональные числа. К ним относятся все целые числа, например, 1, 2, 3 и т. д. или целочисленные дроби – 1/2, 2/3 и т. п. Если отношение длин двух отрезков выражалось целочисленной дробью, древнегреческий математик считал, что они «соизмеримы». К примеру, если они находятся в отношении 3/5, это означает, что если один из этих отрезков отложить три раза, а другой пять раз, то получится два отрезка одинаковой длины. Представьте себе потрясение античных математиков, выяснивших, что не все отрезки являются соизмеримыми. Например, в прямоугольном равнобедренном треугольнике гипотенуза несоизмерима ни с одним из двух одинаковых катетов. В понятиях современной математики, поскольку, согласно теореме Пифагора квадрат гипотенузы такого треугольника равен удвоенному квадрату длины любого из катетов, длина гипотенузы равняется произведению длины любого из катетов на квадратный корень из 2. Это означает, что квадратный корень из 2 не является рациональным числом. Доказательство этого факта Евклидом в книге X «Элементов» базируется на первоначальном предположении обратного, что существует рациональное число, квадрат которого равен 2, после чего Евклид опровергает это предположение.
Допустим, что есть рациональное число, выраженное дробью p/q (где p и q – целые числа), чей квадрат равен 2:
В таком случае будет бесконечное количество таких пар чисел, которые можно получить, умножая p и q на любой натуральный множитель, но предположим, что целые числа p и q – наименьшие целые, для которых верно выражение (p/q) 2 = 2. Из уравнения выше следует, что
p² = 2q².Отсюда очевидно, что p² – четное число, но так как произведение двух любых нечетных чисел есть нечетное число, то p должно быть только четным. То есть мы можем записать равенство p = 2p', где p' – целое число. Но тогда
q² = 2p'²и, повторяя предыдущую цепь рассуждений, находим, что число q также четное и может быть выражено равенством q = 2q', где q' – целое число. Но тогда p/q = p'/q', и значит,
где p' и q' – целые числа, которые в два раза меньше p и q соответственно. А это противоречит исходному предположению, что p и q – наименьшие целые числа, для которых равенство (p/q)² = 2 справедливо. Мы имеем противоречие, и, следовательно, такие числа не могут существовать.
Теорема явным образом обобщается: любое число, например, 3, 5, 6 и т. д., которое само не является квадратом целого числа, не может быть квадратом рационального числа. Например, если 3 = (p/q)², где p и q – наименьшие целые числа, для которых это равенство справедливо, то p² = 3q², но это невозможно, если только нет такого целого p', для которого p = 3p', но тогда q² = 3p'², и q = 3q' для некоего целочисленного q', и, значит, 3 =(p'/q')², что противоречит предположению о том, что не существует целых чисел меньше p и q, для которых p2 = 3q2. Поэтому квадратные корни чисел 3, 5, 6, … иррациональны все.
Современная математика признает существование иррациональных чисел, таких как число, обозначаемое √2, квадрат которого равен 2. Если это число представить в виде десятичной дроби, то последовательность знаков такого числа продолжается до бесконечности, не повторяясь. Например, √2 = 1,414213562… И во множестве рациональных, и во множестве иррациональных чисел их количество бесконечно, но в каком-то смысле иррациональных чисел намного больше, чем рациональных, поскольку рациональные числа можно представить как бесконечную последовательность, включающую все рациональные числа:
1, 2, 1/2, 3, 1/3, 2/3, 3/2, 4, 1/4, 3/4, 4/3, …тогда как перечислить все иррациональные числа никаким способом нельзя.
6. Установившаяся скорость падения
Чтобы понять, как наблюдения за падающими телами привели Аристотеля к его теории падения тел, мы можем воспользоваться физическим принципом, Аристотелю неизвестным, – Вторым законом Ньютона. Он говорит нам, что ускорение a тела (темп возрастания его скорости) равно частному от деления полной силы F, действующей на тело, на его массу m:
На тело, падающее в воздухе, действуют две основные силы. Одна из них – сила тяготения, пропорциональная массе падающего тела:
Fт = mg.Здесь g – постоянная величина, не зависящая от того, какое именно тело падает. Оно обозначает ускорение свободного падения тела в вакууме и вблизи земной поверхности, приблизительно равное 9,8 м/с за секунду. Вторая сила – сопротивление воздуха. Она выражается функцией f (v), значение которой пропорционально плотности воздуха, увеличивается с ростом скорости и зависит от формы и размера тела, но не зависит от его массы:
Fв = −f(v) = kv.В этой формуле знак минуса для силы сопротивления воздуха подставлен, потому что мы рассматриваем ускорение, направленное вертикально вниз, а для вертикально падающего тела сила сопротивления воздуха направлена вверх. Например, для тела, падающего сквозь среду значительной вязкости, ее сопротивление пропорционально скорости тела:
f(v) = kv.В этой формуле k – положительная константа, которая зависит от размера и формы тела. В то же время, если мы рассмотрим, например, метеороид или ракету, входящую в разреженные верхние слои атмосферы, то будет работать другая формула:
f(v) = Kv²,где K – другая положительная константа.
