Bölünebilme Nedir? Bir Sayının Bölünüp Bölünmediği Nasıl Anlaşılır?

Bölünebilme, bir doğal sayının veya tam sayının sıfırdan farklı bir bölene kalansız olarak ayrılabilmesi ve bu bölenin tam sayı katı biçiminde yazılabilmesidir.⁠^[1] Bir sayının tam bölünüp bölünmediği, sayının tamamını adım adım bölmek yerine onluk basamaklarının bıraktığı kalanlar incelenerek anlaşılmakta, son basamaklara, rakamlar toplamına ya da basamak bloklarına uygulanan kurallar ise kalanın sıfır olup olmadığını bölme yapmadan ortaya koymaktadır.

Günlük yaşamda adet el işi kağıdının eşit gruba artan bırakmadan dağıtılıp dağıtılamayacağını veya madeni paranın eşit yığına ayrılıp ayrılamayacağını belirlemek doğrudan birer bölünebilme sorusudur. Bu soruların yanıtı bir hesap hilesinden değil, onluk sayı sisteminin basamak yapısı ile kalan aritmetiğinden gelmektedir. Örneğin sayısı ile 'in çarpımı olduğu için ilk dağıtım artan bırakmadan yapılabilmektedir.

Bölünebilme Nedir?

Bölme işlemi (İng: "division"), eldeki nesneleri eşit büyüklükte gruplara ayırma ve başlangıçtaki miktardan bölen kadar değeri tekrarlı olarak çıkarma yoluyla modellenmektedir.⁠^[2] İşleme alınan başlangıç sayısına bölünen (İng: "dividend"), bu sayıyı bölen değere bölen (İng: "divisor") ve elde edilen sonuca bölüm (İng: "quotient") adı verilmektedir. Örneğin sayısından değeri tam kez çıkarılabildiği için bu bölmenin bölümü 'tür. Bölme, çarpmanın tersidir. Bu nedenle kalansız bir bölmede bölüm ile bölenin çarpımı yeniden bölüneni vermektedir.

Bölmede ve sayıları özel durumlar oluşturmaktadır. Sıfır dışındaki her sayının kendisine bölümü değerini vermektedir. Herhangi bir sayının 'e bölümü sayının kendisine eşittir. Bütün tam sayılar ile tam bölünmektedir.⁠^[8] Sıfırın sıfır dışındaki bir bölene bölümü daima sıfırdır. Sıfıra bölme ise tanımsızdır. Bu nedenle kalanlı veya kalansız hiçbir bölme işleminde bölen sıfır seçilememektedir. Uzun bölme (İng: "long division") düzeninde bölüm basamakları sırayla bulunmakta, her bölüm basamağı bölenle çarpılıp bölünenden çıkarılmakta ve sonraki basamak aşağı indirilmektedir.⁠^[2]

Her bölme kalansız sonlanmamaktadır. Örneğin kurabiye sekizerli gruplara ayrıldığında tam grup oluşmakta, geriye kurabiye artmaktadır. Gruplara dahil edilemeyen bu sayısına kalan (İng: "remainder") denmekte, kalanlı bir bölme ise bölüm ile bölenin çarpımına kalan eklenerek sınanmaktadır. Nitekim ile 'in çarpımı olan 'e eklendiğinde yeniden sayısına ulaşılmaktadır.

Kalanlı bölme, pozitif bölenler için kesin bir teoremle güvence altına alınmaktadır.⁠^[4] Bölünen ve pozitif bölen tam sayıları için koşulunu sağlayan tek bir bölümü ve tek bir kalanı bulunmaktadır:

Kalan, biçiminde gösterilmektedir. Ayrıca negatif olmamakta ve her zaman bölenden küçük kalmaktadır. Örneğin sayısının 'a bölümünden kalan, birler basamağındaki rakamıdır.

Çözümlü örnek 1 sayısının ile bölümünden elde edilen bölüm ve kalan kaçtır?**

