🎓 9. Sınıf
📚 9. Sınıf Matematik
💡 9. Sınıf Matematik: İspat Çözümlü Örnekler
9. Sınıf Matematik: İspat Çözümlü Örnekler
Örnek 1:
Matematikte İspat Kavramı ve Doğrudan İspat
"İki çift tam sayının toplamı yine bir çift tam sayıdır."
Yukarıdaki ifadenin bir teorem olduğunu varsayarak, bu teoremi doğrudan ispat yöntemi ile ispatlayınız. 💡
"İki çift tam sayının toplamı yine bir çift tam sayıdır."
Yukarıdaki ifadenin bir teorem olduğunu varsayarak, bu teoremi doğrudan ispat yöntemi ile ispatlayınız. 💡
Çözüm:
Bu teoremi ispatlamak için şu adımları takip ederiz:
- 1. Adım: Değişkenlerimizi tanımlayalım. \( x \) ve \( y \) iki çift tam sayı olsun.
- 2. Adım: Çift sayı tanımını kullanalım. \( n \) ve \( m \) birer tam sayı olmak üzere;
\( x = 2n \)
\( y = 2m \) şeklinde yazılabilir. - 3. Adım: Bu iki sayıyı toplayalım:
\[ x + y = 2n + 2m \] - 4. Adım: İfadeyi 2 ortak çarpan parantezine alalım:
\[ x + y = 2(n + m) \] - 5. Sonuç: \( n + m \) bir tam sayı olduğu için, \( 2(n + m) \) ifadesi de 2 ile çarpıldığı için bir çift sayıdır.
Örnek 2:
Aksine Örnek Verme Yöntemi 📌
"Her \( n \) doğal sayısı için \( n^2 + n + 5 \) sayısı bir tek sayıdır."
Yukarıdaki önermenin yanlış olduğunu aksine örnek verme yöntemiyle gösteriniz.
"Her \( n \) doğal sayısı için \( n^2 + n + 5 \) sayısı bir tek sayıdır."
Yukarıdaki önermenin yanlış olduğunu aksine örnek verme yöntemiyle gösteriniz.
Çözüm:
Bir önermenin yanlış olduğunu ispatlamak için, önermeyi sağlamayan en az bir tane örnek bulmak yeterlidir.
- 1. Deneme: \( n = 1 \) için;
\( 1^2 + 1 + 5 = 7 \) (Tek sayıdır, önerme doğru gibi görünüyor). - 2. Deneme: \( n = 2 \) için;
\( 2^2 + 2 + 5 = 11 \) (Tek sayıdır, önerme hala doğru gibi görünüyor). - 3. Deneme: \( n = 3 \) için;
\( 3^2 + 3 + 5 = 17 \) (Tek sayıdır). - Aksine Örnek: \( n = 5 \) değerini deneyelim:
\( 5^2 + 5 + 5 = 25 + 5 + 5 = 35 \) (Hala tek sayı). - Dikkat: Bu önerme aslında her zaman tek sayı verir çünkü \( n^2 + n = n(n+1) \) ifadesi ardışık iki sayının çarpımı olduğu için daima çifttir. Çift bir sayıya 5 (tek sayı) eklenirse sonuç daima tek olur.
Örnek 3:
Olmayana Ergi (Çelişki) Yöntemi 🧠
\( x \) bir tam sayı olmak üzere;
"\( x^2 \) çift sayı ise \( x \) de çift sayıdır."
Bu teoremi olmayana ergi yöntemiyle ispatlayınız.
\( x \) bir tam sayı olmak üzere;
"\( x^2 \) çift sayı ise \( x \) de çift sayıdır."
Bu teoremi olmayana ergi yöntemiyle ispatlayınız.
Çözüm:
Olmayana ergi yönteminde, hükmün tersinden yola çıkarak bir çelişkiye ulaşmaya çalışırız.
- 1. Adım: Varsayalım ki \( x \) çift sayı olmasın. Bu durumda \( x \) bir tek sayı olmalıdır.
- 2. Adım: \( x \) tek sayı ise, \( k \) bir tam sayı olmak üzere \( x = 2k + 1 \) şeklinde yazılabilir.
- 3. Adım: Şimdi \( x^2 \) ifadesini hesaplayalım:
\[ x^2 = (2k + 1)^2 \] \[ x^2 = 4k^2 + 4k + 1 \] - 4. Adım: İfadeyi düzenleyelim:
\[ x^2 = 2(2k^2 + 2k) + 1 \] - 5. Sonuç: Burada \( 2k^2 + 2k \) bir tam sayıdır. Dolayısıyla \( x^2 \) ifadesi "2 katın 1 fazlası" formuna girdi, yani tek sayı çıktı.
- 6. Çelişki: Bizim başlangıçtaki varsayımımız \( x^2 \) sayısının çift olmasıydı. Ancak \( x \)'i tek kabul edince \( x^2 \) de tek çıktı. Bu bir çelişkidir!
Örnek 4:
Doğrudan İspat: Tek Sayıların Toplamı
"Herhangi iki tek tam sayının toplamı bir çift sayıdır."
Yukarıdaki ifadeyi sembolik mantık kullanarak ispatlayınız. ✍️
"Herhangi iki tek tam sayının toplamı bir çift sayıdır."
Yukarıdaki ifadeyi sembolik mantık kullanarak ispatlayınız. ✍️
Çözüm:
İspat adımları şu şekildedir:
- 1. Adım: \( a \) ve \( b \) iki tek tam sayı olsun.
- 2. Adım: Tek sayı tanımına göre \( n, m \in Z \) olmak üzere;
\( a = 2n + 1 \)
\( b = 2m + 1 \) yazılır. - 3. Adım: Toplama işlemini yapalım:
\( a + b = (2n + 1) + (2m + 1) \)
\( a + b = 2n + 2m + 2 \) - 4. Adım: 2 parantezine alalım:
\( a + b = 2(n + m + 1) \) - 5. Değerlendirme: \( n + m + 1 \) bir tam sayıdır. Bir tam sayının 2 ile çarpımı daima çift bir sonuç verir.
Örnek 5:
Mantıksal Akıl Yürütme ve İspat 🔍
Bir okulun matematik kulübünde Ali, Burak ve Ceyda şu iddialarda bulunuyor:
Ali: "Bir sayının karesi kendisinden büyüktür."
Burak: "Ali'nin iddiası her zaman doğru değildir."
Ceyda: "Burak haklıysa, aksine bir örnek vermelidir."
Burak'ın iddiasını ispatlamak için Ceyda'ya vermesi gereken aksine örnek ne olabilir?
Bir okulun matematik kulübünde Ali, Burak ve Ceyda şu iddialarda bulunuyor:
Ali: "Bir sayının karesi kendisinden büyüktür."
Burak: "Ali'nin iddiası her zaman doğru değildir."
Ceyda: "Burak haklıysa, aksine bir örnek vermelidir."
Burak'ın iddiasını ispatlamak için Ceyda'ya vermesi gereken aksine örnek ne olabilir?
Çözüm:
Ali'nin iddiası: \( x^2 > x \)
Bu iddianın her zaman doğru olmadığını (yani Burak'ın haklı olduğunu) ispatlamak için \( x^2 \leq x \) durumunu sağlayan bir sayı bulmalıyız.
Bu iddianın her zaman doğru olmadığını (yani Burak'ın haklı olduğunu) ispatlamak için \( x^2 \leq x \) durumunu sağlayan bir sayı bulmalıyız.
- Örnek 1: \( x = 1 \) seçelim.
\( 1^2 = 1 \) olur.
\( 1 > 1 \) ifadesi yanlıştır. (1, 1'e eşittir, büyük değildir). - Örnek 2: \( x = 0 \) seçelim.
\( 0^2 = 0 \) olur.
\( 0 > 0 \) ifadesi yanlıştır. - Örnek 3: \( x = 0,5 \) (yani \( 1/2 \)) seçelim.
\( (0,5)^2 = 0,25 \) olur.
\( 0,25 > 0,5 \) ifadesi yanlıştır.
Örnek 6:
Hukuk ve Mantık İlişkisi ⚖️
Bir mahkemede avukat şu savunmayı yapıyor:
"Eğer müvekkilim olay anında şehir dışındaysa, bu suçu o işlememiştir. Müvekkilimin olay anında şehir dışında olduğu ispatlanmıştır."
Bu durumu sembolik mantıktaki gerektirme ve ispat kurallarıyla açıklayınız.
Bir mahkemede avukat şu savunmayı yapıyor:
"Eğer müvekkilim olay anında şehir dışındaysa, bu suçu o işlememiştir. Müvekkilimin olay anında şehir dışında olduğu ispatlanmıştır."
Bu durumu sembolik mantıktaki gerektirme ve ispat kurallarıyla açıklayınız.
Çözüm:
Bu durum, mantıktaki "Modus Ponens" kuralına bir örnektir.
- p önermesi: Müvekkil şehir dışındadır.
- q önermesi: Suçu müvekkil işlememiştir.
- Koşullu Önerme: \( p \Rightarrow q \) (Eğer şehir dışındaysa, suçu işlememiştir).
- İspatlanan Durum: \( p \) önermesinin doğru olduğu (Şehir dışında olduğu kanıtlanmış).
- Sonuç: \( (p \Rightarrow q) \wedge p \equiv q \) kuralı gereği, \( q \) önermesi de doğru olmak zorundadır.
Örnek 7:
Ancak ve Ancak (İki Yönlü Koşullu Önerme) İspatı 🔗
\( n \) bir tam sayı olmak üzere;
"\( n \) tek sayıdır \(\iff\) \( n^2 \) tek sayıdır."
Bu ifadeyi ispatlamak için hangi iki durumun gösterilmesi gerektiğini açıklayınız.
\( n \) bir tam sayı olmak üzere;
"\( n \) tek sayıdır \(\iff\) \( n^2 \) tek sayıdır."
Bu ifadeyi ispatlamak için hangi iki durumun gösterilmesi gerektiğini açıklayınız.
Çözüm:
\( p \iff q \) şeklindeki bir teoremi ispatlamak için hem \( p \Rightarrow q \) hem de \( q \Rightarrow p \) durumlarının doğruluğu ispatlanmalıdır.
- 1. Durum (\( p \Rightarrow q \)): \( n \) tek ise \( n^2 \) tektir.
\( n = 2k+1 \Rightarrow n^2 = 4k^2 + 4k + 1 = 2(2k^2+2k) + 1 \). (Doğru) - 2. Durum (\( q \Rightarrow p \)): \( n^2 \) tek ise \( n \) tektir.
Bu durumu "olmayana ergi" ile yapalım: \( n \) çift olsun (\( n=2k \)). O halde \( n^2 = 4k^2 = 2(2k^2) \) olur ki bu çifttir. \( n^2 \) tek dendiği için çelişki oluşur, demek ki \( n \) tektir. (Doğru)
Örnek 8:
Geometrik Bir İspat (Metinsel Betimleme) 📐
Bir üçgenin iç açılarının ölçüleri toplamının \( 180^\circ \) olduğunu, doğrudan ispat yöntemiyle ve paralel doğrular yardımıyla nasıl açıklarsınız?
Bir üçgenin iç açılarının ölçüleri toplamının \( 180^\circ \) olduğunu, doğrudan ispat yöntemiyle ve paralel doğrular yardımıyla nasıl açıklarsınız?
Çözüm:
Bu klasik geometri teoremini şu adımlarla ispatlayabiliriz:
- 1. Adım: Bir ABC üçgeni düşünelim. Açıları \( a, b, c \) olsun.
- 2. Adım: Üçgenin BC tabanına paralel olacak şekilde A köşesinden geçen bir doğru çizelim.
- 3. Adım: Paralel doğrular arasındaki iç ters açılar (Z kuralı) kuralını hatırlayalım.
- 4. Adım: A köşesinde oluşan yeni açılar, üçgenin içindeki \( b \) ve \( c \) açılarına eşit olacaktır.
- 5. Adım: A köşesindeki tüm açılar artık bir doğru oluşturur. Bir doğrunun açısı \( 180^\circ \) olduğundan;
\( a + b + c = 180^\circ \) olduğu görülür.
Daha Fazla Soru ve İçerik İçin QR Kodu Okutun
https://www.eokultv.com/atolye/9-sinif-matematik-ispat/sorular