Ek-1: İrrasyonel Sayılar

\( \sqrt{2} \)'nin irrasyonel bir sayı olduğunu ispatlamak için çelişkiyle ispat yöntemini kullanalım.

İlk önce \( \sqrt{2} \)'nin rasyonel bir sayı olduğunu varsayalım. \( \sqrt{2} \) rasyonel ise tanım gereği aralarında asal \( a \) ve \( b \) tam sayılarının oranı şeklinde yazılabilir.

\( \sqrt{2} = \dfrac{a}{b} \)

İki tarafın karesini alalım ve \( a^2 \)'yi yalnız bırakalım.

\( 2 = \dfrac{a^2}{b^2} \)

\( a^2 = 2b^2 \)

Eşitliğin sağ tarafında 2 çarpanı olduğu için ifadenin her iki tarafı, dolayısıyla \( a^2 \) çift sayı olmak zorundadır (herhangi bir tam sayının çift bir sayı ile çarpımının sonucu çift olur). \( a^2 \) çift ise \( a \) da çift olmak zorundadır (bir çift sayının karesi çift, bir tek sayının karesi tektir).

\( a \) bir çift sayı olduğu için bir diğer \( k \) tam sayısı cinsinden aşağıdaki şekilde yazılabilir (\( k \in \mathbb{Z} \)).

\( a = 2k \)

\( a^2 = 4k^2 \)

\( a^2 \)'nin eşitini yukarıdaki eşitlikte yerine koyup \( b^2 \)'yi yalnız bırakalım.

\( 4k^2 = 2b^2 \)

\( b^2 = 2k^2 \)

Yukarıda \( a \) için gösterdiğimiz şekilde, eşitliğin sağ tarafında 2 çarpanı olduğu için ifadenin her iki tarafı, dolayısıyla \( b^2 \) çift sayı olmak zorundadır. \( b^2 \) çift ise \( b \) de çift olmak zorundadır.

İspata \( a \) ve \( b \)'nin aralarında asal tam sayılar ve \( \sqrt{2} \)'nin rasyonel bir sayı olduğu varsayımı ile başlamıştık, ama bu varsayımın \( a \) ve \( b \)'nin birer çift sayı olmasını gerektirdiğini bulmuş olduk. 2 sayısı iki çift sayının ortak bir çarpanı olduğu için iki çift sayı aralarında asal olamaz, dolayısıyla ispatın başında yaptığımız aralarında asal varsayımı doğru olamaz.

Sonuç olarak oranları \( \sqrt{2} \)'ye eşit olacak ve aynı zamanda aralarında asal iki tam sayı bulamayacağımızı, dolayısıyla \( \sqrt{2} \)'nin rasyonel olamayacağını ve irrasyonel olmak zorunda olduğunu göstermiş olduk.

\( m \) ve \( n \) olmak üzere iki rasyonel sayı tanımlayalım. Bu rasyonel sayıları aşağıdaki şekilde yazabiliriz.

\( a, b, c, d \in \mathbb{Z}, \quad b, d \ne 0 \)

\( m = \dfrac{a}{b} \)

\( n = \dfrac{c}{d} \)

\( m \) ve \( n \)'nin toplamını alalım.

\( m + n = \dfrac{a}{b} + \dfrac{c}{d} \)

\( m + n = \dfrac{ad + bc}{bd} \)

Elde ettiğimiz kesirli ifadenin payı ve paydası birer tam sayıdır ve paydası sıfırdan farklıdır, dolayısıyla \( m + n \) toplamı bir rasyonel sayıdır.

\( m \) ve \( n \) olmak üzere iki rasyonel sayı tanımlayalım. Bu rasyonel sayıları aşağıdaki şekilde yazabiliriz.

\( a, b, c, d \in \mathbb{Z}, \quad b, d \ne 0 \)

\( m = \dfrac{a}{b} \)

\( n = \dfrac{c}{d} \)

\( m \) ve \( n \)'nin çarpımını alalım.

\( m \cdot n = \dfrac{a}{b} \cdot \dfrac{c}{d} \)

\( m \cdot n = \dfrac{ac}{bd} \)

Elde ettiğimiz kesirli ifadenin payı ve paydası birer tam sayıdır ve paydası sıfırdan farklıdır, dolayısıyla \( m \cdot n \) çarpımı bir rasyonel sayıdır.

Bir irrasyonel ve bir rasyonel sayının toplamının/farkının bir irrasyonel sayı olduğunu ispatlamak için çelişkiyle ispat yöntemini kullanalım.

\( m \) irrasyonel ve \( n \) rasyonel olmak üzere iki sayı tanımlayalım. Bu iki sayının toplamının bir rasyonel sayı olduğunu varsayalım. Bu durumda \( n \) rasyonel sayısını ve iki sayının toplamını aşağıdaki şekilde yazabiliriz.

\( a, b, c, d \in \mathbb{Z}, \quad b, d \ne 0 \)

\( n = \dfrac{a}{b} \)

\( m + n = m + \dfrac{a}{b} = \dfrac{c}{d} \)

\( m \)'yi yalnız bırakırsak aşağıdaki ifadeyi elde ederiz.

\( m = \dfrac{c}{d} - \dfrac{a}{b} \)

\( m = \dfrac{bc - ad}{bd} \)

Elde ettiğimiz kesirli ifadenin payı ve paydası birer tam sayıdır ve paydası sıfırdan farklıdır, dolayısıyla bir rasyonel sayıdır. İspatın başında \( m \)'nin bir irrasyonel sayı olduğunu varsaydığımız için bir çelişki elde etmiş olduk, buna göre bir sayının bir rasyonel sayı ile toplamının sonucu rasyonel ise, bu sayı rasyonel sayı olmak zorundadır.

Sonuç olarak bir irrasyonel sayı ile rasyonel sayının toplamının rasyonel olamayacağını ve irrasyonel olmak zorunda olduğunu göstermiş olduk.

Bir irrasyonel ve sıfırdan farklı bir rasyonel sayının çarpımının bir irrasyonel sayı olduğunu ispatlamak için çelişkiyle ispat yöntemini kullanalım.

\( m \) bir irrasyonel ve \( n \) sıfırdan farklı bir rasyonel sayı olmak üzere iki sayı tanımlayalım. Bu iki sayının çarpımının bir rasyonel sayı olduğunu varsayalım. Bu durumda \( n \) rasyonel sayısını ve iki sayının çarpımını aşağıdaki şekilde yazabiliriz.

\( a, b, c, d \in \mathbb{Z}, \quad a, b, d \ne 0 \)

\( n = \dfrac{a}{b} \)

\( m \cdot n = m \cdot \dfrac{a}{b} = \dfrac{c}{d} \)

\( m \)'yi yalnız bırakırsak aşağıdaki ifadeyi elde ederiz.

\( m = \dfrac{c}{d} \cdot \dfrac{b}{a} \)

\( m = \dfrac{bc}{ad} \)

Elde ettiğimiz kesirli ifadenin payı ve paydası birer tam sayıdır ve paydası sıfırdan farklıdır, dolayısıyla bir rasyonel sayıdır. İspatın başında \( m \)'nin bir irrasyonel sayı olduğunu varsaydığımız için bir çelişki elde etmiş olduk, buna göre bir sayının bir rasyonel sayı ile çarpımının sonucu rasyonel ise, bu sayı rasyonel sayı olmak zorundadır.

Sonuç olarak bir irrasyonel sayı ile sıfırdan farklı bir rasyonel sayının çarpımının rasyonel olamayacağını ve irrasyonel olmak zorunda olduğunu göstermiş olduk.