¿Podría alguien ayudarme a demostrar que para t∈N , √t∈Q sólo si √t∈N
Respuestas
¿Demasiados anuncios?La forma más sencilla de hacerlo es tomar un racional, escrito en términos mínimos, y elevarlo al cuadrado. En particular, (pq)2=p2q2 donde la fracción de la derecha también está en términos más bajos, ya que gcd . Sin embargo, cualquier número entero debe tener un denominador de 1 por lo que su raíz cuadrada debe tener denominador q satisfaciendo q^2=1 y, por tanto, ser un entero, lo que implica que los racionales no enteros son cuadrados de racionales no enteros, por lo que los únicos enteros con raíces cuadradas racionales tienen raíces cuadradas enteras.
Imaginemos que tenemos \frac{m^2}{n^2}=x,\quad x,m,n\in\mathbb{N},n\neq 1, GCD(m,n)=1 .
Ahora sabemos que hay un primo p para que aparezca en la factorización de x con exponente impar a - si no x sería un cuadrado perfecto. Digamos que x=p^\alpha r .
Ahora sabemos que m^2=xn=p^{a}rn^2 .
De aquí obtenemos p|m (¿por qué?).
Desde GCD(m,n)=1 también sabemos que p no es un factor primo de n .
Ahora echa un vistazo a la factorización en primos del lado izquierdo y del lado derecho. ¿Cuál es la potencia de p en el lado izquierdo? ¿Es uniforme? ¿Y en el lado derecho?