Sean $a,b,c\in\mathbb Z-\lbrace 0\rbrace$ y $d=\operatorname{mcd}(a,b)$. La ecuación diofántica $ax+by=c$ es soluble si $c|d$, es decir, si $c$ es divisor del mcd de $a$ y $b$. %% González PMC221 %% ## Relacionado - [[Identidad de Bézout]] #Rev/2602 #Tipo/Definición