Faktöriyel Hesaplama

Faktöriyel (n!), ilk bakışta zararsız bir işlem gibi görünür — sadece 1'den n'e kadar tüm sayıları çarpmak. Ama bu basit işlem, şaşırtıcı derecede hızlı büyür; 20! gibi görece küçük bir sayı bile, akıl almaz büyüklüğe ulaşır. Faktöriyel hesaplama, girdiğiniz bir sayının faktöriyelini hesaplamanızı sağlar.

Faktöriyel şu şekilde tanımlanır:

**n! = n × (n−1) × (n−2) × ... × 2 × 1**

Örnek verelim: 5! = 5×4×3×2×1 = 120. Ama bu büyüme hızı çok çabuk kontrolden çıkar — 10! = 3.628.800; 15! ≈ 1,3 trilyon; 20! ≈ 2,43×10¹⁸ (2,43 kentilyon) — bu son sayı, evrende tahmin edilen yıldız sayısından (yaklaşık 10²²-10²⁴ civarı tartışmalı olsa da, bazı daha küçük tahminlere göre) bile büyük bir mertebeye yaklaşır. 25!'den itibaren, sayı standart hesap makinelerinin bile gösterim sınırlarını zorlamaya başlar.

Yukarıdaki araca bir tam sayı girdiğinizde, faktöriyelini hesaplar. Bu, kombinatorik problemlerde (kaç farklı sıralama mümkün, kaç kombinasyon var gibi), olasılık hesaplarında ya da matematik derslerinde kullanışlıdır.

Bu aracı; kombinatorik ve olasılık öğrenen öğrenciler, matematik problemleri çözen herkes için tasarladık.

Faktöriyel tanımına göre "1'den 0'a kadar sayıları çarpmak" mantıksal olarak tuhaf gelir — 0! değerinin sezgisel olarak 0 olması beklenebilir. Ama matematikte 0! **tam olarak 1** kabul edilir, ve bu keyfi bir tanım değildir. Bu, "**boş çarpım (empty product)**" kavramına dayanır — matematik geleneğinde, hiçbir elemanı olmayan bir çarpım işleminin sonucu, çarpmanın **birim elemanı** olan 1 kabul edilir (tıpkı boş bir toplamanın sonucunun 0 kabul edilmesi gibi, çünkü 0 toplamanın birim elemanıdır).

Bu tanımın pratik bir gerekçesi de vardır — faktöriyeli içeren pek çok formül (özellikle kombinasyon ve permütasyon formülleri, C(n,0) gibi), 0!=1 kabul edildiğinde **tutarlı ve anlamlı** sonuçlar üretir; eğer 0!=0 olsaydı, bu formüllerin çoğu sıfıra bölme hatasına düşer ya da anlamsız hâle gelirdi. Bu nedenle 0!=1 tanımı, matematiksel zarafeti ve tutarlılığı korumak için özellikle böyle seçilmiştir — bu, matematikte bazı "garip" görünen tanımların, aslında daha büyük bir sistemin tutarlı çalışması için kasıtlı olarak yapıldığını gösteren güzel bir örnektir.