Verilenler: Bölünen sayı ve pozitif bölen değeridir.

İstenen: Bölme işlemindeki bölümü, kalanı ve kalanlı bölme bağıntısıyla işlemin sağlamasıdır.

1. adım: Sayı uzun bölme adımlarıyla 'e bölündüğünde tam grup oluşmakta ve bölünenden bölüm ile bölenin çarpımı olan çıkarılarak kalan bulunmaktadır:

2. adım: Bulunan kalanı aralığında yer aldığından, bölüm ile bölen çarpılıp kalan eklenerek işlemin doğruluğu denetlenmektedir:

Sonuç: sayısının ile bölümünde bölüm ve kalan 'tür.

Kalanlı bölme bağıntısında kalanın sıfır olduğu özel durum, tam bölünebilme (İng: "divisibility") kavramına götürmektedir. Pozitif bir böleni için, tam sayısı 'nin bir tam sayıyla çarpımı olarak yazılabiliyorsa sayısı ile tam bölünmektedir. Sözgelimi sayısı ile 'un çarpımı olduğundan 'e kalansız bölünmektedir. Cebirsel gösterimde sayısının sayısını tam böldüğü biçiminde yazılmaktadır. Bu gösterim, eşitliğini sağlayan bir tam sayısının var olduğu anlamına gelmektedir. Her pozitif tam sayı sıfırı da tam bölmektedir. Çünkü sıfır, her tam sayının sıfır katıdır.

İki tam sayının çarpımı eşitliğini veriyorsa, ve sayılarına 'nin çarpanları (İng: "factors") denmektedir. Bir sayının sayma sayılarıyla çarpımlarına ise bu sayının katları (İng: "multiples") adı verilmektedir. Mısır'ın İskenderiye kentinde ders veren ve yaklaşık MÖ 325 ile MÖ 265 yılları arasında yaşamış olan Öklid (İng: "Euclid"), Elementler adlı eserin yazarıdır.⁠^[11] Eserinin yedinci kitabında bölünebilmeyi "ölçme" diliyle ifade etmiştir. Öklid'in tanımında büyük sayı, küçük sayı tarafından tam ölçüldüğünde küçük sayının katı sayılmaktadır. Aynı kitapta iki eşit parçaya bölünebilen sayı da çift sayı (İng: "even number") olarak tanımlanmaktadır.⁠^[10]

Bölünebilme bağıntısı üç özelliğe sahiptir. İlki geçişliliktir. Buna göre ve koşulları sağlanıyorsa ilişkisi de sağlanmaktadır. İkinci olarak sıfırdan farklı herhangi bir tam sayısıyla hem bölen hem bölünen çarpıldığında ilişki korunmaktadır. Üçüncü özellik, doğrusal birleşim (İng: "linear combination") kuralıdır. Bir sayısı hem 'yi hem de 'yi tam bölüyorsa, ile 'nin tam sayı katsayılı her toplamını ve farkını da tam bölmektedir.

Evrim Ağacı

Modüler Aritmetikte Kalan Muhakemesi

Büyük bir sayının kalanını bulmak için sayının tamamını bölmek yerine parçalarının kalanlarını izleme fikri denklik kavramına dayanmaktadır. Carl Friedrich Gauss, 1801 yılında yayımladığı Disquisitiones Arithmeticae adlı klasik eserinde bu kavramı ele almıştır.⁠^[13] Gauss, özgün Latince metninde iki sayının farkını üçüncü bir sayı tam bölüyorsa bu iki sayıyı denk (İng: "congruent", Lat: "congrui") olarak adlandırmış ve farkı bölen sayıya modül (İng: "modulus", Lat: "modulus") adını vermiştir. Sayıların denkliğini göstermek için işaretini kullanacağını da açıklamıştır.⁠^[12] Bu işaretle ve sayılarının modülüne göre denkliği şöyle yazılmaktadır:

Buna göre iki sayının modülüne göre denk olması, ile bölümlerinden bıraktıkları kalanların eşit olması demektir. Örneğin ve sayılarının ile bölümünden kalanların her ikisi de 'dir. Dolayısıyla denkliği sağlanmaktadır.

Modüler denklik düşüncesi günlük yaşamda saat aritmetiğinde görülmektedir. On iki saatlik bir kadranda sayılar her saatte bir başa dönmekte, saat ile , saat ile aynı konumu göstermektedir. Bu nedenle ve denklikleri geçerlidir.⁠^[14] Öte yandan sayısının ile bölümünden kalan 'dır. ifadesi de doğru bir denklik olsa da, standart kalan aralığı ile arasında tanımlandığından gösterimi esas alınmaktadır.

Genel olarak bir modülüne göre sadece farklı kalan değeri mümkündür. Her tam sayı kendi kalanına denktir. Böylece sonsuz sayıdaki tam sayı sonlu sayıda kalan sınıfına ayrılmaktadır. Modül seçildiğinde bütün tam sayılar, 'e bölümlerinden kalanın , veya olmasına göre üç ayrı sınıfa yerleşmektedir.

Denklik bağıntısı toplama ve çarpmayla uyumludur, çünkü aynı modülüne göre ve geçerliyse, ve ilişkileri de korunmaktadır. Bu sayede bir dizi işlemin sadece kalanı aranıyorsa dev sayıları çarpmaya gerek kalmamakta, işlemdeki her sayı önce kendi kalanıyla değiştirilmektedir.

Kalan aritmetiğini bölünebilme kurallarına bağlayan köprü, onluk sayı sistemindeki basamak değeri (İng: "place value") yapısıdır. Onluk yazılışta her sayı, rakamlarının 'un uygun kuvvetleriyle çarpımlarının toplamı olarak açılmaktadır. Örneğin sayısı binlik, yüzlük, onluk ve birlikten oluşmaktadır.⁠^[6] Kalan alma ilkesi bu açılıma uygulandığında, herhangi bir sayının kalanı 'un kuvvetlerinin bıraktığı kalanlar üzerinden hesaplanabilmektedir.

Doğal Sayılarda Bölünebilme Kuralları

Onluk sayı sisteminde yazılmış bir doğal sayının bölenine tam bölünüp bölünmediği, 'un kuvvetlerinin ile bölümünden bıraktığı kalanların davranışına göre sınıflandırılmaktadır. Bölen 'un bir kuvvetini tam bölüyorsa yüksek basamakların tamamı sıfır kalanı bırakmaktadır. Bu durumda son basamaklara bakmak yeterlidir. Buna karşılık 'un kuvvetleri bölen karşısında , ya da periyodik kalanlar bırakıyorsa rakam toplamları veya basamak blokları devreye girmektedir.

ile aralarında asal olan bölenler için ise sağdan basamak budama (İng: "trim from the right") yöntemi kullanılabilmektedir. Önce sayısının modül altındaki çarpma tersi olan çarpanı belirlenmektedir. Ardından birler basamağındaki rakamı ayrılıp ile çarpılmakta ve geriye kalan basamakların oluşturduğu sayısına eklenmektedir:

Yeni sayısının ile tam bölünebilmesi, başlangıçtaki sayısının ile tam bölünebilmesine eşdeğerdir.⁠^[7] Bu yöntem için de işlemektedir. Modül 'de sayısının çarpma tersi veya negatif karşılığıyla 'dir. Dolayısıyla birler basamağı silinip iki katı geriye kalan sayıdan çıkarıldığında sonuç 'nin katıysa başlangıçtaki sayı da ile tam bölünmektedir.

Son Basamaklara Dayanan Kurallar

Bir böleni sayısını tam bölüyorsa, sayının ve daha yüksek basamaklı tüm terimleri 'nin tam katı olmaktadır. Sayının tamamı da modül 'de sadece son basamağının oluşturduğu sayıya denk kalmaktadır. Dolayısıyla sayı ne kadar uzun olursa olsun, denetlenen kısım son basamaktır.

