Gerçek Sayıların İşlem Özelliklerini Cebirsel Olarak İfade Etme

 1.4. Gerçek Sayıların İşlem Özelliklerini Cebirsel Olarak İfade Etme

 🎯 Kazanımlar

Bu bölümü tamamladığında;

- Kesin hüküm bildiren matematiksel ifadeleri (önermeleri) ayırt edebilecek ve önermelerin değilini (olumsuzunu) sembollerle yazabileceksin,

- Niceleyicileri (her $\forall$, bazı $\exists$) ve mantık bağlaçlarını ($\land, \lor, \underline{\lor}, \implies, \iff$) kullanarak sözel matematiksel kuralları sembolik dile çevirebileceksin,

- Gerçek sayılarda dört işlem özelliklerini (değişme, birleşme, birim eleman, ters eleman, yutan eleman, dağılma ve sıfır çarpan özelliği) cebirsel olarak ifade edebileceksin,

- Temel özdeşlikleri ($(a \pm b)^2$, $a^2 - b^2$ ve $(a+b)^2 - (a-b)^2 = 4ab$) cebirsel işlemlerle ve geometrik alan modelleriyle doğrulayarak problem çözümlerinde kullanabileceksin.

🧩 Başlamadan Önce: Sayı kümelerini ($\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}$), harfli ifadelerde parantez dağıtma kurallarını ve dikdörtgen/kare alan bağıntılarını hatırlamalısın.

 📖Konu Anlatımı

 Matematiksel Önermeler, Niceleyiciler ve Mantık Bağlaçları

Bir bilgisayar programında `if (sicaklik > 85 && fan_durumu == 0)` satırını yazdığında makineye kesin doğru veya kesin yanlış sonuç üreten mantıksal bir koşul vermiş olursun. Matematikte de tüm kurallar ve ispatlar bu kesinlik dili üzerine kurulur.

Tanım: Doğru ya da yanlış kesin bir hüküm bildiren ifadelere önerme denir. Soru, istek, emir veya kişiden kişiye değişen öznel yargılar önerme belirtmez.

- "İki tek tam sayının çarpımı tektir." $\implies$ Kesin doğru hüküm bildirir, önermedir.

- "$\sqrt{5} + \sqrt{11} = \sqrt{16}$'dır." $\implies$ Kesin yanlış hüküm bildirir, önermedir.

- "$4x - 1 = 11$ ise $x$ kaçtır?" $\implies$ Soru cümlesidir, önerme değildir.

 Niceleyiciler, Bağlaçlar ve Sembollerin Değili (Olumsuzu)

Bir önermenin hükmünün değiştirilmesiyle elde edilen yeni önermeye o önermenin değili (olumsuzu) denir. Doğru bir önermenin değili yanlış; yanlış bir önermenin değili ise doğrudur.

 🧊Unutma!  

 1. Niceleyici içeren bir önermenin değili alınırken hem niceleyici ($\forall \leftrightarrow \exists$) hem de içerideki hüküm sembolü tersine çevrilir:

    - $" \forall x \in \mathbb{R}, \ x^2 \ge 0 "$ önermesinin değili: $" \exists x \in \mathbb{R}, \ x^2 < 0 "$ olur.

    - $" \exists x \in \mathbb{N}, \ x + 4 = 1 "$ önermesinin değili: $" \forall x \in \mathbb{N}, \ x + 4 \neq 1 "$ olur.

 2. Mantık bağlaçlarının değilinde (De Morgan kuralları) yalnızca bağlaç değil, bağlanan her iki önerme de değillenir:

    $$(p \land q)' \equiv p' \lor q' \qquad \text{ve} \qquad (p \lor q)' \equiv p' \land q'$$

🔎 Hemen Dene: $" \forall x \in \mathbb{Z}^-, \ (2x - 1 < 0 \land x \notin \mathbb{N}) "$ önermesinin değilini (olumsuzunu) sembolik dille yaz.

Cevap:

