Hallar la condicin necesaria y suficiente que deben verificar los nmeros

racionales a, b, c, d ( c y d no simultneamente nulos) para que el nmero

a + bx
sea racional x R
c + dx

En primer lugar cabe sealar que la pregunta no tiene sentido en el caso d 0 y

c
x = , ya que el denominador se anula. Esto ocurre tambin en el caso c = 0 y x = 0 .
d
En los casos sealados, la condicin no es vlida x R sino que habra que suprimir
los valores de x mencionados.
Condicin necesaria
Vamos a estudiar caso a caso segn el valor de d .
Sea d = 0 . En este caso a + bx Q x R , lo que implica b = 0. Haciendo
un razonamiento anlogo podemos ver que si b = 0 entonces d = 0 .
Sea d 0 . Sea x un irracional cualquiera, entonces existe e Q tal que:

a + bx
=e
c + dx
operando y despejando tendremos:

(b ed ) x = a + ec
Puesto que tanto b ed como a + ec son racionales pero x es irracional,
tendremos que b ed = a + ec = 0 y por tanto b = ed y a = ec , esto es, los
vectores (a, b ) y (c, d ) son linealmente dependientes. Esta es, por tanto, la
condicin necesaria (ya que el caso d = 0 tambin cumple esta condicin).

Condicin suficiente
Supongamos que los vectores (a, b ) y (c, d ) son linealmente dependientes, esto es,
e Q / a = ec; b = ed con c y d no simultneamente nulos. Entonces:

a + bx e(c + dx)
=
= eQ
c + dx (c + dx)

QED