'un birinci kuvvetini tam bölen , ve için sadece birler basamağına bakılmaktadır. Birler basamağı veya olan sayılar ile tam bölünmektedir. Birler basamağı veya olan sayılar ise ile tam bölünmektedir. Nitekim sayısının son rakamı olduğu için bu sayı 'in tam katıdır. Son olarak birler basamağı olan sayılar ile tam bölünmektedir. Bu nedenle sayısının 'a tam bölünmediği hiçbir işlem yapmadan görülmektedir.

Yapay zeka ile üretilmiş görsel (Evrim Ağacı)

İkinci kuvvet olan sayısı, ile 'in çarpımıdır. Yüzler basamağı ve üzerindeki her basamak 'ün katı olduğundan, ve ile bölünebilme testlerinde sadece son iki basamağa bakılmaktadır. Örneğin sayısının son iki basamağı olan , 'ün katıdır. Dolayısıyla sayının tamamı da ile tam bölünmektedir.

Üçüncü kuvvet olan ise ile 'in çarpımıdır. Bu yüzden bir sayının ile tam bölünüp bölünmediği, son üç basamağın oluşturduğu sayı üzerinden anlaşılmaktadır.⁠^[6] Üstelik son üç basamak denetlenirken sayıyı zihinden tanıdık katlara parçalamak mümkündür. Sözgelimi sayısı , ve parçalarına ayrıldığında her parçanın 'e bölündüğü açıkça görülmektedir.

Rakamlar Toplamına Dayanan Kurallar

'un kuvvetleri sayısına bölündüğünde çok düzenli bir kalan örüntüsü ortaya çıkmaktadır. Çünkü , ve gibi sayıların her biri 'un bir katından tam fazladır. Kalan aritmetiği diliyle ifade edildiğinde her için denkliği geçerlidir. Dokuzun her katı 'ün de katıdır. Bu nedenle aynı denklik modül için de sağlanmaktadır.

Basamak değeri açılımındaki her kuvvet ve karşısında kalanını bıraktığından, bir sayının veya ile bölümünden kalan, rakamları toplamının bıraktığı kalana eşittir. Dolayısıyla rakamları toplamı ile tam bölünen her sayı 'e, ile tam bölünen her sayı ise 'a tam bölünmektedir. sayısının rakamları toplamı 'dir. Bu toplam 'un tam katı olduğu için sayısı da ile tam bölünmektedir.

Benzer bir kalan döngüsü ile bölünebilmede işaret değiştirerek işlemektedir. 'un kuvvetleri modül altında sırasıyla kalanlarını bıraktığından, birler basamağından başlayarak rakamların sırayla toplanıp çıkarılmasıyla dönüşümlü toplam hesaplanmaktadır:

Bu değeri 'in katıysa başlangıçtaki sayı da ile kalansız ayrılmaktadır.⁠^[8] Örneğin sayısında sağdan sola doğru alınan dönüşümlü rakam toplamı 'dir. Bu değer 'in tam katı olduğundan de ile kalansız bölünmektedir.

Bileşik Bölenlerde Bölünebilme Kuralları

Bir sayının asal çarpanlarına ayrılışı (İng: "prime factorization"), bu sayının asal sayıların çarpımı olarak yazılmasıdır. Aritmetiğin Temel Teoremi (İng: "Fundamental Theorem of Arithmetic") uyarınca 'den büyük her tam sayı için çarpanların sırası dışında bu yazılış tektir.⁠^[5] Asal çarpanlar çarpan ağacı (İng: "factor tree") veya merdiven yöntemiyle (İng: "ladder method") bulunmaktadır. Merdiven yönteminde işleme sayı en küçük asal bölenine bölünerek başlanmakta ve bölme, bölüm asal bir sayı olana dek sürdürülmektedir.⁠^[15]

