a,b,c∈Z olmak üzere ax+by=c biçimindeki birinci dereceden iki bilinmeyenli hem katsayıları hemde çözümleri tam sayı olan denklemlere Diophant denklemleri deniyor. Bu denklemlerin bir çözümünün var olması için gerek ve yeter koşul OBEB(a,b)=d'nin c'yi tam bölmesidir.(Yani d|c olmasıdır.) Eğer (x0,y0) bu denklemin bir çözümü ise parametreye bağlı olarak tüm çözümler : x=x0+bd.k,y=y0−ad.k,k∈Z dir.
Buna göre sorudaki verilerden OBEB(21,2)=1 ve 1|1 olduğundan bir çözüm vardır. Bu Öklid algoritması yolu ile 2(−10)+21.1=1⇒x=−10,y=1 olarak bulunur. Diger tüm çözümler ise :
x=−10+21.k,y=1+2k dan k=0,±1,±2,±3,... ile bulunur.