Пусть — рациональное число, — иррациональное число, , . Доказать, что , , , — иррациональные числа.
Доказываем каждое утверждение методом от противного. Напомним: сумма, разность, произведение и частное (делитель не нуль) рациональных чисел — рациональные числа.
-
Пусть
— рациональное число. Тогда — разность двух рациональных чисел, то есть рациональное число. Это противоречит тому, что иррационально. Значит, иррационально. -
Пусть
рационально. Так как рационально, то — частное рациональных чисел — рационально. Противоречие. Значит, иррационально. -
Пусть
рационально. Так как , то , и — частное рациональных чисел — рационально. Противоречие. Значит, иррационально. -
Пусть
рационально. Тогда — произведение рациональных чисел — рационально. Противоречие. Значит, иррационально.
В каждом случае из предположения о рациональности результата получаем рациональность
Доказано.