$\forall$ sembolü $\exists$'e dönüşür; parantez içindeki her iki önerme ve $\land$ bağlacı De Morgan kuralıyla değillenir ($<$ yerine $\ge$, $\land$ yerine $\lor$, $\notin$ yerine $\in$): $\exists x \in \mathbb{Z}^-, \ (2x - 1 \ge 0 \lor x \in \mathbb{N})$.

 Gerçek Sayılarda İşlem Özelliklerinin Cebirsel İfadesi

Bir güneş enerjisi tarlasında her sırada $a$ adet mavi, $b$ adet siyah panel bulunan $k$ tane sıra olduğunu düşün. Toplam panel sayısını $k \cdot (a + b)$ olarak da, $k \cdot a + k \cdot b$ olarak da hesaplasan aynı sonuca ulaşırsın. İşte bu eşitlik, gerçek sayıların dağılma özelliğinin cebirsel bir yansımasıdır.

 Gerçek Sayılar Kümesinde ($\mathbb{R}$) Toplama ve Çarpma Özellikleri

 Sıfır Çarpan ve İşaret Önermeleri ($\forall a, b \in \mathbb{R}$)

- Çarpımın Sıfır Olması: İki gerçek sayının çarpımı sıfır ise, ancak ve ancak çarpanlardan en az biri sıfırdır:

  $$a \cdot b = 0 \iff (a = 0 \lor b = 0)$$

- Çarpımın Sıfırdan Farklı Olması: İki gerçek sayının çarpımı sıfırdan farklı ise, ancak ve ancak her iki çarpan da sıfırdan farklıdır:

  $$a \cdot b \neq 0 \iff (a \neq 0 \land b \neq 0)$$

- Çarpımın Negatif Olması: İki gerçek sayının çarpımı negatif ise, ancak ve ancak çarpanlar zıt işaretlidir:

  $$a \cdot b < 0 \iff (a < 0 \land b > 0) \lor (a > 0 \land b < 0)$$

 🔥Kritik Kural: Gerçek sayılarda çıkarma ve bölme işlemlerinin değişme özelliği, birleşme özelliği, birim elemanı, ters elemanı ve yutan elemanı yoktur! Ayrıca $0$ sayısının çarpma işlemine göre tersi tanımsızdır ($\frac{1}{0}$ tanımsız).

🔎 Hemen Dene: $-\sqrt{12}$ sayısının toplama işlemine göre tersi $x$, çarpma işlemine göre tersi $y$ olduğuna göre $x \cdot y$ çarpımını bul.

Cevap:

$-\sqrt{12}$'nin toplamaya göre tersi $x = +\sqrt{12}$, çarpmaya göre tersi ise $y = -\dfrac{1}{\sqrt{12}}$'dir. Çarpımları: $x \cdot y = \sqrt{12} \cdot \left(-\dfrac{1}{\sqrt{12}}\right) = -1$ olur.

 Özdeşlikler ve Geometrik Alan Temsilleri

$2x + 1 = 9$ eşitliği yalnızca $x = 4$ için doğrudur; buna denklem denir. Oysa $2(x + 3) = 2x + 6$ eşitliğinde $x$ yerine hangi gerçek sayıyı yazarsan yaz eşitlik daima sağlanır.

Tanım: İçerdiği değişkenlerin alabileceği tüm gerçek sayı değerleri için doğru olan cebirsel eşitliklere özdeşlik denir.

 Temel Özdeşlikler ve Açılımları ($\forall a, b \in \mathbb{R}$)

 Özdeşliklerin Geometrik Alan Modelleri ($a > b > 0$)

Cebirsel dağılma özelliğiyle elde ettiğimiz bu özdeşlikler, karesel ve dikdörtgensel bölgelerin alan toplamlarıyla birebir örtüşür:

1. $(a + b)^2 = a^2 + 2ab + b^2$ Modeli:  

   Kenar uzunluğu $(a + b)$ birim olan bir kare, kenarları $a$ ve $b$ olacak şekilde içten bölündüğünde; alanı $a^2$ olan $1$ kare, alanı $b^2$ olan $1$ kare ve alanı $a \cdot b$ olan $2$ eş dikdörtgen oluşur.

