Doğrusal Diofant denklemi hesaplayıcısı

Q: Doğrusal Diofant denklemini elle nasıl çözerim?

Önce Öklid algoritmasıyla g = gcd(a, b) değerini bulun. g, c’yi bölmüyorsa tam sayı çözümü yoktur. Bölüyorsa genişletilmiş Öklid algoritmasıyla g = sa + tb eşitliğini sağlayan Bézout katsayılarını bulun. Bunları c/g ile çarparak x_0 = s · c/g ve y_0 = t · c/g değerlerini elde edin. Son olarak tüm çözümleri x = x_0 + (b/g)t, y = y_0 - (a/g)t biçiminde yazın.

Q: Negatif katsayılar veya sağ tarafta negatif bir sayı kullanılabilir mi?

Evet. Üç alana da negatif sayı veya sıfır girebilirsiniz; yalnızca kesirli ve ondalık sayılar kabul edilmez. EBOB mutlak değerler üzerinden hesaplandığı için pozitiftir. Genel çözüm formülleri negatif a, b veya c için de değişmez; yalnızca parametreli formüllerdeki b/g ve a/g adımlarının işaretleri değişir.

Q: Çözüm olmadığını anlamanın en kolay yolu nedir?

EBOB’un c’yi bölüp bölmediğine bakın: Çözüm vardır ancak ve ancak gcd(a,b), c’yi bölüyorsa. Çiftlik kontrolü, ders kitaplarındaki pek çok örneği hızla çözmenizi sağlar. a ve b çiftse sol taraf da her zaman çifttir; bu nedenle c tekse denklemin çözümü yoktur. Benzer şekilde 6x + 10y her zaman çifttir ve yalnızca gcd(6,10)=2’nin katlarına denktir.

Q: Yalnızca negatif olmayan veya pozitif çözümleri nasıl bulurum?

x = x_0 + (b/g)t, y = y_0 - (a/g)t parametreli çözümü, t için doğrusal koşullar verir. x ≥ 0 ve y ≥ 0 eşitsizliklerini t için çözün, elde ettiğiniz aralıkların kesişimini alın (bu, sonlu bir tam sayı aralığıdır) ve aralıktaki değerleri listeleyin. Ortaya çıkan t aralığı boşsa iki değişkenin de negatif olmadığı bir çözüm yoktur.

Q: Hesaplayıcı neden ders kitabımdakinden farklı bir özel çözüm veriyor?

Özel çözüm tek değildir: (x_0, y_0) çözümse (x_0 + b/g, y_0 - a/g) da çözümdür. İki cevap da doğrudur, çünkü t parametresiyle aynı tam çözüm kümesini verirler. Bu hesaplayıcı x_0 değerini 0 ≤ x_0 < |b/g| aralığına kaydırır; ders kitapları bunu yapmayabilir. Sonucu her zaman ax + by ifadesinde yerine koyarak doğrulayın.

Q: a veya b sıfıra eşitse ne olur?

Denklem tek değişkenli hâle gelir. b = 0 ise a mid c olmalıdır; bu durumda x = c/a sabittir, y ise herhangi bir tam sayı olabilir. a = 0 için de aynı durum tersine geçerlidir. İki katsayı da sıfırsa denklem ya her zaman doğrudur (c = 0 olduğunda her çift çözümdür) ya da hiçbir zaman doğru değildir. Hesaplayıcı bu özel durumların hepsini doğrudan ele alır.

Q: Bu, sıradan bir doğrusal denklemi çözmekten nasıl farklı?

Reel sayılarda katsayılardan biri sıfırdan farklıysa ax + by = c denkleminin her zaman çözümü, hatta çözüm oluşturan bir doğrusu vardır. Diofant denkleminde ise yalnızca tam sayı çiftleri kabul edilir. Bu koşul denklemi çözümsüz bırakabilir (gcd(a,b) nmid c olduğunda) veya doğru üzerindeki kesintisiz çözüm kümesi yerine eşit aralıklı, ayrık çözümler verir. Ardışık çözümler arasındaki adım tam olarak (b/g, -a/g)’dir.

Güncellendi: 15 Ekim 2026

