Prueba $\sqrt{60}$ es irracional. Estoy tratando de basar esto en una prueba que $\sqrt{6}$ es irracional, que encontré aquí .
Seguí exactamente los mismos pasos y terminé con $c^2$ = $15b^2$ . Esto fue en el punto donde el ejemplo tuvo $2c^2$ = $3b^2$ pero el ejemplo fue capaz de deducir que $3b^2$ es par, ya que es igual a un número de veces $2$ que siempre es par, lo que significa que $b^2$ tiene que ser par porque su coeficiente es impar. Y porque $b^2$ está en paz, $b$ también debe serlo, lo que lleva a la contradicción a la que quiero llegar.
Con mi ejemplo, no puedo decir inmediatamente que $15b^2$ es par porque no hay un coeficiente par delante de $c^2$ . A partir de ahí me he quedado perplejo.
1 votos
Su título no coincide con el cuerpo.
0 votos
@ForeverMozart Basta con mostrar $sqrt(15)$ es irracional, pero hay que tener cuidado con lo que se dice. Por ejemplo $9$ es impar pero $sqrt(9) = 3$ es racional.
0 votos
"No puedo decir inmediatamente que el 15b^2 es par"... Entonces no lo hagas. El par no tiene nada que ver con nada ahora. Así que 15b^2 es divisible por 3 o 15b^2 es divisible por 5. No hay nada significativo sobre 2 aparte de que es un primo. Pero hay otros primos y son más relevantes. 15b^2 es divisible por 3 por lo que b es divisible por3 y por lo que c es divisible por 3 por lo que...
0 votos
La misma prueba enlazada funciona aquí si se utiliza el primo $3$ en lugar de $2$ . Usted obtiene $\,3\mid c^2\,\Rightarrow\,3\mid c,\,$ así que $\, 3(c/3)^2 = 5b^2\,\Rightarrow\, 3\mid b,\,$ así que $\,3\mid b,c,\,$ contra la hipótesis de que $\,b,c\,$ son coprimos (wlog).