Можно предположить от противного. Что оба корня из чисел - иррациональные или же хотя бы один - иррационален. В таком случае мы получаем противоречие, ведь разность иррациональных чисел - иррациональна, также разность иррационального и рационального числа также иррациональна.