2. $(a - b)^2 = a^2 - 2ab + b^2$ Modeli:  

   Kenarı $a$ olan büyük kareden ($a^2$), kenarları $a \times b$ olan iki dikdörtgen şerit çıkarıldığında köşedeki $b^2$ karesi üst üste bindiği için iki kez çıkarılmış olur; bu yüzden $b^2$ alanı bir kez geri eklenir: $a^2 - 2ab + b^2$.

3. $a^2 - b^2 = (a - b)(a + b)$ ve $(a + b)^2 - (a - b)^2 = 4ab$ Modelleri:  

   - Kenarı $a$ olan kareden ($a^2$), bir köşesindeki kenarı $b$ olan küçük kare ($b^2$) kesilip çıkarıldığında kalan L-biçimli bölgenin alanı; kısa kenarı $(a - b)$, uzun kenarı $(a + b)$ olan dikdörtgenin alanına eşittir.

   - Kenarı $(a + b)$ olan büyük karenin dış çevresine, kısa kenarı $b$ ve uzun kenarı $a$ olan $4$ adet eş dikdörtgen rüzgârgülü gibi yerleştirildiğinde tam ortada kenarı $(a - b)$ olan küçük bir kare boşluk kalır. Büyük kareden ortadaki küçük kare çıkarıldığında geriye $4$ dikdörtgenin alanı ($4ab$) kalır.

 📌Pratik Tüyo: Karmaşık görünen büyük sayı işlemlerinde veya köklü ifadelerde mutlaka iki kare farkı veya tam kare gizlidir:

 - Sayıların kareleri çıkarılıyorsa: $a^2 - b^2 = (a - b)(a + b)$ uygula.

 - Kök içinde üç terimli toplam/fark varsa: $\sqrt{a^2 \pm 2ab + b^2} = \sqrt{(a \pm b)^2} = \lvert a \pm b \rvert$ dönüşümünü yap!

 ⚠️Çok Önemli Tam Kare Uyarısı:  

 Üslü ifadelerdeki $(a \cdot b)^2 = a^2 \cdot b^2$ kuralını toplama ve çıkarmaya uyarlayıp $(a + b)^2 = a^2 + b^2$ yazmak kesinlikle yanlıştır! Toplamın veya farkın karesinde ortadaki $\pm 2ab$ terimi asla unutulmamalıdır.

🔎 Hemen Dene: $(3x - 4y)^2 = 9x^2 + Kxy + 16y^2$ eşitliği bir özdeşlik olduğuna göre $K$ gerçek sayısı kaçtır?

Cevap:

$(3x - 4y)^2 = (3x)^2 - 2 \cdot (3x) \cdot (4y) + (4y)^2 = 9x^2 - 24xy + 16y^2$'dir. Terimler eşleştirildiğinde $K = -24$ bulunur.

 📋 Hızlı Bakış (Formül ve Kural Özeti)

 ✏️Örnekler (Özgün ve Detaylı Çözümler)

Örnek 1 [🟢 Temel - Kavrama]: Aşağıda sözel olarak verilen matematiksel önermeleri niceleyici ve mantık bağlaçları kullanarak sembolik dille ifade ediniz; ardından her bir önermenin değilini (olumsuzunu) sembolik olarak yazınız.

a) $p:$ "Her $a$ ve $b$ gerçek sayısı için $a$ ile $b$'nin çarpımı sıfırdan farklı ise $a$ sıfırdan farklıdır ve $b$ sıfırdan farklıdır."<br>

b) $q:$ "Bazı $x$ doğal sayıları için $4x - 9$ ifadesi sıfırdan küçüktür veya $x$ sayısı $5$'e eşittir."

Çözüm:

- Ne verilmiş? Sözel olarak tanımlanmış iki bileşik matematiksel önerme ($p$ ve $q$).

- Ne isteniyor? Önermelerin ve değillerinin ($\forall, \exists, \land, \lor, \implies$) sembolleriyle yazımı.

