Доказать, что если и — натуральные числа и — рациональное число, то также рациональное число, а если — иррациональное число, то и — иррациональное число.
Преобразуем дробь под корнем, домножив числитель и знаменатель на
Итак,
-
Пусть
рационально. Частное рационального числа и натурального числа рационально. Значит, — рациональное число. -
Пусть
иррационально. Допустим, что рационально. Тогда произведение рационального числа на натуральное рационально, то есть рационально — а это противоречит условию. Значит, предположение неверно и иррационально.
Метод «от противного»: предположили противоположное и пришли к противоречию с условием. Использовано, что произведение и частное рационального числа и ненулевого рационального числа — рациональное число.
Доказано.