Bileşik bölenleri daha küçük testlere indiren ilke aralarında asallıktır. Öklid lemmasına (İng: "Euclid's lemma") göre bir asal sayısı çarpımını tam bölüyorsa, veya çarpanlarından en az birini mutlaka bölmektedir. Ortak bölenlerinin en büyüğü olan iki tam sayıya ise aralarında asal (İng: "relatively prime") denmektedir. Aralarında asal ve sayıları için bir sayının çarpımına tam bölünebilmesi ancak ve ancak hem 'ye hem de 'ye ayrı ayrı tam bölünebilmesiyle mümkündür.

Örneğin sayısı hem hem çarpanını barındırdığı için ile tam bölünmektedir. Oysa çift olan sayısında rakamlar toplamı çıkmaktadır. Dolayısıyla sayı 'ye bölünse de 'e bölünmemektedir. Bu yüzden madeni para eşit yığına ayrılamamaktadır. Aralarında asal çarpanlara ayırma, basamak bloklarını toplama ve sağdan basamak budama ilkeleri birleştirildiğinde, sık karşılaşılan bileşik bölenler için şu kurallar ortaya çıkmaktadır:

• 6 ile bölünebilme kuralında aralarında asal ve çarpanları nedeniyle sayının çift olması ve rakamları toplamının 'e bölünmesi gerekmektedir.
• 12 ile bölünebilme için sayının hem hem de kuralını aynı anda geçmesi gerekmektedir.
• 15 ile bölünebilme kuralında ve çarpanları nedeniyle birler basamağı veya , rakamları toplamı ise 'ün katı olmalıdır.
• 18 ile bölünebilmede sayının çift olması ve rakamları toplamının 'un katı olması birlikte denetlenmektedir.
• 24 ile bölünebilmede aralarında asal ve çarpanları seçilerek son üç basamağın 'e, rakamlar toplamının ise 'e bölünebilmesi kontrol edilmektedir.

99 ile bölünebilme üç yolla sınanabilmektedir. İlk yolda aralarında asal ve kuralları birlikte uygulanmaktadır. İkinci yolda sayı sağdan başlayarak ikişer basamaklı bloklara ayrılıp toplanmaktadır, çünkü sayısı 'a bölündüğünde kalanını bırakmaktadır. Üçüncü yolda ise birler basamağı ile çarpılıp geriye kalan sayıya eklenmektedir.⁠^[7]

Evrim Ağacı

Çözümlü örnek 2 sayısı , , , ve sayılarından hangilerine tam bölünür?**

Verilenler: İncelenecek doğal sayı ile bölen olarak sınanacak ve sayılarıdır.

İstenen: Basamak ve çarpan kuralları kullanılarak sayısının bu bölenlere tam bölünüp bölünmediğinin belirlenmesidir.

1. adım: Üç ile bölünebilmeyi denetlemek amacıyla sayısının rakamları toplanmaktadır:

2. adım: Rakamlar toplamı olan sayısı 'ün tam katıdır, ancak sayının birler basamağı olduğu için ile bölümünden kalan 'dir:

Sonuç: Birler basamağı olan sayısı ve ile tam bölünmekte, fakat koşulunu sağlamadığı için 'ye, 'ya ve 'a tam bölünmemektedir.⁠^[3]

Çözümlü örnek 3 sayısı ile tam bölünür mü?**

Verilenler: Dört basamaklı doğal sayısı ve bölen olarak değeridir.

İstenen: İkişerli basamak bloklarını toplama ve sağdan basamak budama yöntemleriyle sayısının 'a tam bölünüp bölünmediğinin sınanmasıdır.

1. adım: Sayı sağdan başlayarak ikişer basamaklı gruplara ayrıldığında ve blokları oluşmakta ve bu iki blok toplanmaktadır:

2. adım: Aynı sayı sağdan basamak budama yöntemiyle kontrol edilirken her adımda birler basamağı ile çarpılıp geriye kalan sayıya eklenmektedir:

Sonuç: Hem ikişerli basamak bloklarının toplamı hem de ardışık basamak budama adımları değerini verdiğinden sayısı ile tam bölünmektedir.

