Cebirsel ifade, terim, katsayı; denklem ile özdeşlik farkı; temel özdeşlikler (tam kare, iki kare farkı) ve geometrik modelleri; çift-tek, ardışık sayılar ve bölünebilmenin cebirsel gösterimi; doğrudan ispat, örnekle doğrulama ve karşı örnekle çürütme.
Cebirsel ifadeler ve özdeşlikler
Cebirsel ifade: sayı, değişken ve işlemlerden oluşur: 3x² − 2xy + 5
- Terim: 3x², −2xy, 5 · Katsayı: 3, −2 · Sabit terim: 5
- Benzer terimler toplanabilir: 4a + 7a = 11a
Denklem ile özdeşlik farkı:
- 2x + 1 = 7 → yalnızca x = 3 için doğru (denklem)
- 2(x + 3) = 2x + 6 → her x için doğru (özdeşlik)
Temel özdeşlikler:
| Özdeşlik | Örnek |
|---|---|
| (a + b)² = a² + 2ab + b² | 103² = 10 000 + 600 + 9 = 10 609 |
| (a − b)² = a² − 2ab + b² | 49² = 2500 − 100 + 1 = 2401 |
| a² − b² = (a − b)(a + b) | 52² − 48² = 4 · 100 = 400 |
Sayıların cebirsel gösterimi
n bir tam sayı olmak üzere:
| Sayı türü | Gösterim |
|---|---|
| Çift sayı | 2n |
| Tek sayı | 2n + 1 |
| Ardışık iki tam sayı | n, n + 1 |
| Ardışık iki çift sayı | 2n, 2n + 2 |
| 3’ün katı | 3n |
| 3’e bölümünden kalan 1 olan | 3n + 1 |
| İki basamaklı sayı ab | 10a + b |
Örnek: İki basamaklı ab sayısı ile ba sayısının toplamı:
(10a + b) + (10b + a) = 11a + 11b = 11(a + b) → Toplam her zaman 11’in katıdır.
İspat yöntemleri
Doğrudan ispat: Genel gösterimle başla, adım adım sonuca ulaş.
Teorem: İki tek sayının toplamı çifttir.
İspat: Tek sayılar 2m + 1 ve 2n + 1 olsun (m, n ∈ ℤ).
(2m + 1) + (2n + 1) = 2m + 2n + 2 = 2(m + n + 1) → 2’nin katı olduğu için çifttir. ∎
Teorem: Ardışık iki tam sayının karelerinin farkı, bu sayıların toplamına eşittir.
İspat: (n + 1)² − n² = n² + 2n + 1 − n² = 2n + 1 = n + (n + 1) ∎
Örnekle doğrulama ispat değildir! 3 + 5 = 8, 7 + 9 = 16 … sadece birkaç örnek “her zaman” olduğunu kanıtlamaz.
Karşı örnekle çürütme: Tek bir karşı örnek, “her zaman” önermesini yanlışlamaya yeter.
“Her asal sayı tektir.” → 2 asal ve çifttir. Önerme yanlış. ✗
Örnekler bir fikri destekler ama kanıtlamaz.
Genel gösterim (2n, 2n + 1…) ile yapılan akıl yürütme ispattır.
Bir karşı örnek, genellemeyi çürütmeye yeter.
Kavramlar
- özdeşlik
- her değer için doğru eşitlik
- katsayı
- değişkenin önündeki sayı
- ispat
- mantıksal kanıt
- karşı örnek
- önermeyi yanlışlayan örnek
- teorem
- ispatlanmış önerme
- Denklem bazı değerler için, özdeşlik her değer için doğrudur
- (a + b)² = a² + 2ab + b²
- a² − b² = (a − b)(a + b)
- Çift 2n, tek 2n + 1, iki basamaklı ab = 10a + b
- Doğrudan ispat genel gösterimle yapılır
- Örnek ispat değildir; tek karşı örnek çürütmeye yeter
Örnek soru ve çözümü
“Ardışık üç tam sayının toplamı her zaman 3’ün katıdır.” önermesini ispatlayınız.
Sayılar n, n + 1, n + 2 olsun. Toplam 3n + 3 = 3(n + 1) → 3’ün katıdır. ∎
Çözümlü örnekler
1. 98² sayısını özdeşlik kullanarak hesaplayınız. Kolay
Çözüm(100 − 2)² = 10 000 − 400 + 4 = 9604.
2. x − y = 3 ve xy = 10 ise x² + y² kaçtır? Orta
Çözüm(x − y)² = x² + y² − 2xy → 9 = x² + y² − 20 → 29.
3. “n² + n + 41 her n doğal sayısı için asaldır.” önermesini çürütünüz. Zor
Çözümn = 40: 1600 + 40 + 41 = 1681 = 41² asal değildir. Karşı örnek bulundu.
Sık yapılan hatalar
- (a + b)² = a² + b² sanmak.
- Birkaç örnek denemeyi ispat sanmak.
- Ardışık iki tek sayıyı n, n + 1 diye göstermek (2n + 1, 2n + 3 olmalı).
Biliyor muydun?
n² + n + 41 ifadesi n = 0’dan 39’a kadar hep asal sayı verir. Euler bunu fark ettiğinde birçok kişi “her zaman asal” sandı, ta ki n = 40 gelene kadar!