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

[Artur Costa Steiner]

Este problema parece complicado, mas tendo-se um "clique" apresenta uma solucao 
simples, Achei  interessante.
 
Seja a um numero racional. Mostre que, se k for irracional e k^2 + a >=0, então 
k + raiz(k^2 + a) eh irracional.
 
Artur