ax + by = c doğrusal Diofant denklemini tam sayılarda çözün. a, b ve c katsayılarını girerek çözüm olup olmadığını öğrenin; bir özel çözümü ve x = x₀ + (b/g)t, y = y₀ − (a/g)t biçimindeki genel çözümü bulun.

ax + by = c denklemini tam sayılarda çözün

Doğrusal Diofant denklemi formülü

Formül

\[ ax + by = c, \qquad a, b, c \in \mathbb{Z} \] \[ g = \gcd(a, b) \] \[ \text{Tam sayı çözümü vardır} \iff g \mid c \] \[ x = x_0 + \frac{b}{g}\,t, \qquad y = y_0 - \frac{a}{g}\,t, \qquad t \in \mathbb{Z} \]

Burada:

\(a\), \(b\) — \(x\) ve \(y\)’nin tam sayı katsayıları
\(c\) — eşitliğin sağ tarafındaki tam sayı
\(g = \gcd(a, b)\) — katsayıların en büyük ortak böleni
\((x_0, y_0)\) — \(g = s\,a + t\,b\) Bézout özdeşliğindeki katsayıların \(c/g\) ile çarpılmasıyla bulunan bir özel çözüm
\(t\) — tüm çözümleri veren, istenilen tam sayı değerini alabilen parametre

Denklemin tam sayı çözümü olması için ve ancak bunun için \(\gcd(a,b)\), \(c\)’yi bölmelidir. Bu koşul sağlandığında sonsuz sayıda çözüm vardır: Bir \((x_0, y_0)\) çözümünden başlayarak \(x\)’e \(b/g\) ekleyip \(y\)’den \(a/g\) çıkarmak, aynı işlem \(t\) kez uygulandığında diğer bütün çözümleri verir.

Doğrusal Diofant denklemi: hesaplama örneği

Örnek: \(12x + 18y = 30\) denklemini tam sayılarda çözün (hesaplayıcının varsayılan değerleri).

\[ \gcd(12, 18): \quad 18 = 1 \cdot 12 + 6, \quad 12 = 2 \cdot 6 + 0 \implies \gcd(12, 18) = 6 \]

\[ 6 \mid 30 \implies \text{çözümler vardır} \]

\[ \text{Bézout: } 6 = (-1) \cdot 12 + 1 \cdot 18, \qquad \frac{c}{g} = \frac{30}{6} = 5 \]

\[ x_0 = -1 \cdot 5 = -5, \qquad y_0 = 1 \cdot 5 = 5 \]

\[ 12 \cdot (-5) + 18 \cdot 5 = -60 + 90 = 30 \;\checkmark \]

\(x_0\) değeri \(0 \le x < |b/g| = 3\) aralığına kaydırıldığında, \(12 \cdot 1 + 18 \cdot 1 = 30\) olduğundan eşdeğer özel çözüm \((1, 1)\) elde edilir.

Sonuç: Tüm tam sayı çözümleri, \(t\) herhangi bir tam sayı olmak üzere \(x = 1 + 3t\), \(y = 1 - 2t\) biçimindedir. Örneğin \((1, 1)\), \((4, -1)\) ve \((-2, 3)\).

Hesaplayıcı nasıl kullanılır?

\(x\)’in tam sayı katsayısını x’in katsayısı (a) alanına girin.
\(y\)’nin tam sayı katsayısını y’nin katsayısı (b) alanına girin.
Eşitliğin sağ tarafındaki sayıyı Sağ taraf (c) alanına girin.
Sonuç bölümlerini inceleyin: Tam sayı çözümü var mı? bölümünde \(\gcd(a,b)\)’nin \(c\)’yi bölüp bölmediğini; Bir çözüm (x₀, y₀) bölümünde doğrulanmış bir özel çözümü; Genel tam sayı çözümü bölümünde \(t\) parametresiyle tüm çözümleri; Çözüm adımları bölümünde ise Öklid algoritmasını, Bézout katsayılarını ve çözümün gerekçesini görebilirsiniz.

Üç alana da tam sayı girmelisiniz; sayılar pozitif, negatif veya sıfır olabilir. Tam sayı olmayan bir değer girerseniz hesaplayıcı sizden tam sayı ister. Çünkü Diofant denklemlerinde tanım gereği yalnızca tam sayı çözümler aranır.

