Re: [obm-l] Provar que k + raiz(k^2 +a ) eh irracional

[silverratio@xxxxxxxxx]

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.