https://ru.wikipedia.org/wiki/%D0%98%D1%80%D1%80%D0%B0%D1%86%D0%B8%D0%BE%D0%BD%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B5_%D1%87%D0%B8%D1%81%D0%BB%D0%BE#.D0.9A.D0.BE.D1.80.D0.B5.D0.BD.D1.8C_.D0.B8.D0.B7_2
Доказательство иррациональности корня из любого другого натурального числа, не являющегося квадратом, можно построить аналогично.[/quot
Допустим нужно найти иррациональные числа между

и

.Для этого мы приводим их к общему знаменателю, возводим в квадрат, получаем

и

.Возьмем число

.Так как оно не является квадратом какого-нибудь рационального числа, то

- иррациональное число.Вот так доказывать?
-- 22.01.2016, 14:44 --Доказывается от противного достаточно легко.
Квадрат, умноженный на квадрат (

), есть квадрат. И тоже есть в таблице, только подальше.
А вот
почему это так — ну вот так получилось.
А вот есть ли такая теорема,которая доказывает для всех натуральных чисел не являющимися квадратами? Не доказывать же для каждого случая?