Bilangan komposit tinggi

__FORCETOC__
**Bilangan komposit tinggi** adalah bilangan bulat positif dengan lebih banyak pembagi daripada bilangan bulat positif yang lebih kecil. Istilah ini diciptakan oleh Ramanujan (1915). Namun, Jean-Pierre Kahane telah menyarankan bahwa konsep tersebut mungkin telah diketahui oleh Plato, yang menetapkan 5040 sebagai jumlah ideal penduduk di kota sebagai 5040 telah lebih menjadi pembagi.

Konsep terkait **sebagian besar bilangan komposit** mengacu pada bilangan bulat positif yang memiliki setidaknya sebanyak pembagi sebagai bilangan bulat positif yang lebih kecil.

Namanya bisa agak menyesatkan, karena dua bilangan komposit tinggi (1 dan 2) sebenarnya bukan bilangan komposit.

## Contoh

38 bilangan komposit tinggi awal atau terkecil tercantum dalam tabel di bawah ini  . Jumlah pembagi diberikan di kolom berlabel * d * (* n *). Tanda bintang menunjukkan bilangan komposit sangat unggul.

Pembagi dari 15 bilangan komposit tinggi pertama ditunjukkan di bawah ini. 

Tabel di bawah ini menunjukkan 72 pembagi dari 10080 dengan menuliskannya sebagai hasil kali dari dua angka dalam 36 cara berbeda.

Bilangan komposit ke-15.000 dapat ditemukan di situs web Achim Flammenkamp. Ini adalah produk dari 230 bilangan prima:

: a_0^{14} a_1^9 a_2^6 a_3^4 a_4^4 a_5^3 a_6^3 a_7^3 a_8^2 a_9^2 a_{10}^2 a_{11}^2 a_{12}^2 a_{13}^2 a_{14}^2 a_{15}^2 a_{16}^2 a_{17}^2 a_{18}^{2} a_{19} a_{20} a_{21}\cdots a_{229},

dimana a_n adalah deretan bilangan prima yang berurutan, dan semua suku yang dihilangkan (*a*22 to *a*228) adalah faktor dengan eksponen sama dengan satu (yaitu bilangan 2^{14}  \times 3^{9}  \times 5^6  \times \cdots \times 1451). Lebih tepatnya, ini adalah produk dari tujuh primorial yang berbeda:

: b_0^5 b_1^3 b_2^2 b_4 b_7 b_{18} b_{229},

dimana b_n adalah primorial a_0a_1\cdots a_n.

## Faktorisasi prima
Secara kasar, agar sebuah bilangan menjadi sangat komposit, ialah anda harus memiliki faktorisasi prima sekecil mungkin, tetapi tidak terlalu banyak yang sama. Dengan teorema dasar aritmetika, setiap bilangan bulat positif * n * memiliki faktorisasi prima yang unik:

:n = p_1^{c_1} \times p_2^{c_2} \times \cdots \times p_k^{c_k}\qquad (1)

dimana p_1  adalah bilangan prima dan eksponen, sedangkan  c_i  adalah bilangan bulat positif.

Faktor apa pun dari n harus memiliki kelipatan yang sama atau lebih kecil di setiap bilangan prima:

:p_1^{d_1} \times p_2^{d_2} \times \cdots \times p_k^{d_k}, 0 \leq d_i \leq c_i, 0 

Jadi jumlah pembagi * n * adalah:

:d(n) = (c_1 + 1) \times (c_2 + 1) \times \cdots \times (c_k + 1).\qquad (2)

Oleh karena itu, untuk bilangan komposit tinggi * n *,

* * k * yang diberi bilangan prima * p **i* harus persis bilangan prima * k * pertama (2, 3, 5, ...); jika tidak, kita bisa mengganti salah satu bilangan prima yang diberikan dengan bilangan prima yang lebih kecil, dan dengan demikian mendapatkan bilangan yang lebih kecil dari * n * dengan jumlah pembagi yang sama (misalnya 10 = 2 × 5 dapat diganti dengan 6 = 2 × 3; keduanya memiliki empat pembagi);
* urutan eksponen harus tidak meningkat, yaitu c_1 \geq c_2 \geq \cdots \geq c_k; jika tidak, dengan menukar dua eksponen kita akan mendapatkan angka yang lebih kecil dari * n * dengan jumlah pembagi yang sama (misalnya 18&nbsp;=&nbsp;21&nbsp;×&nbsp;32 boleh diganti dengan 12&nbsp;=&nbsp;22&nbsp;×&nbsp;31; keduanya memiliki enam pembagi).

