Primero, permítanme comenzar definiendo un punto de red, como se usa en la publicación vinculada. Un punto de red es un punto para el cual las coordenadas x e y son enteros.
Ahora, la fórmula es aplicable solo si A y B son puntos de la red.
Veamos cómo llegamos a la solución. Primero observe lo siguiente:
1) La respuesta es independiente de la traducción por una cantidad entera en la dirección x o y. Es decir, el no. de puntos de red entre (2, 5) y (7, 25) es lo mismo que entre (3, 1) y (8, 21). Esto se puede ver de la siguiente manera: imagine que todo el plano xy consiste en una matriz 2D infinita de puntos reticulados. AB es una línea que une dos de estos puntos. El origen se elige arbitrariamente como uno de los puntos en la matriz 2D. La elección de este origen determina las coordenadas de A y B, pero cualquiera que sea el origen que elija, la línea AB y el no. de puntos de celosía entre ellos siguen siendo los mismos.
- ¿Existe un teorema de la curva de Jordan en dimensión infinita?
- ¿Cuál es tu forma favorita? ¿Puedes decir por qué?
- ¿Es posible construir todos los números algebraicos reales?
- ¿Se consideraría mejor la raíz cuadrada -1 como una declaración geométrica sobre la anisotropía del espacio?
- ¿Cuál es la mejor manera de resolver problemas de secciones cónicas de elipse?
2) Luego, usando un argumento similar al anterior, si voltea la línea horizontal o verticalmente, la respuesta sigue siendo la misma.
Entonces, si la línea original era AB con [matemáticas] A \ equiv (ax, ay) [/ matemáticas] y [matemáticas] B \ equiv (bx, by) [/ matemáticas], entonces, sin pérdida de generalidad, consideramos un línea PQ con Q en el origen y P en el primer cuadrante, de modo que las coordenadas de P sean [matemáticas] (px, py) \ equiv (| ax – bx |, | ay – por |) [/ matemáticas].
Ahora [math] px [/ math] y [math] py [/ math] son enteros, y también lo son sus factores. Si divide PQ en partes [matemática] k [/ matemática], cada uno de los puntos límite tendrá coordenadas enteras si [matemática] px [/ matemática] y [matemática] py [/ matemática] son divisibles por [matemática] k [/matemáticas]. Entonces, ¿cuál es el máximo no. ¿De qué partes puede dividir la línea de manera que todos los puntos de límite intermedios sean puntos de red? Claramente, el MCD de [math] px [/ math] y [math] py [/ math].
El + 1 aparece si incluye A y B en el recuento. Este bit es fácil de ver con un simple ejemplo.