¿Mi prueba por contradicción es correcta?

No.

En primer lugar, ayb deberían ser enteros positivos. De lo contrario, [math] a ^ 2 + 1 = b ^ 2 [/ math] no implicaría que a <b. Sin embargo, este no es un gran problema. Simplemente podemos tomar a y b para ser positivos.

Sin embargo, lo más importante, la parte después de ‘ Por lo tanto’ está mal. a, byc son números. Por lo tanto, no puede comparar “coeficientes” como lo hace con polinomios.

[matemática] 5-3 = 6-4 [/ matemática] no implica [matemática] 5 = 6 [/ matemática], [matemática] 3 = 4 [/ matemática].

[matemáticas] \ dfrac {7} {5} – \ dfrac {3} {5} = \ dfrac {13} {5} – \ dfrac {9} {5} [/ matemáticas] no implica [matemáticas] \ dfrac {7} {5} = \ dfrac {13} {5} [/ matemática] y [matemática] \ dfrac {3} {5} = \ dfrac {9} {5} [/ matemática].

[matemáticas] \ dfrac {a} {b} – \ dfrac {b} {a} = \ dfrac {-c} {b} + \ dfrac {-c} {a} [/ matemáticas] no implica [matemáticas] \ dfrac {a} {b} = \ dfrac {-c} {b} [/ math] y [math] \ dfrac {-b} {a} = \ dfrac {-c} {a} [/ math].

Una pequeña observación. Ha definido -c = (a + b) y luego ha reescrito la pregunta en términos de c. Es el equivalente matemático de cambiar la estructura de la oración en gramática. Al probar algo en matemáticas, uno siempre debe tratar de lograr algo fundamentalmente diferente con cada paso. Por ejemplo, en geometría, al usar el teorema de Pitágoras, se está utilizando un hecho sobre triángulos que antes estaba “oculto”. De lo contrario, puede seguir cambiando el nombre de las variables, etc., y continuar en círculos, sin acercarse más a probar el resultado.

No, la prueba no es correcta. La conclusión es correcta, que ningún par de enteros consecutivos distintos de cero son cuadrados perfectos, pero la forma en que llegó allí no es correcta.

Aquí hay más pasos de los necesarios, pero eso no es necesariamente un problema. Todos parecen ser correctos, excepto la declaración justo después del “Por lo tanto”.

Supongo que concluyó que [matemáticas] \ frac {a} {b} + \ frac {c} {d} = \ frac {e} {b} + \ frac {f} {d} [/ matemáticas] implica que [matemáticas] a = e [/ matemáticas] y [matemáticas] c = f [/ matemáticas]. Eso no es generalmente cierto, y te hizo tropezar de tal manera que terminaste con [matemáticas] a ^ 2 = b ^ 2 [/ matemáticas] en la siguiente línea, lo que claramente no puede ser el caso porque [matemáticas] a ^ 2 + 1 = b ^ 2 [/ matemáticas].

A veces funciona probar tu ecuación poniendo números para [matemáticas] a [/ matemáticas] y [matemáticas] b [/ matemáticas] y escribiendo las ecuaciones con esos números sustituidos. Eso ayudará a indicar dónde pueden aparecer los errores y, en este caso, sería perspicaz y lo llevará a otra prueba de la afirmación.

Inténtalo de nuevo. Tenga en cuenta que su [matemática] (ab) = – c [/ matemática] es lo mismo que [matemática] a + c = b [/ matemática]. Intenta sustituirlo mucho antes en el proceso.

Como han señalado tanto Ananth como Phil, hay algunos problemas con esta prueba. Pero la verdad es que, incluso si soluciono los problemas con esta prueba, realmente no estaría contento con esta prueba.

Me gusta pensar en una prueba por contradicción como tratar de encontrar contraejemplos, y luego, cuando no puedes encontrar contraejemplos, escribir por qué no hay contraejemplo.

Entonces, ¿por qué no podemos pensar en dos enteros consecutivos (que no sean cero) que son cuadrados perfectos? ¿Qué se interpone en nuestro camino?

Bueno, en primer lugar, podrías mirar cuadrados de enteros no consecutivos. ¿Qué tal si comparas [matemáticas] 2 ^ 2 [/ matemáticas] y [matemáticas] 5 ^ 2 [/ matemáticas]? En primer lugar, podría probar que si [matemáticas] a [/ matemáticas] y [matemáticas] b [/ matemáticas] no son consecutivas, entonces debe haber algún otro número entre [matemáticas] a ^ 2 [/ matemáticas] y [matemáticas] b ^ 2 [/ math] que está más cerca. Como que comparar [matemáticas] 2 ^ 2 [/ matemáticas] y [matemáticas] 5 ^ 2 [/ matemáticas] es una mala idea porque hay [matemáticas] 3 ^ 2 [/ matemáticas] en el medio, lo que estaría más cerca de [ matemáticas] 2 ^ 2 [/ matemáticas]. A partir de esto, podría comprender que dos enteros no consecutivos no pueden tener cuadrados consecutivos.

Entonces, ahora lo has reducido a enteros consecutivos. Entonces sabes [matemáticas] a + 1 = b [/ matemáticas] (o viceversa). ¿Puedes probar que [matemáticas] a ^ 2 +1 \ neq (a + 1) ^ 2 [/ matemáticas]? Esto debería ser un poco más fácil que [matemáticas] a ^ 2 + 1 \ neq b ^ 2 [/ matemáticas]

Y aja, deberías haber terminado. Y con suerte, una prueba como esta no solo le dirá que no hay cuadrados perfectos consecutivos distintos de cero, sino que también le dará una idea intuitiva de por qué no los hay.

Desea que [matemática] a [/ matemática] y [matemática] b [/ matemática] sean enteros positivos para que su conclusión [matemática] a

Solo noto que no necesita [math] -c [/ math], podría llamarlo [math] c [/ math]. De todos modos, la falla en su lógica es el paso donde dice [matemática] a = -c, -b = -c [/ matemática] y concluye de eso: [matemática] a = -b [/ matemática]. No Debe ser [matemática] a = b [/ matemática]. Podría ser que funcione con esta corrección, pero estoy fuera de tiempo y lo dejaré allí.

Hay pruebas más simples: Zero y One son los únicos cuadrados perfectos consecutivos.

Puede obtener una contradicción más temprano en la etapa. Ya que

[matemáticas] a

[matemáticas] (ba) (b + a) = 1 [/ matemáticas] y eso es una contradicción! ¿Cómo?

Tanto [math] ba [/ math] como [math] b + a [/ math] son ​​enteros positivos cuyo producto es 1. Ambos tienen que ser iguales a 1, lo cual es imposible.

No veo cómo obtienes [matemática] a = -c [/ matemática] y [matemática] -b = -c [/ matemática] hacia el final de tu prueba. Porque los denominadores son iguales no significa que los numeradores sean iguales:

[matemáticas] 3/5 – 5/3 = -2/3 – 2/5 [/ matemáticas]