Kök 2'nin irrasyonel olduğunu nasıl kanıtlayabilirim?

Kök 2'nin irrasyonel olduğunu ispatlamak, matematikte önemli bir yere sahiptir ve bu konudaki tartışmalar, sayıların doğası hakkında derin düşüncelere yol açar. İlk olarak, bu sayının rasyonel olduğunu varsayarak bir çelişki ortaya koymak mümkündür. Rasyonel sayılar, iki tam sayının oranı olarak ifade edilebilirken, kök 2'nin bu tanıma uymadığını göstermek, matematiksel düşüncenin temel taşlarından biridir. Bu tür bir ispatın ardında yatan mantık, matematiksel akıl yürütmenin gücünü sergilemektedir.

Kök 2'nin irrasyonel olduğunun ispatı, Pisagor'un öğrencisi Hippasus'a atfedilir. Bu ispat iki şekilde yapılabilir:

Olumsuzlama Yöntemi:

Geometrik İspat:

• √2 sayısının rasyonel olduğunu kabul edelim (a/b şeklinde yazılabilir). 
• Her iki tarafın karesini alarak karekök ifadesinden kurtulalım (a² = 2b²). 
• Düzenleme yaparak a² = 2 elde ederiz. 
• 2, tek bir sayının karesi olmadığı için a sayısı da çift olmak zorundadır. 
• a = 2k dersek, a² = 4k² olur ve bu da b²'nin çift olduğunu gösterir. 
• b de çift olursa, a ve b sayıları aralarında asal olma özelliğini kaybeder. 
• Bu, başlangıçta yaptığımız kabulle çelişir, dolayısıyla √2 rasyonel bir sayı değildir. 

• Kenar uzunlukları 1 birim olan bir dik üçgende Pisagor Teoremi uygulandığında, hipotenüsün uzunluğunu veren √2 sayısının iki sayma sayısının oranı olarak ifade edilemeyeceği görülür. 

1. Olumsuzlama Yöntemi:
   • √2 sayısının rasyonel olduğunu kabul edelim (a/b şeklinde yazılabilir). 
   • Her iki tarafın karesini alarak karekök ifadesinden kurtulalım (a² = 2b²). 
   • Düzenleme yaparak a² = 2 elde ederiz. 
   • 2, tek bir sayının karesi olmadığı için a sayısı da çift olmak zorundadır. 
   • a = 2k dersek, a² = 4k² olur ve bu da b²'nin çift olduğunu gösterir. 
   • b de çift olursa, a ve b sayıları aralarında asal olma özelliğini kaybeder. 
   • Bu, başlangıçta yaptığımız kabulle çelişir, dolayısıyla √2 rasyonel bir sayı değildir. 
2. √2 sayısının rasyonel olduğunu kabul edelim (a/b şeklinde yazılabilir). 
3. Her iki tarafın karesini alarak karekök ifadesinden kurtulalım (a² = 2b²). 
4. Düzenleme yaparak a² = 2 elde ederiz. 
5. 2, tek bir sayının karesi olmadığı için a sayısı da çift olmak zorundadır. 
6. a = 2k dersek, a² = 4k² olur ve bu da b²'nin çift olduğunu gösterir. 
7. b de çift olursa, a ve b sayıları aralarında asal olma özelliğini kaybeder. 
8. Bu, başlangıçta yaptığımız kabulle çelişir, dolayısıyla √2 rasyonel bir sayı değildir. 
9. Geometrik İspat:
   • Kenar uzunlukları 1 birim olan bir dik üçgende Pisagor Teoremi uygulandığında, hipotenüsün uzunluğunu veren √2 sayısının iki sayma sayısının oranı olarak ifade edilemeyeceği görülür. 
10. Kenar uzunlukları 1 birim olan bir dik üçgende Pisagor Teoremi uygulandığında, hipotenüsün uzunluğunu veren √2 sayısının iki sayma sayısının oranı olarak ifade edilemeyeceği görülür.