Tümü birlikte sıfır olmamak koşuluyla, iki ya da daha fazla tam sayının 1 dışında pozitif ortak böleni yoksa bu sayılar aralarında asaldır.
Bir grup sayının aralarında asal olması için bu sayıların kendilerinin asal olması gerekmez, önemli olan sayıların 1 dışında pozitif ortak böleni olmamasıdır.
Negatif sayılar asal olamasalar da aralarında asal olabilirler.
Aşağıda aralarında asal olan ve olmayan sayılara birkaç örnek verilmiştir.
Sayılar
Açıklama
1 ve 3
Aralarında asal. Pozitif ortak bölenleri sadece 1.
7 ve 10
Aralarında asal. Pozitif ortak bölenleri sadece 1.
-3 ve -1
Aralarında asal. Pozitif ortak bölenleri sadece 1.
9 ve 12
Aralarında asal değil. Pozitif ortak bölenleri 1 ve 3.
14 ve 35
Aralarında asal değil. Pozitif ortak bölenleri 1 ve 7.
-2 ve 14
Aralarında asal değil. Pozitif ortak bölenleri 1 ve 2.
Aralarında Asal Olma Kuralları
Sayıların aralarında asal olmaları ile ilgili bazı kurallar aşağıdaki gibidir. Bu kuralları incelerken faydası olması açısından bazı sayıların pozitif bölen listeleri aşağıda verilmiştir.
\( PB_0 = \mathbb{Z^+} \)
\( PB_1 = \{ 1 \} \)
\( PB_{-1} = \{ 1 \} \)
\( PB_6 = \{ 1, 2, 3, 6 \} \)
\( PB_{-6} = \{ 1, 2, 3, 6 \} \)
1'in kendisi dışında pozitif böleni olmadığı için, 0 dahil tüm tam sayılarla aralarında asaldır.
-1'in 1 dışında pozitif böleni olmadığı için, 0 dahil tüm tam sayılarla aralarında asaldır.
0'ın pozitif bölenleri tüm pozitif tam sayılar olduğu için, 0 ile aralarında asal olan sayılar sadece 1 ve -1'dir.
Aralarında asal olma tanımı gereği (sayıların tümünün 0 olmama şartı), 0'ın 0 ile aralarında asallığa bakılmaz.
Birbirinden farklı iki ya da daha fazla asal sayı (örnek: 11 ve 43) her zaman aralarında asaldır.
Çift sayılar 2'ye bölünebildikleri için iki çift sayı aralarında asal değildir.
Ardışık iki tam sayı her zaman aralarında asaldır.
\( a \) pozitif tam sayısının asal çarpanları küçükten büyüğe sıralı şekilde \( p_1, p_2, \cdots, p_n \) olsun.
\( a \) sayısının asal çarpanlarının kümesine \( P \) diyelim.
\( a = \{ p_1, p_2, \cdots, p_n \} \)
Buna göre, \( a \) sayısının tüm asal çarpanlarına bölümünde kalanın sıfır olduğunu söyleyebiliriz.
\( a \bmod{p_1} = 0 \)
\( a \bmod{p_2} = 0 \)
\( \vdots \)
\( a \bmod{p_n} = 0 \)
Bu durumda \( a \) sayısı ile ardışık olan \( a + 1 \) tam sayısının \( P \) kümesinin elemanı olan tüm sayılara bölümünde kalan 1 olacaktır.
\( (a + 1) \bmod{p_1} = 1 \)
\( (a + 1) \bmod{p_2} = 1 \)
\( \vdots \)
\( (a + 1) \bmod{p_n} = 1 \)
Bu durum \( a \)'yı tam bölen hiçbir asal sayının \( a + 1 \) sayısını tam bölmediğini, dolayısıyla iki sayının 1 dışında ortak pozitif tam böleni olmadığını gösterir. Bu yüzden \( a \) ve \( a + 1 \) ardışık tam sayılarının her zaman aralarında asal olduğunu söyleyebiliriz.
Pozitif tek bir sayı olan \( a \) sayısının asal çarpanları küçükten büyüğe sıralı şekilde \( p_1, p_2, \cdots, p_n \) olsun.
\( a \) sayısının asal çarpanlarının kümesine \( P \) diyelim.
\( a = \{ p_1, p_2, \cdots, p_n \} \)
\( a \) bir tek sayı olduğu için 2'ye bölünmez, dolayısıyla \( a \)'nın en küçük asal çarpanı 3 olabilir.
\( p_1 \gt 2 \)
Pozitif tek bir sayı olan \( a \) sayısının asal çarpanları \( p_1, p_2, \cdots, p_n \) olsun. \( a \) sayısının asal çarpanlarının kümesine \( P \) diyelim.
Buna göre, \( a \) sayısının tüm asal çarpanlarına bölümünde kalanın sıfır olduğunu söyleyebiliriz.
\( a \bmod{p_1} = 0 \)
\( a \bmod{p_2} = 0 \)
\( \vdots \)
\( a \bmod{p_n} = 0 \)
Bu durumda \( a \) sayısı ile ardışık olan \( a + 2 \) pozitif tek sayısının \( P \) kümesinin elemanı olan tüm sayılara bölümünde kalan 2 olacaktır. \( a \)'nın en küçük asal çarpanı 3 olabileceği için en küçük asal çarpan için de kalan aşağıdaki gibi 2 olacaktır.
\( (a + 2) \bmod{p_1} = 2 \)
\( (a + 2) \bmod{p_2} = 2 \)
\( \vdots \)
\( (a + 2) \bmod{p_n} = 2 \)
Bu durum \( a \)'yı tam bölen hiçbir asal sayının \( a + 2 \) sayısını tam bölmediğini, dolayısıyla iki sayının 1 dışında ortak pozitif tam böleni olmadığını gösterir. Bu yüzden \( a \) ve \( a + 2 \) ardışık tek sayılarının her zaman aralarında asal olduğunu söyleyebiliriz.
\( a \) ve \( b \) aralarında asal iki sayı olsun.
Bu sayıların toplamı olan \( a + b \) sayısının \( a \) ile aralarında asal olmadığını varsayalım. Dolayısıyla hem \( a \) hem de \( a + b \) sayılarını kalansız bölen 1'den büyük bir \( k \) tam sayısı mevcut olur.
\( k \in \mathbb{Z}, \quad k \gt 1 \) olmak üzere,
\( k \mid a, \quad k \mid (a + b) \)
Modüler aritmetiğe giriş bölümünde yaptığımız ispatlardan birine göre, bir sayı iki sayıyı ayrı ayrı kalansız bölüyorsa bu iki sayının toplamını ve farkını da kalansız böler.
Buna göre, \( k \) sayısı \( a \) ve \( a + b \) sayılarını kalansız bölüyorsa bu sayıların farkını da kalansız bölmelidir.
\( k \mid [(a + b) - a] \)
\( k \mid b \)
Bu sonuç \( k \) sayısının \( b \)'nin de bir böleni olduğu anlamına gelir, \( k \) sayısı hem \( a \) hem de \( b \) sayılarının bir böleni ise \( a \) ve \( b \) aralarında asal olamaz.
Buna göre, bu ispatın başında yaptığımız \( a \) ve \( a + b \) sayılarının aralarında asal olmadığı varsayımı doğru olamaz, dolayısıyla bu iki sayı aralarında asal olmalıdır.
Benzer bir ispatı \( b \) ve \( a + b \) sayılarının aralarında asal olduğunu göstermek için de yapabiliriz.
\( a \) ve \( b \) aralarında asal iki sayı olsun.
Bu sayıların toplamı ve çarpımı olan \( a + b \) ve \( a \cdot b \) sayılarının aralarında asal olmadığını varsayalım. Dolayısıyla hem \( a + b \) hem de \( a \cdot b \) sayılarını kalansız bölen 1'den büyük bir \( k \) tam sayısı mevcut olur.
\( k \in \mathbb{Z}, \quad k \gt 1 \) olmak üzere,
\( k \mid (a + b), \quad k \mid a \cdot b \)
\( k \) sayısı \( a \cdot b \) sayısını kalansız bölüyorsa \( a \) ve \( b \) sayılarından en az birini kalansız böler. Burada \( a \) sayısını kalansız böldüğünü varsayalım.
\( k \mid a \)
Modüler aritmetiğe giriş bölümünde yaptığımız ispatlardan birine göre, bir sayı iki sayıyı ayrı ayrı kalansız bölüyorsa bu iki sayının toplamını ve farkını da kalansız böler.
Buna göre, \( k \) sayısı \( a \) ve \( a + b \) sayılarını kalansız bölüyorsa bu sayıların farkını da kalansız bölmelidir.
\( k \mid [(a + b) - a] \)
\( k \mid b \)
Bu sonuç \( k \) sayısının \( b \)'nin de bir böleni olduğu anlamına gelir, \( k \) sayısı hem \( a \) hem de \( b \) sayılarının bir böleni ise \( a \) ve \( b \) aralarında asal olamaz.
Buna göre, bu ispatın başında yaptığımız \( a + b \) ve \( a \cdot b \) sayılarının aralarında asal olmadığı varsayımı doğru olamaz, dolayısıyla bu iki sayı aralarında asal olmalıdır.
\( a \) ve \( b \) sayıları aralarında asal ise bu sayıların tüm pozitif tam sayı kuvvetleri olan \( a^m \) ve \( b^n \) sayıları da aralarında asaldır.
ÖRNEK:
\( 2 \) ve \( 3 \) aralarında asaldır. Dolayısıyla \( 2^4 = 16 \) ve \( 3^3 = 27 \) de aralarında asaldır.
\( a \) ve \( b \) sayıları aralarında asal ise asal çarpanları içinde ortak bir çarpan bulunamaz, dolayısıyla aşağıdaki iki kümenin ortak bir elemanı yoktur.
\( A \) ve \( B \) sırasıyla \( a \) ve \( b \) sayılarının asal çarpanlarından oluşan kümeler olmak üzere,
\( A = \{ p_1, p_2, \ldots, p_i \} \)
\( B = \{ q_1, q_2, \ldots, q_j \} \)
\( A \cap B = \emptyset \)
Buna göre, \( a \) ve \( b \) sayılarının birer pozitif tam sayı kuvveti olan \( a^m \) ve \( b^n \) sayılarının asal çarpanlarına ayrılmış biçimde yazılışları aşağıdaki gibi olur.
Dikkat edilirse \( a^m \) ve \( b^n \) sayıları \( a \) ve \( b \) sayıları ile aynı asal çarpanlardan oluşmaktadır ve sadece bu asal çarpanların kuvvetleri değişmektedir. Dolayısıyla \( a^m \) ve \( b^n \) sayılarının da 1 dışında ortak bir pozitif böleni bulunmaz ve bu iki sayı aralarında asaldır.
İki ya da daha fazla sayının aralarında asal olup olmadıklarını bulmak için sayılar asal çarpanlarına ayrılır. Tüm sayılarda ortak en az bir asal çarpan varsa sayılar aralarında asal değildir, aksi durumda aralarında asaldır.
ÖRNEK:
Ortak asal çarpanları bulunmadığı için aşağıdaki iki sayı aralarında asaldır.
\( 28 = 2^2 \cdot 7^1 \)
\( 45 = 3^2 \cdot 5^1 \)
İkişerli olarak ortak çarpanları olsa da üçünün birlikte ortak çarpanı olmadığı için aşağıdaki üç sayı aralarında asaldır.
\( 18 = 2^1 \cdot 3^2 \)
\( 20 = 2^2 \cdot 5^1 \)
\( 75 = 3^1 \cdot 5^2 \)
3 çarpanı tümünde ortak olduğu için aşağıdaki üç sayı aralarında asal değildir.
\( 18 = 2^1 \cdot 3^2 \)
\( 72 = 2^3 \cdot 3^2 \)
\( 75 = 3^1 \cdot 5^2 \)
Aralarında Asal Sayıların Sayısı
\( A \) bir pozitif tam sayı olmak üzere, \( A \)'dan küçük ve \( A \) ile aralarında asal olan doğal sayıların sayısını aşağıdaki formülle bulabiliriz.
\( A = x^a \cdot y^b \cdot z^c \) olmak üzere,
\( A \)'dan küçük ve \( A \) ile aralarında asal olan pozitif tam sayıların sayısı:
Aralarında asal olduğu bilgisi verilen iki sayının oranı da verilmiş. Verilen kesirli ifadenin en sade hali, aynı zamanda pay ve paydanın aralarında asal olduğu durumdur (aralarında asal olmamaları, pay ve paydanın tekrar sadeleşmelerini sağlayacak ortak bölen içermesi anlamına gelir). Bu yüzden, kesirli ifadeyi pay ve paydanın EBOB'u ile sadeleştirelim.
Aralarında asal iki sayının oranını pay ve paydası aralarında asal bir kesir cinsinden ifade etmiş olduk. Eşitliğin sağ tarafındaki kesir daha fazla sadeleştirilemeyeceği için, eşitliğin her iki tarafındaki ifadelerin payları ve paydaları ayrı ayrı birbirine eşit olmalıdır.
Enes üzerinde kırmızı, yeşil ve mavi renklerin bulunduğu bir dart tahtasına atışlar yapmaktadır. Bu dart oyununda kırmızı bölge için 5, yeşil bölge için 7 ve mavi bölge için 8 puan kazanılmaktadır.
Enes'in her atışta aldığı puanların çarpımı 49000 olduğuna göre, Enes toplam kaç atış yapmıştır?
5, 7 ve ve 8 sayıları ikili olarak aralarında asal sayılardır, dolayısıyla her çarpanın üssü o puandaki atış sayısını verir. Buna göre Enes kırmızı bölgeyi 3 kez, yeşil bölgeyi 2 kez, mavi bölgeyi de 1 kez tutturmuştur.