Классическое доказательство иррациональности квадратного корня из двух

Еще древние греки в философской школе Гиппократа до нашей эры открыли первое иррациональное число. Это был квадратный корень из двух. Видео содержит это доказательство. Оно опирается на проверку четности и является доказательством от противного. Это доказательство настолько потрясло Гиппократа с учениками, что они засекретили его под страхом смерти, чтобы, не дай бог, другие ознакомившиеся с ним греки не сошли с ума! Ну, и по тогдашнему обычаю закололи целое стадо коров и быков (кое-кто утверждает, что пострадал из-за науки всего лишь один бык). Так они ценили это доказательство! Один ученик попытался раскрыть тайну, за что и был убит. Такие вот страсти случаются иногда в сухой и абстрактной математике! Чем же корень из двух порадовал, удивил и устрашил ученых? Как известно, рациональные числа всюду плотно населяют числовую прямую. Сколь бы малый отрезок на прямой мы не выбрали, он всегда будет содержать бесконечно много рациональных чисел. Однако, на числовой прямой, оказывается, существуют числа, которые не являются рациональными. Рациональных чисел не хватает для того, чтобы покрыть всю прямую, несмотря на то, что сидят они на ней очень плотно! Кроме того, иррациональность корня из двух означает его невыразимость в виде дроби, то есть несоизмеримость диагонали прямоугольного треугольника с его единичной стороной. Нельзя взять какую-то часть единичного отрезка, отложить ее конечное число раз и получить диагональ выше названного треугольника. Действительно, есть чему...