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