- Hangi kural/yöntem? "Her" için $\forall$, "Bazı" için $\exists$, "ve" için $\land$, "veya" için $\lor$, "ise" için $\implies$ kullanılır. Değil alınırken $\forall \leftrightarrow \exists$, $(A \implies B)' \equiv A \land B'$, $\land \leftrightarrow \lor$, $< \leftrightarrow \ge$, $= \leftrightarrow \neq$ dönüşümleri yapılır.

a) $p$ önermesinin sembolik gösterimi:

$$p: \forall a, b \in \mathbb{R}, \ (a \cdot b \neq 0 \implies a \neq 0 \land b \neq 0)$$

$p'$ (değili) önermesinin sembolik gösterimi:  

Niceleyicili koşullu önermelerde $\forall$ niceleyicisi $\exists$'e dönüşür. $(A \implies B)' \equiv A \land B'$ kuralı ve De Morgan kuralı uygulandığında:

$$(a \neq 0 \land b \neq 0)' \equiv (a = 0 \lor b = 0)$$

olduğundan değil önermesi şöyle kurulur:

$$p': \exists a, b \in \mathbb{R}, \ \left[a \cdot b \neq 0 \land (a = 0 \lor b = 0)\right]$$

(Sözel anlamı: "Çarpımları sıfırdan farklı olduğu hâlde en az biri sıfır olan en az bir $a, b$ gerçek sayı çifti vardır" — $p$ doğru bir teorem olduğundan değili olan $p'$ kesinlikle yanlış ($0$) bir önermedir).

b) $q$ önermesinin sembolik gösterimi:

$$q: \exists x \in \mathbb{N}, \ (4x - 9 < 0 \lor x = 5)$$

$q'$ (değili) önermesinin sembolik gösterimi:  

$\exists$ niceleyicisi $\forall$'e, $<$ sembolü $\ge$'e, $\lor$ bağlacı $\land$'e, $=$ sembolü ise $\neq$'e dönüşür:

$$q': \forall x \in \mathbb{N}, \ (4x - 9 \ge 0 \land x \neq 5)$$

Kontrol:

- $p$ önermesi sıfır çarpan kuralı gereği doğru ($1$), değili $p'$ yanlıştır ($0$).

- $q$ önermesi $x = 1 \in \mathbb{N}$ için $4(1)-9 = -5 < 0$ sağlandığından doğru ($1$), değili olan $q'$ ise her doğal sayıda sağlanmadığı için ($x=1$'de bozulur) yanlıştır ($0$). Önerme ile değilinin doğruluk değerleri birbirinin zıddıdır.

Sonuç:

- a) $p: \forall a, b \in \mathbb{R}, \ (a \cdot b \neq 0 \implies a \neq 0 \land b \neq 0)$ ve $p': \exists a, b \in \mathbb{R}, \ \left[a \cdot b \neq 0 \land (a = 0 \lor b = 0)\right]$

- b) $q: \exists x \in \mathbb{N}, \ (4x - 9 < 0 \lor x = 5)$ ve $q': \forall x \in \mathbb{N}, \ (4x - 9 \ge 0 \land x \neq 5)$

Örnek 2 [🟢 Temel - Kavrama]: "Ardışık iki tam sayının kareleri farkı daima tek tam sayıdır."

a) Bu önermeyi $n \in \mathbb{Z}$ kullanarak sembolik dille yazınız.

b) Önermenin doğruluğunu gerçek sayılarda işlem özellikleri ve özdeşliklerden yararlanarak cebirsel olarak ispatlayınız.

Çözüm:

- Ne verilmiş? Ardışık iki tam sayının kareleri farkının tek sayı olduğu önermesi.

- Ne isteniyor? Sembolik gösterim ve Hipotez – Hüküm – İspat adımlarıyla cebirsel kanıt.

- Hangi kural/yöntem? Ardışık iki tam sayı $n$ ve $n+1$ olarak seçilir; tam kare açılımı veya iki kare farkı özdeşliği uygulanır.

a) Sembolik Gösterim:

$$\forall n \in \mathbb{Z}, \ \exists k \in \mathbb{Z}, \ (n + 1)^2 - n^2 = 2k + 1$$

b) Cebirsel İspat:

- Hipotez: $n \in \mathbb{Z}$ olmak üzere $n$ ve $n + 1$ ardışık iki tam sayı olsun.

- Hüküm: $(n + 1)^2 - n^2$ ifadesi tek tam sayıdır.

- İspat Adımları:

  $(n + 1)^2$ ifadesini iki terimin toplamının karesi özdeşliğiyle açalım:

  $$(n + 1)^2 - n^2 = (n^2 + 2n + 1) - n^2$$

  Toplamanın değişme ve birleşme özelliklerini kullanarak $n^2$ ve $-n^2$ (toplamaya göre ters elemanlar) terimlerini gruplayalım:

  $$= (n^2 - n^2) + 2n + 1 = 0 + 2n + 1 = 2n + 1$$

  $\forall n \in \mathbb{Z}$ için $2n$ çift sayı olduğundan, $2n + 1$ ifadesi tanım gereği tek tam sayıdır.

Kontrol: $n = 4$ ve $n + 1 = 5$ için $5^2 - 4^2 = 25 - 16 = 9 = 2(4) + 1$ olup sonuç tek sayıdır.

Sonuç: $\forall n \in \mathbb{Z}$ için $(n+1)^2 - n^2 = 2n + 1$ olduğundan önerme daima doğrudur.

Örnek 3 [🟡 Orta - İşlemsel]: $a, b \in \mathbb{R}$ olmak üzere;

- $a$ sayısı, $\sqrt{27}$ sayısının toplama işlemine göre tersine,

- $b$ sayısı, $\dfrac{\sqrt{3}}{6}$ sayısının çarpma işlemine göre tersine eşittir.

Buna göre $(a + b)^2$ ifadesinin sayısal değerini bulunuz.

Çözüm:

- Ne verilmiş? $a$ ve $b$ gerçek sayılarının toplama ve çarpmaya göre ters eleman tanımları.

- Ne isteniyor? $(a + b)^2$ tam kare ifadesinin değeri.

- Hangi kural/yöntem? $x$'in toplamaya göre tersi $-x$, çarpmaya göre tersi $\dfrac{1}{x}$'tir. Köklü ifadeler düzenlendikten sonra toplanıp karesi alınır.

1. $a$ sayısını bulalım:

$\sqrt{27} = \sqrt{9 \cdot 3} = 3\sqrt{3}$'tür. Toplama işlemine göre tersi zıt işaretlisidir:

$$a = -3\sqrt{3}$$

2. $b$ sayısını bulalım:

$\dfrac{\sqrt{3}}{6}$ sayısının çarpma işlemine göre tersi pay ve paydasının yer değiştirmesidir. Pay ve paydayı $\sqrt{3}$ ile genişletelim:

$$b = \frac{6}{\sqrt{3}} = \frac{6\sqrt{3}}{\sqrt{3} \cdot \sqrt{3}} = \frac{6\sqrt{3}}{3} = 2\sqrt{3}$$

3. $(a + b)^2$ değerini hesaplayalım:

(Tam kareyi açmak yerine önce parantez içini toplamak çok daha pratiktir!)

$$a + b = -3\sqrt{3} + 2\sqrt{3} = (-3 + 2)\sqrt{3} = -\sqrt{3}$$

Şimdi karesini alalım:

$$(a + b)^2 = \left(-\sqrt{3}\right)^2 = 3$$

Kontrol: Tam kare özdeşliğiyle açılsaydı: $a^2 + 2ab + b^2 = (-3\sqrt{3})^2 + 2(-3\sqrt{3})(2\sqrt{3}) + (2\sqrt{3})^2 = 27 - 36 + 12 = 3$ yine aynı sonucu verirdi.

Sonuç: $3$

Örnek 4 [🟡 Orta - İşlemsel]: 

$$A = \sqrt{\frac{9}{25} + \frac{4}{9} - \frac{4}{5}} \qquad \text{ve} \qquad B = \frac{2028^2 - 2022^2}{60}$$

olduğuna göre $A$ ve $B$ sayılarını işlem kolaylığı sağlayan özdeşliklerden yararlanarak hesaplayınız.

Çözüm:

