İlk olarak x∈R için tanım gereği;
|x|=max olur;
\boxed{\boxed{i :}---------------------------}
|x|=\max\{x,-x\} dolayısıyla |x| için 2 seçenekten 2si de negativ veya pozitiv olamaz ve biri pozitiv öbürü negativse , |x|\ge 0 çünki , pozitiv sayılar negativlerden "büyük"tür.
\boxed{\boxed{ii :}---------------------------}
x=0 için;
|x|=\max\{0,0\} yani 0\le x \le 0 dolayısıyla x=0
\boxed{\boxed{iii :}---------------------------}
Tanım gereği barizdir ,şöyle ki;
|x|=\max\{x,-x\} ve |-x|=\max\{x,-x\} eştir.
\boxed{\boxed{iv :}---------------------------}
Her x reel'i için öyle a pozitiv reel sayısını alalım ki ,
Negativ x reel sayıları için x=-a; olur dolayısıyla ;
|x|=\max\{a,-a\}=a=-x
Pozitiv x reel sayıları için x=a; olur dolayısıyla;
|x|=\max\{a,-a\}=a=x
\boxed{\boxed{v :}---------------------------}
2 sayının her 2si de negativ veya pozitivse zaten barizdir çünki;
a,b\in\mathbb R^+
ab=(-1)(-1)ab=(-1)a(-1)b=(-a)(-b)
\boxed{iv} özelliğinden dolayı , eğer xy negativse x veya y lerden biri negativdir,
ve gene \boxed{iv} özelliğinden dolayı |x| veya |y| lerden biri de -x veya -y olur.
Dolayısıyla, a\in\mathbb R^+ için |xy|=xy=a ve |x||y|=-xy=-(-a)=a olur. \Box
\boxed{\boxed{vi :}---------------------------}
İlk önce; x\ge y ise -x\le -y oldugunu ispat edelim;
x\ge y ise hertarafa -x-y ekleyelim;
x-x-y\ge y-y-x\quad \boxed{\to} \quad -y\ge -x
Şimdi mutlak degerın tanımı gereği |y|\le x ise , x\ge 0 dır ve buna göre 2 ihtimalimiz var;
1. İhtimal y\ge 0 iken ;
|y|=y olur ve |y|=y\le x olur . \clubsuit
2. İhtimal y<0 iken;
|y|=-y olur ve |y|=-y\le x ve yukardaki son ispata göre y\ge -x dir; \spadesuit
\spadesuit ve \clubsuit birleşirse;
|y|\le x \quad \Leftrightarrow \quad -x\le y \le x . \Box
\boxed{\boxed{vii :}---------------------------}
Tanımdan dolayı;
|x|=\max\{x,-x\}\ge x;
ve aynı mantıkla veya \boxed{vi}'den dolayı;
-|x|=-\max\{x,-x\}\le x
|x|\ge x \ge -|x|
\boxed{\boxed{viii :}---------------------------}
|x|=\max\{x,-x\} olduğundan
|x|=\max\{x,-x\}\ge x
|x|=\max\{x,-x\}\ge -x\quad \to\quad x\ge -|x|
Birleştirirsek;
|x|\ge x\ge -|x| olur ve bir y için daha bunu yapalım;
|y|\ge y\ge -|y| , ve sıralı toplayalım;
|x|+|y|\ge x+y \ge -(|x|+|y|) bu da yukardaki bildiğimiz şeylerin 3.sünden dolayı;
||x|+|y||\ge |x+y| , ||x|+|y|| bu herzaman zaten pozitivdir dolayısıyla;
\star ||x|+|y||\ge |x+y|\quad\equiv\quad |x|+|y|\ge |x+y| \Box
\boxed{\boxed{iv :}---------------------------}
\boxed{viii}'den dolayı
|x|=|x-y+y|\le |x-y|+|y|
|x|-|y|\le |x-y| \clubsuit
ve dolayısıyla;
|y|-|x|\le|y-x|=|x-y| başka bir ifadeyle;
|x|-|y|\ge -|x-y| olur. \spadesuit;
\clubsuit ve \spadesuit sonuçları birleşirse;
\star\star \boxed{\boxed{|x-y|\ge |x|-|y|\ge -|x-y|\quad\Rightarrow\quad |x-y|\ge||x|-|y||}}
\boxed{\boxed{x :}---------------------------}
\boxed{vi}'deki genel ispattan x = y özelliğini çıkarırsak;
|y|\le x\quad \Leftrightarrow \quad -x\le y \le x durumu çıkar , y=u-a dersek;
|u-a|\le x\quad \Leftrightarrow \quad -x\le u-a \le x \quad \Leftrightarrow \quad a-x\le u \le a+x \Box