Предположим, что существует рациональное число q∈Q такое, что q²=19.Тогда, q=√19√19 ∉Q (не является рациональным числом)Следовательно, наше предположение неверно и не существует такого рационального числа, квадрат которого равнялся бы 19.Что и требовалось доказать.