Tengo este problema:
Si $\sqrt{m}$ es irracional, y $m$ es impar, entonces:
Es $\sqrt{2m}$ siempre irracional ?
Mi pensamiento fue:
Tengo un $m$ número, que puede ser de la forma $(2n \pm 1)$, que es el cuadrado es irracional.
Para encontrar un contraejemplo, yo necesito esto:
$2m = x^2$,
entonces necesito un entero, que tienen un perfecto cuadrado, dividido en $2$ es un número impar, que es igual a:
Permite a $x$ cualquier entero:
$\frac{x^2}{2} = k$
A continuación, $k$ debe ser un número entero, ya que es divisible por 2 y debe ser un número de la forma $(2n \pm1)$ que es $m$.
Con estas conclusiones, puedo reforma de mi problema:
Hay un cuadrado perfecto, que es divisible por $2$, y este la división es un número impar?
Yo no pido esto directamente, porque puede haber un enfoque más sencillo, pero aún de esta forma parece muy interesante para mí.
PS: yo lo he probado en la programación entre el $[1, 1000]$ y no es cuadrado perfecto, con estas características.