Küp (cebir)

Aritmetikte ve cebirde *n* sayısının *küp'ü, o sayının* üçüncü kuvvetidir. Yani kendisi ile 3 kere çarpılmasıdır:

:.

Ayrıca, kendisinin karesi ile çarpımıdır:

:

Küp ayrıca, kenar uzunluğu *n* olan bir küpün hacminin formülüdür(3 ayrıt ölçüsünün çarpımı). Küpü *n* olan bir sayı bulmak için küp kök ters işlemi uygulanır.

Hem küp hem de küp kök tek fonksiyondur:

:
:ve

\sqrt[3]{(-n)} = -(\sqrt[3]{n})

Bir sayının veya herhangi bir ifadenin küpü, 3 üst indisi ile ifade edilir. Örneğin: 23 = 8 veya .

Bir geometrik küpün hacmi, kenar uzunluğunun küpüdür; adını da buradan alır. Küpü  olan bir sayıyı bulmaktan oluşan ters işleme, 'nın küp kökünü çıkarma denir. Bu, verilen bir hacme sahip küpün kenarını belirler. Ayrıca 'nın üçte birinci kuvvete yükseltilmesidir.

Küp fonksiyonunun grafiği **kübik parabol** olarak bilinir. Küp fonksiyonu tek bir fonksiyon olduğundan, bu eğrinin orijinde bir simetri merkezi vardır, ancak bir simetri ekseni yoktur.

## Tam sayılar

**Küp sayı**, ya da **tam küp**, ya da bazen yalnızca **küp**, bir tam sayının küpü olan bir sayıdır.

603'e kadar olan negatif olmayan tam küpler  şunlardır:

Geometrik olarak konuşmak gerekirse, pozitif bir tam sayı , ancak ve ancak  adet birim küp bir araya getirilerek daha büyük, dolu bir küp oluşturulabiliyorsa ancak ve ancak tam küptür. Örneğin, 27 küçük küp, bir Rubik Küpü görünümünde daha büyük bir küp oluşturacak şekilde düzenlenebilir; çünkü 'dir.

Ardışık tam sayıların küplerinin farkı aşağıdaki gibi ifade edilebilir:

:.

veya

:.

Negatif bir tam sayının küpü negatif olduğundan, en küçük tam küp yoktur. Örneğin, .

### Onluk taban

Tam karelerin aksine, tam küplerin son iki basamağı için az sayıda olasılık söz konusu değildir. Son iki basamak olarak yalnızca **25**, **75** ve **00** gelebilen 5 ile bölünebilen küpler dışında, son basamağı tek olan *herhangi* bir basamak çifti bir tam küpün son basamakları olarak ortaya çıkabilir. Çift küplerde ise önemli bir kısıtlama vardır; çünkü bir tam küpün son iki basamağı yalnızca **00**, **2**, **4**, **6** ve **8** olabilir (burada  herhangi bir tek basamağı ve  herhangi bir çift basamağı temsil eder). Bazı küp sayıları aynı zamanda kare sayılardır; örneğin, 64 bir kare sayıdır  ve bir küp sayıdır . Bu, ancak ve ancak sayı tam bir altıncı kuvvet ise gerçekleşir (bu durumda 2).

Her 3. kuvvetin son basamakları şunlardır:

Bununla birlikte, çoğu sayının tam küp olmadığını göstermek kolaydır; çünkü *tüm* tam küplerin basamak kökü **1**, **8** veya **9** olmalıdır. Yani 9'a göre modüler değerleri yalnızca 0, 1 ve 8 olabilir. Ayrıca, herhangi bir sayının küpünün basamak kökü, sayının 3'e bölünmesinden kalan kalana göre belirlenebilir:
* *x* sayısı 3 ile bölünebiliyorsa, küpünün basamak kökü 9'dur; yani, 
*: \text{eğer}\quad x \equiv 0 \pmod 3 \quad \text{ise} \quad x^3\equiv 0 \pmod 9 \text{ (aslında} \quad 0 \pmod {27}\text{)};
* 3'e bölündüğünde 1 kalanını veriyorsa, küpünün basamak kökü 1'dir; yani, 
*: \text{eğer}\quad x \equiv 1 \pmod 3 \quad \text{ise} \quad x^3\equiv 1 \pmod 9;
* 3'e bölündüğünde 2 kalanını veriyorsa, küpünün basamak kökü 8'dir; yani, 
*: \text{eğer}\quad x \equiv 2 \pmod 3 \quad \text{ise} \quad x^3\equiv 8 \pmod 9.

### İki küpün toplamları

