11 votos

Demostración de la irracional de que $\sqrt{F!-1}$

Por favor decirme si mi prueba es válida.

(1) Supongamos $\sqrt{F!-1}= \frac p q$ donde $p, q$ son enteros $>0$ sin factores comunes. (Si hay algún cancelamos los factores comunes en el numerador y denomintor.

(2) el Cuadrado ambos lados, obtenemos $F!-1= \frac {p^2} {q^2}$.

(3) La expresión de la $F!-1$ es todo. Debido a $p$ $q$ no tienen factores comunes, la única manera de $\frac {p^2} {q^2}$ puede ser total si $q^2=1$.

(4) por lo Tanto, $F!-1=p^2$.

(5) tenga en cuenta que $F!-1$ es una forma de $3k-1$.

(6) Ninguna plaza puede ser igual a cualquier $3k-1$. Un número es o $3j-1$, que el cuadrado se convierte en $3m+1$; o $3j$, que el cuadrado se convierte en $3m$; o $3j+1$, que el cuadrado se convierte en $3m+1$. Por lo tanto, ninguna plaza puede ser igual a cualquier $3k-1$.

(7) por lo Tanto, $F!-1$, siendo una forma de $3k-1$, no puede igualar $p^2$, lo cual es una contradicción directa a (4).

(8) La única solución a la contradicción es que nuestra suposición de (1) debe ser falsa, y $\sqrt{F!-1}$ no igualitaria $\frac p q$; por lo tanto, es irracional.

Gracias.

9voto

Berci Puntos 42654

Si no tenemos ninguna restricción a $F$ (además - supongo-que $F$ es un número natural) entonces $F=0,1,2$ producir números racionales ($0,0,1$, respectivamente).

La prueba es válida para $F\ge 3$ como están asumiendo $3|F!$ en el paso (5).

1voto

barak manos Puntos 17078

Creo que se puede expresar la segunda mitad de la prueba de una manera un poco más clara:

  • $F\geq3 \implies F!\equiv0\pmod3 \implies F!-1=2\pmod3$

  • $F!-1=p^2 \implies F!-1\not\equiv2\pmod3$:

    • $p\equiv0\pmod3 \implies p^2\equiv0^2\equiv0\pmod3$

    • $p\equiv1\pmod3 \implies p^2\equiv1^2\equiv1\pmod3$

    • $p\equiv2\pmod3 \implies p^2\equiv2^2\equiv1\pmod3$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X