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 pozitif tam sayı her zaman aralarında asaldır.
ÖRNEK:
81 ve 82 aralarında asaldır.
İSPATI GÖSTER
\( 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.
Ardışık iki pozitif tek sayı her zaman aralarında asaldır.
ÖRNEK:
81 ve 83 aralarında asaldır.
İSPATI GÖSTER
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.
Aralarında asal iki sayının toplamları ve çarpımları olan iki sayı da aralarında asaldır.
ÖRNEK:
\( 5 \) ve \( 7 \) aralarında asaldır. Dolayısıyla \( 5 + 7 = 12 \) ve \( 5 \cdot 7 = 35 \) de aralarında asaldır
İki sayı (\( a \) ve \( b \)) aralarında asal ise bu sayıların tüm pozitif tam sayı kuvvetleri de (\( a^m \) ve \( b^n \)) aralarında asaldır. Bunun sebebi, sayıların ortak böleni yoksa bu sayıların tam sayı kuvvetlerinin de ortak böleni olmayacak olmasıdır.
ÖRNEK:
\( 2 \) ve \( 3 \) aralarında asaldır. Dolayısıyla \( 2^4 = 16 \) ve \( 3^3 = 27 \) de aralarında asaldır.
Aralarında Asal Olma Kontrolü
İ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 bu 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ı \( = A \cdot \dfrac{x - 1}{x} \cdot \dfrac{y - 1}{y} \cdot \dfrac{z - 1}{z} \)
SORU:
\( 3a - 1 \) ve \( b + 2 \) sayıları aralarında asaldır.
\( \dfrac{3a - 1}{b + 2} = \dfrac{60}{84} \) olduğuna göre, \( a + b \) kaçtır?
Çözümü Göster
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.