Perhatikan, bahwa meskipun kondisi yang dijelaskan di atas diperlukan, kondisi tersebut tidak cukup untuk sebuah bilangan menjadi sangat komposit. Sebagai contoh, 96 = 25 × 3 memenuhi kondisi di atas dan memiliki 12 pembagi tetapi tidak terlalu komposit karena ada bilangan yang lebih kecil 60 yang memiliki jumlah pembagi yang sama.

## Pertumbuhan dan kepadatan asimtotik
Bila *Q*(*x*) menunjukkan jumlah bilangan komposit yang kurang dari atau sama dengan * x *, maka ada dua konstanta * a * dan * b *, keduanya lebih besar dari 1, sehingga
:(\log x)^a \le Q(x) \le (\log x)^b \, .
Bagian pertama dari ketidaksetaraan dibuktikan oleh Paul Erdős pada tahun 1944 dan bagian kedua oleh Jean-Louis Nicolas pada tahun 1988. Kami memiliki

:1.13862 

dan

:\limsup \frac{\log Q(x)}{\log\log x} \le 1.71 \ .

## Urutan terkait

Bilangan komposit yang lebih tinggi dari 6 juga merupakan jumlah berlimpah. Kita hanya perlu melihat tiga pembagi terbesar dari bilangan komposit tinggi tertentu untuk memastikan fakta ini. Tidak benar bahwa semua bilangan komposit tinggi juga Bilangan Harshad dalam basis 10. HCN pertama yang bukan bilangan Harshad adalah 245.044.800, yang memiliki jumlah digit 27, tetapi 27 tidak membagi.

10 dari 38 bilangan komposit tinggi pertama adalah bilangan komposit sangat unggul.
Urutan bilangan komposit tinggi  adalah himpunan bagian dari urutan bilangan terkecil * k * dengan pembagi * n * persis .

Bilangan komposit tinggi yang jumlah pembaginya juga merupakan bilangan komposit tinggi adalah untuk n = 1, 2, 6, 12, 60, 360, 1260, 2520, 5040, 55440, 277200, 720720, 3603600, 61261200, 2205403200, 293318625600, 6746328388800, 195643523275200 . Sangat mungkin urutan ini selesai.

Bilangan bulat positif * n * adalah **sebagian besar bilangan komposit** jika *d*(*n*) ≥ *d*(*m*) untuk semua *m* ≤ *n*.  Fungsi penghitungan *Q**L*(*x*) dari sebagian besar bilangan komposit memuaskan
:(\log x)^c \le \log Q_L(x) \le (\log x)^d \ 
untuk nilai positif *c*,*d* dengan 0.2 \le c \le d \le 0.5.

Karena faktorisasi prima dari bilangan komposit tinggi menggunakan semua bilangan prima '' 'k' 'pertama, setiap bilangan komposit tinggi harus berupa bilangan praktis. Banyak dari angka-angka ini digunakan dalam sistem pengukuran tradisional, dan cenderung digunakan dalam desain teknik, karena kemudahan penggunaannya dalam perhitungan yang melibatkan pecahan.

## Lihat pula
* Bilangan komposit sangat unggul
* Bilangan total
* Tabel pembagi
* Fungsi total Euler
* Bilangan bulat
* Bilangan halus

## Catatan

## Referensi
*  (online )
* 
*
*
* Beranotasi dan dengan kata pengantar oleh Jean-Louis Nicolas dan Guy Robin.

## Pranala luar
* 
* Algorithm for computing Highly Composite Numbers
* First 10000 Highly Composite Numbers as factors
*  Achim Flammenkamp, First 779674 HCN with sigma,tau,factors
* Online Highly Composite Numbers Calculator