Пифагор и его последователи более 20 веков назад знали, что корень из двух (√2) не является рациональным числом. Это число нельзя выразить в виде отношения двух натуральных чисел — как результат деления одного числа на другое. Пифагорейцы думали, что числа являются священными сущностями. Они верили, что все в мире может быть измерено, что все имеет численную природу. Поэтому идея невыразимого числа противоречила самой основе их философии.
Числа, которые не являются рациональными, называются иррациональными. Это довольно обманчивое название просто означает, что такие числа не могут быть выражены в виде отношения двух натуральных чисел. Представим только замешательство пифагорейцев, когда они обнаружили действительно иррациональные величины, которые невозможно точно измерить, например, обычную диагональ в квадрате со стороной, равной единице (это и будет число √2). Неудивительно, что они попытались утаить такое неприятное открытие.
Существует много математических отличий между рациональными и иррациональными числами, но, пожалуй, одно из самых замечательных и интуитивно понятных — так называемая «музыкальность». Это хотя и не строго математическое отличие имеет математическую причину, а именно: различие в десятичной записи рациональных и иррациональных чисел.
Десятичные знаки рациональных чисел образуют повторяющуюся последовательность, называемую «периодической», в то время как десятичные знаки иррациональных чисел не повторяются ни с какой закономерностью, они появляются один за другим в непредсказуемом порядке. Однако если каждой цифре мы поставим в соответствие ноту и «сыграем» десятичные знаки рационального числа, мы услышим повторяющуюся мелодию, похожую на мотив песни. С другой стороны, музыка иррациональных чисел представляет собой неприятную какофонию.
ИРРАЦИОНАЛЬНОСТЬ ЧИСЛА √2
Допустим, что число √2 рационально. Это значит, что √2 можно выразить в виде дроби:
√2 = p/q
где р — целое, a q — натуральное число, причем р и q не имеют общих делителей. Избавляясь от знаменателя и возводя в квадрат, получим:
2q>2= р>2.
Отсюда следует, что р должно быть четным числом.
Тогда мы можем написать р = 2∙r и
2q>2= = 4r>2.
Разделив обе части на 2, получим:
q>2 = 2r>2,
откуда следует, что q также должно быть четным. Так как оба числа р и q четные, они имеют общий делитель, равный 2. Какой бы подход мы ни использовали, в результате всегда получается противоречие. Таким образом, первоначальное предположение, что число √2 рационально, неверно.
