3.12.

Pruebe que
(a) Si 𝑥 y 𝑦 son racionales, entonces 𝑥 + 𝑦 es racional.
𝑎
Sean 𝑥 y 𝑦 números racionales, los podemos escribir a 𝑥 y 𝑦 como 𝑥 = 𝑏 , 𝑦 = 𝑐/𝑑 donde
𝑎 𝑐 𝑎𝑑+𝑏𝑐
𝑎, 𝑏, 𝑐, 𝑑 ∈ ℤ donde 𝑏 ≠ 0, 𝑑 ≠ 0. Entonces la suma 𝑥 + 𝑦 = 𝑏 + 𝑑 = 𝑏𝑑
. Ver que 𝑎𝑑 + 𝑏𝑐 es un
entero, ya que esta la suma del producto de dos números enteros y 𝑏𝑑 ≠ 0 también es un entero
𝑎𝑑+𝑏𝑐
porque el producto de enteros es entero, se sigue que 𝑏𝑑
tiene estructura de racional.
Por lo tanto 𝑥 + 𝑦 es racional.∎

(b) Si 𝑥 es racional y 𝑦 es irracional, entonces 𝑥 + 𝑦 es irracional.

Tenemos por hipótesis que 𝑥 es racional y que 𝑦 es irracional. Se procederá por contradicción,
𝑎
supongamos que 𝑥 + 𝑦 es racional, es decir que podemos ver a 𝑥 + 𝑦 = y como 𝑥 es racional, lo
𝑏
𝑐 𝑎 𝑎 𝑐 𝑎𝑑−𝑏𝑐
podemos ver como 𝑥 = 𝑑
. Entonces 𝑦 = 𝑥 + 𝑦 − 𝑥 = − 𝑥 = − =
𝑏 𝑏 𝑑 𝑏𝑑
por lo que 𝑦 sería un
número racional. Pero esto contradice nuestra hipótesis que 𝑦 sea irracional.
Por lo tanto 𝑥 + 𝑦 es irracional. ∎
(c)¿Es cierto que si 𝑥 y 𝑦 son irracionales entonces 𝑥 + 𝑦 es irracional?
La respuesta es no necesariamente, lo podemos ver con un contraejemplo:

Si 𝑥 = √2 y 𝑦 = −√2, tanto x como y son irracionales.

Entonces 𝑥 + 𝑦 = √2 + (−√2) = √2 − √2 = 0. Donde el 0 es un número racional.