Çelişki yöntemiyle "Bir dairenin alanının πr² olduğu" ispatlanırken hangi varsayım kullanılır?
A) Dairenin alanının πr²'den büyük olduğu varsayılır
B) Dairenin alanının πr²'den küçük olduğu varsayılır
C) Dairenin alanının πr²'ye eşit olmadığı varsayılır
D) Dairenin alanının 2πr olduğu varsayılır
Çelişki yöntemi (Reductio ad absurdum), bir matematiksel ifadeyi ispatlamak için kullanılan güçlü bir yöntemdir. Bu yöntemde, ispatlamak istediğimiz ifadenin doğru olmadığını varsayarız ve bu varsayımın mantıksal olarak bir çelişkiye yol açtığını gösteririz. Eğer varsayımımız bir çelişkiye yol açıyorsa, başlangıçtaki varsayımımızın yanlış olduğu, dolayısıyla ispatlamak istediğimiz ifadenin doğru olduğu sonucuna varırız.
- Bizim ispatlamak istediğimiz ifade şudur: "Bir dairenin alanı $\pi r^2$'dir."
- Çelişki yöntemiyle bu ifadeyi ispatlamak için, öncelikle bu ifadenin tersini veya değilini (negasyonunu) doğru kabul etmemiz gerekir.
- "Bir dairenin alanı $\pi r^2$'dir" ifadesinin değili, "Bir dairenin alanı $\pi r^2$'ye eşit değildir" ifadesidir.
- Matematiksel olarak, bir değerin başka bir değere eşit olmaması durumu iki farklı şekilde gerçekleşebilir: ya o değerden büyüktür ya da o değerden küçüktür. Yani, "alan $\neq \pi r^2$" demek, "alan $> \pi r^2$" veya "alan $< \pi r^2$" demektir.
- Çelişki yönteminin ilk adımı, bu genel "eşit değildir" varsayımını yapmaktır. Daha sonra ispatın ilerleyen adımlarında, bu genel durumu "alanın $\pi r^2$'den büyük olduğu" ve "alanın $\pi r^2$'den küçük olduğu" şeklinde iki ayrı alt duruma ayırarak her birinin bir çelişkiye yol açtığı gösterilir. Ancak başlangıçtaki temel varsayım, eşit olmama durumudur.
- Seçenek A'da belirtilen "Dairenin alanının $\pi r^2$'den büyük olduğu varsayılır" ifadesi, ilk varsayım değildir; "eşit değildir" durumunun sadece bir alt senaryosudur.
- Seçenek B'de belirtilen "Dairenin alanının $\pi r^2$'den küçük olduğu varsayılır" ifadesi de ilk varsayım değildir; yine "eşit değildir" durumunun bir alt senaryosudur.
- Seçenek C'de belirtilen "Dairenin alanının $\pi r^2$'ye eşit olmadığı varsayılır" ifadesi, ispatlamak istediğimiz ifadenin tam olarak negasyonudur ve çelişki yönteminin başlangıç varsayımıdır. Bu, hem alanın $\pi r^2$'den büyük olabileceği hem de küçük olabileceği durumlarını kapsar.
- Seçenek D'de belirtilen "Dairenin alanının $2\pi r$ olduğu varsayılır" ifadesi, dairenin çevresinin formülüdür ve alan formülünün negasyonuyla ilgisi yoktur.
Bu nedenle, çelişki yöntemiyle "Bir dairenin alanının $\pi r^2$ olduğu" ispatlanırken kullanılan ilk varsayım, dairenin alanının $\pi r^2$'ye eşit olmadığıdır.
Cevap C seçeneğidir.