Bölünebilme Muhakemesinde Sık Yapılan Yanılgılar

Bileşik bölen kurallarındaki bir yanılgı, aralarında asallık ön koşulunu göz ardı ederek herhangi iki bölenin çarpımına doğrudan geçmektir. Hem 'ya hem de 'a tam bölünen her sayının 'a da bölüneceğini sanmak bu yanılgının bir örneğidir.⁠^[9] Bu çıkarım yanlıştır, çünkü ve aralarında asal değildir. İkisi de çarpanını barındırmaktadır. En küçük pozitif karşı örnek sayısıdır. Otuz, hem 'ya hem de 'a kalansız bölündüğü halde ile tam bölünmemektedir.

İki sayının aynı anda böldüğü her sayıyı bölen gerçek sınır ise en küçük ortak kattır. Öklid'in Elementler eserindeki VII.35 önermesine göre, iki sayının ölçtüğü, yani tam böldüğü herhangi bir sayıyı bu iki sayının en küçük ortak katı da mutlaka ölçmektedir.⁠^[10] İki sayının ortak katı, her iki sayının da katı olan sayıdır. Bunların en küçüğüne en küçük ortak kat (İng: "least common multiple", kısaca EKOK) denmektedir. Her ortak kat EKOK olmak zorunda değildir. Nitekim sayısı ile 'un ortak katıdır, fakat en küçük ortak kat 'dur.

EKOK değeri, sayıların ilk birkaç katı listelenerek veya asal çarpanların gerekli tekrarları birleştirilerek bulunmaktadır. Sözgelimi ve sayılarının asal çarpanlarını birlikte kapsayan en küçük sayı 'dır.⁠^[3] Benzer şekilde ile 'in EKOK değeri , ile 'ün EKOK değeri ise 'dür.⁠^[15]

Öte yandan 'ün katları daima çift değildir. Çarpan tek olduğunda sonuç tek, çarpan çift olduğunda ise sonuç çift çıkmaktadır.⁠^[9]

Benzer şekilde bir sayının , ve gibi bilinen birkaç bölünebilme testini geçememesi, bu sayının asal olduğunu kanıtlamamaktadır. Öncelikle sayısı ne asal ne de bileşiktir. Birden büyük bir doğal sayının asallığını kesin olarak sınamak için ise kareköküne kadar olan tüm asal sayıların bölen olup olmadığına bakılmaktadır. Örneğin sayısı , ve ile tam bölünmemektedir. Ancak bu sayı ile 'ün çarpımıdır ve bileşiktir.

Modüler denkliklerle işlem yaparken normal denklemlerdeki sadeleştirme alışkanlıklarını olduğu gibi taşımak hatalara yol açabilmektedir. Aynı modüle göre denk ifadeler toplanırken modüller asla toplanmamaktadır. Sıfır olmayan iki sayının çarpımı sıfır sınıfına denk çıkabilmektedir. Örneğin ile 'ün çarpımı modül altında sıfıra denktir. Sıfır dışındaki bir sayısının modül altında çarpma tersi ise ancak ve ancak ile aralarında asalsa bulunmaktadır. Bu yüzden modül 'de , ve sayılarının çarpma tersi yoktur.

Dolayısıyla denkliğinin her iki tarafını doğrudan 'ye bölerek yazmak yanlıştır, doğru ifade olan ise bölme yapılırken modül de ortak çarpan olan 'ye bölündüğünde elde edilmektedir.⁠^[14]

Evrim Ağacı

Son olarak, yazılımlardaki kalan işlecinin negatif sayılarda verdiği sonuç matematiksel kalanla karıştırılmamalıdır. Java, C ve C++ dillerinde 'nin 'e bölümünden hesaplanan değer, matematiksel ile aynıdır. Ancak Lehman ve arkadaşlarının kitabına göre negatif sayılarla kalan hesaplayan diller bu işlemi tutarsız biçimde ele alabilmektedir. Matematiksel kalan negatif değerler almamaktadır. Bu nedenle söz konusu çıktılar modüler kalan yerine kullanıldığında hatalı sonuçlar doğabilmektedir.