Doğrusal Diofant denklemi nedir?

Diofant denklemi, çözümleri tam sayı olmak zorunda olan denklemdir. En basit türü olan \(ax + by = c\) doğrusal Diofant denkleminde, eşitliği tam olarak sağlayan tüm \((x, y)\) tam sayı çiftleri aranır; kesirli veya ondalık değerlere izin verilmez. Bu denklemler, belirli değerdeki madeni paralar, ürün dolu kutular, insanlar veya karolar gibi bölünemeyen şeylerin sayıldığı durumlarda karşımıza çıkar.

Temel nokta, çözümün hangi koşulda var olduğudur: \(ax + by\) her zaman \(\gcd(a, b)\)’nin katı olduğundan \(c\) de \(\gcd(a, b)\)’nin katı olmalıdır. Örneğin \(6x + 10y\) her zaman çifttir; dolayısıyla ne kadar uğraşırsanız uğraşın \(6x + 10y = 7\) denkleminin tam sayı çözümünü bulamazsınız. Koşul sağlandığında Bézout özdeşliği en az bir çözümün varlığını garanti eder; genişletilmiş Öklid algoritması da bu çözümü verimli biçimde bulur.

Sonucu şöyle yorumlayabilirsiniz: Çözüm varsa, bir aritmetik dizi boyunca sıralanan sonsuz sayıda çözüm vardır. \(x = x_0 + (b/g)t\), \(y = y_0 - (a/g)t\) genel çözümü bunların tamamını gösterir. \(t\) bir artırıldığında \(x\), \(b/g\) kadar artarken \(y\), \(a/g\) kadar azalır; böylece \(ax + by\) değişmez. Belirli bir aralıktaki çözümleri, örneğin negatif olmayanları arıyorsanız birkaç \(t\) değeri deneyip koşulunuza uyanları seçin.

Varsayımlar, sınırlamalar ve ipuçları

Yalnızca tam sayılar. Katsayılar tam sayı olmalıdır; denklem rasyonel veya reel sayılarda çözülmez. Reel sayılarda \(a\) ya da \(b\) sıfırdan farklıysa \(ax + by = c\) denkleminin her zaman çözümü vardır. Problemi ilginç kılan, tam sayı koşuludur.
Sayı büyüklüğü sınırı. Hesaplamada standart aritmetik kullanılır. Hassasiyet sorunlarını önlemek için katsayıları güvenli tam sayı aralığında, yaklaşık 15 basamağı aşmayacak şekilde tutun.
Özel durumlar da ele alınır. \(a = b = 0\) ise denklem ya her zaman doğrudur (\(c = 0\) olduğunda her çift çözümdür) ya da hiçbir zaman doğru değildir. Katsayılardan yalnızca biri sıfırsa denklem tek değişkenli hâle gelir ve hesaplayıcı bunu doğrudan çözer.
Herhangi bir özel çözüm kullanılabilir. \((x_0, y_0)\) çifti tek değildir. Hesaplayıcı bu çifti \(0 \le x_0 < |b/g|\) koşulunu sağlayan küçük değerli bir biçime kaydırır; ancak seçilen özel çözüm ne olursa olsun \(t\) parametresiyle aynı tam çözüm kümesi elde edilir.
Cevabınızı kontrol edin. Özel çözümü denklemde yerine koyup \(a x_0 + b y_0\) değerinin \(c\)’ye eşit olduğunu her zaman doğrulayın. Hesaplayıcı bu kontrolü sonuçta sizin için yapar.

Probleminizde tek denklem yerine \(ax + by = c\), \(dx + ey = f\) gibi iki doğrusal denklemden oluşan bir sistem varsa EBOB ile bölünebilme koşulu yerine yok etme yöntemi kullanılır. Diofant denklemlerine dayanan akıl yürütme, tam sayı değerli iki büyüklüğün sabit oranda arttığı doğru orantı gibi konuların da temelinde yer alır. Ayrıca matematik yarışmalarında ve sayılar teorisi problemlerinde sık kullanılan klasik bir araçtır.

Sıkça Sorulan Sorular

Doğrusal Diofant denklemini elle nasıl çözerim?