- Ne verilmiş? Karekök içinde üç kesirli terimden oluşan $A$ sayısı ve büyük sayıların kareleri farkını içeren $B$ sayısı.

- Ne isteniyor? $A$ ve $B$'nin sayısal değerleri.

- Hangi kural/yöntem? $A$ için iki terimin farkının karesi ($a^2 - 2ab + b^2 = (a - b)^2$), $B$ için iki kare farkı ($x^2 - y^2 = (x - y)(x + y)$) özdeşliği.

1. $A$ sayısının hesabı:

Kök içindeki terimleri inceleyelim:

- $\dfrac{9}{25} = \left(\dfrac{3}{5}\right)^2$

- $\dfrac{4}{9} = \left(\dfrac{2}{3}\right)^2$

- Çarpımlarının $2$ katı: $-2 \cdot \dfrac{3}{5} \cdot \dfrac{2}{3} = -\dfrac{4}{5}$ (ortadaki terimi tam olarak veriyor!).

O hâlde kök içi $\left(\dfrac{2}{3} - \dfrac{3}{5}\right)^2$ tam karesine eşittir:

$$A = \sqrt{\left(\frac{2}{3} - \frac{3}{5}\right)^2} = \left\lvert \frac{2}{3} - \frac{3}{5} \right\rvert = \left\lvert \frac{10 - 9}{15} \right\rvert = \frac{1}{15}$$

2. $B$ sayısının hesabı:

Pay kısmına iki kare farkı özdeşliğini uygulayalım:

$$2028^2 - 2022^2 = (2028 - 2022) \cdot (2028 + 2022) = 6 \cdot 4050$$

Paydadaki $60$ ile sadeleştirelim:

$$B = \frac{6 \cdot 4050}{60} = \frac{4050}{10} = 405$$

Kontrol: $A$ işleminde $\dfrac{2}{3} > \dfrac{3}{5}$ olduğu için fark pozitif çıkmış ve mutlak değerden $\dfrac{1}{15}$ olarak doğru ayrılmıştır.

Sonuç: $A = \dfrac{1}{15}$ ve $B = 405$

Örnek 5 [🔴 İleri - Yorum ve Analiz]: Bir matematik yazılımı testinde bir öğrenci,

$$P = (\sqrt{5} - 1)(\sqrt{5} + 1)(\sqrt{5} + 2)(\sqrt{5} - 2) + (\sqrt{7} - \sqrt{5})\cdot K$$

ifadesinin sonucunun $K$'nın aldığı değerlerden bağımsız sabit bir sayı olduğunu iddia etmiştir.  

Bu iddianın geçerli olup olmadığını özdeşlikler ve gerçek sayıların işlem özelliklerini (yutan eleman kuralı) kullanarak inceleyiniz.

Çözüm:

- Ne verilmiş? Köklü çarpanlar içeren bir $P$ ifadesi ve sonucun $K$'dan bağımsız olduğu iddiası.

- Ne isteniyor? İlk terimdeki çarpanların sadeleştirilmesi ve iddianın doğruluğunun analizi.

- Hangi kural/yöntem? Çarpmanın değişme ve birleşme özelliğiyle eşlenik terimler yan yana getirilir, iki kare farkı özdeşliği uygulanır; yutan eleman kuralı test edilir.

1. İlk terimdeki dört çarpanı ikişerli gruplayarak iki kare farkı özdeşliğini ($a^2 - b^2$) uygulayalım:

- Birinci grup: $(\sqrt{5} - 1)(\sqrt{5} + 1) = (\sqrt{5})^2 - 1^2 = 5 - 1 = 4$

- İkinci grup: $(\sqrt{5} + 2)(\sqrt{5} - 2) = (\sqrt{5})^2 - 2^2 = 5 - 4 = 1$

Bu iki grubun çarpımı: $4 \cdot 1 = 4$ olur.

2. Şimdi ifadeye tekrar bakalım: İlk kısım $4$ olduğuna göre:

$$P = 4 + (\sqrt{7} - \sqrt{5}) \cdot K$$