Ortak Bölen Problemlerinde Kalan Muhakemesi

Kalan muhakemesi, tek bir sayının bölenlerini sınamanın ötesine geçerek ortak bölen problemlerini de çözmektedir. İki ya da daha fazla tam sayının ortak bölenleri arasındaki en büyük sayıya en büyük ortak bölen (İng: "greatest common divisor", kısaca EBOB) adı verilmektedir. Üstelik sıfır dışındaki ve tam sayılarının EBOB değeri, uygun ve tam sayıları için her zaman biçiminde yazılabilmektedir. Başka bir deyişle EBOB, iki sayının tam sayı katsayılı bir doğrusal birleşimidir.

Sayılar büyüdüğünde bütün bölenleri tek tek listelemek yorucudur. Bu durumda ardışık kalanları kullanan Öklid algoritması devreye girmektedir. Algoritma, pozitif bir için ile 'nin EBOB değerinin, ile 'nın 'ye bölümünden kalanın EBOB değerine eşit olmasına dayanmaktadır:

Her adımda büyük sayı küçük sayıya bölünerek yerine kalanı yazılmaktadır. Kalan sıfır olduğunda işlem durmaktadır. Sözgelimi ve için ardışık bölmelerden sırasıyla ve kalanları elde edilmektedir. Sıfırdan önceki son kalan olduğundan bu iki sayının EBOB değeri 'dir.

Çözümlü örnek 4 ve sayılarının en büyük ortak böleni kaçtır?**

Verilenler: En büyük ortak böleni aranacak olan ve pozitif tam sayılarıdır.

İstenen: Öklid algoritmasıyla ardışık kalanlar hesaplanarak değerinin bulunmasıdır.

1. adım: Büyük sayı küçük sayıya bölünerek ilk kalan bulunmakta, ardından önceki bölen yeni kalana bölünerek işlem devam ettirilmektedir:

2. adım: Elde edilen ve sayıları arasında kalan sıfıra ulaşana kadar ardışık bölme adımları sürdürülmektedir:

Sonuç: Ardışık bölme adımlarında sıfırdan hemen önceki son kalan olduğundan, ile sayılarının en büyük ortak böleni 'tir.⁠^[5]

Ortak bölen muhakemesi, nesneleri artan bırakmadan eşit parçalara ayırma sorularında doğrudan uygulama bulmaktadır. Örneğin 570 cm genişliğinde ve 450 cm uzunluğundaki dikdörtgen bir zemini hiç karo kesmeden kaplayacak en büyük kare karonun kenarı, iki ölçünün EBOB değeri olan 30 cm'dir.⁠^[1] Benzer şekilde bilimkurgu, fantastik ve korku kitabı, her rafta tek tür ve eşit sayıda kitap olacak biçimde dizildiğinde bir rafa en fazla kitap konulabilmektedir.

Evrim Ağacı

Sonuç

Bölünebilme kuralları, bir sayının tamamını bölmek yerine basamak parçalarının bıraktığı kalanları izlemektedir. Bir dizi işlemin sadece kalanı aranıyorsa her adımda kalan alınabilmektedir.⁠^[4] Onluk sistemdeki basamak değerleri ile Gauss'un modüler denklik kavramı bir araya geldiğinde, çok basamaklı büyük sayılar sonlu kalan döngülerine indirgenmektedir.

Birkaç temel bölünebilme kuralını denetlemek her aritmetik soruyu tek başına çözmemektedir. Asallığı kesinleştirmek için kareköküne kadar olan asal bölenleri sınamak, bileşik bölenlerde ise aralarında asallık ve en küçük ortak kat koşullarını gözetmek gerekmektedir. Kalan muhakemesi hem günlük paylaştırma sorularında hem de ortak bölen problemlerinde işe yaramaktadır.