Bir pozitif tamsayıdan küçük olup o sayı ile aralarında asal olan pozitif tamsayıların sayısı

3 beğenilme 0 beğenilmeme
102 kez görüntülendi

Diyelim ki $n\in \mathbb{Z}^{+}$ sayısının asal çarpanlarına ayrılmış hali $$n=p_1^{e_1}\dots p_r^{e_r}$$ olsun. $A_i$ kümesini $\{m\mid m=1,2,\dots,n\ \&\ p_i| m\}$ olarak tanımlayalım. Diğer bir deyişle, $A_i$ kümesi $p_i$ asalı tarafından bölünen $1,2,\dots,n$ elemanlarından oluşsun. Gösteriniz ki, $$|A_i|=n/p_i$$ eşitliği sağlanır. Dahası birbirinden farklı $i$ ve $j$ indisleri için, $$|A_i\cap A_j|=n/p_ip_j$$ eşitliği sağlanır. Tabii ki bunu genelleştirmek mümkün.

Bunu kullanarak, $n$ sayısından küçük olup $n$ ile aralarında asal olan pozitif tamsayıların sayısının $$\phi(n):=n\bigg(1-\frac{1}{p_1}\bigg)\dots\bigg(1-\frac{1}{p_r}\bigg)$$ olduğu sonucu çıkarın.

30, Eylül, 2015 Lisans Matematik kategorisinde Enis (1,051 puan) tarafından  soruldu

bu soruya Sn. Sercan cevap vermişti sanırım sitede olması lazım 

2 Cevaplar

0 beğenilme 0 beğenilmeme

Kodlari bozuktu, onlari duzenledim.
$ n=p_1^{e_1}\dots p_r^{e_r}    n>1 $
$ n=p_1^{e_1}\dots p_r^{e_r}    n>1 $
$n= p_1 < p_2 < ..... < p_r $ asal sayılar ve each $e_i\geqslant 1$
$\phi(n) = \phi(p_1^{e_1}) \phi(p_2^{e_2}).......\phi(p_r^{e_r})$
$p_1^{e_1}\bigg(1-\frac{1}{p_1}\bigg)p_2^{e_2}\bigg(1-\frac{1}{p_2}\bigg)\dots p_r^{e_r}\bigg(1-\frac{1}{p_r}\bigg)$
$p_1^{e_1}p_2^{e_2}\dots p_r^{e_r}\bigg(1-\frac{1}{p_1}\bigg)\bigg(1-\frac{1}{p_2}\bigg)\dots \bigg(1-\frac{1}{p_r}\bigg)$
$n\bigg(1-\frac{1}{p_1}\bigg)\bigg(1-\frac{1}{p_2}\bigg)\dots \bigg(1-\frac{1}{p_r}\bigg)$

30, Eylül, 2015 pisayisi (610 puan) tarafından  cevaplandı
12, Aralık, 2016 Sercan tarafından düzenlendi
1 beğenilme 0 beğenilmeme

Eski soruyu bulamadigimdan bu soruya cevabi yazayim: 

$p$ asali $n$ sayisini tam bolsun. Bu durumda $p$ asalinin arada bir degeri bolme olasiligi $$\frac1p$$ ve bolmeme olasiligi $$1-\frac1p$$olur. Bu durumda hicbir asal carpanina bolunmeme olasiligi $$\left(1-\frac1{p_1}\right)\cdots\left(1-\frac1{p_r}\right)$$ olur ve $\phi(n)$ tanimindan bu olasilik $$\frac{\phi(n)}{n}$$ degerine esit.

12, Aralık, 2016 Sercan (22,324 puan) tarafından  cevaplandı
12, Aralık, 2016 Sercan tarafından düzenlendi
...