7 votos

Respuestas naturales de $(n-1)(n)(n+1)+1=x^2$

Sé que la multiplicación de cuatro números consecutivos más 1 es siempre un cuadrado. Esto significa que para $n,x\in\mathbb{N}$ : $$(n)(n+1)(n+2)(n+3)+1=x^2$$

Después de esto, pensé en la multiplicación de tres números consecutivos más 1, así que para $n,x\in\mathbb{N}$ : $$(n)(n+1)(n+2)+1=n^3+3n^2+2n+1=x^2$$ o, para $n>1\land n, x\in\mathbb{N}$ (por lo que se obtiene una curva elíptica en su lugar): $$(n-1)(n)(n+1)+1=n^3-n+1=x^2$$

He encontrado dos soluciones hasta $2642245, 2642246, 2642247$ que se obtuvieron con un script de C++. Estos son: $$2\cdot3\cdot4+1=25=5^2\\4\cdot5\cdot6+1=121={11}^2\\55\cdot56\cdot57+1=175561={419}^2$$

¿Hay más soluciones? ¿Hay una cantidad finita de ellas? Gracias de antemano.

0 votos

Gracias. Lo raro es que estaba bien escrito tanto en el "código fuente" como en la vista previa. He tenido que cortar y pegar la línea.

2 votos

Te perdiste $5^3 - 5 + 1 = 11^2$

0 votos

@WillJagy Sí, tienes razón. Lo mejor de todo es que parece ser un problema del compilador de C++ que estoy usando, no del código que he escrito.

4voto

Stephan Aßmus Puntos 16
jagy@phobeusjunior:~$ date
    Mon Mar 26 15:31:40 PDT 2018
    jagy@phobeusjunior:~$ sage

 SageMath Version 6.9, Release Date: 2015-10-10                     
 Type "notebook()" for the browser-based notebook interface.        
 Type "help()" for help.                                            

sage:  E = EllipticCurve([0,0,0,-1,1])
sage: E
Elliptic Curve defined by y^2 = x^3 - x + 1 over Rational Field
sage:   E.integral_points()
[(-1 : 1 : 1),
 (0 : 1 : 1),
 (1 : 1 : 1),
 (3 : 5 : 1),
 (5 : 11 : 1),
 (56 : 419 : 1)]
sage: quit
Exiting Sage (CPU time 0m1.32s, Wall time 0m48.19s).
jagy@phobeusjunior:~$ date
Mon Mar 26 15:32:57 PDT 2018
jagy@phobeusjunior:~$ 

.................

0 votos

¿Sabes/tienes alguna forma de saber si esos son los únicos resultados, o si SageMath se detiene en un punto determinado después de comprobar todos los puntos pertenecientes a la curva?

0 votos

@ManuelB estos son todos. Si sage acepta el problema, entonces lo termina. Hay límites bastante pequeños en los números que sage aceptará como coeficientes, algo así como el valor absoluto hasta 10.000. Tal vez deberías buscar sage online y leer la documentación. Además, la descarga es gratuita.

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