Burada $\sqrt{7} - \sqrt{5} \neq 0$ olduğu için $P$ ifadesi $K$'ya bağlıdır; yani öğrencinin iddiası yanlıştır!  

$P$'nin $K$'dan bağımsız olabilmesi için $K$'nın katsayısının çarpmanın yutan elemanı olan $0$ olması gerekirdi. Örneğin $K$'nın önündeki çarpan $(\sqrt{5} - 2)(\sqrt{5} + 2) - 1$ olsaydı:

$$[(\sqrt{5})^2 - 2^2 - 1] \cdot K = (5 - 4 - 1) \cdot K = 0 \cdot K = 0$$

olur ve sonuç $K$'dan bağımsız çıkardı.

Kontrol: $K = 1$ için $P = 4 + \sqrt{7} - \sqrt{5}$ iken $K = 2$ için $P = 4 + 2\sqrt{7} - 2\sqrt{5}$ olup sonuç $K$'ya göre değişmektedir; iddia karşıt örnekle çürütülmüştür.

Sonuç: İddia yanlıştır; ilk çarpım $4 \cdot 1 = 4$ verir ve $K$'nın katsayısı olan $(\sqrt{7} - \sqrt{5})$ ifadesi $0$ olmadığı için sonuç $K$'ya bağlıdır.

Örnek 6 [🔴 İleri - Yeni Nesil]: Bir mikroçip fabrikasında üretilen kare biçimindeki silisyum plakanın bir kenar uzunluğu $(2x + 3y)\text{ mm}$'dir. Plakanın tam merkezinde, kenar uzunluğu $(2x - 3y)\text{ mm}$ olan kare şeklinde bir "test alanı" ayrılmış; geriye kalan çerçeve bölgesi ise $4$ eş dikdörtgensel bellek modülüne bölünmüştür ($2x > 3y > 0$).

Üretim verilerine göre:

- Merkezdeki kare test alanının çevresi $24\text{ mm}$'dir.

- Bir adet dikdörtgensel bellek modülünün alanı $18\text{ mm}^2$'dir.

Buna göre:

a) Dört bellek modülünün toplam alanını $x$ ve $y$ cinsinden özdeşlik yardımıyla ifade ediniz.

b) $x \cdot y$ çarpımının değerini bulunuz.

c) Silisyum plakanın dış çevre uzunluğunun kaç $\text{mm}$ olduğunu hesaplayınız.

Çözüm:

- Ne verilmiş? Dış karenin kenarı $a + b = 2x + 3y$, iç karenin kenarı $a - b = 2x - 3y$, iç karenin çevresi $24\text{ mm}$ ve $4$ eş modülden birinin alanı $18\text{ mm}^2$.

- Ne isteniyor? Modüllerin toplam alanının cebirsel temsili, $x \cdot y$ çarpımı ve dış karenin çevresi.

- Hangi kural/yöntem? Tam kareler farkı özdeşliği: $(a + b)^2 - (a - b)^2 = 4ab$.

a) Dış karenin alanından içteki test karesinin alanını çıkardığımızda $4$ bellek modülünün toplam alanı kalır. $a = 2x$ ve $b = 3y$ dersek:

$$\text{Toplam Modül Alanı} = (2x + 3y)^2 - (2x - 3y)^2$$

$(a + b)^2 - (a - b)^2 = 4ab$ özdeşliğini uygularsak:

$$\text{Toplam Modül Alanı} = 4 \cdot (2x) \cdot (3y) = 24xy\text{ mm}^2$$

b) Bir bellek modülünün alanı $18\text{ mm}^2$ ise $4$ eş modülün toplam alanı:

$$4 \cdot 18 = 72\text{ mm}^2$$

Bulduğumuz cebirsel ifadeyi $72$'ye eşitleyelim:

$$24xy = 72 \implies x \cdot y = \frac{72}{24} = 3$$

c) İçteki test karesinin çevresi $24\text{ mm}$ olduğuna göre bir kenarı:

$$4 \cdot (2x - 3y) = 24 \implies 2x - 3y = 6\text{ mm}$$

