Пример 19. Иррациональность квадратного корня из двух. Геометрическое доказательство. Предположим, что этот корень рационален и выражается дробью Тогда Замечаем, что m² = 2n² ⇒ m² < 4n² ⇒ m < n + n и что n < n + m. Поэтому для тройки чисел (n, n, m) выполняются неравенства треугольника и возможен треугольник со сторонами длины n и m. По обратной теореме Пифагора этот треугольник прямоуголен, причём единичный отрезок укладывается в его катете n раз, а в гипотенузе – m раз. Следовательно, единичный отрезок служит общей мерой катета и гипотенузы этого равнобедренного прямоугольного треугольника, так что они соизмеримы, чего не может быть (см. пример 18).

Пример 19. Иррациональность квадратного корня из двух. Геометрическое доказательство. Предположим, что этот корень рационален и выражается дробью Тогда Замечаем, что m² = 2n² ⇒ m² < 4n² ⇒ m < n + n и что n < n + m. Поэтому для тройки чисел (n, n, m) выполняются неравенства треугольника и возможен треугольник со сторонами длины n и m. По обратной теореме Пифагора этот треугольник прямоуголен, причём единичный отрезок укладывается в его катете n раз, а в гипотенузе – m раз. Следовательно, единичный отрезок служит общей мерой катета и гипотенузы этого равнобедренного прямоугольного треугольника, так что они соизмеримы, чего не может быть (см. пример 18).