### Üç küpün toplamları

 modülüne göre 'ye denk olmayan her tamsayının (pozitif ya da negatif) sonsuz sayıda yolla üç (pozitif ya da negatif) küpün toplamı olarak yazılabileceği varsayılmaktadır. Örneğin,  6 = 2^3+(-1)^3+(-1)^3.  modülüne göre 'ye denk olan tamsayılar hariç tutulur; çünkü üç küpün toplamı olarak yazılamazlar.

Böyle bir toplamın bilinmediği en küçük tamsayı 114'tür. Eylül 2019'da, bilinen 3-küp toplamı olmayan önceki en küçük tamsayı olan 42'nin şu denklemi sağladığı bulunmuştur:
: 42 = (-80538738812075974)^3 + 80435758145817515^3 + 12602123297335631^3.

### Küpler için Fermat'nın Son Teoremi

 denkleminin tamsayılarda apaçık olmayan (yani ) çözümleri yoktur. Aslında, Eisenstein tamsayıları içinde de hiç yoktur.

Bu ifadelerin her ikisi de denklem için de doğrudur .

### İlk ''n'' küpün toplamı

İlk  küpün toplamı, . Üçgensel sayının karesidir:

:1^3+2^3+\dots+n^3 = (1+2+\dots+n)^2=\left(\frac{n(n+1)}{2}\right)^2.

**İspatlar**

, toplam içindeki her bir küpü ardışık tek sayılardan oluşan bir kümeye açarak özellikle basit bir türetim verir. Şu özdeşliği vererek başlar:

:n^3 = \underbrace{\left(n^2-n+1\right) + \left(n^2-n+1+2\right) + \left(n^2-n+1+4\right)+ \cdots + \left(n^2+n-1\right)}_{n \text{ ardışık tek sayı}}.

Bu özdeşlik, üçgensel sayılar T_n ile aşağıdaki şekilde ilişkilidir:

:n^3 =\sum _{k=T_{n-1}+1}^{T_{n}} (2 k-1),

ve böylece n^3'yi oluşturan terimler, 1^3'ün (n-1)^3'e kadarki tüm önceki değerlerini oluşturan terimlerin hemen ardından başlar.
Bu özelliği, iyi bilinen başka bir özdeşlikle birlikte uygulayarak:

:n^2 = \sum_{k=1}^n (2k-1),

aşağıdaki türetimi elde ederiz:

:
\begin{align}
\sum_{k=1}^n k^3 &= 1 + 8 + 27 + 64 + \cdots + n^3 \\
&= \underbrace{1}_{1^3} + \underbrace{3+5}_{2^3} + \underbrace{7 + 9 + 11}_{3^3} + \underbrace{13 + 15 + 17 + 19}_{4^3} + \cdots + \underbrace{\left(n^2-n+1\right) + \cdots + \left(n^2+n-1\right)}_{n^3} \\
&= \underbrace{\underbrace{\underbrace{\underbrace{1}_{1^2} + 3}_{2^2} + 5}_{3^2} + \cdots + \left(n^2 + n - 1\right)}_{\left( \frac{n^{2}+n}{2} \right)^{2}} \\
&= (1 + 2 + \cdots + n)^2 \\
&= \bigg(\sum_{k=1}^n k\bigg)^2.
\end{align}

Daha yakın matematik literatüründe,  bu sayıların dikdörtgen sayımı yorumunu kullanarak özdeşliğin geometrik bir ispatını oluşturur (ayrıca bkz. ); bunun tümevarımla da kolayca (ancak açıklayıcı olmadan) ispatlanabileceğini gözlemler ve 'in "ilginç eski bir Arap ispatı" sağladığını belirtir.  bütünüyle görsel bir ispat sunar,  iki ek ispat sağlar ve  yedi geometrik ispat verir.

Örneğin, ilk 5 küpün toplamı 5. üçgensel sayının karesidir,

:1^3+2^3+3^3+4^3+5^3 = 15^2 

İlk  tek küpün toplamı için benzer bir sonuç verilebilir,

:1^3+3^3+\dots+(2y-1)^3 = (xy)^2

ancak ,  negatif Pell denklemi 'i sağlamalıdır. Örneğin,  ve  için, o hâlde,

:1^3+3^3+\dots+9^3 = (7\cdot 5)^2 

:1^3+3^3+\dots+57^3 = (41\cdot 29)^2

ve böyle devam eder.  Ayrıca, en küçüğü hariç her çift mükemmel sayı, ilk  tek küpün toplamıdır (*p* = 3, 5, 7, ...):

:28 = 2^2(2^3-1) = 1^3+3^3
:496 = 2^4(2^5-1) = 1^3+3^3+5^3+7^3
:8128 = 2^6(2^7-1) = 1^3+3^3+5^3+7^3+9^3+11^3+13^3+15^3

### Aritmetik dizide sayıların küplerinin toplamı

Aritmetik dizi oluşturan sayıların küplerinin toplamının, yine bir küp olduğu örnekler vardır:

:3^3+4^3+5^3 = 6^3
:11^3+12^3+13^3+14^3 = 20^3
:31^3+33^3+35^3+37^3+39^3+41^3 = 66^3

Yukarıdaki ilk örnek bazen gizemli Plato sayısı olarak tanımlanır.  
sayılarının, ortak farkı  ve başlangıç küpü  olan aritmetik dizideki  toplamını bulma formülü,

:F(d,a,n) = a^3+(a+d)^3+(a+2d)^3+\cdots+(a+dn-d)^3

şu şekilde verilir:

:F(d,a,n) = (n/4)(2a-d+dn)(2a^2-2ad+2adn-d^2n+d^2n^2)

:F(d,a,n) = y^3

denkleminin parametrik bir çözümü, Pagliani'nin 1829'da bulduğu , yani ardışık küpler özel durumu için bilinmektedir.

### Ardışık tek tamsayıların toplamı olarak küpler
Tek tamsayılar dizisi 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, ... içinde, ilk *bir* tanesi bir küptür (); sonraki *iki* tanesinin toplamı bir sonraki küptür (); sonraki *üç* tanesinin toplamı bir sonraki küptür (); ve bu böyle devam eder.

### Küpler için Waring problemi

Her pozitif tamsayı, dokuz (veya daha az) pozitif küpün toplamı olarak yazılabilir. Bu dokuz küplük üst sınır azaltılamaz; çünkü örneğin 23, dokuzdan daha az pozitif küpün toplamı olarak yazılamaz:

:23 = 23 + 23 + 13 + 13 + 13 + 13 + 13 + 13 + 13.

## Rasyonel sayılar

Her pozitif rasyonel sayı, üç pozitif rasyonel küpün toplamıdır, ve iki rasyonel küpün toplamı olmayan rasyonel sayılar vardır.

## Reel sayılarda, diğer cisimlerde ve halkalarda

Reel sayılarda, küp fonksiyonu sıralamayı korur: daha büyük sayıların küpleri daha büyüktür. Başka bir deyişle, küpler (kesin olarak) monotonik olarak artar. Ayrıca, değer kümesini tüm sayı doğrularıdır:  fonksiyonu bir örtendir (mümkün olan tüm değerleri alır). Yalnızca üç sayı kendi küplerine eşittir: -1,  ve . Eğer  veya  ise, o zaman . Eğer  veya  ise, o zaman . Yukarıda belirtilen tüm özellikler, gerçek sayıların daha yüksek tek kuvvetleri (, ,&nbsp;...) için de geçerlidir. Eşitlikler ve eşitsizlikler herhangi bir sıralı halka içinde de doğrudur.

Benzer Öklidyen katı cisimlerin hacimleri, doğrusal boyutlarının küpleri olarak ilişkilidir.

Karmaşık sayılarda, salt sanal bir sayının küpü de salt sanaldır. Örneğin, .

'ün türevi 'e eşittir.

Küpler,  gibi bazı cisimlerde,  asal  koşulunu sağladığında, bazen örtenlik özelliğine sahiptir, ancak zorunlu olarak değil: yukarıdaki rasyonellerle karşı örneğe bakın. Ayrıca  içinde toplam yedi elemandan yalnızca üç eleman 0, ±1 tam küptür. −1, 0 ve 1 *her yerde* tam küptür ve bir cismin kendi küplerine eşit olan tek elemanlarıdır: .

## Tarih

Büyük sayıların küplerinin belirlenmesi, birçok antik uygarlıkta çok yaygındı. Mezopotamyalı matematikçiler, Eski Babil döneminde (MÖ 20. ila 16. yüzyıllar) küpleri ve küpkökleri hesaplamaya yönelik tablolar içeren çivi yazılı tabletler oluşturdular. Kübik denklemler, antik Yunan matematikçisi Diofantos tarafından biliniyordu. İskenderiyeli Heron, MS 1. yüzyılda küpkökleri hesaplamak için bir yöntem geliştirdi. Kübik denklemleri çözmeye ve küpkök çıkarmaya yönelik yöntemler, MÖ 2. yüzyıl civarında derlenen ve MS 3. yüzyılda Liu Hui tarafından şerh edilen Çince matematik metni *[[Matematik Sanatı Üzerine Dokuz Bölüm]]* adlı eserde yer alır.

## Ayrıca bakınız

* Kübik denklemler
* Delos problemi
* Sekizinci kuvvet
* Beşinci kuvvet
* Dördüncü kuvvet
* Mükemmel kuvvet
* Yedinci kuvvet
* Altıncı kuvvet
* Kare
* Taksi Sayılar

## Kaynakça

### Bibliografya

* 
* 
* 
* 
* 
* 
* 
*