Şimdi $(2x + 3y)^2 - (2x - 3y)^2 = 72$ bağıntısında $2x - 3y = 6$ değerini yerine yazalım:

$$(2x + 3y)^2 - 6^2 = 72 \implies (2x + 3y)^2 - 36 = 72 \implies (2x + 3y)^2 = 108$$

Kenar uzunluğu pozitif olduğundan her iki tarafın karekökünü alalım:

$$2x + 3y = \sqrt{108} = \sqrt{36 \cdot 3} = 6\sqrt{3}\text{ mm}$$

Silisyum plakanın dış çevresi bu kenarın $4$ katıdır:

$$\text{Dış Çevre} = 4 \cdot (2x + 3y) = 4 \cdot 6\sqrt{3} = 24\sqrt{3}\text{ mm}$$

Kontrol: Bağımsız bir sağlama için modül boyutlarına $u = 2x$ ve $v = 3y$ diyelim. Test alanının çevresinden $4(u - v) = 24 \implies u - v = 6$ ve bir modülün alanından $u \cdot v = 18$ elde edilir. Buradan $u(u - 6) = 18 \implies u^2 - 6u - 18 = 0 \implies (u - 3)^2 = 27 \implies u = 3 + 3\sqrt{3}$ ve $v = u - 6 = 3\sqrt{3} - 3$ çıkar. Dış kenar $u + v = (3 + 3\sqrt{3}) + (3\sqrt{3} - 3) = 6\sqrt{3}\text{ mm}$ ve dış çevre $4 \cdot 6\sqrt{3} = 24\sqrt{3}\text{ mm}$ olarak bağımsız şekilde doğrulanır. Ayrıca $u \approx 8{,}2 > v \approx 2{,}2 > 0$ olup $2x > 3y > 0$ geometrik şartı da tam sağlanmaktadır.

Sonuç: a) $24xy$, b) $x \cdot y = 3$, c) $24\sqrt{3}\text{ mm}$

 ⚠️Sık Yapılan Hatalar ve Uyarılar

- 🔴 Tam Kare Açılımında Ortadaki $2ab$ Terimini Unutmak: ❌ $(a + b)^2 = a^2 + b^2$ veya ❌ $(x - 3)^2 = x^2 - 9$ yerine ✅ $(a + b)^2 = a^2 + 2ab + b^2$ ve ✅ $(x - 3)^2 = x^2 - 6x + 9$ yapılmalıdır. Parantez karesinde birinci ile ikincinin çarpımının $2$ katı mutlaka yer alır.

- 🔴 Farkın Karesinde Son Terimi Negatif Yazmak: ❌ $(2x - 5)^2 = 4x^2 - 20x - 25$ yerine ✅ $(2x - 5)^2 = 4x^2 - 20x + 25$ yapılmalıdır. İkinci terim olan $(-5)$'in karesi $(-5)^2 = +25$ olduğu için tam kare açılımlarında son terim daima pozitiftir.

- 🔴 Önermenin Değilini Alırken Eşitlik Durumunu Atlamak: ❌ $(x > 4)' \equiv x < 4$ yerine ✅ $(x > 4)' \equiv x \le 4$ yazılmalıdır. Bir sayı $4$'ten büyük değilse, $4$'ten küçük olabileceği gibi $4$'e eşit de olabilir.

- 🟡 Sıfırın Çarpmaya Göre Tersini Sıfır Sanmak: $0$ sayısının toplama işlemine göre tersi $-0 = 0$'dır. Ancak çarpma işlemine göre tersi $\dfrac{1}{0}$ tanımsız olduğundan $0$'ın çarpmaya göre tersi yoktur.

- 🟡 İki Kare Toplamını İki Kare Farkıyla Karıştırmak: $a^2 + b^2$ ifadesi iki kare farkı gibi $(a - b)(a + b)$ şeklinde çarpanlara ayrılamaz; çünkü $(a - b)(a + b) = a^2 - b^2 \neq a^2 + b^2$'dir. Gerçek sayılar kümesinde $a^2 + b^2$ (iki kare toplamı) ifadesi doğrusal çarpanlarına ayrılamaz.