De fato, o Bruno tem razão, e existem exemplos ainda menos artificiais. Se x e y são dois números irracionais, não há como decidir, a priori, se x + y, x/y ou xy são ou não irracionais, casos simples à parte.
Não se sabe nem mesmo se 'pi + e' é irracional, segundo o mathworld: http://mathworld.wolfram.com/Pi.html. Abraço, - Leandro.
