En general, $\text{gcd}(a,b) = d$ (con $d \in \mathbb{Z}^+$ ) si y sólo si existe $x,y \in \mathbb{Z}$ que son coprimas y tales que $ax+by=d$ . Así que toma cualquier coprime $x,y \in \mathbb{Z}$ entonces podemos calcular $a,b \in \mathbb{Z}$ tal que $ax+by=d$ utilizando algún tipo de algoritmo, como el algoritmo euclidiano inverso. Sin embargo, $a,b$ no son únicos.
Si sólo quieres una solución (en lugar de todas las soluciones), dado $d$ y un límite, entonces como $\left| a \right|$ y $\left| b \right|$ debe ser $\ge d$ , podrías simplemente tomar $a=b=d$ (a menos que el límite sea $<d$ en cuyo caso no existen soluciones). Esta es la solución correspondiente a $x=1, y=-1$ arriba.
Editar: Este es un algoritmo para encontrar todos los $a,b$ con gcd $d$ dado un límite $M>0$ .
Dejemos que $S=\varnothing$ . Para cada $-M \le a \le M$ y $-M \le b \le M$ , calcule $\text{gcd}(a,b)$ (utilizando, por ejemplo, el algoritmo euclidiano). Si $\text{gcd}(a,b) = d$ , añadir $(a,b)$ a $S$ Si no es así, descártalo. El conjunto resultante $S$ contiene todos los pares $(a,b)$ dentro del límite dado tal que $\text{gcd}(a,b)=d$ .
0 votos
Acabo de darme cuenta de que has dicho " $a$ y $b$ tienen un límite dado". ¿Querías decir que teníamos un límite?
0 votos
Tomar cualquier límite u gustaría en cualquier número primo resultado Sólo quiero saber si hay una forma sistemática general de resolver este .