Önce Öklid algoritmasıyla \(g = \gcd(a, b)\) değerini bulun. \(g\), \(c\)’yi bölmüyorsa tam sayı çözümü yoktur. Bölüyorsa genişletilmiş Öklid algoritmasıyla \(g = sa + tb\) eşitliğini sağlayan Bézout katsayılarını bulun. Bunları \(c/g\) ile çarparak \(x_0 = s \cdot c/g\) ve \(y_0 = t \cdot c/g\) değerlerini elde edin. Son olarak tüm çözümleri \(x = x_0 + (b/g)t\), \(y = y_0 - (a/g)t\) biçiminde yazın.

Negatif katsayılar veya sağ tarafta negatif bir sayı kullanılabilir mi?

Evet. Üç alana da negatif sayı veya sıfır girebilirsiniz; yalnızca kesirli ve ondalık sayılar kabul edilmez. EBOB mutlak değerler üzerinden hesaplandığı için pozitiftir. Genel çözüm formülleri negatif \(a\), \(b\) veya \(c\) için de değişmez; yalnızca parametreli formüllerdeki \(b/g\) ve \(a/g\) adımlarının işaretleri değişir.

Çözüm olmadığını anlamanın en kolay yolu nedir?

EBOB’un \(c\)’yi bölüp bölmediğine bakın: Çözüm vardır ancak ve ancak \(\gcd(a,b)\), \(c\)’yi bölüyorsa. Çiftlik kontrolü, ders kitaplarındaki pek çok örneği hızla çözmenizi sağlar. \(a\) ve \(b\) çiftse sol taraf da her zaman çifttir; bu nedenle \(c\) tekse denklemin çözümü yoktur. Benzer şekilde \(6x + 10y\) her zaman çifttir ve yalnızca \(\gcd(6,10)=2\)’nin katlarına denktir.

Yalnızca negatif olmayan veya pozitif çözümleri nasıl bulurum?

\(x = x_0 + (b/g)t\), \(y = y_0 - (a/g)t\) parametreli çözümü, \(t\) için doğrusal koşullar verir. \(x \ge 0\) ve \(y \ge 0\) eşitsizliklerini \(t\) için çözün, elde ettiğiniz aralıkların kesişimini alın (bu, sonlu bir tam sayı aralığıdır) ve aralıktaki değerleri listeleyin. Ortaya çıkan \(t\) aralığı boşsa iki değişkenin de negatif olmadığı bir çözüm yoktur.

Hesaplayıcı neden ders kitabımdakinden farklı bir özel çözüm veriyor?

Özel çözüm tek değildir: \((x_0, y_0)\) çözümse \((x_0 + b/g,\; y_0 - a/g)\) da çözümdür. İki cevap da doğrudur, çünkü \(t\) parametresiyle aynı tam çözüm kümesini verirler. Bu hesaplayıcı \(x_0\) değerini \(0 \le x_0 < |b/g|\) aralığına kaydırır; ders kitapları bunu yapmayabilir. Sonucu her zaman \(ax + by\) ifadesinde yerine koyarak doğrulayın.

a veya b sıfıra eşitse ne olur?

Denklem tek değişkenli hâle gelir. \(b = 0\) ise \(a \mid c\) olmalıdır; bu durumda \(x = c/a\) sabittir, \(y\) ise herhangi bir tam sayı olabilir. \(a = 0\) için de aynı durum tersine geçerlidir. İki katsayı da sıfırsa denklem ya her zaman doğrudur (\(c = 0\) olduğunda her çift çözümdür) ya da hiçbir zaman doğru değildir. Hesaplayıcı bu özel durumların hepsini doğrudan ele alır.

Bu, sıradan bir doğrusal denklemi çözmekten nasıl farklı?

Reel sayılarda katsayılardan biri sıfırdan farklıysa \(ax + by = c\) denkleminin her zaman çözümü, hatta çözüm oluşturan bir doğrusu vardır. Diofant denkleminde ise yalnızca tam sayı çiftleri kabul edilir. Bu koşul denklemi çözümsüz bırakabilir (\(\gcd(a,b) \nmid c\) olduğunda) veya doğru üzerindeki kesintisiz çözüm kümesi yerine eşit aralıklı, ayrık çözümler verir. Ardışık çözümler arasındaki adım tam olarak \((b/g, -a/g)\)’dir.